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 /var/tmp/evaluation-result-3500579-1307996797/watcher-3500579-1307996797 -o /var/tmp/evaluation-result-3500579-1307996797/solver-3500579-1307996797 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500579-1307996797.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: 4.00 4.00 3.92 4/179 1455
/proc/meminfo: memFree=12953508/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=4428 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) R 1453 1455 306 0 -1 4202496 374 0 0 0 0 0 0 0 19 0 1 0 892095885 4534272 326 33554432000 4194304 5714118 140736058569712 18446744073709551615 4315361 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1455/statm: 1107 326 157 372 0 225 0
[startup+0.0152999 s]
/proc/loadavg: 4.00 4.00 3.92 4/179 1455
/proc/meminfo: memFree=12953508/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=5812 CPUtime=0.01 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) R 1453 1455 306 0 -1 4202496 738 0 0 0 1 0 0 0 19 0 1 0 892095885 5951488 690 33554432000 4194304 5714118 140736058569712 18446744073709551615 4964722 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1455/statm: 1453 690 197 372 0 571 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5812
[startup+0.100291 s]
/proc/loadavg: 4.00 4.00 3.92 4/179 1455
/proc/meminfo: memFree=12953508/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=12136 CPUtime=0.09 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) R 1453 1455 306 0 -1 4202496 2578 0 0 0 9 0 0 0 19 0 1 0 892095885 12427264 2464 33554432000 4194304 5714118 140736058569712 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1455/statm: 3034 2465 500 372 0 2152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12136
[startup+0.300251 s]
/proc/loadavg: 4.00 4.00 3.92 4/179 1455
/proc/meminfo: memFree=12953508/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=164144 CPUtime=0.43 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 15384 0 0 0 41 2 0 0 20 0 3 0 892095885 168083456 14207 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 41036 14207 179 372 0 40661 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 164144
[startup+0.700182 s]
/proc/loadavg: 4.00 4.00 3.92 4/179 1455
/proc/meminfo: memFree=12953508/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=164144 CPUtime=1.23 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 16590 0 0 0 119 4 0 0 20 0 3 0 892095885 168083456 14480 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 41036 14480 179 372 0 40661 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 164144
[startup+1.50104 s]
/proc/loadavg: 3.92 3.98 3.91 5/182 1458
/proc/meminfo: memFree=12896096/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=164144 CPUtime=2.83 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 18786 0 0 0 275 8 0 0 20 0 3 0 892095885 168083456 15210 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 41036 15210 180 372 0 40661 0
[pid=1455/tid=1457] ppid=1453 vsize=164144 CPUtime=1.35 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 5538 0 0 0 134 1 0 0 19 0 3 0 892095899 168083456 15210 33554432000 4194304 5714118 140736058569712 18446744073709551615 4336656 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=164144 CPUtime=1.33 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 9663 0 0 0 127 6 0 0 19 0 3 0 892095899 168083456 15210 33554432000 4194304 5714118 140736058569712 18446744073709551615 4317853 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 164144
[startup+3.10076 s]
/proc/loadavg: 3.92 3.98 3.91 5/182 1458
/proc/meminfo: memFree=12887472/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=164144 CPUtime=6.02 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 24814 0 0 0 584 18 0 0 20 0 3 0 892095885 168083456 18726 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 41036 18726 180 372 0 40661 0
[pid=1455/tid=1457] ppid=1453 vsize=164144 CPUtime=2.94 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 8377 0 0 0 293 1 0 0 24 0 3 0 892095899 168083456 18726 33554432000 4194304 5714118 140736058569712 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=164144 CPUtime=2.93 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 12852 0 0 0 277 16 0 0 25 0 3 0 892095899 168083456 18726 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 164144
[startup+6.3012 s]
/proc/loadavg: 3.93 3.98 3.91 5/182 1458
/proc/meminfo: memFree=12848412/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=229680 CPUtime=12.43 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 34882 0 0 0 1189 54 0 0 20 0 3 0 892095885 235192320 28573 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 57420 28573 180 372 0 57045 0
[pid=1455/tid=1457] ppid=1453 vsize=229680 CPUtime=6.14 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 10787 0 0 0 603 11 0 0 25 0 3 0 892095899 235192320 28573 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=229680 CPUtime=6.13 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 20510 0 0 0 571 42 0 0 25 0 3 0 892095899 235192320 28573 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 229680
[startup+12.7011 s]
/proc/loadavg: 3.93 3.98 3.91 5/182 1459
/proc/meminfo: memFree=12823016/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=229944 CPUtime=25.22 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 39194 0 0 0 2457 65 0 0 20 0 3 0 892095885 235462656 32885 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 57486 32885 181 372 0 57111 0
[pid=1455/tid=1457] ppid=1453 vsize=229944 CPUtime=12.54 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 13590 0 0 0 1235 19 0 0 25 0 3 0 892095899 235462656 32885 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=229944 CPUtime=12.53 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 22020 0 0 0 1207 46 0 0 25 0 3 0 892095899 235462656 32886 33554432000 4194304 5714118 140736058569712 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 229944
[startup+25.5008 s]
/proc/loadavg: 3.95 3.98 3.91 5/182 1459
/proc/meminfo: memFree=12794256/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=231024 CPUtime=50.83 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 46144 0 0 0 4993 90 0 0 20 0 3 0 892095885 236568576 39659 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 57756 39659 181 372 0 57381 0
[pid=1455/tid=1457] ppid=1453 vsize=231024 CPUtime=25.34 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 18377 0 0 0 2504 30 0 0 25 0 3 0 892095899 236568576 39659 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=231024 CPUtime=25.34 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 24182 0 0 0 2475 59 0 0 25 0 3 0 892095899 236568576 39659 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 231024
[startup+51.1003 s]
/proc/loadavg: 3.96 3.98 3.91 5/182 1460
/proc/meminfo: memFree=12748852/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=300256 CPUtime=102.03 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 56598 0 0 0 10079 124 0 0 20 0 3 0 892095885 307462144 50110 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 75064 50110 181 372 0 74689 0
[pid=1455/tid=1457] ppid=1453 vsize=300256 CPUtime=50.94 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 22803 0 0 0 5044 50 0 0 25 0 3 0 892095899 307462144 50110 33554432000 4194304 5714118 140736058569712 18446744073709551615 4198827 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=300256 CPUtime=50.93 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 30210 0 0 0 5021 72 0 0 25 0 3 0 892095899 307462144 50110 33554432000 4194304 5714118 140736058569712 18446744073709551615 4300331 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 300256
[startup+102.306 s]
/proc/loadavg: 3.89 3.95 3.91 5/182 1502
/proc/meminfo: memFree=12734808/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=301396 CPUtime=204.44 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 64411 0 0 0 20236 208 0 0 20 0 3 0 892095885 308629504 56128 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 75349 56128 181 372 0 74974 0
[pid=1455/tid=1457] ppid=1453 vsize=301396 CPUtime=102.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 28447 0 0 0 10112 103 0 0 25 0 3 0 892095899 308629504 56128 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=301396 CPUtime=102.14 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 32379 0 0 0 10109 105 0 0 25 0 3 0 892095899 308629504 56128 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.44
Current children cumulated vsize (KiB) 301396
[startup+162.301 s]
/proc/loadavg: 3.96 3.96 3.91 5/182 1504
/proc/meminfo: memFree=12621740/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=303116 CPUtime=324.43 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 75854 0 0 0 32182 261 0 0 20 0 3 0 892095885 310390784 67221 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 75779 67221 181 372 0 75404 0
[pid=1455/tid=1457] ppid=1453 vsize=303116 CPUtime=162.14 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 37020 0 0 0 16084 130 0 0 25 0 3 0 892095899 310390784 67221 33554432000 4194304 5714118 140736058569712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=303116 CPUtime=162.13 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 35249 0 0 0 16083 130 0 0 25 0 3 0 892095899 310390784 67221 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 303116
[startup+222.3 s]
/proc/loadavg: 3.74 3.88 3.88 5/182 1545
/proc/meminfo: memFree=12652120/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=370864 CPUtime=444.43 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 88931 0 0 0 44134 309 0 0 20 0 3 0 892095885 379764736 79801 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 92716 79801 181 372 0 92341 0
[pid=1455/tid=1457] ppid=1453 vsize=370864 CPUtime=222.14 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 45652 0 0 0 22064 150 0 0 25 0 3 0 892095899 379764736 79801 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=370864 CPUtime=222.13 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 39694 0 0 0 22055 158 0 0 25 0 3 0 892095899 379764736 79801 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 370864
[startup+282.301 s]
/proc/loadavg: 3.90 3.90 3.89 5/182 1547
/proc/meminfo: memFree=12616852/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=437572 CPUtime=564.44 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 94743 0 0 0 56088 356 0 0 20 0 3 0 892095885 448073728 85612 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 109393 85612 181 372 0 109018 0
[pid=1455/tid=1457] ppid=1453 vsize=437572 CPUtime=282.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 48949 0 0 0 28044 171 0 0 25 0 3 0 892095899 448073728 85612 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=437572 CPUtime=282.13 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 42209 0 0 0 28029 184 0 0 25 0 3 0 892095899 448073728 85612 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 437572
[startup+342.301 s]
/proc/loadavg: 3.96 3.91 3.89 5/182 1549
/proc/meminfo: memFree=12566476/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=440168 CPUtime=684.44 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 104762 0 0 0 68054 390 0 0 20 0 3 0 892095885 450732032 95627 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 110042 95627 181 372 0 109667 0
[pid=1455/tid=1457] ppid=1453 vsize=440168 CPUtime=342.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 53716 0 0 0 34024 191 0 0 25 0 3 0 892095899 450732032 95627 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=440168 CPUtime=342.13 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 47461 0 0 0 34016 197 0 0 25 0 3 0 892095899 450732032 95627 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.44
Current children cumulated vsize (KiB) 440168
[startup+402.301 s]
/proc/loadavg: 3.98 3.93 3.90 5/182 1550
/proc/meminfo: memFree=12494532/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=511156 CPUtime=804.44 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 114903 0 0 0 80021 423 0 0 20 0 3 0 892095885 523423744 105756 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 127789 105756 181 372 0 127414 0
[pid=1455/tid=1457] ppid=1453 vsize=511156 CPUtime=402.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 58567 0 0 0 40002 213 0 0 25 0 3 0 892095899 523423744 105756 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=511156 CPUtime=402.14 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 52751 0 0 0 40005 209 0 0 25 0 3 0 892095899 523423744 105756 33554432000 4194304 5714118 140736058569712 18446744073709551615 4320026 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.44
Current children cumulated vsize (KiB) 511156
[startup+462.301 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 1552
/proc/meminfo: memFree=12370892/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=514580 CPUtime=924.45 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 121551 0 0 0 91989 456 0 0 20 0 3 0 892095885 526929920 112400 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 128645 112400 181 372 0 128270 0
[pid=1455/tid=1457] ppid=1453 vsize=514580 CPUtime=462.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 63250 0 0 0 45984 231 0 0 25 0 3 0 892095899 526929920 112400 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=514580 CPUtime=462.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 54716 0 0 0 45991 224 0 0 25 0 3 0 892095899 526929920 112400 33554432000 4194304 5714118 140736058569712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.45
Current children cumulated vsize (KiB) 514580
[startup+522.3 s]
/proc/loadavg: 4.11 3.98 3.92 5/182 1553
/proc/meminfo: memFree=12312724/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=518000 CPUtime=1044.45 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 127907 0 0 0 103958 487 0 0 20 0 3 0 892095885 530432000 118754 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 129500 118754 181 372 0 129125 0
[pid=1455/tid=1457] ppid=1453 vsize=518000 CPUtime=522.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 68922 0 0 0 51964 251 0 0 25 0 3 0 892095899 530432000 118754 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=518000 CPUtime=522.14 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 55400 0 0 0 51980 234 0 0 25 0 3 0 892095899 530432000 118754 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.45
Current children cumulated vsize (KiB) 518000
[startup+582.301 s]
/proc/loadavg: 4.04 3.98 3.92 5/182 1555
/proc/meminfo: memFree=12245616/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=584856 CPUtime=1164.45 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 132614 0 0 0 115928 517 0 0 20 0 3 0 892095885 598892544 123460 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 146214 123460 181 372 0 145839 0
[pid=1455/tid=1457] ppid=1453 vsize=584856 CPUtime=582.15 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 73192 0 0 0 57940 275 0 0 25 0 3 0 892095899 598892544 123460 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=584856 CPUtime=582.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 55837 0 0 0 57974 241 0 0 25 0 3 0 892095899 598892544 123460 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.45
Current children cumulated vsize (KiB) 584856
[startup+642.3 s]
/proc/loadavg: 4.01 3.98 3.92 5/182 1557
/proc/meminfo: memFree=12212236/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=588216 CPUtime=1284.46 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 137171 0 0 0 127897 549 0 0 20 0 3 0 892095885 602333184 128017 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 147054 128017 181 372 0 146679 0
[pid=1455/tid=1457] ppid=1453 vsize=588216 CPUtime=642.16 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 74123 0 0 0 63918 298 0 0 25 0 3 0 892095899 602333184 128019 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=588216 CPUtime=642.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 59465 0 0 0 63964 251 0 0 25 0 3 0 892095899 602333184 128019 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.46
Current children cumulated vsize (KiB) 588216
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1558
/proc/meminfo: memFree=12179852/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=657808 CPUtime=1404.46 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 145001 0 0 0 139863 583 0 0 20 0 3 0 892095885 673595392 135846 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 164452 135846 181 372 0 164077 0
[pid=1455/tid=1457] ppid=1453 vsize=657808 CPUtime=702.16 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 79275 0 0 0 69893 323 0 0 25 0 3 0 892095899 673595392 135846 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=657808 CPUtime=702.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62141 0 0 0 69956 259 0 0 25 0 3 0 892095899 673595392 135846 33554432000 4194304 5714118 140736058569712 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.46
Current children cumulated vsize (KiB) 657808
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1560
/proc/meminfo: memFree=12155276/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=657808 CPUtime=1524.47 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 150171 0 0 0 151820 627 0 0 20 0 3 0 892095885 673595392 140864 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 164452 140864 181 372 0 164077 0
[pid=1455/tid=1457] ppid=1453 vsize=657808 CPUtime=762.16 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 84440 0 0 0 75867 349 0 0 25 0 3 0 892095899 673595392 140864 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=657808 CPUtime=762.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62146 0 0 0 75938 277 0 0 25 0 3 0 892095899 673595392 140864 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.47
Current children cumulated vsize (KiB) 657808
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1561
/proc/meminfo: memFree=12132052/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=723344 CPUtime=1644.46 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 155965 0 0 0 163786 660 0 0 20 0 3 0 892095885 740704256 146658 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 180836 146658 181 372 0 180461 0
[pid=1455/tid=1457] ppid=1453 vsize=723344 CPUtime=822.16 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 90234 0 0 0 81845 371 0 0 25 0 3 0 892095899 740704256 146658 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=723344 CPUtime=822.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62146 0 0 0 81927 288 0 0 25 0 3 0 892095899 740704256 146658 33554432000 4194304 5714118 140736058569712 18446744073709551615 4320026 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.46
Current children cumulated vsize (KiB) 723344
[startup+882.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1563
/proc/meminfo: memFree=12128060/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=723344 CPUtime=1764.46 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 156867 0 0 0 175765 681 0 0 20 0 3 0 892095885 740704256 147556 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 180836 147556 181 372 0 180461 0
[pid=1455/tid=1457] ppid=1453 vsize=723344 CPUtime=882.16 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 91136 0 0 0 87830 386 0 0 25 0 3 0 892095899 740704256 147556 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=723344 CPUtime=882.15 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62146 0 0 0 87920 295 0 0 25 0 3 0 892095899 740704256 147556 33554432000 4194304 5714118 140736058569712 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.46
Current children cumulated vsize (KiB) 723344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1563
/proc/meminfo: memFree=12120608/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=723344 CPUtime=1800.07 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 158704 0 0 0 179317 690 0 0 20 0 3 0 892095885 740704256 149393 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 180836 149393 181 372 0 180461 0
[pid=1455/tid=1457] ppid=1453 vsize=723344 CPUtime=899.96 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 92973 0 0 0 89605 391 0 0 25 0 3 0 892095899 740704256 149394 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=723344 CPUtime=899.95 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62147 0 0 0 89697 298 0 0 25 0 3 0 892095899 740704256 149394 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 723344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1563
/proc/meminfo: memFree=12120608/32951124 swapFree=67055536/67111528
[pid=1455] ppid=1453 vsize=723344 CPUtime=1800.07 cores=1,3,5,7
/proc/1455/stat : 1455 (pwbo1.1) S 1453 1455 306 0 -1 4202496 158704 0 0 0 179317 690 0 0 20 0 3 0 892095885 740704256 149393 33554432000 4194304 5714118 140736058569712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1455/statm: 180836 149393 181 372 0 180461 0
[pid=1455/tid=1457] ppid=1453 vsize=723344 CPUtime=899.96 cores=1,3,5,7
/proc/1455/task/1457/stat : 1457 (pwbo1.1) R 1453 1455 306 0 -1 4202560 92973 0 0 0 89605 391 0 0 25 0 3 0 892095899 740704256 149394 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1455/tid=1458] ppid=1453 vsize=723344 CPUtime=899.95 cores=1,3,5,7
/proc/1455/task/1458/stat : 1458 (pwbo1.1) R 1453 1455 306 0 -1 4202560 62147 0 0 0 89697 298 0 0 25 0 3 0 892095899 740704256 149394 33554432000 4194304 5714118 140736058569712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 723344
Child status: 0
Real time (s): 900.14
CPU time (s): 1800.12
CPU user time (s): 1793.19
CPU system time (s): 6.93594
CPU usage (%): 199.983
Max. virtual memory (cumulated for all children) (KiB): 723344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.19
system time used= 6.93595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158712
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= 955
involuntary context switches= 2995
runsolver used 1.56076 second user time and 3.2715 second system time
The end