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-3500475-1307995932/watcher-3500475-1307995932 -o /var/tmp/evaluation-result-3500475-1307995932/solver-3500475-1307995932 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500475-1307995932.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: 4.00 4.00 3.92 3/179 31514
/proc/meminfo: memFree=2987220/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) R 31512 31514 30373 0 -1 4202496 457 0 0 0 0 0 0 0 25 0 1 0 911191718 3178496 410 33554432000 4194304 5714118 140735317704448 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/31514/statm: 776 411 168 372 0 283 0
[startup+0.103608 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31514
/proc/meminfo: memFree=2987220/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=141852 CPUtime=0.15 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 3244 0 0 0 14 1 0 0 18 0 3 0 911191718 145256448 3079 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 35463 3079 180 372 0 35088 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 141852
[startup+0.200621 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31514
/proc/meminfo: memFree=2987220/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=141852 CPUtime=0.34 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 3274 0 0 0 33 1 0 0 18 0 3 0 911191718 145256448 3109 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 35463 3109 181 372 0 35088 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 141852
[startup+0.300605 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31514
/proc/meminfo: memFree=2987220/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=141852 CPUtime=0.54 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 3306 0 0 0 53 1 0 0 18 0 3 0 911191718 145256448 3141 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 35463 3141 181 372 0 35088 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 141852
[startup+0.700526 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31514
/proc/meminfo: memFree=2987220/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=145548 CPUtime=1.35 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 5083 0 0 0 132 3 0 0 18 0 3 0 911191718 149041152 4918 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36387 4918 181 372 0 36012 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 145548
[startup+1.50041 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2967252/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=145548 CPUtime=2.94 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 5804 0 0 0 290 4 0 0 18 0 3 0 911191718 149041152 5639 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36387 5639 181 372 0 36012 0
[pid=31514/tid=31516] ppid=31512 vsize=145548 CPUtime=1.45 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 1277 0 0 0 142 3 0 0 19 0 3 0 911191723 149041152 5639 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=145548 CPUtime=1.45 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 2322 0 0 0 144 1 0 0 23 0 3 0 911191723 149041152 5639 33554432000 4194304 5714118 140735317704448 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 145548
[startup+3.10113 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2961424/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=145548 CPUtime=6.14 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 6605 0 0 0 608 6 0 0 18 0 3 0 911191718 149041152 6440 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36387 6440 181 372 0 36012 0
[pid=31514/tid=31516] ppid=31512 vsize=145548 CPUtime=3.04 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 1651 0 0 0 300 4 0 0 22 0 3 0 911191723 149041152 6440 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=145548 CPUtime=3.04 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 2749 0 0 0 303 1 0 0 25 0 3 0 911191723 149041152 6440 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 145548
[startup+6.30056 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2954248/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=145836 CPUtime=12.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 7547 0 0 0 1246 9 0 0 18 0 3 0 911191718 149336064 7382 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36459 7382 181 372 0 36084 0
[pid=31514/tid=31516] ppid=31512 vsize=145836 CPUtime=6.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 2017 0 0 0 619 6 0 0 25 0 3 0 911191723 149336064 7382 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=145836 CPUtime=6.24 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 3325 0 0 0 622 2 0 0 25 0 3 0 911191723 149336064 7382 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 145836
[startup+12.7005 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2943620/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146016 CPUtime=25.34 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 8860 0 0 0 2520 14 0 0 18 0 3 0 911191718 149520384 8695 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36504 8695 181 372 0 36129 0
[pid=31514/tid=31516] ppid=31512 vsize=146016 CPUtime=12.65 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 2642 0 0 0 1255 10 0 0 25 0 3 0 911191723 149520384 8695 33554432000 4194304 5714118 140735317704448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146016 CPUtime=12.64 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 4013 0 0 0 1261 3 0 0 25 0 3 0 911191723 149520384 8695 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 146016
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2926148/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146088 CPUtime=50.94 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 10676 0 0 0 5071 23 0 0 18 0 3 0 911191718 149594112 10511 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36522 10511 182 372 0 36147 0
[pid=31514/tid=31516] ppid=31512 vsize=146088 CPUtime=25.45 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 3667 0 0 0 2528 17 0 0 25 0 3 0 911191723 149594112 10511 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146088 CPUtime=25.44 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 4804 0 0 0 2539 5 0 0 25 0 3 0 911191723 149594112 10511 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 146088
[startup+51.1011 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3758388/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146248 CPUtime=102.14 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 13445 0 0 0 10173 41 0 0 18 0 3 0 911191718 149757952 13280 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36562 13280 182 372 0 36187 0
[pid=31514/tid=31516] ppid=31512 vsize=146248 CPUtime=51.05 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 5395 0 0 0 5075 30 0 0 25 0 3 0 911191723 149757952 13280 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146248 CPUtime=51.04 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 5845 0 0 0 5094 10 0 0 25 0 3 0 911191723 149757952 13280 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 146248
[startup+102.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31601
/proc/meminfo: memFree=3727244/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146272 CPUtime=204.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 18195 0 0 0 20382 73 0 0 18 0 3 0 911191718 149782528 17979 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36568 17979 182 372 0 36193 0
[pid=31514/tid=31516] ppid=31512 vsize=146272 CPUtime=102.26 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9011 0 0 0 10171 55 0 0 25 0 3 0 911191723 149782528 17979 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146272 CPUtime=102.24 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 6979 0 0 0 10207 17 0 0 25 0 3 0 911191723 149782528 17979 33554432000 4194304 5714118 140735317704448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 146272
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31602
/proc/meminfo: memFree=3704888/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146272 CPUtime=324.54 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 18383 0 0 0 32358 96 0 0 18 0 3 0 911191718 149782528 18167 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36568 18167 182 372 0 36193 0
[pid=31514/tid=31516] ppid=31512 vsize=146272 CPUtime=162.24 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9018 0 0 0 16157 67 0 0 25 0 3 0 911191723 149782528 18167 33554432000 4194304 5714118 140735317704448 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146272 CPUtime=162.24 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 7160 0 0 0 16196 28 0 0 25 0 3 0 911191723 149782528 18167 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.54
Current children cumulated vsize (KiB) 146272
[startup+222.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31604
/proc/meminfo: memFree=3699904/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146272 CPUtime=444.56 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 19299 0 0 0 44334 122 0 0 18 0 3 0 911191718 149782528 19083 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36568 19083 182 372 0 36193 0
[pid=31514/tid=31516] ppid=31512 vsize=146272 CPUtime=222.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9217 0 0 0 22144 81 0 0 25 0 3 0 911191723 149782528 19083 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146272 CPUtime=222.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 7877 0 0 0 22185 40 0 0 25 0 3 0 911191723 149782528 19083 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 146272
[startup+282.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/182 31605
/proc/meminfo: memFree=3675312/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146596 CPUtime=564.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 23160 0 0 0 56304 151 0 0 18 0 3 0 911191718 150114304 22944 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36649 22944 182 372 0 36274 0
[pid=31514/tid=31516] ppid=31512 vsize=146596 CPUtime=282.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 12406 0 0 0 28123 102 0 0 25 0 3 0 911191723 150114304 22944 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146596 CPUtime=282.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 8549 0 0 0 28177 48 0 0 25 0 3 0 911191723 150114304 22944 33554432000 4194304 5714118 140735317704448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.55
Current children cumulated vsize (KiB) 146596
[startup+342.301 s]
/proc/loadavg: 4.06 4.02 3.93 5/182 31607
/proc/meminfo: memFree=3654188/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=146596 CPUtime=684.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 26638 0 0 0 68274 181 0 0 18 0 3 0 911191718 150114304 26422 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 36649 26422 182 372 0 36274 0
[pid=31514/tid=31516] ppid=31512 vsize=146596 CPUtime=342.26 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 15103 0 0 0 34103 123 0 0 25 0 3 0 911191723 150114304 26422 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=146596 CPUtime=342.24 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9330 0 0 0 34167 57 0 0 25 0 3 0 911191723 150114304 26422 33554432000 4194304 5714118 140735317704448 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.55
Current children cumulated vsize (KiB) 146596
[startup+402.301 s]
/proc/loadavg: 4.02 4.02 3.93 5/182 31609
/proc/meminfo: memFree=3641256/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=212132 CPUtime=804.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 29670 0 0 0 80242 213 0 0 18 0 3 0 911191718 217223168 29452 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 53033 29452 182 372 0 52658 0
[pid=31514/tid=31516] ppid=31512 vsize=212132 CPUtime=402.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 17968 0 0 0 40081 144 0 0 25 0 3 0 911191723 217223168 29452 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=212132 CPUtime=402.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9497 0 0 0 40157 68 0 0 25 0 3 0 911191723 217223168 29452 33554432000 4194304 5714118 140735317704448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.55
Current children cumulated vsize (KiB) 212132
[startup+462.301 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 31610
/proc/meminfo: memFree=3617404/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=212132 CPUtime=924.55 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 32358 0 0 0 92212 243 0 0 18 0 3 0 911191718 217223168 32139 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 53033 32139 182 372 0 52658 0
[pid=31514/tid=31516] ppid=31512 vsize=212132 CPUtime=462.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 20566 0 0 0 46060 165 0 0 25 0 3 0 911191723 217223168 32139 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=212132 CPUtime=462.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 9587 0 0 0 46148 77 0 0 25 0 3 0 911191723 217223168 32139 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 212132
[startup+522.301 s]
/proc/loadavg: 4.00 4.01 3.93 5/182 31612
/proc/meminfo: memFree=3595440/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1044.56 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 33868 0 0 0 104186 270 0 0 18 0 3 0 911191718 216891392 33581 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 33581 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=522.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21641 0 0 0 52043 182 0 0 25 0 3 0 911191723 216891392 33581 33554432000 4194304 5714118 140735317704448 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=522.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10022 0 0 0 52138 87 0 0 25 0 3 0 911191723 216891392 33581 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 211808
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31613
/proc/meminfo: memFree=3594388/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1164.56 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 34107 0 0 0 116161 295 0 0 18 0 3 0 911191718 216891392 33820 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 33820 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=582.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21647 0 0 0 58029 196 0 0 25 0 3 0 911191723 216891392 33820 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=582.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10255 0 0 0 58127 98 0 0 25 0 3 0 911191723 216891392 33820 33554432000 4194304 5714118 140735317704448 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (KiB) 211808
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31615
/proc/meminfo: memFree=3593468/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1284.56 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 34137 0 0 0 128139 317 0 0 18 0 3 0 911191718 216891392 33850 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 33850 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=642.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21675 0 0 0 64016 209 0 0 25 0 3 0 911191723 216891392 33850 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=642.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10257 0 0 0 64118 107 0 0 25 0 3 0 911191723 216891392 33850 33554432000 4194304 5714118 140735317704448 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 211808
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31617
/proc/meminfo: memFree=3592796/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1404.57 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 34203 0 0 0 140119 338 0 0 18 0 3 0 911191718 216891392 33916 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 33916 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=702.25 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21710 0 0 0 70004 221 0 0 25 0 3 0 911191723 216891392 33916 33554432000 4194304 5714118 140735317704448 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=702.25 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10288 0 0 0 70110 115 0 0 25 0 3 0 911191723 216891392 33916 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 211808
[startup+762.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31618
/proc/meminfo: memFree=3583196/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1524.57 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 34266 0 0 0 152096 361 0 0 18 0 3 0 911191718 216891392 33978 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 33978 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=762.26 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21711 0 0 0 75992 234 0 0 25 0 3 0 911191723 216891392 33978 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=762.26 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10350 0 0 0 76100 126 0 0 25 0 3 0 911191723 216891392 33978 33554432000 4194304 5714118 140735317704448 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.57
Current children cumulated vsize (KiB) 211808
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31620
/proc/meminfo: memFree=3582392/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1644.57 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 34358 0 0 0 164074 383 0 0 18 0 3 0 911191718 216891392 34069 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 34069 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=822.26 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 21727 0 0 0 81981 245 0 0 25 0 3 0 911191723 216891392 34069 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=822.26 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10426 0 0 0 82089 137 0 0 25 0 3 0 911191723 216891392 34069 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 211808
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31621
/proc/meminfo: memFree=3571304/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1764.58 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 37084 0 0 0 176044 414 0 0 18 0 3 0 911191718 216891392 36793 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 36793 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=882.27 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 24285 0 0 0 87959 268 0 0 25 0 3 0 911191723 216891392 36793 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=882.26 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10594 0 0 0 88081 145 0 0 25 0 3 0 911191723 216891392 36793 33554432000 4194304 5714118 140735317704448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 211808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31622
/proc/meminfo: memFree=3568928/32951124 swapFree=67054520/67111528
[pid=31514] ppid=31512 vsize=211808 CPUtime=1800.17 cores=0,2,4,6
/proc/31514/stat : 31514 (pwbo1.1) S 31512 31514 30373 0 -1 4202496 37691 0 0 0 179593 424 0 0 18 0 3 0 911191718 216891392 37400 33554432000 4194304 5714118 140735317704448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31514/statm: 52952 37400 182 372 0 52577 0
[pid=31514/tid=31516] ppid=31512 vsize=211808 CPUtime=900.07 cores=0,2,4,6
/proc/31514/task/31516/stat : 31516 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 24892 0 0 0 89732 275 0 0 25 0 3 0 911191723 216891392 37400 33554432000 4194304 5714118 140735317704448 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31514/tid=31517] ppid=31512 vsize=211808 CPUtime=900.06 cores=0,2,4,6
/proc/31514/task/31517/stat : 31517 (pwbo1.1) R 31512 31514 30373 0 -1 4202560 10594 0 0 0 89857 149 0 0 25 0 3 0 911191723 216891392 37400 33554432000 4194304 5714118 140735317704448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 211808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.119
CPU time (s): 1800.21
CPU user time (s): 1795.95
CPU system time (s): 4.25435
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 212132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.95
system time used= 4.25435
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37696
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= 47
involuntary context switches= 3024
runsolver used 1.62475 second user time and 3.00154 second system time
The end