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-3705395-1338106025/watcher-3705395-1338106025 -o /tmp/evaluation-result-3705395-1338106025/solver-3705395-1338106025 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705395-1338106025.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23679
/proc/meminfo: memFree=27368424/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=5672 CPUtime=0 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) R 23677 23679 22359 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 276729814 5808128 377 33554432000 4194304 5963574 140733203339168 140733805662120 4338874 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 1418 377 168 432 0 462 0
[startup+0.0441261 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23679
/proc/meminfo: memFree=27368424/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=7048 CPUtime=0.04 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) R 23677 23679 22359 0 -1 4202496 871 0 0 0 4 0 0 0 20 0 1 0 276729814 7217152 823 33554432000 4194304 5963574 140733203339168 140733805662120 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 1762 823 300 432 0 806 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7048
[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23679
/proc/meminfo: memFree=27368424/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=9232 CPUtime=0.09 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) R 23677 23679 22359 0 -1 4202496 1609 0 0 0 9 0 0 0 20 0 1 0 276729814 9453568 1528 33554432000 4194304 5963574 140733203339168 140733805662120 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 2308 1528 505 432 0 1352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9232
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23679
/proc/meminfo: memFree=27368424/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=0.29 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 5421 0 0 0 28 1 0 0 20 0 2 0 276729814 90927104 4380 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 4380 193 432 0 21764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88796
[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23679
/proc/meminfo: memFree=27368424/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=0.69 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 6456 0 0 0 68 1 0 0 20 0 2 0 276729814 90927104 4380 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 4380 193 432 0 21764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88796
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23681
/proc/meminfo: memFree=27350420/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=1.49 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 7926 0 0 0 148 1 0 0 20 0 2 0 276729814 90927104 4889 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 4889 195 432 0 21764 0
[pid=23679/tid=23681] ppid=23677 vsize=88796 CPUtime=1.33 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 5272 0 0 0 133 0 0 0 20 0 2 0 276729829 90927104 4889 33554432000 4194304 5963574 140733203339168 140033804331544 4419071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88796
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23681
/proc/meminfo: memFree=27348436/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=3.09 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 9910 0 0 0 307 2 0 0 20 0 2 0 276729814 90927104 5266 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 5266 197 432 0 21764 0
[pid=23679/tid=23681] ppid=23677 vsize=88796 CPUtime=2.93 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 7256 0 0 0 292 1 0 0 20 0 2 0 276729829 90927104 5266 33554432000 4194304 5963574 140733203339168 140033804331352 4388668 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88796
[startup+6.30026 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23681
/proc/meminfo: memFree=27335540/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=6.29 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 12660 0 0 0 627 2 0 0 20 0 2 0 276729814 90927104 7919 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 7919 197 432 0 21764 0
[pid=23679/tid=23681] ppid=23677 vsize=88796 CPUtime=6.12 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 10006 0 0 0 611 1 0 0 20 0 2 0 276729829 90927104 7919 33554432000 4194304 5963574 140733203339168 140033804331848 4399401 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88796
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23681
/proc/meminfo: memFree=27333708/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=12.68 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 13108 0 0 0 1266 2 0 0 20 0 2 0 276729814 90927104 8367 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 8367 198 432 0 21764 0
[pid=23679/tid=23681] ppid=23677 vsize=88796 CPUtime=12.5 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 10454 0 0 0 1249 1 0 0 20 0 2 0 276729829 90927104 8367 33554432000 4194304 5963574 140733203339168 140033804331352 4400345 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88796
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23681
/proc/meminfo: memFree=27326476/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=88796 CPUtime=25.49 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 15530 0 0 0 2546 3 0 0 20 0 2 0 276729814 90927104 10420 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 22199 10420 198 432 0 21764 0
[pid=23679/tid=23681] ppid=23677 vsize=88796 CPUtime=25.27 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 12876 0 0 0 2525 2 0 0 20 0 2 0 276729829 90927104 10420 33554432000 4194304 5963574 140733203339168 140033804331848 4399505 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88796
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23681
/proc/meminfo: memFree=27286624/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=154332 CPUtime=51.08 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 24710 0 0 0 5102 6 0 0 20 0 2 0 276729814 158035968 19600 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 38583 19600 198 432 0 38148 0
[pid=23679/tid=23681] ppid=23677 vsize=154332 CPUtime=50.81 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 22056 0 0 0 5076 5 0 0 20 0 2 0 276729829 158035968 19600 33554432000 4194304 5963574 140733203339168 140033804331000 4400320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154332
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23681
/proc/meminfo: memFree=27241844/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=155416 CPUtime=102.28 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 32376 0 0 0 10219 9 0 0 20 0 2 0 276729814 159145984 27264 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 38854 27264 198 432 0 38419 0
[pid=23679/tid=23681] ppid=23677 vsize=155416 CPUtime=101.88 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 29722 0 0 0 10179 9 0 0 20 0 2 0 276729829 159145984 27264 33554432000 4194304 5963574 140733203339168 140033804330872 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 155416
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23681
/proc/meminfo: memFree=27157436/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=221492 CPUtime=162.26 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 44479 0 0 0 16212 14 0 0 20 0 2 0 276729814 226807808 39478 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 55373 39478 198 432 0 54938 0
[pid=23679/tid=23681] ppid=23677 vsize=221492 CPUtime=161.71 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 41825 0 0 0 16156 15 0 0 20 0 2 0 276729829 226807808 39478 33554432000 4194304 5963574 140733203339168 140033804331048 4399537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 221492
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23685
/proc/meminfo: memFree=27072036/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=285404 CPUtime=222.21 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 56986 0 0 0 22200 21 0 0 20 0 2 0 276729814 292253696 52057 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 71351 52057 198 432 0 70916 0
[pid=23679/tid=23681] ppid=23677 vsize=285404 CPUtime=221.52 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 54332 0 0 0 22129 23 0 0 20 0 2 0 276729829 292253696 52057 33554432000 4194304 5963574 140733203339168 140033804330808 4392274 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 285404
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23685
/proc/meminfo: memFree=27046240/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=285404 CPUtime=282.17 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 57052 0 0 0 28196 21 0 0 20 0 2 0 276729814 292253696 52679 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 71351 52679 198 432 0 70916 0
[pid=23679/tid=23681] ppid=23677 vsize=285404 CPUtime=281.34 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 54398 0 0 0 28110 24 0 0 20 0 2 0 276729829 292253696 52679 33554432000 4194304 5963574 140733203339168 140033804331960 4390948 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 285404
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23685
/proc/meminfo: memFree=27042412/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=285404 CPUtime=342.16 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 57056 0 0 0 34195 21 0 0 20 0 2 0 276729814 292253696 52683 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 71351 52683 198 432 0 70916 0
[pid=23679/tid=23681] ppid=23677 vsize=285404 CPUtime=341.18 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 54402 0 0 0 34093 25 0 0 20 0 2 0 276729829 292253696 52683 33554432000 4194304 5963574 140733203339168 140033804331960 4387828 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 285404
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23685
/proc/meminfo: memFree=27038032/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=285404 CPUtime=402.15 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 57075 0 0 0 40194 21 0 0 20 0 2 0 276729814 292253696 52702 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 71351 52702 198 432 0 70916 0
[pid=23679/tid=23681] ppid=23677 vsize=285404 CPUtime=401.03 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 54421 0 0 0 40077 26 0 0 20 0 2 0 276729829 292253696 52702 33554432000 4194304 5963574 140733203339168 140033804331960 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 285404
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23685
/proc/meminfo: memFree=27017944/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=285404 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23695
/proc/meminfo: memFree=26600296/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=485660 CPUtime=1421.94 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 115184 0 0 0 142131 63 0 0 20 0 2 0 276729814 497315840 113276 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 121415 113276 198 432 0 120980 0
[pid=23679/tid=23681] ppid=23677 vsize=485660 CPUtime=1418.36 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 112530 0 0 0 141753 83 0 0 20 0 2 0 276729829 497315840 113276 33554432000 4194304 5963574 140733203339168 140033804330872 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 485660
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23695
/proc/meminfo: memFree=26575856/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=485660 CPUtime=1481.92 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 118078 0 0 0 148126 66 0 0 20 0 2 0 276729814 497315840 116364 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 121415 116364 198 432 0 120980 0
[pid=23679/tid=23681] ppid=23677 vsize=485660 CPUtime=1478.19 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 115424 0 0 0 147732 87 0 0 20 0 2 0 276729829 497315840 116364 33554432000 4194304 5963574 140733203339168 140033804331000 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 485660
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 24554
/proc/meminfo: memFree=27026084/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1541.89 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 121239 0 0 0 154120 69 0 0 20 0 2 0 276729814 564424704 120097 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 120097 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1538.01 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 118585 0 0 0 153710 91 0 0 20 0 2 0 276729829 564424704 120097 33554432000 4194304 5963574 140733203339168 140033804331000 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 551196
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24554
/proc/meminfo: memFree=26979784/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1601.87 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 122658 0 0 0 160117 70 0 0 20 0 2 0 276729814 564424704 121660 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 121660 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1597.85 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 120004 0 0 0 159692 93 0 0 20 0 2 0 276729829 564424704 121660 33554432000 4194304 5963574 140733203339168 140033804330808 4399448 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 551196
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24554
/proc/meminfo: memFree=26956440/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1661.86 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 123009 0 0 0 166116 70 0 0 20 0 2 0 276729814 564424704 122011 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 122011 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1657.7 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 120355 0 0 0 165676 94 0 0 20 0 2 0 276729829 564424704 122011 33554432000 4194304 5963574 140733203339168 140033804330808 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 551196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24555
/proc/meminfo: memFree=26936232/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1721.85 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 123707 0 0 0 172115 70 0 0 20 0 2 0 276729814 564424704 122706 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 122706 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1717.54 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 121053 0 0 0 171658 96 0 0 20 0 2 0 276729829 564424704 122706 33554432000 4194304 5963574 140733203339168 140033804330872 4399537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 551196
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26903412/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1781.85 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125174 0 0 0 178114 71 0 0 20 0 2 0 276729814 564424704 124165 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124165 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1777.39 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122520 0 0 0 177642 97 0 0 20 0 2 0 276729829 564424704 124165 33554432000 4194304 5963574 140733203339168 140033804330808 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 551196
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902528/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1791.45 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125351 0 0 0 179074 71 0 0 20 0 2 0 276729814 564424704 124340 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124340 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1786.97 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122697 0 0 0 178600 97 0 0 20 0 2 0 276729829 564424704 124340 33554432000 4194304 5963574 140733203339168 140033804330872 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 551196
[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902404/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1794.65 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125356 0 0 0 179394 71 0 0 20 0 2 0 276729814 564424704 124345 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124345 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1790.16 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122702 0 0 0 178919 97 0 0 20 0 2 0 276729829 564424704 124345 33554432000 4194304 5963574 140733203339168 140033804330872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 551196
[startup+1798.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902264/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1797.84 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125362 0 0 0 179713 71 0 0 20 0 2 0 276729814 564424704 124351 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124351 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1793.35 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122708 0 0 0 179238 97 0 0 20 0 2 0 276729829 564424704 124351 33554432000 4194304 5963574 140733203339168 140033804330872 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 551196
[startup+1799.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902264/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1798.64 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125362 0 0 0 179793 71 0 0 20 0 2 0 276729814 564424704 124351 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124351 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1794.15 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122708 0 0 0 179318 97 0 0 20 0 2 0 276729829 564424704 124351 33554432000 4194304 5963574 140733203339168 140033804330872 4399537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 551196
[startup+1799.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902140/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1799.05 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125363 0 0 0 179834 71 0 0 20 0 2 0 276729814 564424704 124352 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124352 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1794.55 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122709 0 0 0 179358 97 0 0 20 0 2 0 276729829 564424704 124352 33554432000 4194304 5963574 140733203339168 140033804330872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 551196
[startup+1799.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902140/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1799.44 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125364 0 0 0 179873 71 0 0 20 0 2 0 276729814 564424704 124353 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124353 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1794.94 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122710 0 0 0 179397 97 0 0 20 0 2 0 276729829 564424704 124353 33554432000 4194304 5963574 140733203339168 140033804330872 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 551196
[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24555
/proc/meminfo: memFree=26902140/32873648 swapFree=6336/6336
[pid=23679] ppid=23677 vsize=551196 CPUtime=1799.54 cores=0,2,4,6
/proc/23679/stat : 23679 (wbo1.7) S 23677 23679 22359 0 -1 4202496 125364 0 0 0 179883 71 0 0 20 0 2 0 276729814 564424704 124353 33554432000 4194304 5963574 140733203339168 140733203338688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23679/statm: 137799 124353 198 432 0 137364 0
[pid=23679/tid=23681] ppid=23677 vsize=551196 CPUtime=1795.04 cores=0,2,4,6
/proc/23679/task/23681/stat : 23681 (wbo1.7) R 23677 23679 22359 0 -1 4202560 122710 0 0 0 179407 97 0 0 20 0 2 0 276729829 564424704 124353 33554432000 4194304 5963574 140733203339168 140033804330872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 551196
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23679 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=226236
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=992849
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.54
CPU user time (s): 1798.83
CPU system time (s): 0.71
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 551196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 0.992849
maximum resident set size= 497412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125364
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= 221
involuntary context switches= 2378
runsolver used 2.65759 second user time and 7.16391 second system time
The end