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-3727996-1338653754/watcher-3727996-1338653754 -o /tmp/evaluation-result-3727996-1338653754/solver-3727996-1338653754 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727996-1338653754.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.91 3/177 11857
/proc/meminfo: memFree=27258916/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=5976 CPUtime=0 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) R 11855 11857 9917 0 -1 4202496 659 0 0 0 0 0 0 0 20 0 1 0 331501223 6119424 611 33554432000 4194304 5964350 140736635656976 140733308242216 4395326 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 1494 612 167 433 0 763 0
[startup+0.0915189 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11857
/proc/meminfo: memFree=27258916/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=13724 CPUtime=0.08 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) R 11855 11857 9917 0 -1 4202496 2828 0 0 0 8 0 0 0 20 0 1 0 331501223 14053376 2780 33554432000 4194304 5964350 140736635656976 140733308242216 5136410 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 3431 2782 451 433 0 2700 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13724
[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11857
/proc/meminfo: memFree=27258916/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=93988 CPUtime=0.09 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 4213 0 0 0 9 0 0 0 20 0 2 0 331501223 96243712 3870 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 23497 3870 177 433 0 23061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93988
[startup+0.300249 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11857
/proc/meminfo: memFree=27258916/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=0.29 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 9468 0 0 0 28 1 0 0 20 0 2 0 331501223 94130176 8349 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 8349 192 433 0 22545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91924
[startup+0.700209 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11857
/proc/meminfo: memFree=27258916/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=0.69 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 9470 0 0 0 68 1 0 0 20 0 2 0 331501223 94130176 8351 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 8351 194 433 0 22545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91924
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27225908/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=1.49 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 9564 0 0 0 148 1 0 0 20 0 2 0 331501223 94130176 8445 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 8445 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=1.39 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 6262 0 0 0 138 1 0 0 20 0 2 0 331501232 94130176 8445 33554432000 4194304 5964350 140736635656976 140106674399576 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91924
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27224312/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=3.09 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 10633 0 0 0 308 1 0 0 20 0 2 0 331501223 94130176 9514 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 9514 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=2.98 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 7331 0 0 0 297 1 0 0 20 0 2 0 331501232 94130176 9514 33554432000 4194304 5964350 140736635656976 140106674399224 5136340 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) 91924
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27201748/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=6.29 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 13294 0 0 0 627 2 0 0 20 0 2 0 331501223 94130176 12174 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 12174 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=6.18 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 9992 0 0 0 617 1 0 0 20 0 2 0 331501232 94130176 12174 33554432000 4194304 5964350 140736635656976 140106674399592 4222304 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) 91924
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27182296/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=12.69 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 13297 0 0 0 1267 2 0 0 20 0 2 0 331501223 94130176 12177 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 12177 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=12.56 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 9995 0 0 0 1255 1 0 0 20 0 2 0 331501232 94130176 12177 33554432000 4194304 5964350 140736635656976 140106674399592 4399835 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) 91924
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27142004/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=25.48 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 15512 0 0 0 2546 2 0 0 20 0 2 0 331501223 94130176 14392 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 14392 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=25.33 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 12210 0 0 0 2531 2 0 0 20 0 2 0 331501232 94130176 14392 33554432000 4194304 5964350 140736635656976 140106674399224 5136340 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) 91924
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11859
/proc/meminfo: memFree=27122268/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=91924 CPUtime=51.09 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 19790 0 0 0 5104 5 0 0 20 0 2 0 331501223 94130176 18670 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 22981 18670 194 433 0 22545 0
[pid=11857/tid=11859] ppid=11855 vsize=91924 CPUtime=50.86 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 16488 0 0 0 5082 4 0 0 20 0 2 0 331501232 94130176 18670 33554432000 4194304 5964350 140736635656976 140106674399224 4392885 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91924
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11860
/proc/meminfo: memFree=27040812/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=157460 CPUtime=102.25 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 35777 0 0 0 10211 14 0 0 20 0 2 0 331501223 161239040 34796 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 39365 34796 194 433 0 38929 0
[pid=11857/tid=11859] ppid=11855 vsize=157460 CPUtime=101.91 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 32475 0 0 0 10176 15 0 0 20 0 2 0 331501232 161239040 34796 33554432000 4194304 5964350 140736635656976 140106674399272 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 157460
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11860
/proc/meminfo: memFree=26991440/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=222996 CPUtime=162.23 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 40792 0 0 0 16205 18 0 0 20 0 2 0 331501223 228347904 40348 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 55749 40349 194 433 0 55313 0
[pid=11857/tid=11859] ppid=11855 vsize=222996 CPUtime=161.74 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 37491 0 0 0 16154 20 0 0 20 0 2 0 331501232 228347904 40349 33554432000 4194304 5964350 140736635656976 140106674399224 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 222996
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11860
/proc/meminfo: memFree=26900060/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=222996 CPUtime=222.22 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 49896 0 0 0 22198 24 0 0 20 0 2 0 331501223 228347904 49451 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 55749 49451 194 433 0 55313 0
[pid=11857/tid=11859] ppid=11855 vsize=222996 CPUtime=221.59 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 46594 0 0 0 22133 26 0 0 20 0 2 0 331501232 228347904 49451 33554432000 4194304 5964350 140736635656976 140106674399224 4399774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 222996
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 11863
/proc/meminfo: memFree=26836680/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=288532 CPUtime=282.2 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 54763 0 0 0 28195 25 0 0 20 0 2 0 331501223 295456768 54374 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 72133 54374 194 433 0 71697 0
[pid=11857/tid=11859] ppid=11855 vsize=288532 CPUtime=281.43 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 51461 0 0 0 28114 29 0 0 20 0 2 0 331501232 295456768 54374 33554432000 4194304 5964350 140736635656976 140106674399560 4400007 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) 288532
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11863
/proc/meminfo: memFree=26770212/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=288532 CPUtime=342.17 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 54855 0 0 0 34192 25 0 0 20 0 2 0 331501223 295456768 54494 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 72133 54494 194 433 0 71697 0
[pid=11857/tid=11859] ppid=11855 vsize=288532 CPUtime=341.26 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 51553 0 0 0 34096 30 0 0 20 0 2 0 331501232 295456768 54494 33554432000 4194304 5964350 140736635656976 140106674399560 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 288532
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11864
/proc/meminfo: memFree=26759408/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=288532 CPUtime=402.17 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 55111 0 0 0 40191 26 0 0 20 0 2 0 331501223 295456768 54748 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 72133 54748 194 433 0 71697 0
[pid=11857/tid=11859] ppid=11855 vsize=288532 CPUtime=401.1 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 51809 0 0 0 40079 31 0 0 20 0 2 0 331501232 295456768 54748 33554432000 4194304 5964350 140736635656976 140106674399224 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 288532
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 11864
/proc/meminfo: memFree=26752812/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=288532 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 11873
/proc/meminfo: memFree=26038208/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=750440 CPUtime=1541.88 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 181520 0 0 0 154079 109 0 0 20 0 2 0 331501223 768450560 182550 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 187610 182550 194 433 0 187174 0
[pid=11857/tid=11859] ppid=11855 vsize=750440 CPUtime=1538.05 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 178218 0 0 0 153674 131 0 0 20 0 2 0 331501232 768450560 182550 33554432000 4194304 5964350 140736635656976 140106674399224 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 750440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11873
/proc/meminfo: memFree=25908628/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=815976 CPUtime=1601.87 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 192715 0 0 0 160069 118 0 0 20 0 2 0 331501223 835559424 193745 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 203994 193745 194 433 0 203558 0
[pid=11857/tid=11859] ppid=11855 vsize=815976 CPUtime=1597.9 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 189413 0 0 0 159649 141 0 0 20 0 2 0 331501232 835559424 193745 33554432000 4194304 5964350 140736635656976 140106674399224 4220672 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) 815976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25825980/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=881512 CPUtime=1661.86 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 202082 0 0 0 166061 125 0 0 20 0 2 0 331501223 902668288 203112 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 220378 203112 194 433 0 219942 0
[pid=11857/tid=11859] ppid=11855 vsize=881512 CPUtime=1657.74 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 198780 0 0 0 165625 149 0 0 20 0 2 0 331501232 902668288 203112 33554432000 4194304 5964350 140736635656976 140106674399224 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 881512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25785436/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=881512 CPUtime=1721.84 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 211930 0 0 0 172053 131 0 0 20 0 2 0 331501223 902668288 212960 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 220378 212960 194 433 0 219942 0
[pid=11857/tid=11859] ppid=11855 vsize=881512 CPUtime=1717.59 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 208628 0 0 0 171602 157 0 0 20 0 2 0 331501232 902668288 212960 33554432000 4194304 5964350 140736635656976 140106674399224 4400458 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 881512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757288/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1781.84 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218102 0 0 0 178047 137 0 0 20 0 2 0 331501223 969777152 219132 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219132 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1777.44 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214800 0 0 0 177581 163 0 0 20 0 2 0 331501232 969777152 219132 33554432000 4194304 5964350 140736635656976 140106674399032 4403628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 947048
############
# WARNING:
# current cumulated CPU time (1795.19 s) is less than in the last sample (1799.43 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.23999 s) to the 'lost time'.
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1799.43 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179806 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1794.99 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 179335 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 947048
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=0 CPUtime=1795.19 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) R 11855 11857 9917 0 -1 4203524 218122 0 0 0 179354 165 0 0 20 0 1 0 331501223 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.19
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 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1791.44 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218119 0 0 0 179007 137 0 0 20 0 2 0 331501223 969777152 219149 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219149 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1787.02 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214817 0 0 0 178538 164 0 0 20 0 2 0 331501232 969777152 219149 33554432000 4194304 5964350 140736635656976 140106674399032 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 947048
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1794.64 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179327 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1790.21 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 178857 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 947048
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1797.83 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179646 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1793.4 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 179176 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 947048
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1798.63 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179726 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1794.19 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 179255 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4399953 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 947048
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1799.04 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179767 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1794.6 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 179296 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4389067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 947048
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=947048 CPUtime=1799.43 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) S 11855 11857 9917 0 -1 4202496 218120 0 0 0 179806 137 0 0 20 0 2 0 331501223 969777152 219150 33554432000 4194304 5964350 140736635656976 140736635656496 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 236762 219150 194 433 0 236326 0
[pid=11857/tid=11859] ppid=11855 vsize=947048 CPUtime=1794.99 cores=1,3,5,7
/proc/11857/task/11859/stat : 11859 (wbo1.72) R 11855 11857 9917 0 -1 4202560 214818 0 0 0 179335 164 0 0 20 0 2 0 331501232 969777152 219150 33554432000 4194304 5964350 140736635656976 140106674399032 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 947048
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 11874
/proc/meminfo: memFree=25757660/32873660 swapFree=7120/7120
[pid=11857] ppid=11855 vsize=0 CPUtime=1795.19 cores=1,3,5,7
/proc/11857/stat : 11857 (wbo1.72) R 11855 11857 9917 0 -1 4203524 218122 0 0 0 179354 165 0 0 20 0 1 0 331501223 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.19
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.23999
# lost CPU user time (s): 4.52002
# lost CPU system time (s): -0.28
Real time (s): 1800.02
CPU time (s): 1799.46
CPU user time (s): 1798.07
CPU system time (s): 1.39274
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 947048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 1.67274
maximum resident set size= 876608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218122
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= 270
involuntary context switches= 1840
runsolver used 2.70059 second user time and 7.12092 second system time
The end