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-3704851-1338111006/watcher-3704851-1338111006 -o /tmp/evaluation-result-3704851-1338111006/solver-3704851-1338111006 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704851-1338111006.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/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=35920 CPUtime=0 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 277225477 36782080 281 33554432000 4194304 5963574 140734625407728 140734625406200 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 8980 281 177 432 0 349 0
[startup+0.0928419 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=40436 CPUtime=0.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 1748 0 0 0 9 0 0 0 20 0 1 0 277225477 41406464 1667 33554432000 4194304 5963574 140734625407728 140734625406200 4349263 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 10109 1667 509 432 0 1478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40436
[startup+0.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=40568 CPUtime=0.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 1852 0 0 0 9 0 0 0 20 0 1 0 277225477 41541632 1771 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 10142 1771 539 432 0 1511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40568
[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=49920 CPUtime=0.29 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 4966 0 0 0 29 0 0 0 20 0 1 0 277225477 51118080 4820 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 12480 4820 1314 432 0 3849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49920
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=68256 CPUtime=0.68 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 11202 0 0 0 67 1 0 0 20 0 1 0 277225477 69894144 10927 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 17064 10927 2887 432 0 8433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68256
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14983
/proc/meminfo: memFree=30844220/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=105380 CPUtime=1.49 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 23133 0 0 0 145 4 0 0 20 0 1 0 277225477 107909120 22599 33554432000 4194304 5963574 140734625407728 140734625406072 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 26345 22599 6034 432 0 17714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105380
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14983
/proc/meminfo: memFree=30797896/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=3.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 61215 0 0 0 298 11 0 0 20 0 2 0 277225477 248070144 50506 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 50506 187 432 0 60129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242256
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30682220/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=6.29 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 62285 0 0 0 618 11 0 0 20 0 2 0 277225477 248070144 51576 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 51576 187 432 0 60129 0
[pid=14982/tid=14984] ppid=14980 vsize=242256 CPUtime=4.16 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 30133 0 0 0 410 6 0 0 20 0 2 0 277225689 248070144 51576 33554432000 4194304 5963574 140734625407728 140578389309240 4402879 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) 242256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30674556/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=12.69 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 63746 0 0 0 1257 12 0 0 20 0 2 0 277225477 248070144 53037 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 53037 187 432 0 60129 0
[pid=14982/tid=14984] ppid=14980 vsize=242256 CPUtime=10.53 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 31594 0 0 0 1047 6 0 0 20 0 2 0 277225689 248070144 53037 33554432000 4194304 5963574 140734625407728 140578389309432 5178411 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 242256
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30658560/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=25.49 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 66229 0 0 0 2536 13 0 0 20 0 2 0 277225477 315179008 55520 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 55520 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=23.3 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 34077 0 0 0 2323 7 0 0 20 0 2 0 277225689 315179008 55520 33554432000 4194304 5963574 140734625407728 140578389309240 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 307792
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14985
/proc/meminfo: memFree=30628320/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=51.08 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 70866 0 0 0 5092 16 0 0 20 0 2 0 277225477 315179008 60157 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 60157 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=48.84 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 38714 0 0 0 4873 11 0 0 20 0 2 0 277225689 315179008 60157 33554432000 4194304 5963574 140734625407728 140578389309240 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 307792
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14985
/proc/meminfo: memFree=30578772/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=102.28 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 78675 0 0 0 10205 23 0 0 20 0 2 0 277225477 315179008 67966 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 67966 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=99.91 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 46523 0 0 0 9973 18 0 0 20 0 2 0 277225689 315179008 67966 33554432000 4194304 5963574 140734625407728 140578389309240 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 307792
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14985
/proc/meminfo: memFree=30530904/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=162.27 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 85659 0 0 0 16198 29 0 0 20 0 2 0 277225477 382287872 74950 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 74950 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=159.75 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 53508 0 0 0 15950 25 0 0 20 0 2 0 277225689 382287872 74951 33554432000 4194304 5963574 140734625407728 140578389309432 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 373328
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 14985
/proc/meminfo: memFree=30488588/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=222.25 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 90120 0 0 0 22193 32 0 0 20 0 2 0 277225477 382287872 80143 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 80143 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=219.59 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 57968 0 0 0 21929 30 0 0 20 0 2 0 277225689 382287872 80143 33554432000 4194304 5963574 140734625407728 140578389309432 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 373328
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 14985
/proc/meminfo: memFree=30456004/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=282.2 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 94456 0 0 0 28183 37 0 0 20 0 2 0 277225477 382287872 85016 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 85016 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=279.4 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 62304 0 0 0 27904 36 0 0 20 0 2 0 277225689 382287872 85016 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 373328
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14985
/proc/meminfo: memFree=30424296/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=342.16 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 98517 0 0 0 34174 42 0 0 20 0 2 0 277225477 449396736 89384 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 89384 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=339.21 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 66365 0 0 0 33879 42 0 0 20 0 2 0 277225689 449396736 89384 33554432000 4194304 5963574 140734625407728 140578389309432 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 438864
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14986
/proc/meminfo: memFree=30386872/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=402.14 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 102437 0 0 0 40168 46 0 0 20 0 2 0 277225477 449396736 93291 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 93291 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=399.05 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 70285 0 0 0 39859 46 0 0 20 0 2 0 277225689 449396736 93291 33554432000 4194304 5963574 140734625407728 140578389309432 4399503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 438864
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14986
/proc/meminfo: memFree=30355872/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=462.13 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 106347 0 0 0 46163 50 0 0 20 0 2 0 277225477 449396736 97201 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 97201 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=458.9 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 74195 0 0 0 45840 50 0 0 20 0 2 0 277225689 449396736 97201 33554432000 4194304 5963574 140734625407728 140578389309480 4399375 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14996
/proc/meminfo: memFree=29944760/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1421.92 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 148623 0 0 0 142100 92 0 0 20 0 2 0 277225477 650723328 142546 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 142546 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1416.38 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 116471 0 0 0 141530 108 0 0 20 0 2 0 277225689 650723328 142546 33554432000 4194304 5963574 140734625407728 140578389309480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 635472
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=30821304/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1481.9 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 150086 0 0 0 148096 94 0 0 20 0 2 0 277225477 650723328 144009 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 144009 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1476.22 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 117934 0 0 0 147511 111 0 0 20 0 2 0 277225689 650723328 144009 33554432000 4194304 5963574 140734625407728 140578389309240 4400320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 635472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=30740308/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1541.89 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 151963 0 0 0 154092 97 0 0 20 0 2 0 277225477 650723328 146229 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 146229 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1536.06 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 119811 0 0 0 153492 114 0 0 20 0 2 0 277225689 650723328 146229 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 635472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30680324/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1601.87 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 154773 0 0 0 160088 99 0 0 20 0 2 0 277225477 650723328 149390 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 149390 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1595.9 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 122621 0 0 0 159473 117 0 0 20 0 2 0 277225689 650723328 149390 33554432000 4194304 5963574 140734625407728 140578389309432 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 635472
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 15075
/proc/meminfo: memFree=30607484/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1661.84 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 161883 0 0 0 166081 103 0 0 20 0 2 0 277225477 717832192 157260 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 157260 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1655.72 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 129731 0 0 0 165450 122 0 0 20 0 2 0 277225689 717832192 157260 33554432000 4194304 5963574 140734625407728 140578389309240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 701008
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15075
/proc/meminfo: memFree=30565820/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1721.83 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 163687 0 0 0 172079 104 0 0 20 0 2 0 277225477 717832192 159064 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 159064 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1715.57 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 131535 0 0 0 171433 124 0 0 20 0 2 0 277225689 717832192 159064 33554432000 4194304 5963574 140734625407728 140578389309240 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 701008
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30534324/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1781.81 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 165958 0 0 0 178076 105 0 0 20 0 2 0 277225477 717832192 161335 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161335 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1775.42 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 133806 0 0 0 177416 126 0 0 20 0 2 0 277225689 717832192 161335 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 701008
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30532712/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1791.42 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166224 0 0 0 179036 106 0 0 20 0 2 0 277225477 717832192 161601 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161601 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1785 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134072 0 0 0 178373 127 0 0 20 0 2 0 277225689 717832192 161601 33554432000 4194304 5963574 140734625407728 140578389309432 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 701008
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30531060/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1794.62 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166317 0 0 0 179356 106 0 0 20 0 2 0 277225477 717832192 161694 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161694 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1788.19 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134165 0 0 0 178691 128 0 0 20 0 2 0 277225689 717832192 161694 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 701008
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30530804/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1797.81 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166411 0 0 0 179675 106 0 0 20 0 2 0 277225477 717832192 161788 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161788 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1791.38 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134259 0 0 0 179010 128 0 0 20 0 2 0 277225689 717832192 161788 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 701008
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30530432/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1798.61 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166436 0 0 0 179755 106 0 0 20 0 2 0 277225477 717832192 161813 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161813 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.18 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134284 0 0 0 179090 128 0 0 20 0 2 0 277225689 717832192 161813 33554432000 4194304 5963574 140734625407728 140578389309432 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 701008
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.02 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166446 0 0 0 179796 106 0 0 20 0 2 0 277225477 717832192 161823 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161823 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.58 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134294 0 0 0 179130 128 0 0 20 0 2 0 277225689 717832192 161823 33554432000 4194304 5963574 140734625407728 140578389309432 4399537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 701008
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.41 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166457 0 0 0 179835 106 0 0 20 0 2 0 277225477 717832192 161834 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161834 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.97 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134305 0 0 0 179169 128 0 0 20 0 2 0 277225689 717832192 161834 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 701008
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.51 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166460 0 0 0 179845 106 0 0 20 0 2 0 277225477 717832192 161837 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161837 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1793.07 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134308 0 0 0 179179 128 0 0 20 0 2 0 277225689 717832192 161837 33554432000 4194304 5963574 140734625407728 140578389309432 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 701008
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14982 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=864291
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=350794
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.51
CPU user time (s): 1798.45
CPU system time (s): 1.06
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 701008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 1.35079
maximum resident set size= 647352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166461
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= 219
involuntary context switches= 1953
runsolver used 3.10953 second user time and 8.34973 second system time
The end