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-3727428-1338654108/watcher-3727428-1338654108 -o /tmp/evaluation-result-3727428-1338654108/solver-3727428-1338654108 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727428-1338654108.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 1.98 3/175 21178
/proc/meminfo: memFree=26563636/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=21112 CPUtime=0 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 1 0 331539330 21618688 530 33554432000 4194304 5964350 140736869467920 140736869465864 5179616 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 5314 538 159 433 0 670 0
[startup+0.0233791 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 21178
/proc/meminfo: memFree=26563636/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=22936 CPUtime=0.02 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4202496 1056 0 0 0 2 0 0 0 20 0 1 0 331539330 23486464 1008 33554432000 4194304 5964350 140736869467920 140736869465864 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 5767 1008 224 433 0 1123 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22936
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 21178
/proc/meminfo: memFree=26563636/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=26848 CPUtime=0.09 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4202496 2287 0 0 0 9 0 0 0 20 0 1 0 331539330 27492352 2206 33554432000 4194304 5964350 140736869467920 140736869465864 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 6712 2206 501 433 0 2068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26848
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 21178
/proc/meminfo: memFree=26563636/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=36148 CPUtime=0.29 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4202496 5381 0 0 0 29 0 0 0 20 0 1 0 331539330 37015552 5106 33554432000 4194304 5964350 140736869467920 140736869465864 4352299 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 9037 5107 1206 433 0 4393 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36148
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 21178
/proc/meminfo: memFree=26563636/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=54640 CPUtime=0.69 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4202496 11521 0 0 0 68 1 0 0 20 0 1 0 331539330 55951360 10989 33554432000 4194304 5964350 140736869467920 140736869466264 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 13660 10990 2604 433 0 9016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54640
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21179
/proc/meminfo: memFree=26511344/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=206156 CPUtime=1.49 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 40551 0 0 0 142 7 0 0 20 0 2 0 331539330 211103744 35809 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 51539 35809 172 433 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206156
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21180
/proc/meminfo: memFree=26347020/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=265364 CPUtime=3.09 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 59077 0 0 0 299 10 0 0 20 0 2 0 331539330 271732736 53633 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 66341 53633 190 433 0 65905 0
[pid=21178/tid=21180] ppid=21176 vsize=265364 CPUtime=1.87 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 39620 0 0 0 180 7 0 0 20 0 2 0 331539452 271732736 53633 33554432000 4194304 5964350 140736869467920 140565791574552 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 265364
[startup+6.30036 s]
/proc/loadavg: 2.16 2.03 1.99 3/177 21180
/proc/meminfo: memFree=26328420/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=265364 CPUtime=6.29 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 59301 0 0 0 619 10 0 0 20 0 2 0 331539330 271732736 53857 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 66341 53857 190 433 0 65905 0
[pid=21178/tid=21180] ppid=21176 vsize=265364 CPUtime=5.06 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 39844 0 0 0 499 7 0 0 20 0 2 0 331539452 271732736 53857 33554432000 4194304 5964350 140736869467920 140565791574552 4419060 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) 265364
[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 21180
/proc/meminfo: memFree=26303156/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=265364 CPUtime=12.69 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 59882 0 0 0 1259 10 0 0 20 0 2 0 331539330 271732736 54438 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 66341 54438 190 433 0 65905 0
[pid=21178/tid=21180] ppid=21176 vsize=265364 CPUtime=11.44 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 40425 0 0 0 1137 7 0 0 20 0 2 0 331539452 271732736 54438 33554432000 4194304 5964350 140736869467920 140565791574552 5122387 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) 265364
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.99 3/177 21180
/proc/meminfo: memFree=26226768/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=273568 CPUtime=25.49 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 71107 0 0 0 2536 13 0 0 20 0 2 0 331539330 280133632 60060 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 68392 60060 195 433 0 67956 0
[pid=21178/tid=21180] ppid=21176 vsize=273568 CPUtime=24.21 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 51650 0 0 0 2412 9 0 0 20 0 2 0 331539452 280133632 60060 33554432000 4194304 5964350 140736869467920 140565791574968 4395186 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) 273568
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.99 3/177 21180
/proc/meminfo: memFree=25983416/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=461972 CPUtime=51.08 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 108176 0 0 0 5088 20 0 0 20 0 2 0 331539330 473059328 97421 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 115493 97421 195 433 0 115057 0
[pid=21178/tid=21180] ppid=21176 vsize=461972 CPUtime=49.74 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 88719 0 0 0 4957 17 0 0 20 0 2 0 331539452 473059328 97421 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 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) 461972
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.99 3/177 21180
/proc/meminfo: memFree=25552924/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=658580 CPUtime=102.28 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 162838 0 0 0 10198 30 0 0 20 0 2 0 331539330 674385920 155148 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 164645 155148 195 433 0 164209 0
[pid=21178/tid=21180] ppid=21176 vsize=658580 CPUtime=100.82 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 143381 0 0 0 10055 27 0 0 20 0 2 0 331539452 674385920 155148 33554432000 4194304 5964350 140736869467920 140565791574360 4389067 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) 658580
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 21180
/proc/meminfo: memFree=25331052/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=658580 CPUtime=162.27 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 162985 0 0 0 16197 30 0 0 20 0 2 0 331539330 674385920 155806 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 164645 155806 195 433 0 164209 0
[pid=21178/tid=21180] ppid=21176 vsize=658580 CPUtime=160.66 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 143528 0 0 0 16037 29 0 0 20 0 2 0 331539452 674385920 155806 33554432000 4194304 5964350 140736869467920 140565791574360 4399976 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) 658580
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 21180
/proc/meminfo: memFree=25031124/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=789652 CPUtime=222.25 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 181641 0 0 0 22191 34 0 0 20 0 2 0 331539330 808603648 174462 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 197413 174462 195 433 0 196977 0
[pid=21178/tid=21180] ppid=21176 vsize=789652 CPUtime=220.51 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 162184 0 0 0 22017 34 0 0 20 0 2 0 331539452 808603648 174462 33554432000 4194304 5964350 140736869467920 140565791574008 4222416 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) 789652
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21180
/proc/meminfo: memFree=24554868/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=986260 CPUtime=282.24 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 242847 0 0 0 28174 50 0 0 20 0 2 0 331539330 1009930240 235668 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 246565 235668 195 433 0 246129 0
[pid=21178/tid=21180] ppid=21176 vsize=986260 CPUtime=280.35 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 223390 0 0 0 27984 51 0 0 20 0 2 0 331539452 1009930240 235668 33554432000 4194304 5964350 140736869467920 140565791574008 4387856 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 986260
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/177 21181
/proc/meminfo: memFree=24089152/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=1248404 CPUtime=342.23 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 297192 0 0 0 34162 61 0 0 20 0 2 0 331539330 1278365696 290013 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 312101 290013 195 433 0 311665 0
[pid=21178/tid=21180] ppid=21176 vsize=1248404 CPUtime=340.2 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 277735 0 0 0 33957 63 0 0 20 0 2 0 331539452 1278365696 290013 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1248404
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 21181
/proc/meminfo: memFree=23717924/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=1379476 CPUtime=402.23 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 344425 0 0 0 40149 74 0 0 20 0 2 0 331539330 1412583424 337246 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 344869 337246 195 433 0 344433 0
[pid=21178/tid=21180] ppid=21176 vsize=1379476 CPUtime=400.05 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 324968 0 0 0 39928 77 0 0 20 0 2 0 331539452 1412583424 337246 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1379476
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21181
/proc/meminfo: memFree=23314332/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=1641620 CPUtime=462.21 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 399321 0 0 0 46134 87 0 0 20 0 2 0 331539330 1681018880 392142 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 410405 392142 195 433 0 409969 0
################
# More data... #
################
Current children cumulated vsize (KiB) 4394132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21269
/proc/meminfo: memFree=24612104/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=4459668 CPUtime=1542 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1112437 0 0 0 153939 261 0 0 20 0 2 0 331539330 4566700032 1106246 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1114917 1106246 195 433 0 1114481 0
[pid=21178/tid=21180] ppid=21176 vsize=4459668 CPUtime=1537.08 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1092980 0 0 0 153427 281 0 0 20 0 2 0 331539452 4566700032 1106246 33554432000 4194304 5964350 140736869467920 140565791574008 4389084 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 4459668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21269
/proc/meminfo: memFree=24474740/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=4590740 CPUtime=1601.98 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1144718 0 0 0 159927 271 0 0 20 0 2 0 331539330 4700917760 1138523 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1147685 1138523 195 433 0 1147249 0
[pid=21178/tid=21180] ppid=21176 vsize=4590740 CPUtime=1596.92 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1125261 0 0 0 159400 292 0 0 20 0 2 0 331539452 4700917760 1138523 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 4590740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21269
/proc/meminfo: memFree=24333036/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=4721812 CPUtime=1661.96 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1179248 0 0 0 165916 280 0 0 20 0 2 0 331539330 4835135488 1173049 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1180453 1173049 195 433 0 1180017 0
[pid=21178/tid=21180] ppid=21176 vsize=4721812 CPUtime=1656.75 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1159791 0 0 0 165373 302 0 0 20 0 2 0 331539452 4835135488 1173049 33554432000 4194304 5964350 140736869467920 140565791574008 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4721812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21272
/proc/meminfo: memFree=24171980/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=4918420 CPUtime=1721.94 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1213440 0 0 0 171906 288 0 0 20 0 2 0 331539330 5036462080 1207255 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1229605 1207255 195 433 0 1229169 0
[pid=21178/tid=21180] ppid=21176 vsize=4918420 CPUtime=1716.58 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1193983 0 0 0 171347 311 0 0 20 0 2 0 331539452 5036462080 1207255 33554432000 4194304 5964350 140736869467920 140565791574008 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 4918420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=24022844/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1781.92 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1249105 0 0 0 177894 298 0 0 20 0 2 0 331539330 5170679808 1242923 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1242923 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1776.42 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1229648 0 0 0 177321 321 0 0 20 0 2 0 331539452 5170679808 1242923 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 5049492
############
# WARNING:
# current cumulated CPU time (1795.38 s) is less than in the last sample (1799.61 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.22998 s) to the 'lost time'.
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23982652/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1799.61 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1257748 0 0 0 179661 300 0 0 20 0 2 0 331539330 5170679808 1251578 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1251578 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1794.07 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1238291 0 0 0 179083 324 0 0 20 0 2 0 331539452 5170679808 1251578 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 5049492
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23982652/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=0 CPUtime=1795.38 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4203524 1257750 0 0 0 179201 337 0 0 20 0 1 0 331539330 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21178/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23998152/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1791.52 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1254389 0 0 0 178853 299 0 0 20 0 2 0 331539330 5170679808 1248219 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1248219 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1786 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1234932 0 0 0 178277 323 0 0 20 0 2 0 331539452 5170679808 1248219 33554432000 4194304 5964350 140736869467920 140565791574008 4400017 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 5049492
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23991456/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1794.72 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1255735 0 0 0 179172 300 0 0 20 0 2 0 331539330 5170679808 1249565 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1249565 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1789.19 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1236278 0 0 0 178595 324 0 0 20 0 2 0 331539452 5170679808 1249565 33554432000 4194304 5964350 140736869467920 140565791574008 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 5049492
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23987240/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1797.91 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1256962 0 0 0 179491 300 0 0 20 0 2 0 331539330 5170679808 1250792 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1250792 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1792.37 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1237505 0 0 0 178913 324 0 0 20 0 2 0 331539452 5170679808 1250792 33554432000 4194304 5964350 140736869467920 140565791574008 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 5049492
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23984884/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1798.71 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1257324 0 0 0 179571 300 0 0 20 0 2 0 331539330 5170679808 1251154 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1251154 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1793.17 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1237867 0 0 0 178993 324 0 0 20 0 2 0 331539452 5170679808 1251154 33554432000 4194304 5964350 140736869467920 140565791574008 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 5049492
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23982652/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=5049492 CPUtime=1799.51 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) S 21176 21178 18556 0 -1 4202496 1257628 0 0 0 179651 300 0 0 20 0 2 0 331539330 5170679808 1251458 33554432000 4194304 5964350 140736869467920 140736869467440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21178/statm: 1262373 1251458 195 433 0 1261937 0
[pid=21178/tid=21180] ppid=21176 vsize=5049492 CPUtime=1793.97 cores=1,3,5,7
/proc/21178/task/21180/stat : 21180 (wbo1.72) R 21176 21178 18556 0 -1 4202560 1238171 0 0 0 179073 324 0 0 20 0 2 0 331539452 5170679808 1251458 33554432000 4194304 5964350 140736869467920 140565791574008 4399840 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) 5049492
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23982652/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=0 CPUtime=1795.38 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4203524 1257750 0 0 0 179201 337 0 0 20 0 1 0 331539330 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21178/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21272
/proc/meminfo: memFree=23982652/32873844 swapFree=6088/6088
[pid=21178] ppid=21176 vsize=0 CPUtime=1795.48 cores=1,3,5,7
/proc/21178/stat : 21178 (wbo1.72) R 21176 21178 18556 0 -1 4203524 1257750 0 0 0 179201 347 0 0 20 0 1 0 331539330 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21178/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.22998
# lost CPU user time (s): 4.59998
# lost CPU system time (s): -0.37
Real time (s): 1800.28
CPU time (s): 1799.8
CPU user time (s): 1796.62
CPU system time (s): 3.18646
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 5049492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.02
system time used= 3.55646
maximum resident set size= 5006320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1257750
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= 188
involuntary context switches= 1853
runsolver used 2.82057 second user time and 7.00793 second system time
The end