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-3705269-1338101431/watcher-3705269-1338101431 -o /tmp/evaluation-result-3705269-1338101431/solver-3705269-1338101431 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705269-1338101431.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.03 2.01 2.00 2/176 10803
/proc/meminfo: memFree=29974164/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83688 CPUtime=0 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 761 0 0 0 0 0 0 0 20 0 2 0 276268582 85696512 710 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20922 710 188 432 0 20487 0
[pid=10803/tid=10804] ppid=10801 vsize=83688 CPUtime=0 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 276268582 85696512 710 33554432000 4194304 5963574 140733804340160 140736664776344 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0139809 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 10803
/proc/meminfo: memFree=29974164/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83688 CPUtime=0.01 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 780 0 0 0 1 0 0 0 20 0 2 0 276268582 85696512 729 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20922 729 189 432 0 20487 0
[pid=10803/tid=10804] ppid=10801 vsize=83688 CPUtime=0 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 2 0 276268582 85696512 729 33554432000 4194304 5963574 140733804340160 140736664776344 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83688
[startup+0.100287 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 10803
/proc/meminfo: memFree=29974164/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83688 CPUtime=0.09 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 975 0 0 0 9 0 0 0 20 0 2 0 276268582 85696512 924 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20922 924 190 432 0 20487 0
[pid=10803/tid=10804] ppid=10801 vsize=83688 CPUtime=0.08 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 259 0 0 0 8 0 0 0 20 0 2 0 276268582 85696512 924 33554432000 4194304 5963574 140733804340160 140736664776344 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83688
[startup+0.300252 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 10803
/proc/meminfo: memFree=29974164/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83688 CPUtime=0.29 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 1316 0 0 0 29 0 0 0 20 0 2 0 276268582 85696512 1265 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20922 1265 190 432 0 20487 0
[pid=10803/tid=10804] ppid=10801 vsize=83688 CPUtime=0.28 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 600 0 0 0 28 0 0 0 20 0 2 0 276268582 85696512 1265 33554432000 4194304 5963574 140733804340160 140736664776344 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83688
[startup+0.700253 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 10803
/proc/meminfo: memFree=29974164/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83832 CPUtime=0.69 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 1854 0 0 0 69 0 0 0 20 0 2 0 276268582 85843968 1803 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20958 1803 190 432 0 20523 0
[pid=10803/tid=10804] ppid=10801 vsize=83832 CPUtime=0.68 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 1138 0 0 0 68 0 0 0 20 0 2 0 276268582 85843968 1803 33554432000 4194304 5963574 140733804340160 140736664776344 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83832
[startup+1.50025 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10805
/proc/meminfo: memFree=29967972/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83832 CPUtime=1.49 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 2199 0 0 0 149 0 0 0 20 0 2 0 276268582 85843968 2148 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20958 2148 190 432 0 20523 0
[pid=10803/tid=10804] ppid=10801 vsize=83832 CPUtime=1.48 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 1483 0 0 0 148 0 0 0 20 0 2 0 276268582 85843968 2148 33554432000 4194304 5963574 140733804340160 140453270067000 4392491 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83832
[startup+3.10026 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10805
/proc/meminfo: memFree=29963376/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=83904 CPUtime=3.09 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 3489 0 0 0 308 1 0 0 20 0 2 0 276268582 85917696 3438 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 20976 3439 190 432 0 20541 0
[pid=10803/tid=10804] ppid=10801 vsize=83904 CPUtime=3.07 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 2774 0 0 0 307 0 0 0 20 0 2 0 276268582 85917696 3439 33554432000 4194304 5963574 140733804340160 140453270067000 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83904
[startup+6.30027 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10805
/proc/meminfo: memFree=29950588/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=84012 CPUtime=6.29 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 4819 0 0 0 628 1 0 0 20 0 2 0 276268582 86028288 4768 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 21003 4768 190 432 0 20568 0
[pid=10803/tid=10804] ppid=10801 vsize=84012 CPUtime=6.27 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 4103 0 0 0 626 1 0 0 20 0 2 0 276268582 86028288 4768 33554432000 4194304 5963574 140733804340160 140453270067000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84012
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10805
/proc/meminfo: memFree=29938608/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=84604 CPUtime=12.69 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 6932 0 0 0 1267 2 0 0 20 0 2 0 276268582 86634496 6881 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 21151 6881 190 432 0 20716 0
[pid=10803/tid=10804] ppid=10801 vsize=84604 CPUtime=12.65 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 6216 0 0 0 1264 1 0 0 20 0 2 0 276268582 86634496 6881 33554432000 4194304 5963574 140733804340160 140453270067000 4400168 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84604
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10805
/proc/meminfo: memFree=29911068/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=86068 CPUtime=25.49 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 10483 0 0 0 2545 4 0 0 20 0 2 0 276268582 88133632 10432 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 21517 10432 190 432 0 21082 0
[pid=10803/tid=10804] ppid=10801 vsize=86068 CPUtime=25.42 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 9767 0 0 0 2538 4 0 0 20 0 2 0 276268582 88133632 10432 33554432000 4194304 5963574 140733804340160 140453270067000 4403253 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86068
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10805
/proc/meminfo: memFree=29876700/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=87652 CPUtime=51.08 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 15722 0 0 0 5100 8 0 0 20 0 2 0 276268582 89755648 15692 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 21913 15692 190 432 0 21478 0
[pid=10803/tid=10804] ppid=10801 vsize=87652 CPUtime=50.94 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 15006 0 0 0 5087 7 0 0 20 0 2 0 276268582 89755648 15692 33554432000 4194304 5963574 140733804340160 140453270067192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87652
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10806
/proc/meminfo: memFree=29815840/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=156064 CPUtime=102.25 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 24280 0 0 0 10209 16 0 0 20 0 2 0 276268582 159809536 24467 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 39016 24467 190 432 0 38581 0
[pid=10803/tid=10804] ppid=10801 vsize=156064 CPUtime=102 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 23564 0 0 0 10183 17 0 0 20 0 2 0 276268582 159809536 24467 33554432000 4194304 5963574 140733804340160 140453270066712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 156064
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10806
/proc/meminfo: memFree=29760600/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=157664 CPUtime=162.23 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 32644 0 0 0 16200 23 0 0 20 0 2 0 276268582 161447936 32829 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 39416 32829 190 432 0 38981 0
[pid=10803/tid=10804] ppid=10801 vsize=157664 CPUtime=161.83 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 31928 0 0 0 16158 25 0 0 20 0 2 0 276268582 161447936 32829 33554432000 4194304 5963574 140733804340160 140453270066712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 157664
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10806
/proc/meminfo: memFree=29706988/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=226636 CPUtime=222.22 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 40971 0 0 0 22190 32 0 0 20 0 2 0 276268582 232075264 41149 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 56659 41149 190 432 0 56224 0
[pid=10803/tid=10804] ppid=10801 vsize=226636 CPUtime=221.65 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 40255 0 0 0 22130 35 0 0 20 0 2 0 276268582 232075264 41149 33554432000 4194304 5963574 140733804340160 140453270066712 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 226636
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10806
/proc/meminfo: memFree=29673576/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=227964 CPUtime=282.21 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 44964 0 0 0 28184 37 0 0 20 0 2 0 276268582 233435136 45142 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 56991 45142 190 432 0 56556 0
[pid=10803/tid=10804] ppid=10801 vsize=227964 CPUtime=281.5 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 44248 0 0 0 28110 40 0 0 20 0 2 0 276268582 233435136 45142 33554432000 4194304 5963574 140733804340160 140453270067240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 227964
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10806
/proc/meminfo: memFree=29632220/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=228688 CPUtime=342.2 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 51605 0 0 0 34175 45 0 0 20 0 2 0 276268582 234176512 51783 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 57172 51783 190 432 0 56737 0
[pid=10803/tid=10804] ppid=10801 vsize=228688 CPUtime=341.35 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 50889 0 0 0 34085 50 0 0 20 0 2 0 276268582 234176512 51783 33554432000 4194304 5963574 140733804340160 140453270067192 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 228688
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10807
/proc/meminfo: memFree=29587732/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=294924 CPUtime=402.18 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 57382 0 0 0 40163 55 0 0 20 0 2 0 276268582 302002176 57554 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[pid=10803/tid=10804] ppid=10801 vsize=438632 CPUtime=1059.4 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 103075 0 0 0 105804 136 0 0 20 0 2 0 276268582 449159168 104411 33554432000 4194304 5963574 140733804340160 140453270066712 4378847 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 438632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10835
/proc/meminfo: memFree=29238964/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=505076 CPUtime=1122.01 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 105967 0 0 0 112078 123 0 0 20 0 2 0 276268582 517197824 106587 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 126269 106587 190 432 0 125834 0
[pid=10803/tid=10804] ppid=10801 vsize=505076 CPUtime=1119.24 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 105251 0 0 0 111785 139 0 0 20 0 2 0 276268582 517197824 106587 33554432000 4194304 5963574 140733804340160 140453270067192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 505076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10838
/proc/meminfo: memFree=29216256/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=505892 CPUtime=1182.01 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 110959 0 0 0 118070 131 0 0 20 0 2 0 276268582 518033408 111579 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 126473 111579 190 432 0 126038 0
[pid=10803/tid=10804] ppid=10801 vsize=505892 CPUtime=1179.09 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 110243 0 0 0 117761 148 0 0 20 0 2 0 276268582 518033408 111579 33554432000 4194304 5963574 140733804340160 140453270067192 4378532 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 505892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=29187876/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=505892 CPUtime=1242 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 113195 0 0 0 124065 135 0 0 20 0 2 0 276268582 518033408 113815 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 126473 113815 190 432 0 126038 0
[pid=10803/tid=10804] ppid=10801 vsize=505892 CPUtime=1238.94 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 112479 0 0 0 123741 153 0 0 20 0 2 0 276268582 518033408 113815 33554432000 4194304 5963574 140733804340160 140453270067192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 505892
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 10838
/proc/meminfo: memFree=29157120/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=508840 CPUtime=1302 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 117722 0 0 0 130058 142 0 0 20 0 2 0 276268582 521052160 118342 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 127210 118342 190 432 0 126775 0
[pid=10803/tid=10804] ppid=10801 vsize=508840 CPUtime=1298.79 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 117006 0 0 0 129718 161 0 0 20 0 2 0 276268582 521052160 118342 33554432000 4194304 5963574 140733804340160 140453270066712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 508840
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10839
/proc/meminfo: memFree=29140752/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=509380 CPUtime=1361.98 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 119236 0 0 0 136053 145 0 0 20 0 2 0 276268582 521605120 119856 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 127345 119856 190 432 0 126910 0
[pid=10803/tid=10804] ppid=10801 vsize=509380 CPUtime=1358.63 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 118520 0 0 0 135698 165 0 0 20 0 2 0 276268582 521605120 119856 33554432000 4194304 5963574 140733804340160 140453270066712 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 509380
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 10839
/proc/meminfo: memFree=29127608/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=510104 CPUtime=1421.98 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 120778 0 0 0 142051 147 0 0 20 0 2 0 276268582 522346496 121398 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 127526 121398 190 432 0 127091 0
[pid=10803/tid=10804] ppid=10801 vsize=510104 CPUtime=1418.48 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 120062 0 0 0 141680 168 0 0 20 0 2 0 276268582 522346496 121398 33554432000 4194304 5963574 140733804340160 140453270066712 4399482 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 510104
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 10839
/proc/meminfo: memFree=29099176/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=575640 CPUtime=1481.95 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 125141 0 0 0 148041 154 0 0 20 0 2 0 276268582 589455360 125743 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 143910 125743 190 432 0 143475 0
[pid=10803/tid=10804] ppid=10801 vsize=575640 CPUtime=1478.31 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 124425 0 0 0 147655 176 0 0 20 0 2 0 276268582 589455360 125743 33554432000 4194304 5963574 140733804340160 140453270067192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 575640
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10839
/proc/meminfo: memFree=29090812/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=575640 CPUtime=1541.93 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 125586 0 0 0 154039 154 0 0 20 0 2 0 276268582 589455360 126175 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 143910 126175 190 432 0 143475 0
[pid=10803/tid=10804] ppid=10801 vsize=575640 CPUtime=1538.13 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 124870 0 0 0 153636 177 0 0 20 0 2 0 276268582 589455360 126175 33554432000 4194304 5963574 140733804340160 140453270067192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 575640
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10839
/proc/meminfo: memFree=29063780/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=576148 CPUtime=1601.92 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 130146 0 0 0 160031 161 0 0 20 0 2 0 276268582 589975552 130735 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 144037 130735 190 432 0 143602 0
[pid=10803/tid=10804] ppid=10801 vsize=576148 CPUtime=1597.98 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 129430 0 0 0 159613 185 0 0 20 0 2 0 276268582 589975552 130735 33554432000 4194304 5963574 140733804340160 140453270066712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 576148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10840
/proc/meminfo: memFree=29034516/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=576568 CPUtime=1661.92 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 134501 0 0 0 166023 169 0 0 20 0 2 0 276268582 590405632 135090 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 144142 135090 190 432 0 143707 0
[pid=10803/tid=10804] ppid=10801 vsize=576568 CPUtime=1657.83 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 133785 0 0 0 165589 194 0 0 20 0 2 0 276268582 590405632 135090 33554432000 4194304 5963574 140733804340160 140453270067192 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 576568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10840
/proc/meminfo: memFree=29016660/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=576568 CPUtime=1721.91 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 137392 0 0 0 172018 173 0 0 20 0 2 0 276268582 590405632 137981 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 144142 137981 190 432 0 143707 0
[pid=10803/tid=10804] ppid=10801 vsize=576568 CPUtime=1717.67 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 136676 0 0 0 171568 199 0 0 20 0 2 0 276268582 590405632 137981 33554432000 4194304 5963574 140733804340160 140453270066712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 576568
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 10843
/proc/meminfo: memFree=28980188/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=644104 CPUtime=1781.91 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 144072 0 0 0 178007 184 0 0 20 0 2 0 276268582 659562496 144661 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 161026 144661 190 432 0 160591 0
[pid=10803/tid=10804] ppid=10801 vsize=644104 CPUtime=1777.52 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 143356 0 0 0 177543 209 0 0 20 0 2 0 276268582 659562496 144661 33554432000 4194304 5963574 140733804340160 140453270066712 4431489 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 644104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 10915
/proc/meminfo: memFree=29412280/32873852 swapFree=7624/7624
[pid=10803] ppid=10801 vsize=644104 CPUtime=1800.01 cores=1,3,5,7
/proc/10803/stat : 10803 (wbo1.7) S 10801 10803 9313 0 -1 4202496 144074 0 0 0 179817 184 0 0 20 0 2 0 276268582 659562496 144661 33554432000 4194304 5963574 140733804340160 140733804339680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10803/statm: 161026 144661 190 432 0 160591 0
[pid=10803/tid=10804] ppid=10801 vsize=644104 CPUtime=1795.58 cores=1,3,5,7
/proc/10803/task/10804/stat : 10804 (wbo1.7) R 10801 10803 9313 0 -1 4202560 143358 0 0 0 179348 210 0 0 20 0 2 0 276268582 659562496 144661 33554432000 4194304 5963574 140733804340160 140453270067192 4378528 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 644104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10803 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=488348
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=121677
# CPU time returned by wait4() is 1795.61
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.01
CPU user time (s): 1798.17
CPU system time (s): 1.84
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 644104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 2.12168
maximum resident set size= 578644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144074
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= 222
involuntary context switches= 1845
runsolver used 4.05138 second user time and 10.0535 second system time
The end