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-3727623-1338663738/watcher-3727623-1338663738 -o /tmp/evaluation-result-3727623-1338663738/solver-3727623-1338663738 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727623-1338663738.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2609
/proc/meminfo: memFree=25166328/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/2609/stat : 2609 (runsolver) D 2607 2609 32340 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 332501137 12095488 50 33554432000 4194304 5436572 140736473290624 140736473286920 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/2609/statm: 2953 50 31 304 0 2645 0
[startup+0.066071 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2609
/proc/meminfo: memFree=25166328/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=37380 CPUtime=0.04 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) R 2607 2609 32340 0 -1 4202496 4577 0 0 0 4 0 0 0 20 0 1 0 332501137 38277120 4278 33554432000 4194304 5964350 140734212601120 140736473286504 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 9345 4279 320 433 0 4538 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37380
[startup+0.100331 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2609
/proc/meminfo: memFree=25166328/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=42108 CPUtime=0.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) R 2607 2609 32340 0 -1 4202496 5634 0 0 0 7 1 0 0 20 0 1 0 332501137 43118592 5206 33554432000 4194304 5964350 140734212601120 140736473286504 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 10527 5208 427 433 0 5720 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42108
[startup+0.300278 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2609
/proc/meminfo: memFree=25166328/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=59152 CPUtime=0.29 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) R 2607 2609 32340 0 -1 4202496 10516 0 0 0 27 2 0 0 20 0 1 0 332501137 60571648 9816 33554432000 4194304 5964350 140734212601120 140736473286504 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 14788 9817 980 433 0 9981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59152
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2609
/proc/meminfo: memFree=25166328/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=74492 CPUtime=0.68 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) R 2607 2609 32340 0 -1 4202496 15648 0 0 0 66 2 0 0 20 0 1 0 332501137 76279808 14948 33554432000 4194304 5964350 140734212601120 140734212599608 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 18623 14949 2222 433 0 13816 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74492
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2610
/proc/meminfo: memFree=25105064/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=167468 CPUtime=1.48 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 33420 0 0 0 143 5 0 0 20 0 2 0 332501137 171487232 28092 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 41867 28092 175 433 0 41431 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 167468
[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2611
/proc/meminfo: memFree=24944332/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=3.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 68362 0 0 0 296 12 0 0 20 0 2 0 332501137 286543872 60014 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 60014 191 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=1.64 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 43906 0 0 0 155 9 0 0 20 0 2 0 332501281 286543872 60014 33554432000 4194304 5964350 140734212601120 140518415436120 5135577 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 279828
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2611
/proc/meminfo: memFree=24907112/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=6.28 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 73496 0 0 0 615 13 0 0 20 0 2 0 332501137 286543872 63790 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 63790 193 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=4.83 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 49040 0 0 0 474 9 0 0 20 0 2 0 332501281 286543872 63790 33554432000 4194304 5964350 140734212601120 140518415436312 5130876 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 279828
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 2611
/proc/meminfo: memFree=24914492/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=12.68 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 74106 0 0 0 1255 13 0 0 20 0 2 0 332501137 286543872 62822 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 62822 194 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=11.21 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 49650 0 0 0 1112 9 0 0 20 0 2 0 332501281 286543872 62822 33554432000 4194304 5964350 140734212601120 140518415436616 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 279828
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2611
/proc/meminfo: memFree=24914804/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=25.48 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 74106 0 0 0 2535 13 0 0 20 0 2 0 332501137 286543872 62822 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 62822 194 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=23.98 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 49650 0 0 0 2389 9 0 0 20 0 2 0 332501281 286543872 62822 33554432000 4194304 5964350 140734212601120 140518415436616 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 279828
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2611
/proc/meminfo: memFree=24914804/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=51.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 74107 0 0 0 5095 13 0 0 20 0 2 0 332501137 286543872 62823 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 62823 195 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=49.51 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 49651 0 0 0 4942 9 0 0 20 0 2 0 332501281 286543872 62823 33554432000 4194304 5964350 140734212601120 140518415436616 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 279828
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2611
/proc/meminfo: memFree=24897448/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=102.27 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 74107 0 0 0 10214 13 0 0 20 0 2 0 332501137 286543872 62823 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 62823 195 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=100.59 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 49651 0 0 0 10049 10 0 0 20 0 2 0 332501281 286543872 62823 33554432000 4194304 5964350 140734212601120 140518415436616 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 279828
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2612
/proc/meminfo: memFree=24871652/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=279828 CPUtime=162.25 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 76038 0 0 0 16212 13 0 0 20 0 2 0 332501137 286543872 65776 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 69957 65776 195 433 0 69521 0
[pid=2609/tid=2611] ppid=2607 vsize=279828 CPUtime=160.43 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 51582 0 0 0 16032 11 0 0 20 0 2 0 332501281 286543872 65776 33554432000 4194304 5964350 140734212601120 140518415435768 4406259 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 279828
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2612
/proc/meminfo: memFree=24814476/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=222.25 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 88289 0 0 0 22210 15 0 0 20 0 2 0 332501137 361119744 80095 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 80095 195 433 0 87728 0
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=220.27 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 63833 0 0 0 22013 14 0 0 20 0 2 0 332501281 361119744 80095 33554432000 4194304 5964350 140734212601120 140518415436136 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 352656
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2612
/proc/meminfo: memFree=24797984/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=282.24 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 88295 0 0 0 28209 15 0 0 20 0 2 0 332501137 361119744 80485 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 80485 195 433 0 87728 0
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=280.12 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 63839 0 0 0 27997 15 0 0 20 0 2 0 332501281 361119744 80485 33554432000 4194304 5964350 140734212601120 140518415436136 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 352656
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2612
/proc/meminfo: memFree=24780676/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=342.21 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 88315 0 0 0 34206 15 0 0 20 0 2 0 332501137 361119744 80736 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 80736 195 433 0 87728 0
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=339.95 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 63859 0 0 0 33979 16 0 0 20 0 2 0 332501281 361119744 80736 33554432000 4194304 5964350 140734212601120 140518415436136 4389090 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 352656
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2651
/proc/meminfo: memFree=25055712/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=402.2 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 88317 0 0 0 40205 15 0 0 20 0 2 0 332501137 361119744 80736 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 80736 195 433 0 87728 0
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=399.79 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 63861 0 0 0 39962 17 0 0 20 0 2 0 332501281 361119744 80736 33554432000 4194304 5964350 140734212601120 140518415436136 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 352656
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2652
/proc/meminfo: memFree=25028468/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=462.19 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 88318 0 0 0 46204 15 0 0 20 0 2 0 332501137 361119744 81301 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 81301 195 433 0 87728 0
################
# More data... #
################
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=1058.1 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 66182 0 0 0 105783 27 0 0 20 0 2 0 332501281 361119744 83621 33554432000 4194304 5964350 140734212601120 140518415435768 4389090 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 352656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2660
/proc/meminfo: memFree=24397384/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=352656 CPUtime=1122.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 91324 0 0 0 112193 15 0 0 20 0 2 0 332501137 361119744 84307 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 88164 84307 195 433 0 87728 0
[pid=2609/tid=2611] ppid=2607 vsize=352656 CPUtime=1117.95 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 66868 0 0 0 111768 27 0 0 20 0 2 0 332501281 361119744 84307 33554432000 4194304 5964350 140734212601120 140518415435768 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 352656
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2660
/proc/meminfo: memFree=24390760/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1182.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 93023 0 0 0 118192 16 0 0 20 0 2 0 332501137 428228608 86006 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 86006 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1177.8 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 68567 0 0 0 117751 29 0 0 20 0 2 0 332501281 428228608 86006 33554432000 4194304 5964350 140734212601120 140518415435768 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 418192
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2660
/proc/meminfo: memFree=24386972/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1242.07 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 93764 0 0 0 124191 16 0 0 20 0 2 0 332501137 428228608 86754 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 86754 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1237.64 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 69308 0 0 0 123734 30 0 0 20 0 2 0 332501281 428228608 86754 33554432000 4194304 5964350 140734212601120 140518415435368 4389052 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 418192
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2660
/proc/meminfo: memFree=24376316/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1302.06 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 94791 0 0 0 130190 16 0 0 20 0 2 0 332501137 428228608 87778 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 87778 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1297.49 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 70335 0 0 0 129718 31 0 0 20 0 2 0 332501281 428228608 87778 33554432000 4194304 5964350 140734212601120 140518415435768 4389052 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 418192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2661
/proc/meminfo: memFree=24269552/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1362.05 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 95500 0 0 0 136188 17 0 0 20 0 2 0 332501137 428228608 88487 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 88487 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1357.34 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 71044 0 0 0 135701 33 0 0 20 0 2 0 332501281 428228608 88487 33554432000 4194304 5964350 140734212601120 140518415435768 4389090 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 418192
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2661
/proc/meminfo: memFree=24135812/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1422.05 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 100375 0 0 0 142187 18 0 0 20 0 2 0 332501137 428228608 93362 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 93362 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1417.19 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 75919 0 0 0 141684 35 0 0 20 0 2 0 332501281 428228608 93362 33554432000 4194304 5964350 140734212601120 140518415435768 4389067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 418192
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2661
/proc/meminfo: memFree=24031560/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1482.03 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 102007 0 0 0 148185 18 0 0 20 0 2 0 332501137 428228608 94994 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 94994 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1477.03 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 77551 0 0 0 147667 36 0 0 20 0 2 0 332501281 428228608 94994 33554432000 4194304 5964350 140734212601120 140518415435768 4389090 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 418192
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2661
/proc/meminfo: memFree=23973840/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1542.02 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 102588 0 0 0 154184 18 0 0 20 0 2 0 332501137 428228608 95575 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 95575 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1536.88 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 78132 0 0 0 153651 37 0 0 20 0 2 0 332501281 428228608 95575 33554432000 4194304 5964350 140734212601120 140518415435768 4410659 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 418192
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2661
/proc/meminfo: memFree=23971388/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1602.02 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 103076 0 0 0 160183 19 0 0 20 0 2 0 332501137 428228608 96063 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 96063 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1596.72 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 78620 0 0 0 159634 38 0 0 20 0 2 0 332501281 428228608 96063 33554432000 4194304 5964350 140734212601120 140518415435768 4389020 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 418192
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2662
/proc/meminfo: memFree=23969380/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1662.01 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 103564 0 0 0 166182 19 0 0 20 0 2 0 332501137 428228608 96551 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 96551 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1656.57 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 79108 0 0 0 165617 40 0 0 20 0 2 0 332501281 428228608 96551 33554432000 4194304 5964350 140734212601120 140518415435768 4389030 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 418192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2665
/proc/meminfo: memFree=23967164/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1722 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 104059 0 0 0 172181 19 0 0 20 0 2 0 332501137 428228608 97046 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 97046 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1716.42 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 79603 0 0 0 171601 41 0 0 20 0 2 0 332501281 428228608 97046 33554432000 4194304 5964350 140734212601120 140518415435768 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 418192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2665
/proc/meminfo: memFree=23960896/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1781.98 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 105603 0 0 0 178179 19 0 0 20 0 2 0 332501137 428228608 98590 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 98590 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1776.26 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 81147 0 0 0 177585 41 0 0 20 0 2 0 332501281 428228608 98590 33554432000 4194304 5964350 140734212601120 140518415435768 4389005 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 418192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2665
/proc/meminfo: memFree=23960400/32873648 swapFree=6852/6852
[pid=2609] ppid=2607 vsize=418192 CPUtime=1800.08 cores=1,3,5,7
/proc/2609/stat : 2609 (wbo1.72) S 2607 2609 32340 0 -1 4202496 105746 0 0 0 179989 19 0 0 20 0 2 0 332501137 428228608 98733 33554432000 4194304 5964350 140734212601120 140734212600640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2609/statm: 104548 98733 195 433 0 104112 0
[pid=2609/tid=2611] ppid=2607 vsize=418192 CPUtime=1794.32 cores=1,3,5,7
/proc/2609/task/2611/stat : 2611 (wbo1.72) R 2607 2609 32340 0 -1 4202560 81290 0 0 0 179390 42 0 0 20 0 2 0 332501281 428228608 98733 33554432000 4194304 5964350 140734212601120 140518415435768 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 418192
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 2609 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=302072
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=480926
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.08
#
# 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.08
CPU user time (s): 1799.89
CPU system time (s): 0.19
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 418192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.3
system time used= 0.480926
maximum resident set size= 394936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105747
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= 36
involuntary context switches= 1862
runsolver used 3.46047 second user time and 8.77467 second system time
The end