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-3705344-1338105275/watcher-3705344-1338105275 -o /tmp/evaluation-result-3705344-1338105275/solver-3705344-1338105275 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705344-1338105275.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.07 2.02 2.00 3/179 13988
/proc/meminfo: memFree=31291520/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=5996 CPUtime=0 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) R 13986 13988 12409 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 276652277 6139904 399 33554432000 4194304 5963574 140735257017840 140736871579096 4349504 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 1499 399 171 432 0 474 0
[startup+0.092665 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13988
/proc/meminfo: memFree=31291520/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=12308 CPUtime=0.08 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) R 13986 13988 12409 0 -1 4202496 2221 0 0 0 8 0 0 0 20 0 1 0 276652277 12603392 2140 33554432000 4194304 5963574 140735257017840 140736871579096 5142754 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 3077 2141 465 432 0 2052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12308
[startup+0.10025 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13988
/proc/meminfo: memFree=31291520/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=12572 CPUtime=0.09 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) R 13986 13988 12409 0 -1 4202496 2349 0 0 0 9 0 0 0 20 0 1 0 276652277 12873728 2268 33554432000 4194304 5963574 140735257017840 140736871579096 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 3143 2268 491 432 0 2118 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12572
[startup+0.300271 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13988
/proc/meminfo: memFree=31291520/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=0.29 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 11619 0 0 0 27 2 0 0 20 0 2 0 276652277 96157696 9710 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 9710 192 432 0 23041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93904
[startup+0.700233 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13988
/proc/meminfo: memFree=31291520/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=0.69 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 12850 0 0 0 67 2 0 0 20 0 2 0 276652277 96157696 10941 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 10941 195 432 0 23041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93904
[startup+1.50027 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 13990
/proc/meminfo: memFree=31247872/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=1.49 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 13203 0 0 0 147 2 0 0 20 0 2 0 276652277 96157696 11294 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 11294 195 432 0 23041 0
[pid=13988/tid=13990] ppid=13986 vsize=93904 CPUtime=1.31 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 8961 0 0 0 129 2 0 0 20 0 2 0 276652295 96157696 11294 33554432000 4194304 5963574 140735257017840 140630530603336 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93904
[startup+3.10029 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 13990
/proc/meminfo: memFree=31247368/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=3.09 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 13223 0 0 0 307 2 0 0 20 0 2 0 276652277 96157696 11314 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 11314 195 432 0 23041 0
[pid=13988/tid=13990] ppid=13986 vsize=93904 CPUtime=2.91 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 8981 0 0 0 289 2 0 0 20 0 2 0 276652295 96157696 11314 33554432000 4194304 5963574 140735257017840 140630530603544 4399505 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93904
[startup+6.30026 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 13990
/proc/meminfo: memFree=31243152/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=6.29 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 16558 0 0 0 626 3 0 0 20 0 2 0 276652277 96157696 14647 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 14647 195 432 0 23041 0
[pid=13988/tid=13990] ppid=13986 vsize=93904 CPUtime=6.09 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 12316 0 0 0 607 2 0 0 20 0 2 0 276652295 96157696 14647 33554432000 4194304 5963574 140735257017840 140630530603368 4394362 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93904
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 13990
/proc/meminfo: memFree=31223088/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=93904 CPUtime=12.69 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 20375 0 0 0 1265 4 0 0 20 0 2 0 276652277 96157696 18464 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 23476 18464 195 432 0 23041 0
[pid=13988/tid=13990] ppid=13986 vsize=93904 CPUtime=12.48 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 16133 0 0 0 1245 3 0 0 20 0 2 0 276652295 96157696 18464 33554432000 4194304 5963574 140735257017840 140630530603000 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93904
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 13990
/proc/meminfo: memFree=31149804/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=224976 CPUtime=25.48 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 37898 0 0 0 2541 7 0 0 20 0 2 0 276652277 230375424 35987 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 56244 35987 195 432 0 55809 0
[pid=13988/tid=13990] ppid=13986 vsize=224976 CPUtime=25.24 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 33656 0 0 0 2518 6 0 0 20 0 2 0 276652295 230375424 35987 33554432000 4194304 5963574 140735257017840 140630530603000 5135642 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 224976
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13990
/proc/meminfo: memFree=31025184/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=290512 CPUtime=51.08 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 68770 0 0 0 5094 14 0 0 20 0 2 0 276652277 297484288 66859 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 72628 66859 195 432 0 72193 0
[pid=13988/tid=13990] ppid=13986 vsize=290512 CPUtime=50.78 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 64528 0 0 0 5065 13 0 0 20 0 2 0 276652295 297484288 66859 33554432000 4194304 5963574 140735257017840 140630530602936 4399390 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 290512
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13990
/proc/meminfo: memFree=30802540/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=552656 CPUtime=102.28 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 122334 0 0 0 10199 29 0 0 20 0 2 0 276652277 565919744 120423 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 138164 120423 195 432 0 137729 0
[pid=13988/tid=13990] ppid=13986 vsize=552656 CPUtime=101.86 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 118092 0 0 0 10156 30 0 0 20 0 2 0 276652295 565919744 120423 33554432000 4194304 5963574 140735257017840 140630530603000 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 552656
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13990
/proc/meminfo: memFree=30552480/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=750348 CPUtime=162.23 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 183004 0 0 0 16179 44 0 0 20 0 2 0 276652277 768356352 181230 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 187587 181230 195 432 0 187152 0
[pid=13988/tid=13990] ppid=13986 vsize=750348 CPUtime=161.67 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 178762 0 0 0 16121 46 0 0 20 0 2 0 276652295 768356352 181230 33554432000 4194304 5963574 140735257017840 140630530603000 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 750348
[startup+222.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 14146
/proc/meminfo: memFree=30552460/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=881420 CPUtime=222.2 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 210642 0 0 0 22168 52 0 0 20 0 2 0 276652277 902574080 208884 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 220355 208884 195 432 0 219920 0
[pid=13988/tid=13990] ppid=13986 vsize=881420 CPUtime=221.5 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 206400 0 0 0 22095 55 0 0 20 0 2 0 276652295 902574080 208884 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 881420
[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 14147
/proc/meminfo: memFree=30514296/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=881420 CPUtime=282.18 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 210682 0 0 0 28166 52 0 0 20 0 2 0 276652277 902574080 208893 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 220355 208893 195 432 0 219920 0
[pid=13988/tid=13990] ppid=13986 vsize=881420 CPUtime=281.33 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 206440 0 0 0 28077 56 0 0 20 0 2 0 276652295 902574080 208893 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 881420
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/182 14423
/proc/meminfo: memFree=30288212/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=881420 CPUtime=342.15 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 210724 0 0 0 34161 54 0 0 20 0 2 0 276652277 902574080 208905 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 220355 208905 195 432 0 219920 0
[pid=13988/tid=13990] ppid=13986 vsize=881420 CPUtime=341.15 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 206482 0 0 0 34057 58 0 0 20 0 2 0 276652295 902574080 208905 33554432000 4194304 5963574 140735257017840 140630530603000 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 881420
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/182 14446
/proc/meminfo: memFree=30181600/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1012492 CPUtime=402.11 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 238059 0 0 0 40150 61 0 0 20 0 2 0 276652277 1036791808 236203 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 253123 236203 195 432 0 252688 0
[pid=13988/tid=13990] ppid=13986 vsize=1012492 CPUtime=400.97 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 233817 0 0 0 40030 67 0 0 20 0 2 0 276652295 1036791808 236203 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1012492
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 14446
/proc/meminfo: memFree=29930632/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1209100 CPUtime=462.08 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14452
/proc/meminfo: memFree=29494248/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1601232 CPUtime=1421.79 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 436586 0 0 0 142058 121 0 0 20 0 2 0 276652277 1639661568 385562 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 400308 385562 195 432 0 399873 0
[pid=13988/tid=13990] ppid=13986 vsize=1601232 CPUtime=1418.22 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 432344 0 0 0 141680 142 0 0 20 0 2 0 276652295 1639661568 385562 33554432000 4194304 5963574 140735257017840 140630530603000 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1601232
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14453
/proc/meminfo: memFree=29494184/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1601232 CPUtime=1481.79 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 436587 0 0 0 148057 122 0 0 20 0 2 0 276652277 1639661568 385562 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 400308 385562 195 432 0 399873 0
[pid=13988/tid=13990] ppid=13986 vsize=1601232 CPUtime=1478.06 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 432345 0 0 0 147663 143 0 0 20 0 2 0 276652295 1639661568 385562 33554432000 4194304 5963574 140735257017840 140630530603000 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1601232
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14456
/proc/meminfo: memFree=29494176/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1601232 CPUtime=1541.78 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 436589 0 0 0 154056 122 0 0 20 0 2 0 276652277 1639661568 385564 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 400308 385564 195 432 0 399873 0
[pid=13988/tid=13990] ppid=13986 vsize=1601232 CPUtime=1537.9 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 432347 0 0 0 153646 144 0 0 20 0 2 0 276652295 1639661568 385564 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1601232
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14456
/proc/meminfo: memFree=29494060/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1601232 CPUtime=1601.77 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 436591 0 0 0 160055 122 0 0 20 0 2 0 276652277 1639661568 385566 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 400308 385566 195 432 0 399873 0
[pid=13988/tid=13990] ppid=13986 vsize=1601232 CPUtime=1597.75 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 432349 0 0 0 159630 145 0 0 20 0 2 0 276652295 1639661568 385566 33554432000 4194304 5963574 140735257017840 140630530603000 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1601232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14456
/proc/meminfo: memFree=29494308/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1601232 CPUtime=1661.76 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 436594 0 0 0 166054 122 0 0 20 0 2 0 276652277 1639661568 385569 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 400308 385569 195 432 0 399873 0
[pid=13988/tid=13990] ppid=13986 vsize=1601232 CPUtime=1657.6 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 432352 0 0 0 165614 146 0 0 20 0 2 0 276652295 1639661568 385569 33554432000 4194304 5963574 140735257017840 140630530603000 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1601232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14456
/proc/meminfo: memFree=29386840/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1666768 CPUtime=1721.75 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 463614 0 0 0 172045 130 0 0 20 0 2 0 276652277 1706770432 412589 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 416692 412589 195 432 0 416257 0
[pid=13988/tid=13990] ppid=13986 vsize=1666768 CPUtime=1717.44 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 459372 0 0 0 171589 155 0 0 20 0 2 0 276652295 1706770432 412589 33554432000 4194304 5963574 140735257017840 140630530603000 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1666768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14456
/proc/meminfo: memFree=29280580/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1781.73 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 489490 0 0 0 178037 136 0 0 20 0 2 0 276652277 1840988160 438465 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 438465 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1777.29 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 485248 0 0 0 177568 161 0 0 20 0 2 0 276652295 1840988160 438465 33554432000 4194304 5963574 140735257017840 140630530603000 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1797840
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29268048/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1791.34 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 492439 0 0 0 178997 137 0 0 20 0 2 0 276652277 1840988160 441414 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 441414 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1786.87 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 488197 0 0 0 178524 163 0 0 20 0 2 0 276652295 1840988160 441414 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1797840
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29260732/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1794.54 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 494325 0 0 0 179317 137 0 0 20 0 2 0 276652277 1840988160 443300 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 443300 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1790.07 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 490083 0 0 0 178844 163 0 0 20 0 2 0 276652295 1840988160 443300 33554432000 4194304 5963574 140735257017840 140630530603000 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1797840
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29258128/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1797.73 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 495438 0 0 0 179636 137 0 0 20 0 2 0 276652277 1840988160 444413 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 444413 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1793.25 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 491196 0 0 0 179162 163 0 0 20 0 2 0 276652295 1840988160 444413 33554432000 4194304 5963574 140735257017840 140630530603000 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 1797840
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29256144/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1798.53 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 495591 0 0 0 179716 137 0 0 20 0 2 0 276652277 1840988160 444566 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 444566 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1794.05 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 491349 0 0 0 179242 163 0 0 20 0 2 0 276652295 1840988160 444566 33554432000 4194304 5963574 140735257017840 140630530603000 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (KiB) 1797840
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29255276/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1798.94 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 495650 0 0 0 179757 137 0 0 20 0 2 0 276652277 1840988160 444625 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 444625 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1794.45 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 491408 0 0 0 179282 163 0 0 20 0 2 0 276652295 1840988160 444625 33554432000 4194304 5963574 140735257017840 140630530603000 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 1797840
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29255276/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1799.33 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 495774 0 0 0 179796 137 0 0 20 0 2 0 276652277 1840988160 444749 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 444749 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1794.85 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 491532 0 0 0 179322 163 0 0 20 0 2 0 276652295 1840988160 444749 33554432000 4194304 5963574 140735257017840 140630530603000 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 1797840
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14457
/proc/meminfo: memFree=29255276/32873844 swapFree=7616/7616
[pid=13988] ppid=13986 vsize=1797840 CPUtime=1799.43 cores=0,2,4,6
/proc/13988/stat : 13988 (wbo1.7) S 13986 13988 12409 0 -1 4202496 495814 0 0 0 179806 137 0 0 20 0 2 0 276652277 1840988160 444789 33554432000 4194304 5963574 140735257017840 140735257017360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13988/statm: 449460 444789 195 432 0 449025 0
[pid=13988/tid=13990] ppid=13986 vsize=1797840 CPUtime=1794.95 cores=0,2,4,6
/proc/13988/task/13990/stat : 13990 (wbo1.7) R 13986 13988 12409 0 -1 4202560 491572 0 0 0 179332 163 0 0 20 0 2 0 276652295 1840988160 444789 33554432000 4194304 5963574 140735257017840 140630530603000 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 1797840
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13988 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=494347
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=682744
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.04
CPU time (s): 1799.43
CPU user time (s): 1798.06
CPU system time (s): 1.37
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 1797840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 1.68274
maximum resident set size= 1779188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495822
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= 414
involuntary context switches= 2121
runsolver used 3.54046 second user time and 9.26459 second system time
The end