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-3705372-1338103906/watcher-3705372-1338103906 -o /tmp/evaluation-result-3705372-1338103906/solver-3705372-1338103906 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705372-1338103906.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: 2.00 2.00 2.00 3/177 3975
/proc/meminfo: memFree=29904888/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=5132 CPUtime=0 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) R 3973 3975 2698 0 -1 4202496 581 0 0 0 0 0 0 0 20 0 1 0 276515010 5255168 533 33554432000 4194304 5963574 140733241805056 140736022064168 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 1283 533 170 432 0 634 0
[startup+0.072288 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3975
/proc/meminfo: memFree=29904888/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=89452 CPUtime=0.06 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 3079 0 0 0 6 0 0 0 20 0 2 0 276515010 91598848 2817 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22363 2817 175 432 0 21928 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89452
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3975
/proc/meminfo: memFree=29904888/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=89452 CPUtime=0.08 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 4714 0 0 0 8 0 0 0 20 0 2 0 276515010 91598848 4240 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22363 4240 190 432 0 21928 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 89452
[startup+0.300165 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3975
/proc/meminfo: memFree=29904888/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=0.28 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 5750 0 0 0 28 0 0 0 20 0 2 0 276515010 90390528 4831 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 4831 193 432 0 21633 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 88272
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3975
/proc/meminfo: memFree=29904888/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=0.68 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 5876 0 0 0 68 0 0 0 20 0 2 0 276515010 90390528 4957 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 4957 195 432 0 21633 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 88272
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29886264/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=1.48 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 5950 0 0 0 148 0 0 0 20 0 2 0 276515010 90390528 5031 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 5031 195 432 0 21633 0
[pid=3975/tid=3977] ppid=3973 vsize=88272 CPUtime=1.41 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 3812 0 0 0 141 0 0 0 20 0 2 0 276515017 90390528 5031 33554432000 4194304 5963574 140733241805056 140705113504104 4399645 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88272
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29884280/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=3.08 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 7254 0 0 0 307 1 0 0 20 0 2 0 276515010 90390528 6335 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 6335 195 432 0 21633 0
[pid=3975/tid=3977] ppid=3973 vsize=88272 CPUtime=3.01 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 5116 0 0 0 300 1 0 0 20 0 2 0 276515017 90390528 6335 33554432000 4194304 5963574 140733241805056 140705113503736 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88272
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29875664/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=6.29 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 9630 0 0 0 627 2 0 0 20 0 2 0 276515010 90390528 8711 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 8711 195 432 0 21633 0
[pid=3975/tid=3977] ppid=3973 vsize=88272 CPUtime=6.2 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 7492 0 0 0 619 1 0 0 20 0 2 0 276515017 90390528 8711 33554432000 4194304 5963574 140733241805056 140705113503736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88272
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29864528/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88272 CPUtime=12.68 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 11628 0 0 0 1266 2 0 0 20 0 2 0 276515010 90390528 10708 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22068 10708 195 432 0 21633 0
[pid=3975/tid=3977] ppid=3973 vsize=88272 CPUtime=12.58 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 9490 0 0 0 1256 2 0 0 20 0 2 0 276515017 90390528 10708 33554432000 4194304 5963574 140733241805056 140705113504104 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88272
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29852408/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=88756 CPUtime=25.48 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 14679 0 0 0 2545 3 0 0 20 0 2 0 276515010 90886144 13752 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 22189 13752 195 432 0 21754 0
[pid=3975/tid=3977] ppid=3973 vsize=88756 CPUtime=25.34 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 12541 0 0 0 2531 3 0 0 20 0 2 0 276515017 90886144 13752 33554432000 4194304 5963574 140733241805056 140705113503736 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88756
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29808232/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=154532 CPUtime=51.06 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 23264 0 0 0 5100 6 0 0 20 0 2 0 276515010 158240768 22384 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 38633 22384 195 432 0 38198 0
[pid=3975/tid=3977] ppid=3973 vsize=154532 CPUtime=50.86 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 21126 0 0 0 5080 6 0 0 20 0 2 0 276515017 158240768 22384 33554432000 4194304 5963574 140733241805056 140705113503544 4408400 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 154532
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3977
/proc/meminfo: memFree=29712392/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=154892 CPUtime=102.27 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 32397 0 0 0 10217 10 0 0 20 0 2 0 276515010 158609408 31517 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 38723 31517 195 432 0 38288 0
[pid=3975/tid=3977] ppid=3973 vsize=154892 CPUtime=101.94 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 30260 0 0 0 10183 11 0 0 20 0 2 0 276515017 158609408 31518 33554432000 4194304 5963574 140733241805056 140705113503544 4400074 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 154892
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3978
/proc/meminfo: memFree=29637920/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=220968 CPUtime=162.26 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 46843 0 0 0 16209 17 0 0 20 0 2 0 276515010 226271232 45963 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 55242 45963 195 432 0 54807 0
[pid=3975/tid=3977] ppid=3973 vsize=220968 CPUtime=161.78 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 44705 0 0 0 16160 18 0 0 20 0 2 0 276515017 226271232 45963 33554432000 4194304 5963574 140733241805056 140705113503544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 220968
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3978
/proc/meminfo: memFree=29540248/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=286504 CPUtime=222.24 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 59302 0 0 0 22199 25 0 0 20 0 2 0 276515010 293380096 58431 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 71626 58431 195 432 0 71191 0
[pid=3975/tid=3977] ppid=3973 vsize=286504 CPUtime=221.61 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 57164 0 0 0 22134 27 0 0 20 0 2 0 276515017 293380096 58431 33554432000 4194304 5963574 140733241805056 140705113503336 4399633 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 286504
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3979
/proc/meminfo: memFree=29411680/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=353332 CPUtime=282.22 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 73575 0 0 0 28189 33 0 0 20 0 2 0 276515010 361811968 72797 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 88333 72797 195 432 0 87898 0
[pid=3975/tid=3977] ppid=3973 vsize=353332 CPUtime=281.42 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 71437 0 0 0 28105 37 0 0 20 0 2 0 276515017 361811968 72797 33554432000 4194304 5963574 140733241805056 140705113503544 4399560 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 353332
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3979
/proc/meminfo: memFree=29410000/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=353332 CPUtime=342.2 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 73968 0 0 0 34187 33 0 0 20 0 2 0 276515010 361811968 73215 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 88333 73215 195 432 0 87898 0
[pid=3975/tid=3977] ppid=3973 vsize=353332 CPUtime=341.26 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 71830 0 0 0 34088 38 0 0 20 0 2 0 276515017 361811968 73215 33554432000 4194304 5963574 140733241805056 140705113503544 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 353332
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3979
/proc/meminfo: memFree=29374760/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=353332 CPUtime=402.2 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 82522 0 0 0 40181 39 0 0 20 0 2 0 276515010 361811968 81769 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 88333 81769 195 432 0 87898 0
[pid=3975/tid=3977] ppid=3973 vsize=353332 CPUtime=401.11 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 80384 0 0 0 40066 45 0 0 20 0 2 0 276515017 361811968 81769 33554432000 4194304 5963574 140733241805056 140705113503736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 353332
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3980
/proc/meminfo: memFree=29263024/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=418868 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3990
/proc/meminfo: memFree=29016260/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1421.97 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 121417 0 0 0 142129 68 0 0 20 0 2 0 276515010 560152576 120352 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 120352 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1418.4 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 119279 0 0 0 141751 89 0 0 20 0 2 0 276515017 560152576 120352 33554432000 4194304 5963574 140733241805056 140705113504696 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 547024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3990
/proc/meminfo: memFree=29016260/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1481.95 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 121417 0 0 0 148127 68 0 0 20 0 2 0 276515010 560152576 120352 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 120352 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1478.24 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 119279 0 0 0 147734 90 0 0 20 0 2 0 276515017 560152576 120352 33554432000 4194304 5963574 140733241805056 140705113504696 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 547024
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3990
/proc/meminfo: memFree=28993568/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1541.95 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 127158 0 0 0 154123 72 0 0 20 0 2 0 276515010 560152576 126093 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 126093 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1538.08 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 125020 0 0 0 153713 95 0 0 20 0 2 0 276515017 560152576 126093 33554432000 4194304 5963574 140733241805056 140705113503736 4378852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 547024
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3990
/proc/meminfo: memFree=28989104/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1601.94 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 128269 0 0 0 160122 72 0 0 20 0 2 0 276515010 560152576 127198 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 127198 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1597.93 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 126131 0 0 0 159697 96 0 0 20 0 2 0 276515017 560152576 127198 33554432000 4194304 5963574 140733241805056 140705113503544 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 547024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3990
/proc/meminfo: memFree=28987540/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1661.93 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 128653 0 0 0 166120 73 0 0 20 0 2 0 276515010 560152576 127581 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 127581 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1657.78 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 126515 0 0 0 165681 97 0 0 20 0 2 0 276515017 560152576 127581 33554432000 4194304 5963574 140733241805056 140705113503544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 547024
[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/180 4072
/proc/meminfo: memFree=29515604/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1721.92 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 128915 0 0 0 172119 73 0 0 20 0 2 0 276515010 560152576 128108 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128108 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1717.61 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 126777 0 0 0 171663 98 0 0 20 0 2 0 276515017 560152576 128108 33554432000 4194304 5963574 140733241805056 140705113503544 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 547024
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29429376/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1781.91 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129181 0 0 0 178118 73 0 0 20 0 2 0 276515010 560152576 128388 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128388 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1777.46 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127043 0 0 0 177647 99 0 0 20 0 2 0 276515017 560152576 128388 33554432000 4194304 5963574 140733241805056 140705113503544 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 547024
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29419456/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1791.51 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129327 0 0 0 179078 73 0 0 20 0 2 0 276515010 560152576 128534 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128534 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1787.04 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127189 0 0 0 178604 100 0 0 20 0 2 0 276515017 560152576 128534 33554432000 4194304 5963574 140733241805056 140705113503544 4402903 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 547024
[startup+1795.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29412636/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1794.71 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129329 0 0 0 179398 73 0 0 20 0 2 0 276515010 560152576 128536 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128536 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1790.23 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127191 0 0 0 178923 100 0 0 20 0 2 0 276515017 560152576 128536 33554432000 4194304 5963574 140733241805056 140705113503544 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 547024
[startup+1798.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29410404/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1797.9 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129331 0 0 0 179717 73 0 0 20 0 2 0 276515010 560152576 128538 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128538 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1793.41 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127193 0 0 0 179241 100 0 0 20 0 2 0 276515017 560152576 128538 33554432000 4194304 5963574 140733241805056 140705113503544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 547024
[startup+1799.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29408172/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1798.7 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129331 0 0 0 179797 73 0 0 20 0 2 0 276515010 560152576 128538 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128538 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1794.21 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127193 0 0 0 179321 100 0 0 20 0 2 0 276515017 560152576 128538 33554432000 4194304 5963574 140733241805056 140705113503544 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 547024
[startup+1799.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29405320/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1799.11 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129331 0 0 0 179838 73 0 0 20 0 2 0 276515010 560152576 128538 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128538 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1794.62 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127193 0 0 0 179362 100 0 0 20 0 2 0 276515017 560152576 128538 33554432000 4194304 5963574 140733241805056 140705113503544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 547024
[startup+1799.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29405320/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1799.5 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129331 0 0 0 179877 73 0 0 20 0 2 0 276515010 560152576 128538 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128538 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1795.01 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127193 0 0 0 179401 100 0 0 20 0 2 0 276515017 560152576 128538 33554432000 4194304 5963574 140733241805056 140705113503544 4408791 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 547024
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4095
/proc/meminfo: memFree=29405320/32873844 swapFree=7628/7628
[pid=3975] ppid=3973 vsize=547024 CPUtime=1799.6 cores=1,3,5,7
/proc/3975/stat : 3975 (wbo1.7) S 3973 3975 2698 0 -1 4202496 129331 0 0 0 179887 73 0 0 20 0 2 0 276515010 560152576 128538 33554432000 4194304 5963574 140733241805056 140733241804576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3975/statm: 136756 128538 195 432 0 136321 0
[pid=3975/tid=3977] ppid=3973 vsize=547024 CPUtime=1795.11 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (wbo1.7) R 3973 3975 2698 0 -1 4202560 127193 0 0 0 179411 100 0 0 20 0 2 0 276515017 560152576 128538 33554432000 4194304 5963574 140733241805056 140705113503544 4392418 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 547024
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3975 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=177243
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=15845
# CPU time returned by wait4() is 1795.19
# while last known CPU time is 1799.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.6
CPU user time (s): 1798.87
CPU system time (s): 0.73
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 552600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 1.01585
maximum resident set size= 514152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129331
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= 249
involuntary context switches= 1857
runsolver used 3.15052 second user time and 9.63953 second system time
The end