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-3703513-1338090100/watcher-3703513-1338090100 -o /tmp/evaluation-result-3703513-1338090100/solver-3703513-1338090100 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703513-1338090100.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: 3.96 3.99 3.82 4/178 4488
/proc/meminfo: memFree=30164204/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=4384 CPUtime=0 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) R 4486 4488 3829 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 275134059 4489216 317 33554432000 4194304 5965102 140735611924976 140734551956456 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 1096 318 169 433 0 612 0
[startup+0.0871801 s]
/proc/loadavg: 3.96 3.99 3.82 4/178 4488
/proc/meminfo: memFree=30164204/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=163620 CPUtime=0.14 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 2009 0 0 0 14 0 0 0 20 0 3 0 275134059 167546880 1913 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 40905 1914 196 433 0 40469 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 163620
[startup+0.100188 s]
/proc/loadavg: 3.96 3.99 3.82 4/178 4488
/proc/meminfo: memFree=30164204/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=163620 CPUtime=0.16 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 2032 0 0 0 16 0 0 0 20 0 3 0 275134059 167546880 1936 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 40905 1936 196 433 0 40469 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 163620
[startup+0.30017 s]
/proc/loadavg: 3.96 3.99 3.82 4/178 4488
/proc/meminfo: memFree=30164204/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=169460 CPUtime=0.57 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 4778 0 0 0 54 3 0 0 20 0 3 0 275134059 173527040 4658 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42365 4658 207 433 0 41929 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 169460
[startup+0.70017 s]
/proc/loadavg: 3.96 3.99 3.82 4/178 4488
/proc/meminfo: memFree=30164204/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=169460 CPUtime=1.37 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 5455 0 0 0 133 4 0 0 20 0 3 0 275134059 173527040 5254 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42365 5254 207 433 0 41929 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 169460
[startup+1.50033 s]
/proc/loadavg: 3.96 3.99 3.82 5/181 4491
/proc/meminfo: memFree=30139484/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=169460 CPUtime=2.96 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 6525 0 0 0 291 5 0 0 20 0 3 0 275134059 173527040 6573 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42365 6573 207 433 0 41929 0
[pid=4488/tid=4490] ppid=4486 vsize=169460 CPUtime=1.46 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 1921 0 0 0 146 0 0 0 20 0 3 0 275134061 173527040 6573 33554432000 4194304 5965102 140735611924976 140415216924712 4401852 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=169460 CPUtime=1.46 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 3491 0 0 0 141 5 0 0 20 0 3 0 275134061 173527040 6573 33554432000 4194304 5965102 140735611924976 140415206434936 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 169460
[startup+3.10033 s]
/proc/loadavg: 3.96 3.99 3.82 5/181 4491
/proc/meminfo: memFree=30132044/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=169604 CPUtime=6.17 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 7638 0 0 0 609 8 0 0 20 0 3 0 275134059 173674496 7686 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42401 7686 207 433 0 41965 0
[pid=4488/tid=4490] ppid=4486 vsize=169604 CPUtime=3.06 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 2490 0 0 0 306 0 0 0 20 0 3 0 275134061 173674496 7686 33554432000 4194304 5965102 140735611924976 140415216925048 4401472 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=169604 CPUtime=3.06 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 4035 0 0 0 299 7 0 0 20 0 3 0 275134061 173674496 7686 33554432000 4194304 5965102 140735611924976 140415206434936 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 169604
[startup+6.30033 s]
/proc/loadavg: 3.96 3.99 3.82 5/181 4491
/proc/meminfo: memFree=30117536/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=169984 CPUtime=12.56 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 9164 0 0 0 1246 10 0 0 20 0 3 0 275134059 174063616 9212 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42496 9212 207 433 0 42060 0
[pid=4488/tid=4490] ppid=4486 vsize=169984 CPUtime=6.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 3189 0 0 0 626 0 0 0 20 0 3 0 275134061 174063616 9212 33554432000 4194304 5965102 140735611924976 140415216924472 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=169984 CPUtime=6.27 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 4862 0 0 0 617 10 0 0 20 0 3 0 275134061 174063616 9212 33554432000 4194304 5965102 140735611924976 140415206434936 4401780 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 169984
[startup+12.7003 s]
/proc/loadavg: 3.97 3.99 3.83 5/181 4491
/proc/meminfo: memFree=30080720/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=170296 CPUtime=25.36 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 13337 0 0 0 2519 17 0 0 20 0 3 0 275134059 174383104 14322 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42574 14322 207 433 0 42138 0
[pid=4488/tid=4490] ppid=4486 vsize=170296 CPUtime=12.66 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 4919 0 0 0 1264 2 0 0 20 0 3 0 275134061 174383104 14322 33554432000 4194304 5965102 140735611924976 140415216924712 4401149 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=170296 CPUtime=12.66 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 7305 0 0 0 1251 15 0 0 20 0 3 0 275134061 174383104 14322 33554432000 4194304 5965102 140735611924976 140415206435128 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 170296
[startup+25.5003 s]
/proc/loadavg: 3.97 3.99 3.83 5/181 4491
/proc/meminfo: memFree=30057960/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=170484 CPUtime=50.95 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 15079 0 0 0 5075 20 0 0 20 0 3 0 275134059 174575616 16274 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42621 16274 207 433 0 42185 0
[pid=4488/tid=4490] ppid=4486 vsize=170484 CPUtime=25.46 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 5308 0 0 0 2544 2 0 0 20 0 3 0 275134061 174575616 16274 33554432000 4194304 5965102 140735611924976 140415216925208 4401824 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=170484 CPUtime=25.46 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 8658 0 0 0 2527 19 0 0 20 0 3 0 275134061 174575616 16274 33554432000 4194304 5965102 140735611924976 140415206435040 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 170484
[startup+51.1004 s]
/proc/loadavg: 3.98 3.99 3.83 5/181 4491
/proc/meminfo: memFree=29981324/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=171616 CPUtime=102.14 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 24560 0 0 0 10177 37 0 0 20 0 3 0 275134059 175734784 25755 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 42904 25755 207 433 0 42468 0
[pid=4488/tid=4490] ppid=4486 vsize=171616 CPUtime=51.06 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 5960 0 0 0 5102 4 0 0 20 0 3 0 275134061 175734784 25755 33554432000 4194304 5965102 140735611924976 140415216925208 4221072 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=171616 CPUtime=51.07 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 17487 0 0 0 5072 35 0 0 20 0 3 0 275134061 175734784 25755 33554432000 4194304 5965102 140735611924976 140415206435128 4401530 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 171616
[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.83 5/181 4492
/proc/meminfo: memFree=29865876/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=238696 CPUtime=204.53 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 38618 0 0 0 20392 61 0 0 20 0 3 0 275134059 244424704 39715 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 59674 39715 207 433 0 59238 0
[pid=4488/tid=4490] ppid=4486 vsize=238696 CPUtime=102.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 9972 0 0 0 10214 12 0 0 20 0 3 0 275134061 244424704 39715 33554432000 4194304 5965102 140735611924976 140415216924768 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=238696 CPUtime=102.28 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 27533 0 0 0 10175 53 0 0 20 0 3 0 275134061 244424704 39715 33554432000 4194304 5965102 140735611924976 140415206435128 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 238696
[startup+162.3 s]
/proc/loadavg: 4.05 4.00 3.85 5/181 4492
/proc/meminfo: memFree=29764752/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=304688 CPUtime=324.5 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 48623 0 0 0 32370 80 0 0 20 0 3 0 275134059 312000512 49720 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 76172 49720 207 433 0 75736 0
[pid=4488/tid=4490] ppid=4486 vsize=304688 CPUtime=162.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 10046 0 0 0 16213 13 0 0 20 0 3 0 275134061 312000512 49720 33554432000 4194304 5965102 140735611924976 140415216925208 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=304688 CPUtime=162.27 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 37464 0 0 0 16155 72 0 0 20 0 3 0 275134061 312000512 49720 33554432000 4194304 5965102 140735611924976 140415206435128 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 304688
[startup+222.3 s]
/proc/loadavg: 4.02 4.00 3.85 5/181 4492
/proc/meminfo: memFree=29638200/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=370584 CPUtime=444.46 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 74165 0 0 0 44301 145 0 0 20 0 3 0 275134059 379478016 75218 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 92646 75218 207 433 0 92210 0
[pid=4488/tid=4490] ppid=4486 vsize=370584 CPUtime=222.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 16149 0 0 0 22191 35 0 0 20 0 3 0 275134061 379478016 75218 33554432000 4194304 5965102 140735611924976 140415216924768 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=370584 CPUtime=222.24 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 56903 0 0 0 22106 118 0 0 20 0 3 0 275134061 379478016 75218 33554432000 4194304 5965102 140735611924976 140415206435128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 370584
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 4492
/proc/meminfo: memFree=29534072/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=436420 CPUtime=564.41 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 88638 0 0 0 56269 172 0 0 20 0 3 0 275134059 446894080 89676 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 109105 89676 207 433 0 108669 0
[pid=4488/tid=4490] ppid=4486 vsize=436420 CPUtime=282.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 16212 0 0 0 28189 36 0 0 20 0 3 0 275134061 446894080 89676 33554432000 4194304 5965102 140735611924976 140415216924576 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=436420 CPUtime=282.23 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 71313 0 0 0 28078 145 0 0 20 0 3 0 275134061 446894080 89676 33554432000 4194304 5965102 140735611924976 140415206435040 4400972 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 436420
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 4492
/proc/meminfo: memFree=29461776/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=502228 CPUtime=684.38 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 99444 0 0 0 68247 191 0 0 20 0 3 0 275134059 514281472 100298 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 125557 100298 207 433 0 125121 0
[pid=4488/tid=4490] ppid=4486 vsize=502228 CPUtime=342.24 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 19283 0 0 0 34178 46 0 0 20 0 3 0 275134061 514281472 100298 33554432000 4194304 5965102 140735611924976 140415216925624 4401668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=502228 CPUtime=342.23 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 79048 0 0 0 34067 156 0 0 20 0 3 0 275134061 514281472 100298 33554432000 4194304 5965102 140735611924976 140415206435128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 502228
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/181 4493
/proc/meminfo: memFree=29309980/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=634244 CPUtime=804.37 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 135631 0 0 0 80179 258 0 0 20 0 3 0 275134059 649465856 136484 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 158561 136484 207 433 0 158125 0
[pid=4488/tid=4490] ppid=4486 vsize=634244 CPUtime=402.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 22684 0 0 0 40169 56 0 0 20 0 3 0 275134061 649465856 136484 33554432000 4194304 5965102 140735611924976 140415216924664 4401475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=634244 CPUtime=402.23 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 111834 0 0 0 40008 215 0 0 20 0 3 0 275134061 649465856 136484 33554432000 4194304 5965102 140735611924976 140415206435128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 634244
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/181 4493
/proc/meminfo: memFree=29144428/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=700208 CPUtime=924.35 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 158338 0 0 0 92134 301 0 0 20 0 3 0 275134059 717012992 159062 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 175052 159062 207 433 0 174616 0
[pid=4488/tid=4490] ppid=4486 vsize=700208 CPUtime=462.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 27089 0 0 0 46157 68 0 0 20 0 3 0 275134061 717012992 159062 33554432000 4194304 5965102 140735611924976 140415216924656 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=700208 CPUtime=462.24 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 130136 0 0 0 45977 247 0 0 20 0 3 0 275134061 717012992 159062 33554432000 4194304 5965102 140735611924976 140415206435040 4401046 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 700208
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 4496
/proc/meminfo: memFree=29107284/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=700480 CPUtime=1044.33 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 158473 0 0 0 104132 301 0 0 20 0 3 0 275134059 717291520 158728 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 175120 158728 207 433 0 174684 0
[pid=4488/tid=4490] ppid=4486 vsize=700480 CPUtime=522.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 27148 0 0 0 52157 68 0 0 20 0 3 0 275134061 717291520 158728 33554432000 4194304 5965102 140735611924976 140415216924768 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=700480 CPUtime=522.24 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 130212 0 0 0 51976 248 0 0 20 0 3 0 275134061 717291520 158728 33554432000 4194304 5965102 140735611924976 140415206434888 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 700480
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 4496
/proc/meminfo: memFree=29073068/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=700744 CPUtime=1164.3 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 164580 0 0 0 116121 309 0 0 20 0 3 0 275134059 717561856 164834 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 175186 164834 207 433 0 174750 0
[pid=4488/tid=4490] ppid=4486 vsize=700744 CPUtime=582.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 33191 0 0 0 58148 78 0 0 20 0 3 0 275134061 717561856 164834 33554432000 4194304 5965102 140735611924976 140415216924664 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=700744 CPUtime=582.24 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 130276 0 0 0 57975 249 0 0 20 0 3 0 275134061 717561856 164834 33554432000 4194304 5965102 140735611924976 140415206434888 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 700744
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 4496
/proc/meminfo: memFree=29003924/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=768200 CPUtime=1284.27 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 168306 0 0 0 128109 318 0 0 20 0 3 0 275134059 786636800 168642 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 192050 168642 207 433 0 191614 0
[pid=4488/tid=4490] ppid=4486 vsize=768200 CPUtime=642.27 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 36781 0 0 0 64139 88 0 0 20 0 3 0 275134061 786636800 168642 33554432000 4194304 5965102 140735611924976 140415216924664 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=768200 CPUtime=642.23 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 130412 0 0 0 63973 250 0 0 20 0 3 0 275134061 786636800 168642 33554432000 4194304 5965102 140735611924976 140415206434888 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 768200
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 4497
/proc/meminfo: memFree=28894956/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=834832 CPUtime=1404.2 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 195742 0 0 0 140032 388 0 0 20 0 3 0 275134059 854867968 196057 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 208708 196057 207 433 0 208272 0
[pid=4488/tid=4490] ppid=4486 vsize=834832 CPUtime=702.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 47183 0 0 0 70101 125 0 0 20 0 3 0 275134061 854867968 196057 33554432000 4194304 5965102 140735611924976 140415216924472 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=834832 CPUtime=702.18 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 147446 0 0 0 69933 285 0 0 20 0 3 0 275134061 854867968 196057 33554432000 4194304 5965102 140735611924976 140415206435128 5137146 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.2
Current children cumulated vsize (KiB) 834832
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 4497
/proc/meminfo: memFree=28825792/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=966176 CPUtime=1524.17 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 212642 0 0 0 152006 411 0 0 20 0 3 0 275134059 989364224 212913 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 241544 212913 207 433 0 241108 0
[pid=4488/tid=4490] ppid=4486 vsize=966176 CPUtime=762.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 50123 0 0 0 76096 130 0 0 20 0 3 0 275134061 989364224 212913 33554432000 4194304 5965102 140735611924976 140415216924664 4401852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=966176 CPUtime=762.17 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 161406 0 0 0 75912 305 0 0 20 0 3 0 275134061 989364224 212913 33554432000 4194304 5965102 140735611924976 140415206435128 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 966176
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4497
/proc/meminfo: memFree=28815600/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=966356 CPUtime=1644.13 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 215246 0 0 0 163997 416 0 0 20 0 3 0 275134059 989548544 215549 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 241589 215549 207 433 0 241153 0
[pid=4488/tid=4490] ppid=4486 vsize=966356 CPUtime=822.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 52661 0 0 0 82090 135 0 0 20 0 3 0 275134061 989548544 215549 33554432000 4194304 5965102 140735611924976 140415216924664 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=966356 CPUtime=822.15 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 161472 0 0 0 81909 306 0 0 20 0 3 0 275134061 989548544 215549 33554432000 4194304 5965102 140735611924976 140415206434888 4401568 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 966356
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4538
/proc/meminfo: memFree=29313960/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=966356 CPUtime=1764.09 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 224745 0 0 0 175965 444 0 0 20 0 3 0 275134059 989548544 225044 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 241589 225044 207 433 0 241153 0
[pid=4488/tid=4490] ppid=4486 vsize=966356 CPUtime=882.25 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 62119 0 0 0 88060 165 0 0 20 0 3 0 275134061 989548544 225044 33554432000 4194304 5965102 140735611924976 140415216924664 4391329 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=966356 CPUtime=882.12 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 161513 0 0 0 87905 307 0 0 20 0 3 0 275134061 989548544 225044 33554432000 4194304 5965102 140735611924976 140415206434888 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 966356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4538
/proc/meminfo: memFree=29285192/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=966356 CPUtime=1800.09 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 224802 0 0 0 179565 444 0 0 20 0 3 0 275134059 989548544 225101 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 241589 225101 207 433 0 241153 0
[pid=4488/tid=4490] ppid=4486 vsize=966356 CPUtime=900.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 62176 0 0 0 89861 165 0 0 20 0 3 0 275134061 989548544 225101 33554432000 4194304 5965102 140735611924976 140415216924472 4400966 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=966356 CPUtime=900.13 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 161513 0 0 0 89706 307 0 0 20 0 3 0 275134061 989548544 225101 33554432000 4194304 5965102 140735611924976 140415206434888 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 966356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4538
/proc/meminfo: memFree=29285192/32873648 swapFree=7368/7368
[pid=4488] ppid=4486 vsize=966356 CPUtime=1800.09 cores=0,2,4,6
/proc/4488/stat : 4488 (pwbo2.0) S 4486 4488 3829 0 -1 4202496 224802 0 0 0 179565 444 0 0 20 0 3 0 275134059 989548544 225101 33554432000 4194304 5965102 140735611924976 140735611924496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4488/statm: 241589 225101 207 433 0 241153 0
[pid=4488/tid=4490] ppid=4486 vsize=966356 CPUtime=900.26 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 62176 0 0 0 89861 165 0 0 20 0 3 0 275134061 989548544 225101 33554432000 4194304 5965102 140735611924976 140415216924472 4400966 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4488/tid=4491] ppid=4486 vsize=966356 CPUtime=900.13 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (pwbo2.0) R 4486 4488 3829 0 -1 4202560 161513 0 0 0 89706 307 0 0 20 0 3 0 275134061 989548544 225101 33554432000 4194304 5965102 140735611924976 140415206434888 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 966356
Child status: 0
Real time (s): 900.331
CPU time (s): 1800.45
CPU user time (s): 1795.69
CPU system time (s): 4.76028
CPU usage (%): 199.977
Max. virtual memory (cumulated for all children) (KiB): 966356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.69
system time used= 4.76028
maximum resident set size= 900412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224804
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= 547
involuntary context switches= 2164
runsolver used 1.61275 second user time and 5.35319 second system time
The end