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-3704896-1338115771/watcher-3704896-1338115771 -o /tmp/evaluation-result-3704896-1338115771/solver-3704896-1338115771 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704896-1338115771.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 3/177 14529
/proc/meminfo: memFree=27390996/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=5268 CPUtime=0 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) R 14527 14529 12137 0 -1 4202496 582 0 0 0 0 0 0 0 20 0 1 0 277703975 5394432 534 33554432000 4194304 5963574 140733340563440 140737036778520 5142556 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 1317 545 164 432 0 634 0
[startup+0.055714 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14529
/proc/meminfo: memFree=27390996/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=9704 CPUtime=0.05 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) R 14527 14529 12137 0 -1 4202496 1749 0 0 0 5 0 0 0 20 0 1 0 277703975 9936896 1701 33554432000 4194304 5963574 140733340563440 140737036778520 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 2426 1702 345 432 0 1743 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9704
[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14529
/proc/meminfo: memFree=27390996/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=92460 CPUtime=0.09 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 4627 0 0 0 9 0 0 0 20 0 2 0 277703975 94679040 4221 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 23115 4221 179 432 0 22680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92460
[startup+0.300131 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14529
/proc/meminfo: memFree=27390996/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=0.29 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 4990 0 0 0 29 0 0 0 20 0 2 0 277703975 93065216 4288 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 4288 187 432 0 22286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90884
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14529
/proc/meminfo: memFree=27390996/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=0.69 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 5350 0 0 0 69 0 0 0 20 0 2 0 277703975 93065216 4648 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 4648 187 432 0 22286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90884
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14531
/proc/meminfo: memFree=27371644/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=1.48 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 6026 0 0 0 148 0 0 0 20 0 2 0 277703975 93065216 5324 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 5324 187 432 0 22286 0
[pid=14529/tid=14531] ppid=14527 vsize=90884 CPUtime=1.4 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 3502 0 0 0 140 0 0 0 20 0 2 0 277703983 93065216 5324 33554432000 4194304 5963574 140733340563440 140218641553448 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90884
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14531
/proc/meminfo: memFree=27367180/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=3.09 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 7304 0 0 0 308 1 0 0 20 0 2 0 277703975 93065216 6602 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 6602 187 432 0 22286 0
[pid=14529/tid=14531] ppid=14527 vsize=90884 CPUtime=3 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 4780 0 0 0 300 0 0 0 20 0 2 0 277703983 93065216 6602 33554432000 4194304 5963574 140733340563440 140218641553208 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90884
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14531
/proc/meminfo: memFree=27358500/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=6.29 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 8194 0 0 0 628 1 0 0 20 0 2 0 277703975 93065216 7492 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 7492 187 432 0 22286 0
[pid=14529/tid=14531] ppid=14527 vsize=90884 CPUtime=6.19 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 5670 0 0 0 618 1 0 0 20 0 2 0 277703983 93065216 7492 33554432000 4194304 5963574 140733340563440 140218641553448 4399982 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90884
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14531
/proc/meminfo: memFree=27343708/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=12.69 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 9594 0 0 0 1267 2 0 0 20 0 2 0 277703975 93065216 8892 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 8892 187 432 0 22286 0
[pid=14529/tid=14531] ppid=14527 vsize=90884 CPUtime=12.57 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 7070 0 0 0 1256 1 0 0 20 0 2 0 277703983 93065216 8892 33554432000 4194304 5963574 140733340563440 140218641553400 4402879 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90884
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14531
/proc/meminfo: memFree=27323232/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=90884 CPUtime=25.48 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 13082 0 0 0 2545 3 0 0 20 0 2 0 277703975 93065216 12380 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 22721 12380 187 432 0 22286 0
[pid=14529/tid=14531] ppid=14527 vsize=90884 CPUtime=25.34 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 10558 0 0 0 2531 3 0 0 20 0 2 0 277703983 93065216 12380 33554432000 4194304 5963574 140733340563440 140218641553400 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90884
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14534
/proc/meminfo: memFree=27290964/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=156420 CPUtime=51.08 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 20891 0 0 0 5102 6 0 0 20 0 2 0 277703975 160174080 20189 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 39105 20189 187 432 0 38670 0
[pid=14529/tid=14531] ppid=14527 vsize=156420 CPUtime=50.88 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 18367 0 0 0 5082 6 0 0 20 0 2 0 277703983 160174080 20189 33554432000 4194304 5963574 140733340563440 140218641553400 4392444 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 156420
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14534
/proc/meminfo: memFree=27264048/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=157144 CPUtime=102.28 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 27677 0 0 0 10219 9 0 0 20 0 2 0 277703975 160915456 26975 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 39286 26975 187 432 0 38851 0
[pid=14529/tid=14531] ppid=14527 vsize=157144 CPUtime=101.95 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 25153 0 0 0 10185 10 0 0 20 0 2 0 277703983 160915456 26975 33554432000 4194304 5963574 140733340563440 140218641553400 4402879 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 157144
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14534
/proc/meminfo: memFree=27246316/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=157144 CPUtime=162.26 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 32350 0 0 0 16215 11 0 0 20 0 2 0 277703975 160915456 31648 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 39286 31648 187 432 0 38851 0
[pid=14529/tid=14531] ppid=14527 vsize=157144 CPUtime=161.79 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 29826 0 0 0 16166 13 0 0 20 0 2 0 277703983 160915456 31648 33554432000 4194304 5963574 140733340563440 140218641553400 4392454 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 157144
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14534
/proc/meminfo: memFree=27173732/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=222680 CPUtime=222.23 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 45344 0 0 0 22206 17 0 0 20 0 2 0 277703975 228024320 44766 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 55670 44766 187 432 0 55235 0
[pid=14529/tid=14531] ppid=14527 vsize=222680 CPUtime=221.61 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 42820 0 0 0 22141 20 0 0 20 0 2 0 277703983 228024320 44766 33554432000 4194304 5963574 140733340563440 140218641553400 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 222680
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14535
/proc/meminfo: memFree=27161612/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=222680 CPUtime=282.19 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 47592 0 0 0 28201 18 0 0 20 0 2 0 277703975 228024320 47047 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 55670 47047 187 432 0 55235 0
[pid=14529/tid=14531] ppid=14527 vsize=222680 CPUtime=281.42 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 45068 0 0 0 28121 21 0 0 20 0 2 0 277703983 228024320 47047 33554432000 4194304 5963574 140733340563440 140218641553400 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 222680
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14535
/proc/meminfo: memFree=27146396/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=222680 CPUtime=342.17 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 48152 0 0 0 34199 18 0 0 20 0 2 0 277703975 228024320 48106 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 55670 48106 187 432 0 55235 0
[pid=14529/tid=14531] ppid=14527 vsize=222680 CPUtime=341.26 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 45628 0 0 0 34103 23 0 0 20 0 2 0 277703983 228024320 48106 33554432000 4194304 5963574 140733340563440 140218641553448 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 222680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14535
/proc/meminfo: memFree=27111384/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=288216 CPUtime=402.17 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 57192 0 0 0 40193 24 0 0 20 0 2 0 277703975 295133184 57146 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 72054 57146 187 432 0 71619 0
[pid=14529/tid=14531] ppid=14527 vsize=288216 CPUtime=401.1 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 54668 0 0 0 40081 29 0 0 20 0 2 0 277703983 295133184 57146 33554432000 4194304 5963574 140733340563440 140218641553400 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 288216
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14535
/proc/meminfo: memFree=27104752/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=288576 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14567
/proc/meminfo: memFree=26841316/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1421.99 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 70715 0 0 0 142167 32 0 0 20 0 2 0 277703975 362610688 71092 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 71092 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1418.42 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 68191 0 0 0 141790 52 0 0 20 0 2 0 277703983 362610688 71092 33554432000 4194304 5963574 140733340563440 140218641553400 4381510 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 354112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14607
/proc/meminfo: memFree=27270144/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1481.97 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 70715 0 0 0 148165 32 0 0 20 0 2 0 277703975 362610688 71092 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 71092 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1478.26 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 68191 0 0 0 147772 54 0 0 20 0 2 0 277703983 362610688 71092 33554432000 4194304 5963574 140733340563440 140218641553400 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 354112
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14607
/proc/meminfo: memFree=27239296/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1541.97 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 70715 0 0 0 154165 32 0 0 20 0 2 0 277703975 362610688 71092 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 71092 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1538.1 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 68191 0 0 0 153755 55 0 0 20 0 2 0 277703983 362610688 71092 33554432000 4194304 5963574 140733340563440 140218641553400 4399522 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 354112
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14607
/proc/meminfo: memFree=27182628/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1601.96 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 70715 0 0 0 160164 32 0 0 20 0 2 0 277703975 362610688 71092 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 71092 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1597.95 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 68191 0 0 0 159739 56 0 0 20 0 2 0 277703983 362610688 71092 33554432000 4194304 5963574 140733340563440 140218641553400 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 354112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14607
/proc/meminfo: memFree=27116660/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1661.95 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 70720 0 0 0 166163 32 0 0 20 0 2 0 277703975 362610688 71097 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 71097 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1657.79 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 68196 0 0 0 165722 57 0 0 20 0 2 0 277703983 362610688 71097 33554432000 4194304 5963574 140733340563440 140218641553400 4399574 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 354112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14607
/proc/meminfo: memFree=27093284/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1721.94 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 72817 0 0 0 172161 33 0 0 20 0 2 0 277703975 362610688 73194 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 73194 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1717.63 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 70293 0 0 0 171704 59 0 0 20 0 2 0 277703983 362610688 73194 33554432000 4194304 5963574 140733340563440 140218641553400 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 354112
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14607
/proc/meminfo: memFree=27024876/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1781.93 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 178156 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1777.48 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 177684 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 354112
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27024976/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1791.53 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179116 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1787.06 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 178642 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 354112
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025348/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1794.73 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179436 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1790.25 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 178961 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 354112
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025348/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1797.93 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179756 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1793.44 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 179280 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4381228 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 354112
[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025084/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1798.73 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179836 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1794.23 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 179359 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 354112
[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025208/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1799.13 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179876 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1794.64 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 179400 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 354112
[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025208/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1799.53 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179916 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1795.03 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 179439 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4391304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 354112
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14608
/proc/meminfo: memFree=27025208/32873648 swapFree=6848/6848
[pid=14529] ppid=14527 vsize=354112 CPUtime=1799.63 cores=0,2,4,6
/proc/14529/stat : 14529 (wbo1.7) S 14527 14529 12137 0 -1 4202496 81327 0 0 0 179926 37 0 0 20 0 2 0 277703975 362610688 81704 33554432000 4194304 5963574 140733340563440 140733340562960 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14529/statm: 88528 81704 187 432 0 88093 0
[pid=14529/tid=14531] ppid=14527 vsize=354112 CPUtime=1795.13 cores=0,2,4,6
/proc/14529/task/14531/stat : 14531 (wbo1.7) R 14527 14529 12137 0 -1 4202560 78803 0 0 0 179449 64 0 0 20 0 2 0 277703983 362610688 81704 33554432000 4194304 5963574 140733340563440 140218641553400 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 354112
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14529 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=578182
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=652900
# CPU time returned by wait4() is 1795.23
# while last known CPU time is 1799.63
#
# 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.63
CPU user time (s): 1799.26
CPU system time (s): 0.37
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 354112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 0.6529
maximum resident set size= 326820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81328
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= 126
involuntary context switches= 1949
runsolver used 2.6416 second user time and 7.17991 second system time
The end