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-3704725-1338072365/watcher-3704725-1338072365 -o /tmp/evaluation-result-3704725-1338072365/solver-3704725-1338072365 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704725-1338072365.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: 1.86 1.97 1.99 3/177 28000
/proc/meminfo: memFree=29020276/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=5212 CPUtime=0 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) R 27998 28000 27916 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 273362377 5337088 466 33554432000 4194304 5963574 140736805175584 140735312624312 4394875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 1303 466 170 432 0 541 0
[startup+0.0219979 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 28000
/proc/meminfo: memFree=29020276/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=9160 CPUtime=0.01 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) R 27998 28000 27916 0 -1 4202496 1402 0 0 0 1 0 0 0 20 0 1 0 273362377 9379840 1354 33554432000 4194304 5963574 140736805175584 140735312624312 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 2290 1354 219 432 0 1528 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9160
[startup+0.10023 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 28000
/proc/meminfo: memFree=29020276/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=12860 CPUtime=0.09 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) R 27998 28000 27916 0 -1 4202496 2585 0 0 0 9 0 0 0 20 0 1 0 273362377 13168640 2537 33554432000 4194304 5963574 140736805175584 140735312624312 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 3215 2537 479 432 0 2453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12860
[startup+0.300173 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 28000
/proc/meminfo: memFree=29020276/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=0.28 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 5958 0 0 0 28 0 0 0 20 0 2 0 273362377 95023104 5220 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 5220 185 432 0 22764 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 92796
[startup+0.700118 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 28000
/proc/meminfo: memFree=29020276/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=0.69 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 6513 0 0 0 68 1 0 0 20 0 2 0 273362377 95023104 5775 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 5775 185 432 0 22764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92796
[startup+1.5002 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 28002
/proc/meminfo: memFree=28988656/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=1.49 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 7528 0 0 0 148 1 0 0 20 0 2 0 273362377 95023104 6790 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 6790 185 432 0 22764 0
[pid=28000/tid=28002] ppid=27998 vsize=92796 CPUtime=1.37 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 4456 0 0 0 137 0 0 0 20 0 2 0 273362387 95023104 6790 33554432000 4194304 5963574 140736805175584 140557292836856 5135572 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) 92796
[startup+3.10022 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 28002
/proc/meminfo: memFree=28974356/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=3.08 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 9565 0 0 0 307 1 0 0 20 0 2 0 273362377 95023104 8827 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 8827 185 432 0 22764 0
[pid=28000/tid=28002] ppid=27998 vsize=92796 CPUtime=2.97 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 6493 0 0 0 296 1 0 0 20 0 2 0 273362387 95023104 8827 33554432000 4194304 5963574 140736805175584 140557292836856 5135572 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) 92796
[startup+6.30068 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 28002
/proc/meminfo: memFree=28941904/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=6.29 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 13570 0 0 0 627 2 0 0 20 0 2 0 273362377 95023104 12832 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 12832 185 432 0 22764 0
[pid=28000/tid=28002] ppid=27998 vsize=92796 CPUtime=6.16 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 10498 0 0 0 615 1 0 0 20 0 2 0 273362387 95023104 12832 33554432000 4194304 5963574 140736805175584 140557292836856 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92796
[startup+12.701 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 28003
/proc/meminfo: memFree=28908796/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=92796 CPUtime=12.69 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 17892 0 0 0 1265 4 0 0 20 0 2 0 273362377 95023104 17154 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 23199 17154 185 432 0 22764 0
[pid=28000/tid=28002] ppid=27998 vsize=92796 CPUtime=12.55 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 14820 0 0 0 1252 3 0 0 20 0 2 0 273362387 95023104 17154 33554432000 4194304 5963574 140736805175584 140557292836856 4381532 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92796
[startup+25.5002 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28872160/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=158332 CPUtime=25.47 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 29237 0 0 0 2541 6 0 0 20 0 2 0 273362377 162131968 28703 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 39583 28703 185 432 0 39148 0
[pid=28000/tid=28002] ppid=27998 vsize=158332 CPUtime=25.31 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 26165 0 0 0 2525 6 0 0 20 0 2 0 273362387 162131968 28703 33554432000 4194304 5963574 140736805175584 140557292836904 4381816 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) 158332
[startup+51.1011 s]
/proc/loadavg: 1.94 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28765408/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=223868 CPUtime=51.06 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 41335 0 0 0 5097 9 0 0 20 0 2 0 273362377 229240832 40792 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 55967 40792 185 432 0 55532 0
[pid=28000/tid=28002] ppid=27998 vsize=223868 CPUtime=50.83 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 38263 0 0 0 5074 9 0 0 20 0 2 0 273362387 229240832 40792 33554432000 4194304 5963574 140736805175584 140557292836856 4381345 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 223868
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28568664/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=289404 CPUtime=102.24 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 68336 0 0 0 10210 14 0 0 20 0 2 0 273362377 296349696 67772 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 72351 67772 185 432 0 71916 0
[pid=28000/tid=28002] ppid=27998 vsize=289404 CPUtime=101.88 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 65264 0 0 0 10173 15 0 0 20 0 2 0 273362387 296349696 67772 33554432000 4194304 5963574 140736805175584 140557292836856 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 289404
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28290424/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=486012 CPUtime=162.2 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 105336 0 0 0 16198 22 0 0 20 0 2 0 273362377 497676288 104755 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 121503 104755 185 432 0 121068 0
[pid=28000/tid=28002] ppid=27998 vsize=486012 CPUtime=161.7 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 102264 0 0 0 16147 23 0 0 20 0 2 0 273362387 497676288 104755 33554432000 4194304 5963574 140736805175584 140557292836856 4381510 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 486012
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28046872/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=552272 CPUtime=222.19 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 123746 0 0 0 22194 25 0 0 20 0 2 0 273362377 565526528 123165 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 138068 123165 185 432 0 137633 0
[pid=28000/tid=28002] ppid=27998 vsize=552272 CPUtime=221.54 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 120674 0 0 0 22127 27 0 0 20 0 2 0 273362387 565526528 123165 33554432000 4194304 5963574 140736805175584 140557292836856 4381565 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 552272
[startup+282.3 s]
/proc/loadavg: 2.05 1.99 1.99 3/180 28084
/proc/meminfo: memFree=27905928/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=617808 CPUtime=282.18 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 139247 0 0 0 28190 28 0 0 20 0 2 0 273362377 632635392 138666 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 154452 138666 185 432 0 154017 0
[pid=28000/tid=28002] ppid=27998 vsize=617808 CPUtime=281.39 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 136175 0 0 0 28107 32 0 0 20 0 2 0 273362387 632635392 138666 33554432000 4194304 5963574 140736805175584 140557292836664 4381555 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 617808
[startup+342.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 28085
/proc/meminfo: memFree=27815456/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=617808 CPUtime=342.17 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 150908 0 0 0 34187 30 0 0 20 0 2 0 273362377 632635392 150327 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 154452 150327 185 432 0 154017 0
[pid=28000/tid=28002] ppid=27998 vsize=617808 CPUtime=341.23 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 147836 0 0 0 34088 35 0 0 20 0 2 0 273362387 632635392 150327 33554432000 4194304 5963574 140736805175584 140557292836856 4381238 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 617808
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 28085
/proc/meminfo: memFree=27712356/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=617808 CPUtime=402.16 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 150912 0 0 0 40185 31 0 0 20 0 2 0 273362377 632635392 150327 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 154452 150327 185 432 0 154017 0
[pid=28000/tid=28002] ppid=27998 vsize=617808 CPUtime=401.08 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 147840 0 0 0 40072 36 0 0 20 0 2 0 273362387 632635392 150327 33554432000 4194304 5963574 140736805175584 140557292836856 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 617808
[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28085
/proc/meminfo: memFree=27694900/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=683344 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28114
/proc/meminfo: memFree=26583708/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1076920 CPUtime=1421.93 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 259522 0 0 0 142139 54 0 0 20 0 2 0 273362377 1102766080 259336 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 269230 259336 185 432 0 268795 0
[pid=28000/tid=28002] ppid=27998 vsize=1076920 CPUtime=1418.37 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 256450 0 0 0 141762 75 0 0 20 0 2 0 273362387 1102766080 259336 33554432000 4194304 5963574 140736805175584 140557292836856 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1076920
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 28117
/proc/meminfo: memFree=26516136/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1142456 CPUtime=1481.92 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 276853 0 0 0 148133 59 0 0 20 0 2 0 273362377 1169874944 276667 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 285614 276667 185 432 0 285179 0
[pid=28000/tid=28002] ppid=27998 vsize=1142456 CPUtime=1478.21 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 273781 0 0 0 147741 80 0 0 20 0 2 0 273362387 1169874944 276667 33554432000 4194304 5963574 140736805175584 140557292836856 4381555 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1142456
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26399080/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1541.91 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 305592 0 0 0 154124 67 0 0 20 0 2 0 273362377 1304092672 305405 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 305405 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1538.05 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 302520 0 0 0 153715 90 0 0 20 0 2 0 273362387 1304092672 305405 33554432000 4194304 5963574 140736805175584 140557292836856 4381213 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1273528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26399356/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1601.89 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 305615 0 0 0 160122 67 0 0 20 0 2 0 273362377 1304092672 305412 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 305412 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1597.88 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 302543 0 0 0 159697 91 0 0 20 0 2 0 273362387 1304092672 305412 33554432000 4194304 5963574 140736805175584 140557292836856 4381544 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1273528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26380288/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1661.86 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 305644 0 0 0 166119 67 0 0 20 0 2 0 273362377 1304092672 305413 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 305413 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1657.71 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 302572 0 0 0 165679 92 0 0 20 0 2 0 273362387 1304092672 305413 33554432000 4194304 5963574 140736805175584 140557292836856 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1273528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26309532/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1721.84 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 305674 0 0 0 172117 67 0 0 20 0 2 0 273362377 1304092672 305414 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 305414 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1717.54 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 302602 0 0 0 171661 93 0 0 20 0 2 0 273362387 1304092672 305414 33554432000 4194304 5963574 140736805175584 140557292836856 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1273528
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 28118
/proc/meminfo: memFree=26164108/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1781.82 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 313557 0 0 0 178112 70 0 0 20 0 2 0 273362377 1304092672 313261 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 313261 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1777.36 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 310485 0 0 0 177640 96 0 0 20 0 2 0 273362387 1304092672 313261 33554432000 4194304 5963574 140736805175584 140557292836856 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1273528
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26128876/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1273528 CPUtime=1791.42 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 315192 0 0 0 179072 70 0 0 20 0 2 0 273362377 1304092672 314891 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 318382 314891 185 432 0 317947 0
[pid=28000/tid=28002] ppid=27998 vsize=1273528 CPUtime=1786.94 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 312120 0 0 0 178597 97 0 0 20 0 2 0 273362387 1304092672 314891 33554432000 4194304 5963574 140736805175584 140557292836856 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 1273528
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26115980/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1794.61 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 315917 0 0 0 179391 70 0 0 20 0 2 0 273362377 1371201536 315616 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 315616 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1790.13 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 312845 0 0 0 178916 97 0 0 20 0 2 0 273362387 1371201536 315616 33554432000 4194304 5963574 140736805175584 140557292836856 4381807 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 1339064
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26107656/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1797.8 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 316736 0 0 0 179710 70 0 0 20 0 2 0 273362377 1371201536 316435 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 316435 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1793.31 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 313664 0 0 0 179234 97 0 0 20 0 2 0 273362387 1371201536 316435 33554432000 4194304 5963574 140736805175584 140557292836856 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 1339064
[startup+1799.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26104432/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1798.6 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 316949 0 0 0 179790 70 0 0 20 0 2 0 273362377 1371201536 316648 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 316648 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1794.11 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 313877 0 0 0 179314 97 0 0 20 0 2 0 273362387 1371201536 316648 33554432000 4194304 5963574 140736805175584 140557292836856 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 1339064
[startup+1799.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26100712/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1799.01 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 317038 0 0 0 179831 70 0 0 20 0 2 0 273362377 1371201536 316737 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 316737 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1794.51 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 313966 0 0 0 179354 97 0 0 20 0 2 0 273362387 1371201536 316737 33554432000 4194304 5963574 140736805175584 140557292836856 4381510 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 1339064
[startup+1799.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26100712/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1799.4 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 317189 0 0 0 179870 70 0 0 20 0 2 0 273362377 1371201536 316888 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 316888 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1794.91 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 314117 0 0 0 179394 97 0 0 20 0 2 0 273362387 1371201536 316888 33554432000 4194304 5963574 140736805175584 140557292836856 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 1339064
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26100712/32873648 swapFree=6844/6844
[pid=28000] ppid=27998 vsize=1339064 CPUtime=1799.5 cores=1,3,5,7
/proc/28000/stat : 28000 (wbo1.7) S 27998 28000 27916 0 -1 4202496 317237 0 0 0 179880 70 0 0 20 0 2 0 273362377 1371201536 316936 33554432000 4194304 5963574 140736805175584 140736805175104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28000/statm: 334766 316936 185 432 0 334331 0
[pid=28000/tid=28002] ppid=27998 vsize=1339064 CPUtime=1795.01 cores=1,3,5,7
/proc/28000/task/28002/stat : 28002 (wbo1.7) R 27998 28000 27916 0 -1 4202560 314165 0 0 0 179404 97 0 0 20 0 2 0 273362387 1371201536 316936 33554432000 4194304 5963574 140736805175584 140557292836856 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 1339064
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28000 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=154247
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=3847
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.03
CPU time (s): 1799.5
CPU user time (s): 1798.8
CPU system time (s): 0.7
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1339064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 1.00385
maximum resident set size= 1267748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317238
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= 355
involuntary context switches= 6204
runsolver used 3.3115 second user time and 9.02163 second system time
The end