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-3728150-1338674717/watcher-3728150-1338674717 -o /tmp/evaluation-result-3728150-1338674717/solver-3728150-1338674717 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728150-1338674717.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.00 2.00 2.00 3/175 23327
/proc/meminfo: memFree=26886816/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=3248 CPUtime=0 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) R 23323 23327 22671 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 333599066 3325952 252 33554432000 4194304 5964350 140736159654304 140735986217288 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 812 252 163 433 0 354 0
[startup+0.0706761 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 23327
/proc/meminfo: memFree=26886816/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=83964 CPUtime=0.06 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 1213 0 0 0 6 0 0 0 20 0 2 0 333599066 85979136 1144 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 20991 1144 193 433 0 20555 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83964
[startup+0.100142 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 23327
/proc/meminfo: memFree=26886816/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=83964 CPUtime=0.09 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 1291 0 0 0 9 0 0 0 20 0 2 0 333599066 85979136 1222 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 20991 1222 193 433 0 20555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83964
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 23327
/proc/meminfo: memFree=26886816/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=83964 CPUtime=0.28 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 1716 0 0 0 28 0 0 0 20 0 2 0 333599066 85979136 1647 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 20991 1647 193 433 0 20555 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83964
[startup+0.700117 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 23327
/proc/meminfo: memFree=26886816/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=84108 CPUtime=0.68 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 2171 0 0 0 68 0 0 0 20 0 2 0 333599066 86126592 2102 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 21027 2102 193 433 0 20591 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84108
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26867316/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=84108 CPUtime=1.47 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 2941 0 0 0 147 0 0 0 20 0 2 0 333599066 86126592 2872 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 21027 2872 193 433 0 20591 0
[pid=23327/tid=23331] ppid=23323 vsize=84108 CPUtime=1.47 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 2120 0 0 0 147 0 0 0 20 0 2 0 333599067 86126592 2872 33554432000 4194304 5964350 140736159654304 139760220919608 4399930 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 84108
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26854900/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=84180 CPUtime=3.07 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 5062 0 0 0 307 0 0 0 20 0 2 0 333599066 86200320 4993 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 21045 4993 193 433 0 20609 0
[pid=23327/tid=23331] ppid=23323 vsize=84180 CPUtime=3.07 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 4241 0 0 0 307 0 0 0 20 0 2 0 333599067 86200320 4993 33554432000 4194304 5964350 140736159654304 139760220919848 5142878 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 84180
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26821616/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=84288 CPUtime=6.27 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 9074 0 0 0 626 1 0 0 20 0 2 0 333599066 86310912 9005 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 21072 9005 193 433 0 20636 0
[pid=23327/tid=23331] ppid=23323 vsize=84288 CPUtime=6.27 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 8254 0 0 0 625 2 0 0 20 0 2 0 333599067 86310912 9006 33554432000 4194304 5964350 140736159654304 139760220919800 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 84288
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26772792/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=84288 CPUtime=12.67 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 15415 0 0 0 1264 3 0 0 20 0 2 0 333599066 86310912 15346 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 21072 15346 193 433 0 20636 0
[pid=23327/tid=23331] ppid=23323 vsize=84288 CPUtime=12.67 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 14594 0 0 0 1263 4 0 0 20 0 2 0 333599067 86310912 15346 33554432000 4194304 5964350 140736159654304 139760220919800 4400366 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 84288
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26742032/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=150128 CPUtime=25.48 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 22954 0 0 0 2542 6 0 0 20 0 2 0 333599066 153731072 22885 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 37532 22885 193 433 0 37096 0
[pid=23327/tid=23331] ppid=23323 vsize=150128 CPUtime=25.47 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 22133 0 0 0 2540 7 0 0 20 0 2 0 333599067 153731072 22885 33554432000 4194304 5964350 140736159654304 139760220919800 4399866 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150128
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26668576/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=150272 CPUtime=51.07 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 31963 0 0 0 5097 10 0 0 20 0 2 0 333599066 153878528 31894 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 37568 31894 193 433 0 37132 0
[pid=23327/tid=23331] ppid=23323 vsize=150272 CPUtime=51.07 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 31142 0 0 0 5096 11 0 0 20 0 2 0 333599067 153878528 31894 33554432000 4194304 5964350 140736159654304 139760220919800 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150272
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26543636/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=215036 CPUtime=102.26 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 38090 0 0 0 10213 13 0 0 20 0 2 0 333599066 220196864 37815 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 53759 37815 197 433 0 53323 0
[pid=23327/tid=23331] ppid=23323 vsize=215036 CPUtime=102.26 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 37269 0 0 0 10211 15 0 0 20 0 2 0 333599067 220196864 37815 33554432000 4194304 5964350 140736159654304 139760220920760 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 215036
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23331
/proc/meminfo: memFree=26497992/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=215036 CPUtime=162.22 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 44872 0 0 0 16207 15 0 0 20 0 2 0 333599066 220196864 44564 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 53759 44564 197 433 0 53323 0
[pid=23327/tid=23331] ppid=23323 vsize=215036 CPUtime=162.23 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 44051 0 0 0 16205 18 0 0 20 0 2 0 333599067 220196864 44564 33554432000 4194304 5964350 140736159654304 139760220919800 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215036
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23332
/proc/meminfo: memFree=26462448/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=280572 CPUtime=222.21 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 57241 0 0 0 22202 19 0 0 20 0 2 0 333599066 287305728 53381 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 70143 53381 197 433 0 69707 0
[pid=23327/tid=23331] ppid=23323 vsize=280572 CPUtime=222.23 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 56420 0 0 0 22200 23 0 0 20 0 2 0 333599067 287305728 53381 33554432000 4194304 5964350 140736159654304 139760220920648 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 280572
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23332
/proc/meminfo: memFree=26449472/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=280572 CPUtime=282.2 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 57250 0 0 0 28201 19 0 0 20 0 2 0 333599066 287305728 53390 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 70143 53390 197 433 0 69707 0
[pid=23327/tid=23331] ppid=23323 vsize=280572 CPUtime=282.23 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 56429 0 0 0 28199 24 0 0 20 0 2 0 333599067 287305728 53390 33554432000 4194304 5964350 140736159654304 139760220920648 4399840 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) 280572
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 23335
/proc/meminfo: memFree=26443060/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=280572 CPUtime=342.18 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 58925 0 0 0 34199 19 0 0 20 0 2 0 333599066 287305728 55061 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 70143 55061 197 433 0 69707 0
[pid=23327/tid=23331] ppid=23323 vsize=280572 CPUtime=342.23 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 58104 0 0 0 34198 25 0 0 20 0 2 0 333599067 287305728 55061 33554432000 4194304 5964350 140736159654304 139760220920344 4400009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 280572
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23335
/proc/meminfo: memFree=26429416/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=280572 CPUtime=402.17 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 58940 0 0 0 40198 19 0 0 20 0 2 0 333599066 287305728 55062 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 70143 55062 197 433 0 69707 0
[pid=23327/tid=23331] ppid=23323 vsize=280572 CPUtime=402.23 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 58119 0 0 0 40197 26 0 0 20 0 2 0 333599067 287305728 55062 33554432000 4194304 5964350 140736159654304 139760220920344 4400007 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) 280572
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23335
/proc/meminfo: memFree=26389656/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=280572 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 81275 0 0 0 130179 46 0 0 20 0 2 0 333599067 354414592 71942 33554432000 4194304 5964350 140736159654304 139760220920648 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 346108
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23341
/proc/meminfo: memFree=26319480/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1362 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 82096 0 0 0 136174 26 0 0 20 0 2 0 333599066 354414592 71942 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 71942 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1362.24 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 81275 0 0 0 136177 47 0 0 20 0 2 0 333599067 354414592 71942 33554432000 4194304 5964350 140736159654304 139760220920648 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 346108
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23341
/proc/meminfo: memFree=26288228/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1422 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88009 0 0 0 142171 29 0 0 20 0 2 0 333599066 354414592 79899 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 79899 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1422.25 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87188 0 0 0 142174 51 0 0 20 0 2 0 333599067 354414592 79899 33554432000 4194304 5964350 140736159654304 139760220919800 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 346108
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23498
/proc/meminfo: memFree=26519164/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1481.98 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88596 0 0 0 148169 29 0 0 20 0 2 0 333599066 354414592 80543 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 80543 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1482.24 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87775 0 0 0 148172 52 0 0 20 0 2 0 333599067 354414592 80543 33554432000 4194304 5964350 140736159654304 139760220920152 4400448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 346108
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 23501
/proc/meminfo: memFree=26506120/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1541.97 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88596 0 0 0 154168 29 0 0 20 0 2 0 333599066 354414592 80543 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 80543 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1542.25 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87775 0 0 0 154172 53 0 0 20 0 2 0 333599067 354414592 80543 33554432000 4194304 5964350 140736159654304 139760220920152 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 346108
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 23501
/proc/meminfo: memFree=26474112/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1601.96 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88596 0 0 0 160167 29 0 0 20 0 2 0 333599066 354414592 80543 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 80543 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1602.25 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87775 0 0 0 160171 54 0 0 20 0 2 0 333599067 354414592 80543 33554432000 4194304 5964350 140736159654304 139760220920152 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 346108
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23501
/proc/meminfo: memFree=26425688/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1661.95 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88596 0 0 0 166166 29 0 0 20 0 2 0 333599066 354414592 80543 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 80543 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1662.25 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87775 0 0 0 166170 55 0 0 20 0 2 0 333599067 354414592 80543 33554432000 4194304 5964350 140736159654304 139760220920152 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 346108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23501
/proc/meminfo: memFree=26425940/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=346108 CPUtime=1721.94 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 88596 0 0 0 172165 29 0 0 20 0 2 0 333599066 354414592 80543 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 86527 80543 197 433 0 86091 0
[pid=23327/tid=23331] ppid=23323 vsize=346108 CPUtime=1722.26 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 87775 0 0 0 172170 56 0 0 20 0 2 0 333599067 354414592 80543 33554432000 4194304 5964350 140736159654304 139760220920152 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 346108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26363568/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1781.93 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99144 0 0 0 178160 33 0 0 20 0 2 0 333599066 423186432 91091 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91091 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1782.26 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98323 0 0 0 178165 61 0 0 20 0 2 0 333599067 423186432 91091 33554432000 4194304 5964350 140736159654304 139760220919608 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 413268
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352532/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1791.54 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99209 0 0 0 179121 33 0 0 20 0 2 0 333599066 423186432 91156 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91156 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1791.87 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98388 0 0 0 179126 61 0 0 20 0 2 0 333599067 423186432 91156 33554432000 4194304 5964350 140736159654304 139760220919608 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 413268
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1794.74 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99211 0 0 0 179441 33 0 0 20 0 2 0 333599066 423186432 91158 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91158 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1795.07 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98390 0 0 0 179446 61 0 0 20 0 2 0 333599067 423186432 91158 33554432000 4194304 5964350 140736159654304 139760220919608 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 413268
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1797.93 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99218 0 0 0 179760 33 0 0 20 0 2 0 333599066 423186432 91164 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91164 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1798.26 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98397 0 0 0 179765 61 0 0 20 0 2 0 333599067 423186432 91164 33554432000 4194304 5964350 140736159654304 139760220919672 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 413268
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1798.73 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99218 0 0 0 179840 33 0 0 20 0 2 0 333599066 423186432 91164 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91164 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1799.06 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98397 0 0 0 179845 61 0 0 20 0 2 0 333599067 423186432 91164 33554432000 4194304 5964350 140736159654304 139760220919672 4399866 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 413268
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1799.14 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99218 0 0 0 179881 33 0 0 20 0 2 0 333599066 423186432 91164 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91164 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1799.47 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98397 0 0 0 179886 61 0 0 20 0 2 0 333599067 423186432 91164 33554432000 4194304 5964350 140736159654304 139760220919672 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 413268
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1799.53 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99218 0 0 0 179920 33 0 0 20 0 2 0 333599066 423186432 91164 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91164 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1799.86 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98397 0 0 0 179925 61 0 0 20 0 2 0 333599067 423186432 91164 33554432000 4194304 5964350 140736159654304 139760220919672 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 413268
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23502
/proc/meminfo: memFree=26352408/32873648 swapFree=7120/7120
[pid=23327] ppid=23323 vsize=413268 CPUtime=1799.63 cores=1,3,5,7
/proc/23327/stat : 23327 (wbo1.72) S 23323 23327 22671 0 -1 4202496 99218 0 0 0 179930 33 0 0 20 0 2 0 333599066 423186432 91164 33554432000 4194304 5964350 140736159654304 140736159653824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23327/statm: 103317 91164 197 433 0 102881 0
[pid=23327/tid=23331] ppid=23323 vsize=413268 CPUtime=1799.96 cores=1,3,5,7
/proc/23327/task/23331/stat : 23331 (wbo1.72) R 23323 23327 22671 0 -1 4202560 98397 0 0 0 179935 61 0 0 20 0 2 0 333599067 423186432 91164 33554432000 4194304 5964350 140736159654304 139760220919672 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 413268
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.99
CPU user time (s): 1799.36
CPU system time (s): 0.623905
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 413268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.623905
maximum resident set size= 364664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99220
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= 134
involuntary context switches= 1953
runsolver used 3.05953 second user time and 8.30874 second system time
The end