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-3713150-1338217893/watcher-3713150-1338217893 -o /tmp/evaluation-result-3713150-1338217893/solver-3713150-1338217893 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713150-1338217893.wbo
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.01 2.02 2.00 3/177 2285
/proc/meminfo: memFree=26611712/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=3600 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) R 2283 2285 32463 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 287916560 3686400 334 33554432000 4194304 5964318 140737356805264 140737337776744 4395170 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 900 334 169 433 0 440 0
[startup+0.0963921 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2285
/proc/meminfo: memFree=26611712/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84288 CPUtime=0.09 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 1579 0 0 0 9 0 0 0 20 0 2 0 287916560 86310912 1507 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21072 1507 194 433 0 20636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84288
[startup+0.207909 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2285
/proc/meminfo: memFree=26611712/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84288 CPUtime=0.2 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 1914 0 0 0 20 0 0 0 20 0 2 0 287916560 86310912 1842 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21072 1842 194 433 0 20636 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 84288
[startup+0.300138 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2285
/proc/meminfo: memFree=26611712/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84288 CPUtime=0.29 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 2146 0 0 0 29 0 0 0 20 0 2 0 287916560 86310912 2074 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21072 2074 194 433 0 20636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84288
[startup+0.700114 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2285
/proc/meminfo: memFree=26611712/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84432 CPUtime=0.69 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 3137 0 0 0 69 0 0 0 20 0 2 0 287916560 86458368 3065 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21108 3065 194 433 0 20672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84432
[startup+1.5003 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 2287
/proc/meminfo: memFree=26596716/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84504 CPUtime=1.49 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 4791 0 0 0 148 1 0 0 20 0 2 0 287916560 86532096 4719 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21126 4719 194 433 0 20690 0
[pid=2285/tid=2287] ppid=2283 vsize=84504 CPUtime=1.47 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 3903 0 0 0 146 1 0 0 20 0 2 0 287916561 86532096 4719 33554432000 4194304 5964318 140737356805264 140295127967784 4400432 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84504
[startup+3.10025 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 2287
/proc/meminfo: memFree=26589268/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84504 CPUtime=3.08 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 7348 0 0 0 307 1 0 0 20 0 2 0 287916560 86532096 7276 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21126 7276 194 433 0 20690 0
[pid=2285/tid=2287] ppid=2283 vsize=84504 CPUtime=3.07 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 6462 0 0 0 305 2 0 0 20 0 2 0 287916561 86532096 7278 33554432000 4194304 5964318 140737356805264 140295127967736 5136324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84504
[startup+6.30027 s]
/proc/loadavg: 2.16 2.05 2.01 3/179 2287
/proc/meminfo: memFree=26562620/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=84612 CPUtime=6.28 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 13234 0 0 0 626 2 0 0 20 0 2 0 287916560 86642688 13162 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 21153 13162 194 433 0 20717 0
[pid=2285/tid=2287] ppid=2283 vsize=84612 CPUtime=6.26 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 12346 0 0 0 624 2 0 0 20 0 2 0 287916561 86642688 13162 33554432000 4194304 5964318 140737356805264 140295127967736 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84612
[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 2287
/proc/meminfo: memFree=26586860/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=150148 CPUtime=12.68 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 24238 0 0 0 1263 5 0 0 20 0 2 0 287916560 153751552 24179 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 37537 24179 194 433 0 37101 0
[pid=2285/tid=2287] ppid=2283 vsize=150148 CPUtime=12.63 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 23350 0 0 0 1258 5 0 0 20 0 2 0 287916561 153751552 24179 33554432000 4194304 5964318 140737356805264 140295127967736 4400374 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150148
[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 2287
/proc/meminfo: memFree=26518660/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=215844 CPUtime=25.47 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 41275 0 0 0 2538 9 0 0 20 0 2 0 287916560 221024256 41210 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 53961 41210 194 433 0 53525 0
[pid=2285/tid=2287] ppid=2283 vsize=215844 CPUtime=25.4 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 40387 0 0 0 2531 9 0 0 20 0 2 0 287916561 221024256 41210 33554432000 4194304 5964318 140737356805264 140295127967736 4399873 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 215844
[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 2287
/proc/meminfo: memFree=26450056/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=281620 CPUtime=51.05 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 58316 0 0 0 5093 12 0 0 20 0 2 0 287916560 288378880 58431 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 70405 58431 194 433 0 69969 0
[pid=2285/tid=2287] ppid=2283 vsize=281620 CPUtime=50.92 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 57428 0 0 0 5080 12 0 0 20 0 2 0 287916561 288378880 58431 33554432000 4194304 5964318 140737356805264 140295127967736 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 281620
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 2287
/proc/meminfo: memFree=26346264/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=412692 CPUtime=102.25 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 84025 0 0 0 10206 19 0 0 20 0 2 0 287916560 422596608 83898 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 103173 83898 194 433 0 102737 0
[pid=2285/tid=2287] ppid=2283 vsize=412692 CPUtime=101.99 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 83137 0 0 0 10179 20 0 0 20 0 2 0 287916561 422596608 83898 33554432000 4194304 5964318 140737356805264 140295127967768 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 412692
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2288
/proc/meminfo: memFree=26191940/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=544052 CPUtime=162.24 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 122552 0 0 0 16195 29 0 0 20 0 2 0 287916560 557109248 122425 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 136013 122425 194 433 0 135577 0
[pid=2285/tid=2287] ppid=2283 vsize=544052 CPUtime=161.83 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 121664 0 0 0 16152 31 0 0 20 0 2 0 287916561 557109248 122425 33554432000 4194304 5964318 140737356805264 140295127967736 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 544052
[startup+222.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 2288
/proc/meminfo: memFree=26158912/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=544484 CPUtime=222.23 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 130874 0 0 0 22192 31 0 0 20 0 2 0 287916560 557551616 130747 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 136121 130747 194 433 0 135685 0
[pid=2285/tid=2287] ppid=2283 vsize=544484 CPUtime=221.68 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 129986 0 0 0 22134 34 0 0 20 0 2 0 287916561 557551616 130747 33554432000 4194304 5964318 140737356805264 140295127967736 4400446 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 544484
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 2288
/proc/meminfo: memFree=26064300/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=676060 CPUtime=282.22 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 155585 0 0 0 28182 40 0 0 20 0 2 0 287916560 692285440 155458 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 169015 155458 194 433 0 168579 0
[pid=2285/tid=2287] ppid=2283 vsize=676060 CPUtime=281.52 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 154697 0 0 0 28108 44 0 0 20 0 2 0 287916561 692285440 155458 33554432000 4194304 5964318 140737356805264 140295127967544 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 676060
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2288
/proc/meminfo: memFree=26013468/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=676204 CPUtime=342.21 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 156615 0 0 0 34181 40 0 0 20 0 2 0 287916560 692432896 156428 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 169051 156428 194 433 0 168615 0
[pid=2285/tid=2287] ppid=2283 vsize=676204 CPUtime=341.37 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 155727 0 0 0 34092 45 0 0 20 0 2 0 287916561 692432896 156428 33554432000 4194304 5964318 140737356805264 140295127967768 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 676204
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2288
/proc/meminfo: memFree=26004540/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=676348 CPUtime=402.2 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 158918 0 0 0 40179 41 0 0 20 0 2 0 287916560 692580352 158731 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 169087 158731 194 433 0 168651 0
[pid=2285/tid=2287] ppid=2283 vsize=676348 CPUtime=401.21 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 158030 0 0 0 40074 47 0 0 20 0 2 0 287916561 692580352 158731 33554432000 4194304 5964318 140737356805264 140295127967736 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 676348
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2289
/proc/meminfo: memFree=25919224/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=742316 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2332
/proc/meminfo: memFree=26130408/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138160 CPUtime=1001.97 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276054 0 0 0 100116 81 0 0 20 0 2 0 287916560 1165475840 276180 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284540 276180 194 433 0 284104 0
[pid=2285/tid=2287] ppid=2283 vsize=1138160 CPUtime=999.51 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275166 0 0 0 99855 96 0 0 20 0 2 0 287916561 1165475840 276180 33554432000 4194304 5964318 140737356805264 140295127967736 4399973 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1138160
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 2332
/proc/meminfo: memFree=25918900/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138232 CPUtime=1061.94 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276098 0 0 0 106113 81 0 0 20 0 2 0 287916560 1165549568 276192 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284558 276192 194 433 0 284122 0
[pid=2285/tid=2287] ppid=2283 vsize=1138232 CPUtime=1059.34 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275210 0 0 0 105837 97 0 0 20 0 2 0 287916561 1165549568 276192 33554432000 4194304 5964318 140737356805264 140295127967784 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1138232
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 2336
/proc/meminfo: memFree=25819580/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138232 CPUtime=1121.92 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276184 0 0 0 112111 81 0 0 20 0 2 0 287916560 1165549568 276075 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284558 276075 194 433 0 284122 0
[pid=2285/tid=2287] ppid=2283 vsize=1138232 CPUtime=1119.17 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275296 0 0 0 111820 97 0 0 20 0 2 0 287916561 1165549568 276075 33554432000 4194304 5964318 140737356805264 140295127967768 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1138232
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2336
/proc/meminfo: memFree=25730956/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138304 CPUtime=1181.9 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276233 0 0 0 118109 81 0 0 20 0 2 0 287916560 1165623296 276102 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284576 276102 194 433 0 284140 0
[pid=2285/tid=2287] ppid=2283 vsize=1138304 CPUtime=1179 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275345 0 0 0 117802 98 0 0 20 0 2 0 287916561 1165623296 276102 33554432000 4194304 5964318 140737356805264 140295127967784 4391283 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1138304
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2336
/proc/meminfo: memFree=25720668/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138304 CPUtime=1241.88 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276246 0 0 0 124107 81 0 0 20 0 2 0 287916560 1165623296 276104 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284576 276104 194 433 0 284140 0
[pid=2285/tid=2287] ppid=2283 vsize=1138304 CPUtime=1238.84 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275358 0 0 0 123785 99 0 0 20 0 2 0 287916561 1165623296 276104 33554432000 4194304 5964318 140737356805264 140295127967784 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1138304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2337
/proc/meminfo: memFree=25600676/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138304 CPUtime=1301.87 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276250 0 0 0 130106 81 0 0 20 0 2 0 287916560 1165623296 276113 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284576 276113 194 433 0 284140 0
[pid=2285/tid=2287] ppid=2283 vsize=1138304 CPUtime=1298.68 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275362 0 0 0 129768 100 0 0 20 0 2 0 287916561 1165623296 276113 33554432000 4194304 5964318 140737356805264 140295127967784 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1138304
Solver just ended. Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2337
/proc/meminfo: memFree=25590756/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138304 CPUtime=1305.17 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276250 0 0 0 130436 81 0 0 20 0 2 0 287916560 1165623296 276113 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284576 276113 194 433 0 284140 0
[pid=2285/tid=2287] ppid=2283 vsize=1138304 CPUtime=1301.97 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275362 0 0 0 130097 100 0 0 20 0 2 0 287916561 1165623296 276113 33554432000 4194304 5964318 140737356805264 140295127967784 4399973 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1305.17
Current children cumulated vsize (KiB) 1138304
[startup+1331.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25580472/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138412 CPUtime=1330.76 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276265 0 0 0 132995 81 0 0 20 0 2 0 287916560 1165733888 276128 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284603 276128 194 433 0 284167 0
[pid=2285/tid=2287] ppid=2283 vsize=1138412 CPUtime=1327.51 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275377 0 0 0 132650 101 0 0 20 0 2 0 287916561 1165733888 276128 33554432000 4194304 5964318 140737356805264 140295127967784 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1330.76
Current children cumulated vsize (KiB) 1138412
[startup+1344 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25580472/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138412 CPUtime=1343.56 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276274 0 0 0 134275 81 0 0 20 0 2 0 287916560 1165733888 276137 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284603 276137 194 433 0 284167 0
[pid=2285/tid=2287] ppid=2283 vsize=1138412 CPUtime=1340.28 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275386 0 0 0 133927 101 0 0 20 0 2 0 287916561 1165733888 276137 33554432000 4194304 5964318 140737356805264 140295127967784 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1343.56
Current children cumulated vsize (KiB) 1138412
[startup+1347.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25580472/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138412 CPUtime=1346.76 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276274 0 0 0 134595 81 0 0 20 0 2 0 287916560 1165733888 275434 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284603 275434 194 433 0 284167 0
[pid=2285/tid=2287] ppid=2283 vsize=1138412 CPUtime=1343.47 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275386 0 0 0 134246 101 0 0 20 0 2 0 287916561 1165733888 275434 33554432000 4194304 5964318 140737356805264 140295127967768 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1346.76
Current children cumulated vsize (KiB) 1138412
[startup+1348.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25583140/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138412 CPUtime=1348.36 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276274 0 0 0 134755 81 0 0 20 0 2 0 287916560 1165733888 275434 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284603 275434 194 433 0 284167 0
[pid=2285/tid=2287] ppid=2283 vsize=1138412 CPUtime=1345.06 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275386 0 0 0 134405 101 0 0 20 0 2 0 287916561 1165733888 275434 33554432000 4194304 5964318 140737356805264 140295127967768 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1348.36
Current children cumulated vsize (KiB) 1138412
[startup+1349.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25583140/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1138412 CPUtime=1349.16 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276278 0 0 0 134835 81 0 0 20 0 2 0 287916560 1165733888 275438 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 284603 275438 198 433 0 284167 0
[pid=2285/tid=2287] ppid=2283 vsize=1138412 CPUtime=1345.86 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275390 0 0 0 134485 101 0 0 20 0 2 0 287916561 1165733888 275438 33554432000 4194304 5964318 140737356805264 140295127957824 5122318 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1349.16
Current children cumulated vsize (KiB) 1138412
[startup+1350.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25583140/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1132864 CPUtime=1349.97 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276278 0 0 0 134915 82 0 0 20 0 2 0 287916560 1160052736 270972 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 283216 270972 198 433 0 282780 0
[pid=2285/tid=2287] ppid=2283 vsize=1132864 CPUtime=1346.66 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275390 0 0 0 134564 102 0 0 20 0 2 0 287916561 1160052736 270972 33554432000 4194304 5964318 140737356805264 140295127968696 4220675 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1349.97
Current children cumulated vsize (KiB) 1132864
[startup+1350.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2337
/proc/meminfo: memFree=25601004/32873648 swapFree=6336/6336
[pid=2285] ppid=2283 vsize=1132864 CPUtime=1350.37 cores=1,3,5,7
/proc/2285/stat : 2285 (wbo1.71) S 2283 2285 32463 0 -1 4202496 276278 0 0 0 134955 82 0 0 20 0 2 0 287916560 1160052736 270972 33554432000 4194304 5964318 140737356805264 140737356804784 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2285/statm: 283216 270972 198 433 0 282780 0
[pid=2285/tid=2287] ppid=2283 vsize=1132864 CPUtime=1347.06 cores=1,3,5,7
/proc/2285/task/2287/stat : 2287 (wbo1.71) R 2283 2285 32463 0 -1 4202560 275390 0 0 0 134604 102 0 0 20 0 2 0 287916561 1160052736 270972 33554432000 4194304 5964318 140737356805264 140295127968696 4400320 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1350.37
Current children cumulated vsize (KiB) 1132864
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2285 and gives
# childrusage.ru_utime.tv_sec=1346
# childrusage.ru_utime.tv_usec=84364
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=34842
# CPU time returned by wait4() is 1347.12
# while last known CPU time is 1350.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1350.83
CPU time (s): 1350.37
CPU user time (s): 1349.55
CPU system time (s): 0.82
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 1138412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1346.08
system time used= 1.03484
maximum resident set size= 1104972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276281
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= 412
involuntary context switches= 2737
runsolver used 5.17121 second user time and 13.5579 second system time
The end