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-3705253-1338100156/watcher-3705253-1338100156 -o /tmp/evaluation-result-3705253-1338100156/solver-3705253-1338100156 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705253-1338100156.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.01 2.01 2.00 2/174 3567
/proc/meminfo: memFree=30080464/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=8788 CPUtime=0 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) R 3565 3567 2698 0 -1 4202496 593 0 0 0 0 0 0 0 20 0 1 0 276140027 8998912 545 33554432000 4194304 5963574 140736250990944 140733971434264 5178752 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 2197 545 160 432 0 670 0
[startup+0.0403651 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3567
/proc/meminfo: memFree=30080464/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=9256 CPUtime=0.03 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) R 3565 3567 2698 0 -1 4202496 824 0 0 0 3 0 0 0 20 0 1 0 276140027 9478144 776 33554432000 4194304 5963574 140736250990944 140733971434264 5155354 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 2314 776 282 432 0 787 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9256
[startup+0.10032 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3567
/proc/meminfo: memFree=30080464/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=9676 CPUtime=0.09 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) R 3565 3567 2698 0 -1 4202496 1122 0 0 0 9 0 0 0 20 0 1 0 276140027 9908224 1074 33554432000 4194304 5963574 140736250990944 140736250989432 5159024 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 2419 1074 484 432 0 892 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9676
[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3567
/proc/meminfo: memFree=30080464/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=10960 CPUtime=0.29 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) R 3565 3567 2698 0 -1 4202496 2115 0 0 0 29 0 0 0 20 0 1 0 276140027 11223040 2067 33554432000 4194304 5963574 140736250990944 140736250989432 4344320 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 2740 2067 1156 432 0 1213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10960
[startup+0.700109 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3567
/proc/meminfo: memFree=30080464/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=87284 CPUtime=0.68 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 5176 0 0 0 68 0 0 0 20 0 2 0 276140027 89378816 3666 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 21821 3666 190 432 0 21386 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87284
[startup+1.50021 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30058784/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=87284 CPUtime=1.48 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 5176 0 0 0 148 0 0 0 20 0 2 0 276140027 89378816 3666 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 21821 3666 190 432 0 21386 0
[pid=3567/tid=3608] ppid=3565 vsize=87284 CPUtime=1.15 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 2473 0 0 0 115 0 0 0 20 0 2 0 276140060 89378816 3666 33554432000 4194304 5963574 140736250990944 140591269784504 4221984 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) 87284
[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30055436/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=87284 CPUtime=3.08 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 5188 0 0 0 308 0 0 0 20 0 2 0 276140027 89378816 3678 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 21821 3678 191 432 0 21386 0
[pid=3567/tid=3608] ppid=3565 vsize=87284 CPUtime=2.74 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 2485 0 0 0 274 0 0 0 20 0 2 0 276140060 89378816 3678 33554432000 4194304 5963574 140736250990944 140591269784504 4388696 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 87284
[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30050848/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=87284 CPUtime=6.29 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 5800 0 0 0 628 1 0 0 20 0 2 0 276140027 89378816 4290 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 21821 4290 192 432 0 21386 0
[pid=3567/tid=3608] ppid=3565 vsize=87284 CPUtime=5.94 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 3097 0 0 0 594 0 0 0 20 0 2 0 276140060 89378816 4290 33554432000 4194304 5963574 140736250990944 140591269783544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87284
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30028584/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=88144 CPUtime=12.68 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 7164 0 0 0 1267 1 0 0 20 0 2 0 276140027 90259456 5580 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 22036 5580 192 432 0 21601 0
[pid=3567/tid=3608] ppid=3565 vsize=88144 CPUtime=12.32 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 4461 0 0 0 1232 0 0 0 20 0 2 0 276140060 90259456 5580 33554432000 4194304 5963574 140736250990944 140591269784504 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88144
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 3608
/proc/meminfo: memFree=29983068/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=88144 CPUtime=25.48 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 11684 0 0 0 2547 1 0 0 20 0 2 0 276140027 90259456 10100 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 22036 10100 192 432 0 21601 0
[pid=3567/tid=3608] ppid=3565 vsize=88144 CPUtime=25.09 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 8981 0 0 0 2508 1 0 0 20 0 2 0 276140060 90259456 10100 33554432000 4194304 5963574 140736250990944 140591269783544 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88144
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 3611
/proc/meminfo: memFree=29943440/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=88144 CPUtime=51.08 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 16306 0 0 0 5105 3 0 0 20 0 2 0 276140027 90259456 14722 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 22036 14722 192 432 0 21601 0
[pid=3567/tid=3608] ppid=3565 vsize=88144 CPUtime=50.62 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 13603 0 0 0 5060 2 0 0 20 0 2 0 276140060 90259456 14722 33554432000 4194304 5963574 140736250990944 140591269783176 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88144
[startup+102.306 s]
/proc/loadavg: 2.09 2.03 2.00 3/180 3611
/proc/meminfo: memFree=29878304/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=153680 CPUtime=102.27 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 20229 0 0 0 10223 4 0 0 20 0 2 0 276140027 157368320 18653 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 38420 18653 192 432 0 37985 0
[pid=3567/tid=3608] ppid=3565 vsize=153680 CPUtime=101.69 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 17526 0 0 0 10165 4 0 0 20 0 2 0 276140060 157368320 18653 33554432000 4194304 5963574 140736250990944 140591269783544 4410275 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153680
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3611
/proc/meminfo: memFree=29820764/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=153680 CPUtime=162.26 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 27128 0 0 0 16221 5 0 0 20 0 2 0 276140027 157368320 25752 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 38420 25752 192 432 0 37985 0
[pid=3567/tid=3608] ppid=3565 vsize=153680 CPUtime=161.53 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 24425 0 0 0 16147 6 0 0 20 0 2 0 276140060 157368320 25752 33554432000 4194304 5963574 140736250990944 140591269783544 4388668 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 153680
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3611
/proc/meminfo: memFree=29760916/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=219216 CPUtime=222.24 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 42087 0 0 0 22217 7 0 0 20 0 2 0 276140027 224477184 40710 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 54804 40710 192 432 0 54369 0
[pid=3567/tid=3608] ppid=3565 vsize=219216 CPUtime=221.37 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 39384 0 0 0 22127 10 0 0 20 0 2 0 276140060 224477184 40710 33554432000 4194304 5963574 140736250990944 140591269783144 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 219216
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3612
/proc/meminfo: memFree=29683940/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=284752 CPUtime=282.23 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 55515 0 0 0 28213 10 0 0 20 0 2 0 276140027 291586048 54137 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 71188 54137 192 432 0 70753 0
[pid=3567/tid=3608] ppid=3565 vsize=284752 CPUtime=281.21 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 52812 0 0 0 28108 13 0 0 20 0 2 0 276140060 291586048 54137 33554432000 4194304 5963574 140736250990944 140591269783544 4410275 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 284752
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3612
/proc/meminfo: memFree=29641020/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=284752 CPUtime=342.22 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 55515 0 0 0 34212 10 0 0 20 0 2 0 276140027 291586048 54146 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 71188 54146 192 432 0 70753 0
[pid=3567/tid=3608] ppid=3565 vsize=284752 CPUtime=341.05 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 52812 0 0 0 34091 14 0 0 20 0 2 0 276140060 291586048 54146 33554432000 4194304 5963574 140736250990944 140591269783544 4399546 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 284752
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 3612
/proc/meminfo: memFree=29615764/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=284752 CPUtime=402.21 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 58677 0 0 0 40211 10 0 0 20 0 2 0 276140027 291586048 57308 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 71188 57308 192 432 0 70753 0
[pid=3567/tid=3608] ppid=3565 vsize=284752 CPUtime=400.89 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 55974 0 0 0 40073 16 0 0 20 0 2 0 276140060 291586048 57308 33554432000 4194304 5963574 140736250990944 140591269783544 4388696 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 284752
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 3613
/proc/meminfo: memFree=29518804/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=350288 CPUtime=462.2 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3622
/proc/meminfo: memFree=28714740/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1422.06 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195035 0 0 0 142170 36 0 0 20 0 2 0 276140027 828456960 193667 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193667 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1418.23 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192332 0 0 0 141766 57 0 0 20 0 2 0 276140060 828456960 193667 33554432000 4194304 5963574 140736250990944 140591269783544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 809040
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28712012/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1482.04 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195035 0 0 0 148168 36 0 0 20 0 2 0 276140027 828456960 193667 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193667 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1478.07 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192332 0 0 0 147749 58 0 0 20 0 2 0 276140060 828456960 193667 33554432000 4194304 5963574 140736250990944 140591269783544 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 809040
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28673696/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1542.03 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195036 0 0 0 154167 36 0 0 20 0 2 0 276140027 828456960 193668 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193668 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1537.91 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192333 0 0 0 153732 59 0 0 20 0 2 0 276140060 828456960 193668 33554432000 4194304 5963574 140736250990944 140591269783544 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 809040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28670624/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1602.02 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195036 0 0 0 160166 36 0 0 20 0 2 0 276140027 828456960 193670 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193670 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1597.76 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192333 0 0 0 159716 60 0 0 20 0 2 0 276140060 828456960 193670 33554432000 4194304 5963574 140736250990944 140591269783544 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 809040
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3623
/proc/meminfo: memFree=28624588/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1662.01 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195036 0 0 0 166165 36 0 0 20 0 2 0 276140027 828456960 193679 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193679 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1657.6 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192333 0 0 0 165699 61 0 0 20 0 2 0 276140060 828456960 193679 33554432000 4194304 5963574 140736250990944 140591269783544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 809040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3623
/proc/meminfo: memFree=28599748/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1722 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195040 0 0 0 172164 36 0 0 20 0 2 0 276140027 828456960 193685 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193685 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1717.44 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192337 0 0 0 171682 62 0 0 20 0 2 0 276140060 828456960 193685 33554432000 4194304 5963574 140736250990944 140591269783544 4388706 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 809040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597472/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1781.99 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 178163 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1777.28 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 177665 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4388665 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 809040
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1791.6 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179124 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1786.86 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 178623 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 809040
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1794.8 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179444 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1790.05 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 178942 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4403253 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 809040
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1797.99 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179763 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1793.24 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 179261 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 809040
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1798.79 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179843 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1794.04 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 179341 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4410272 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 809040
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1799.2 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179884 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1794.44 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 179381 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4388668 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 809040
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1799.59 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179923 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1794.84 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 179421 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 809040
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3567] ppid=3565 vsize=809040 CPUtime=1799.69 cores=0,2,4,6
/proc/3567/stat : 3567 (wbo1.7) S 3565 3567 2698 0 -1 4202496 195043 0 0 0 179933 36 0 0 20 0 2 0 276140027 828456960 193686 33554432000 4194304 5963574 140736250990944 140736250990464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3567/statm: 202260 193686 192 432 0 201825 0
[pid=3567/tid=3608] ppid=3565 vsize=809040 CPUtime=1794.94 cores=0,2,4,6
/proc/3567/task/3608/stat : 3608 (wbo1.7) R 3565 3567 2698 0 -1 4202560 192340 0 0 0 179431 63 0 0 20 0 2 0 276140060 828456960 193686 33554432000 4194304 5963574 140736250990944 140591269783544 4410275 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 809040
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3567 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=638173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=648901
# CPU time returned by wait4() is 1795.29
# while last known CPU time is 1799.69
#
# 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.69
CPU user time (s): 1799.33
CPU system time (s): 0.36
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 809040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.648901
maximum resident set size= 774744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195043
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= 31
involuntary context switches= 2067
runsolver used 3.9184 second user time and 9.68153 second system time
The end