runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720233-1338508742/watcher-3720233-1338508742 -o /tmp/evaluation-result-3720233-1338508742/solver-3720233-1338508742 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720233-1338508742.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 24265
/proc/meminfo: memFree=29292008/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3112 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 316998975 3186688 288 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 778 288 229 17 0 84 0
[startup+0.0694399 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 24265
/proc/meminfo: memFree=29292008/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3244 CPUtime=0.06 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 381 0 0 0 6 0 0 0 20 0 1 0 316998975 3321856 319 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 811 319 229 17 0 117 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3244
[startup+0.100215 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 24265
/proc/meminfo: memFree=29292008/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3244 CPUtime=0.09 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 384 0 0 0 9 0 0 0 20 0 1 0 316998975 3321856 322 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 811 322 229 17 0 117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3244
[startup+0.300208 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 24265
/proc/meminfo: memFree=29292008/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3364 CPUtime=0.29 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 393 0 0 0 29 0 0 0 20 0 1 0 316998975 3444736 331 33554432000 134512640 134579096 4290504544 4290503392 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 841 331 229 17 0 147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3364
[startup+0.700202 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 24265
/proc/meminfo: memFree=29292008/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3364 CPUtime=0.69 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 408 0 0 0 69 0 0 0 20 0 1 0 316998975 3444736 346 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 841 346 229 17 0 147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3364
[startup+1.5002 s]
/proc/loadavg: 1.94 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291644/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3496 CPUtime=1.49 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 421 0 0 0 149 0 0 0 20 0 1 0 316998975 3579904 359 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 874 359 229 17 0 180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3496
[startup+3.1002 s]
/proc/loadavg: 1.94 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291256/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3496 CPUtime=3.08 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 432 0 0 0 308 0 0 0 20 0 1 0 316998975 3579904 370 33554432000 134512640 134579096 4290504544 4290503392 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 874 370 229 17 0 180 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 3496
[startup+6.30021 s]
/proc/loadavg: 1.94 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291132/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3496 CPUtime=6.29 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 444 0 0 0 627 2 0 0 20 0 1 0 316998975 3579904 382 33554432000 134512640 134579096 4290504544 4290503392 134528311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 874 382 229 17 0 180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3496
[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291176/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3628 CPUtime=12.69 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 469 0 0 0 1266 3 0 0 20 0 1 0 316998975 3715072 407 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 907 407 229 17 0 213 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3628
[startup+25.5002 s]
/proc/loadavg: 1.96 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291200/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3740 CPUtime=25.49 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 484 0 0 0 2543 6 0 0 20 0 1 0 316998975 3829760 422 33554432000 134512640 134579096 4290504544 4290503392 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 935 422 229 17 0 241 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3740
[startup+51.1002 s]
/proc/loadavg: 1.97 1.99 1.86 3/180 24266
/proc/meminfo: memFree=29291076/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3852 CPUtime=51.08 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 515 0 0 0 5097 11 0 0 20 0 1 0 316998975 3944448 453 33554432000 134512640 134579096 4290504544 4290503392 134528259 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 963 453 229 17 0 269 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3852
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.87 3/180 24268
/proc/meminfo: memFree=29290456/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3980 CPUtime=102.28 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 548 0 0 0 10209 19 0 0 20 0 1 0 316998975 4075520 486 33554432000 134512640 134579096 4290504544 4290503392 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 995 486 229 17 0 301 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3980
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.87 3/180 24292
/proc/meminfo: memFree=29290340/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=3980 CPUtime=162.27 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 563 0 0 0 16197 30 0 0 20 0 1 0 316998975 4075520 501 33554432000 134512640 134579096 4290504544 4290503392 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 995 501 229 17 0 301 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3980
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/179 24292
/proc/meminfo: memFree=29290224/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4060 CPUtime=222.26 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 581 0 0 0 22186 40 0 0 20 0 1 0 316998975 4157440 519 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1015 519 229 17 0 321 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 4060
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/179 24292
/proc/meminfo: memFree=29289976/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4164 CPUtime=282.25 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 607 0 0 0 28173 52 0 0 20 0 1 0 316998975 4263936 545 33554432000 134512640 134579096 4290504544 4290503392 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1041 545 229 17 0 347 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 4164
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/179 24292
/proc/meminfo: memFree=29289664/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4224 CPUtime=342.24 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 616 0 0 0 34161 63 0 0 20 0 1 0 316998975 4325376 554 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1056 554 229 17 0 362 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4224
[startup+402.3 s]
/proc/loadavg: 2.07 2.01 1.90 3/179 24292
/proc/meminfo: memFree=29289664/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4220 CPUtime=402.23 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 622 0 0 0 40147 76 0 0 20 0 1 0 316998975 4321280 560 33554432000 134512640 134579096 4290504544 4290503408 134520080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1055 560 229 17 0 361 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4220
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 24293
/proc/meminfo: memFree=29289540/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4268 CPUtime=462.21 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 635 0 0 0 46130 91 0 0 20 0 1 0 316998975 4370432 573 33554432000 134512640 134579096 4290504544 4290503392 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1067 573 229 17 0 373 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 4268
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 24293
/proc/meminfo: memFree=29289416/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4332 CPUtime=522.21 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 644 0 0 0 52120 101 0 0 20 0 1 0 316998975 4435968 582 33554432000 134512640 134579096 4290504544 4290503392 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1083 582 229 17 0 389 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 4332
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24293
/proc/meminfo: memFree=29289292/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4332 CPUtime=582.2 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 646 0 0 0 58106 114 0 0 20 0 1 0 316998975 4435968 584 33554432000 134512640 134579096 4290504544 4290503392 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1083 584 229 17 0 389 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4332
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29288424/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4416 CPUtime=882.15 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 679 0 0 0 88043 172 0 0 20 0 1 0 316998975 4521984 617 33554432000 134512640 134579096 4290504544 4290503392 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1104 617 229 17 0 410 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 4416
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 24297
/proc/meminfo: memFree=29289052/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=942.14 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 691 0 0 0 94030 184 0 0 20 0 1 0 316998975 4620288 629 33554432000 134512640 134579096 4290504544 4290503392 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 629 229 17 0 434 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 4512
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24298
/proc/meminfo: memFree=29288052/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=1002.13 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 698 0 0 0 100019 194 0 0 20 0 1 0 316998975 4620288 636 33554432000 134512640 134579096 4290504544 4290503392 134527939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 636 229 17 0 434 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 4512
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24299
/proc/meminfo: memFree=29288052/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=1062.13 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 699 0 0 0 106010 203 0 0 20 0 1 0 316998975 4620288 637 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 637 229 17 0 434 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4512
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24299
/proc/meminfo: memFree=29288176/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=1122.12 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 699 0 0 0 111997 215 0 0 20 0 1 0 316998975 4620288 637 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 637 229 17 0 434 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4512
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24347
/proc/meminfo: memFree=29183196/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=1182.11 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 699 0 0 0 117984 227 0 0 20 0 1 0 316998975 4620288 637 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 637 229 17 0 434 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4512
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24347
/proc/meminfo: memFree=29165636/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4512 CPUtime=1242.1 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 703 0 0 0 123970 240 0 0 20 0 1 0 316998975 4620288 641 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1128 641 229 17 0 434 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4512
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/180 24350
/proc/meminfo: memFree=29159856/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4608 CPUtime=1302.09 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 706 0 0 0 129958 251 0 0 20 0 1 0 316998975 4718592 644 33554432000 134512640 134579096 4290504544 4290503392 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1152 644 229 17 0 458 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 24350
/proc/meminfo: memFree=29159872/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4724 CPUtime=1362.08 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 737 0 0 0 135945 263 0 0 20 0 1 0 316998975 4837376 675 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1181 675 229 17 0 487 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4724
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24351
/proc/meminfo: memFree=29159988/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1422.08 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 737 0 0 0 141935 273 0 0 20 0 1 0 316998975 4788224 675 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 675 229 17 0 475 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24351
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1482.06 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 741 0 0 0 147920 286 0 0 20 0 1 0 316998975 4788224 679 33554432000 134512640 134579096 4290504544 4290503392 134527724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 679 229 17 0 475 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24351
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4692 CPUtime=1542.06 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 153910 296 0 0 20 0 1 0 316998975 4804608 686 33554432000 134512640 134579096 4290504544 4290503392 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1173 686 229 17 0 479 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4692
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24351
/proc/meminfo: memFree=29159740/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1602.05 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 159900 305 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503448 134527530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24351
/proc/meminfo: memFree=29160236/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1662.04 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 165889 315 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503392 134527772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24352
/proc/meminfo: memFree=29160236/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1722.03 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 171878 325 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503392 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24352
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1782.01 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 177865 336 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503392 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4676
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24352
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1782.41 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 177905 336 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 4676
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24352
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1782.83 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 177946 337 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1782.83
Current children cumulated vsize (KiB) 4676
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 24352
/proc/meminfo: memFree=29159864/32873844 swapFree=7380/7380
[pid=24265] ppid=24263 vsize=4676 CPUtime=1782.92 cores=1,3,5,7
/proc/24265/stat : 24265 (Pueblo) R 24263 24265 23463 0 -1 4202496 748 0 0 0 177955 337 0 0 20 0 1 0 316998975 4788224 682 33554432000 134512640 134579096 4290504544 4290503516 2966576 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24265/statm: 1169 682 229 17 0 475 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 4676
Child status: 10
Real time (s): 1783.27
CPU time (s): 1783
CPU user time (s): 1779.63
CPU system time (s): 3.37249
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 4808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.63
system time used= 3.37249
maximum resident set size= 2748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1838
runsolver used 2.93855 second user time and 7.45287 second system time
The end