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-3704868-1338110151/watcher-3704868-1338110151 -o /tmp/evaluation-result-3704868-1338110151/solver-3704868-1338110151 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704868-1338110151.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26746
/proc/meminfo: memFree=30725620/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=11404 CPUtime=0 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) R 26744 26746 24863 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 277140773 11677696 272 33554432000 4194304 5963574 140735341600928 140735341599352 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 2851 272 172 432 0 349 0
[startup+0.0595359 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26746
/proc/meminfo: memFree=30725620/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=14176 CPUtime=0.05 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) R 26744 26746 24863 0 -1 4202496 1169 0 0 0 5 0 0 0 20 0 1 0 277140773 14516224 1121 33554432000 4194304 5963574 140735341600928 140735341599352 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 3544 1121 373 432 0 1042 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14176
[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26746
/proc/meminfo: memFree=30725620/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=16172 CPUtime=0.09 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) R 26744 26746 24863 0 -1 4202496 1856 0 0 0 9 0 0 0 20 0 1 0 277140773 16560128 1775 33554432000 4194304 5963574 140735341600928 140735341599352 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 4043 1776 537 432 0 1541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16172
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26746
/proc/meminfo: memFree=30725620/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=25364 CPUtime=0.29 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) R 26744 26746 24863 0 -1 4202496 4971 0 0 0 28 1 0 0 20 0 1 0 277140773 25972736 4825 33554432000 4194304 5963574 140735341600928 140735341599352 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 6341 4826 1313 432 0 3839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25364
[startup+0.700202 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26746
/proc/meminfo: memFree=30725620/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=0.69 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 16719 0 0 0 67 2 0 0 20 0 2 0 277140773 110485504 13839 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 13839 182 432 0 26539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107896
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26748
/proc/meminfo: memFree=30669416/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=1.48 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 17317 0 0 0 146 2 0 0 20 0 2 0 277140773 110485504 14437 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 14437 187 432 0 26539 0
[pid=26746/tid=26748] ppid=26744 vsize=107896 CPUtime=0.95 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 8191 0 0 0 93 2 0 0 20 0 2 0 277140827 110485504 14437 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107896
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26748
/proc/meminfo: memFree=30668052/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=3.08 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 17690 0 0 0 306 2 0 0 20 0 2 0 277140773 110485504 14810 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 14810 187 432 0 26539 0
[pid=26746/tid=26748] ppid=26744 vsize=107896 CPUtime=2.55 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 8564 0 0 0 253 2 0 0 20 0 2 0 277140827 110485504 14810 33554432000 4194304 5963574 140735341600928 140345436628920 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 107896
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26748
/proc/meminfo: memFree=30663472/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=6.28 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 18654 0 0 0 625 3 0 0 20 0 2 0 277140773 110485504 15774 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 15774 187 432 0 26539 0
[pid=26746/tid=26748] ppid=26744 vsize=107896 CPUtime=5.74 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 9528 0 0 0 572 2 0 0 20 0 2 0 277140827 110485504 15774 33554432000 4194304 5963574 140735341600928 140345436628792 4403231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107896
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 26748
/proc/meminfo: memFree=30652452/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=12.68 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 20899 0 0 0 1264 4 0 0 20 0 2 0 277140773 110485504 18019 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 18019 187 432 0 26539 0
[pid=26746/tid=26748] ppid=26744 vsize=107896 CPUtime=12.11 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 11773 0 0 0 1209 2 0 0 20 0 2 0 277140827 110485504 18019 33554432000 4194304 5963574 140735341600928 140345436628984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 107896
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26748
/proc/meminfo: memFree=30637208/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=107896 CPUtime=25.47 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 23947 0 0 0 2542 5 0 0 20 0 2 0 277140773 110485504 21067 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 26974 21067 187 432 0 26539 0
[pid=26746/tid=26748] ppid=26744 vsize=107896 CPUtime=24.88 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 14821 0 0 0 2484 4 0 0 20 0 2 0 277140827 110485504 21067 33554432000 4194304 5963574 140735341600928 140345436628792 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 107896
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26749
/proc/meminfo: memFree=30609928/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=173432 CPUtime=51.07 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 28074 0 0 0 5100 7 0 0 20 0 2 0 277140773 177594368 25194 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 43358 25194 187 432 0 42923 0
[pid=26746/tid=26748] ppid=26744 vsize=173432 CPUtime=50.41 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 18948 0 0 0 5035 6 0 0 20 0 2 0 277140827 177594368 25194 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 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) 173432
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26749
/proc/meminfo: memFree=30556696/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=173432 CPUtime=102.27 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 34358 0 0 0 10216 11 0 0 20 0 2 0 277140773 177594368 31476 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 43358 31476 187 432 0 42923 0
[pid=26746/tid=26748] ppid=26744 vsize=173432 CPUtime=101.49 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 25232 0 0 0 10138 11 0 0 20 0 2 0 277140827 177594368 31476 33554432000 4194304 5963574 140735341600928 140345436628984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 173432
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26749
/proc/meminfo: memFree=30514884/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=175864 CPUtime=162.25 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 38594 0 0 0 16211 14 0 0 20 0 2 0 277140773 180084736 36221 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 43966 36221 187 432 0 43531 0
[pid=26746/tid=26748] ppid=26744 vsize=175864 CPUtime=161.33 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 29468 0 0 0 16118 15 0 0 20 0 2 0 277140827 180084736 36221 33554432000 4194304 5963574 140735341600928 140345436629032 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 175864
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26749
/proc/meminfo: memFree=30486984/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=175864 CPUtime=222.25 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 41300 0 0 0 22207 18 0 0 20 0 2 0 277140773 180084736 38927 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 43966 38927 187 432 0 43531 0
[pid=26746/tid=26748] ppid=26744 vsize=175864 CPUtime=221.17 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 32174 0 0 0 22098 19 0 0 20 0 2 0 277140827 180084736 38927 33554432000 4194304 5963574 140735341600928 140345436628984 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 175864
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26752
/proc/meminfo: memFree=30449572/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=241400 CPUtime=282.24 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 44832 0 0 0 28203 21 0 0 20 0 2 0 277140773 247193600 42457 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 60350 42457 187 432 0 59915 0
[pid=26746/tid=26748] ppid=26744 vsize=241400 CPUtime=281.02 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 35706 0 0 0 28079 23 0 0 20 0 2 0 277140827 247193600 42457 33554432000 4194304 5963574 140735341600928 140345436628984 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 241400
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26753
/proc/meminfo: memFree=30410148/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=242616 CPUtime=342.23 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 50087 0 0 0 34197 26 0 0 20 0 2 0 277140773 248438784 47711 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 60654 47711 187 432 0 60219 0
[pid=26746/tid=26748] ppid=26744 vsize=242616 CPUtime=340.87 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 40961 0 0 0 34058 29 0 0 20 0 2 0 277140827 248438784 47711 33554432000 4194304 5963574 140735341600928 140345436628984 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 242616
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 26753
/proc/meminfo: memFree=30386596/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=242616 CPUtime=402.21 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 52072 0 0 0 40195 26 0 0 20 0 2 0 277140773 248438784 50290 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 60654 50290 187 432 0 60219 0
[pid=26746/tid=26748] ppid=26744 vsize=242616 CPUtime=400.7 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 42946 0 0 0 40039 31 0 0 20 0 2 0 277140827 248438784 50290 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 242616
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26753
/proc/meminfo: memFree=30369264/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=242616 CPUtime=462.19 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26799
/proc/meminfo: memFree=30848552/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=375512 CPUtime=1422.01 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 86490 0 0 0 142138 63 0 0 20 0 2 0 277140773 384524288 86823 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 93878 86823 187 432 0 93443 0
[pid=26746/tid=26748] ppid=26744 vsize=375512 CPUtime=1417.97 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 77364 0 0 0 141715 82 0 0 20 0 2 0 277140827 384524288 86823 33554432000 4194304 5963574 140735341600928 140345436628792 4399937 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 375512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26802
/proc/meminfo: memFree=30834388/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=375512 CPUtime=1481.99 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 86510 0 0 0 148136 63 0 0 20 0 2 0 277140773 384524288 86843 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 93878 86843 187 432 0 93443 0
[pid=26746/tid=26748] ppid=26744 vsize=375512 CPUtime=1477.81 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 77384 0 0 0 147698 83 0 0 20 0 2 0 277140827 384524288 86843 33554432000 4194304 5963574 140735341600928 140345436628792 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 375512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26802
/proc/meminfo: memFree=30821412/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=375512 CPUtime=1541.98 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 86703 0 0 0 154135 63 0 0 20 0 2 0 277140773 384524288 87036 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 93878 87036 187 432 0 93443 0
[pid=26746/tid=26748] ppid=26744 vsize=375512 CPUtime=1537.66 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 77577 0 0 0 153682 84 0 0 20 0 2 0 277140827 384524288 87036 33554432000 4194304 5963574 140735341600928 140345436628792 4399511 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 375512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30800208/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=375512 CPUtime=1601.97 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 86775 0 0 0 160134 63 0 0 20 0 2 0 277140773 384524288 87108 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 93878 87108 187 432 0 93443 0
[pid=26746/tid=26748] ppid=26744 vsize=375512 CPUtime=1597.5 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 77649 0 0 0 159665 85 0 0 20 0 2 0 277140827 384524288 87108 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 375512
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30793320/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=375512 CPUtime=1661.96 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 86875 0 0 0 166133 63 0 0 20 0 2 0 277140773 384524288 87346 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 93878 87346 187 432 0 93443 0
[pid=26746/tid=26748] ppid=26744 vsize=375512 CPUtime=1657.35 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 77749 0 0 0 165649 86 0 0 20 0 2 0 277140827 384524288 87346 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 375512
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26803
/proc/meminfo: memFree=30754012/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1721.95 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 96731 0 0 0 172124 71 0 0 20 0 2 0 277140773 451633152 97202 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 97202 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1717.19 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 87605 0 0 0 171623 96 0 0 20 0 2 0 277140827 451633152 97202 33554432000 4194304 5963574 140735341600928 140345436628984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 441048
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26803
/proc/meminfo: memFree=30739048/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1781.95 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100174 0 0 0 178120 75 0 0 20 0 2 0 277140773 451633152 100645 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100645 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1777.04 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91048 0 0 0 177604 100 0 0 20 0 2 0 277140827 451633152 100645 33554432000 4194304 5963574 140735341600928 140345436629032 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 441048
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738660/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1791.55 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100321 0 0 0 179080 75 0 0 20 0 2 0 277140773 451633152 100792 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100792 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1786.62 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91195 0 0 0 178562 100 0 0 20 0 2 0 277140827 451633152 100792 33554432000 4194304 5963574 140735341600928 140345436628984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 441048
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738412/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1794.75 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100364 0 0 0 179400 75 0 0 20 0 2 0 277140773 451633152 100835 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100835 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1789.81 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91238 0 0 0 178881 100 0 0 20 0 2 0 277140827 451633152 100835 33554432000 4194304 5963574 140735341600928 140345436628984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 441048
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738288/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1797.94 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100434 0 0 0 179719 75 0 0 20 0 2 0 277140773 451633152 100905 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100905 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1793 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91308 0 0 0 179200 100 0 0 20 0 2 0 277140827 451633152 100905 33554432000 4194304 5963574 140735341600928 140345436628792 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 441048
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738164/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1798.74 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100491 0 0 0 179799 75 0 0 20 0 2 0 277140773 451633152 100962 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100962 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1793.8 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91365 0 0 0 179280 100 0 0 20 0 2 0 277140827 451633152 100962 33554432000 4194304 5963574 140735341600928 140345436629000 4400064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 441048
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738040/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1799.15 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100496 0 0 0 179840 75 0 0 20 0 2 0 277140773 451633152 100967 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100967 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1794.2 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91370 0 0 0 179320 100 0 0 20 0 2 0 277140827 451633152 100967 33554432000 4194304 5963574 140735341600928 140345436629000 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 441048
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738040/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1799.54 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100505 0 0 0 179879 75 0 0 20 0 2 0 277140773 451633152 100976 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100976 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1794.59 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91379 0 0 0 179359 100 0 0 20 0 2 0 277140827 451633152 100976 33554432000 4194304 5963574 140735341600928 140345436629000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 441048
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26803
/proc/meminfo: memFree=30738040/32873844 swapFree=7624/7624
[pid=26746] ppid=26744 vsize=441048 CPUtime=1799.64 cores=1,3,5,7
/proc/26746/stat : 26746 (wbo1.7) S 26744 26746 24863 0 -1 4202496 100508 0 0 0 179889 75 0 0 20 0 2 0 277140773 451633152 100979 33554432000 4194304 5963574 140735341600928 140735341600448 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26746/statm: 110262 100979 187 432 0 109827 0
[pid=26746/tid=26748] ppid=26744 vsize=441048 CPUtime=1794.69 cores=1,3,5,7
/proc/26746/task/26748/stat : 26748 (wbo1.7) R 26744 26746 24863 0 -1 4202560 91382 0 0 0 179369 100 0 0 20 0 2 0 277140827 451633152 100979 33554432000 4194304 5963574 140735341600928 140345436629032 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 441048
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26746 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=227236
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=31843
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.64
#
# 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.64
CPU user time (s): 1798.89
CPU system time (s): 0.75
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 441048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 1.03184
maximum resident set size= 403928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100511
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= 154
involuntary context switches= 1971
runsolver used 4.43233 second user time and 9.91349 second system time
The end