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-3500441-1307995475/watcher-3500441-1307995475 -o /var/tmp/evaluation-result-3500441-1307995475/solver-3500441-1307995475 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500441-1307995475.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: 3.57 3.90 3.89 3/176 6525
/proc/meminfo: memFree=12786876/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 391 0 0 0 0 0 0 0 24 0 3 0 989777945 138027008 342 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33698 342 181 372 0 33323 0
[pid=6525/tid=6526] ppid=6523 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 3 0 989777945 138027008 343 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 3 0 989777945 138027008 344 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.038271 s]
/proc/loadavg: 3.57 3.90 3.89 3/176 6525
/proc/meminfo: memFree=12786876/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=134792 CPUtime=0.07 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 548 0 0 0 7 0 0 0 24 0 3 0 989777945 138027008 499 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33698 499 181 372 0 33323 0
[pid=6525/tid=6526] ppid=6523 vsize=134792 CPUtime=0.03 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 127 0 0 0 3 0 0 0 18 0 3 0 989777945 138027008 499 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=134792 CPUtime=0.03 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 88 0 0 0 3 0 0 0 25 0 3 0 989777945 138027008 499 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 134792
[startup+0.100259 s]
/proc/loadavg: 3.57 3.90 3.89 3/176 6525
/proc/meminfo: memFree=12786876/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=134792 CPUtime=0.19 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 804 0 0 0 18 1 0 0 24 0 3 0 989777945 138027008 755 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33698 755 181 372 0 33323 0
[pid=6525/tid=6526] ppid=6523 vsize=134792 CPUtime=0.09 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 282 0 0 0 9 0 0 0 18 0 3 0 989777945 138027008 755 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=134792 CPUtime=0.09 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 189 0 0 0 9 0 0 0 25 0 3 0 989777945 138027008 755 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134792
[startup+0.300225 s]
/proc/loadavg: 3.57 3.90 3.89 3/176 6525
/proc/meminfo: memFree=12786876/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=134792 CPUtime=0.59 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 1431 0 0 0 57 2 0 0 24 0 3 0 989777945 138027008 1382 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33698 1382 181 372 0 33323 0
[pid=6525/tid=6526] ppid=6523 vsize=134792 CPUtime=0.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 658 0 0 0 28 1 0 0 18 0 3 0 989777945 138027008 1382 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=134792 CPUtime=0.29 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 440 0 0 0 28 1 0 0 25 0 3 0 989777945 138027008 1382 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134792
[startup+0.700148 s]
/proc/loadavg: 3.57 3.90 3.89 3/176 6525
/proc/meminfo: memFree=12786876/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=135080 CPUtime=1.39 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 1964 0 0 0 134 5 0 0 24 0 3 0 989777945 138321920 1915 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33770 1915 181 372 0 33395 0
[pid=6525/tid=6526] ppid=6523 vsize=135080 CPUtime=0.69 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 1006 0 0 0 67 2 0 0 18 0 3 0 989777945 138321920 1915 33554432000 4194304 5714118 140737190444640 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=135080 CPUtime=0.69 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 625 0 0 0 67 2 0 0 25 0 3 0 989777945 138321920 1916 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135080
[startup+1.501 s]
/proc/loadavg: 3.57 3.90 3.89 5/179 6528
/proc/meminfo: memFree=12778072/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=135080 CPUtime=2.99 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 2582 0 0 0 290 9 0 0 24 0 3 0 989777945 138321920 2533 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33770 2533 181 372 0 33395 0
[pid=6525/tid=6526] ppid=6523 vsize=135080 CPUtime=1.48 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 1477 0 0 0 144 4 0 0 20 0 3 0 989777945 138321920 2533 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=135080 CPUtime=1.49 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 772 0 0 0 145 4 0 0 25 0 3 0 989777945 138321920 2533 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135080
[startup+3.1007 s]
/proc/loadavg: 3.61 3.90 3.89 5/179 6528
/proc/meminfo: memFree=12773740/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=135080 CPUtime=6.19 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 3522 0 0 0 602 17 0 0 24 0 3 0 989777945 138321920 3473 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33770 3473 182 372 0 33395 0
[pid=6525/tid=6526] ppid=6523 vsize=135080 CPUtime=3.09 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 2269 0 0 0 300 9 0 0 25 0 3 0 989777945 138321920 3473 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=135080 CPUtime=3.09 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 920 0 0 0 302 7 0 0 25 0 3 0 989777945 138321920 3473 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135080
[startup+6.30111 s]
/proc/loadavg: 3.61 3.90 3.89 5/179 6528
/proc/meminfo: memFree=12761960/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=135512 CPUtime=12.6 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 5362 0 0 0 1232 28 0 0 24 0 3 0 989777945 138764288 5313 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 33878 5313 182 372 0 33503 0
[pid=6525/tid=6526] ppid=6523 vsize=135512 CPUtime=6.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 3811 0 0 0 614 15 0 0 25 0 3 0 989777945 138764288 5313 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=135512 CPUtime=6.29 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 1218 0 0 0 617 12 0 0 25 0 3 0 989777945 138764288 5313 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 135512
[startup+12.7009 s]
/proc/loadavg: 3.64 3.90 3.89 5/179 6529
/proc/meminfo: memFree=12743080/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=136376 CPUtime=25.39 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 8255 0 0 0 2485 54 0 0 24 0 3 0 989777945 139649024 8206 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 34094 8206 182 372 0 33719 0
[pid=6525/tid=6526] ppid=6523 vsize=136376 CPUtime=12.69 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 6426 0 0 0 1242 27 0 0 25 0 3 0 989777945 139649024 8206 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=136376 CPUtime=12.69 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 1496 0 0 0 1243 26 0 0 25 0 3 0 989777945 139649024 8206 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136376
[startup+25.5005 s]
/proc/loadavg: 3.72 3.91 3.89 5/179 6529
/proc/meminfo: memFree=12710848/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=138176 CPUtime=50.99 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 12916 0 0 0 5001 98 0 0 24 0 3 0 989777945 141492224 12867 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 34544 12867 182 372 0 34169 0
[pid=6525/tid=6526] ppid=6523 vsize=138176 CPUtime=25.49 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 10812 0 0 0 2499 50 0 0 25 0 3 0 989777945 141492224 12867 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=138176 CPUtime=25.49 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 1771 0 0 0 2502 47 0 0 25 0 3 0 989777945 141492224 12867 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138176
[startup+51.1008 s]
/proc/loadavg: 3.81 3.91 3.89 5/179 6530
/proc/meminfo: memFree=12650600/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=206376 CPUtime=102.19 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 21937 0 0 0 10038 181 0 0 24 0 3 0 989777945 211329024 21888 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 51594 21888 182 372 0 51219 0
[pid=6525/tid=6526] ppid=6523 vsize=206376 CPUtime=51.09 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 19347 0 0 0 5016 93 0 0 25 0 3 0 989777945 211329024 21888 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=206376 CPUtime=51.09 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 2257 0 0 0 5021 88 0 0 25 0 3 0 989777945 211329024 21888 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 206376
[startup+102.306 s]
/proc/loadavg: 3.92 3.93 3.90 5/179 6531
/proc/meminfo: memFree=12538352/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=275224 CPUtime=204.6 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 37233 0 0 0 20109 351 0 0 24 0 3 0 989777945 281829376 37184 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 68806 37184 182 372 0 68431 0
[pid=6525/tid=6526] ppid=6523 vsize=275224 CPUtime=102.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 34289 0 0 0 10051 178 0 0 25 0 3 0 989777945 281829376 37184 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=275224 CPUtime=102.29 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 2611 0 0 0 10057 172 0 0 25 0 3 0 989777945 281829376 37184 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 275224
[startup+162.301 s]
/proc/loadavg: 3.97 3.94 3.90 5/179 6533
/proc/meminfo: memFree=12417404/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=277672 CPUtime=324.6 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 53130 0 0 0 31948 512 0 0 24 0 3 0 989777945 284336128 53081 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 69418 53081 182 372 0 69043 0
[pid=6525/tid=6526] ppid=6523 vsize=277672 CPUtime=162.3 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 49810 0 0 0 15967 263 0 0 25 0 3 0 989777945 284336128 53081 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=277672 CPUtime=162.3 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 2987 0 0 0 15981 249 0 0 25 0 3 0 989777945 284336128 53081 33554432000 4194304 5714118 140737190444640 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 277672
[startup+222.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/179 6534
/proc/meminfo: memFree=12299572/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=345184 CPUtime=444.6 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 68480 0 0 0 43773 687 0 0 24 0 3 0 989777945 353468416 68431 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 86296 68431 182 372 0 85921 0
[pid=6525/tid=6526] ppid=6523 vsize=345184 CPUtime=222.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 64813 0 0 0 21876 353 0 0 25 0 3 0 989777945 353468416 68431 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=345184 CPUtime=222.29 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 3334 0 0 0 21896 333 0 0 25 0 3 0 989777945 353468416 68431 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 345184
[startup+282.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/179 6536
/proc/meminfo: memFree=12194500/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=412592 CPUtime=564.6 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 82833 0 0 0 55606 854 0 0 24 0 3 0 989777945 422494208 82784 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 103148 82784 182 372 0 102773 0
[pid=6525/tid=6526] ppid=6523 vsize=412592 CPUtime=282.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 78891 0 0 0 27784 445 0 0 25 0 3 0 989777945 422494208 82784 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=412592 CPUtime=282.3 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 3609 0 0 0 27822 408 0 0 25 0 3 0 989777945 422494208 82784 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 412592
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/179 6537
/proc/meminfo: memFree=12089940/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=479820 CPUtime=684.61 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 97260 0 0 0 67449 1012 0 0 24 0 3 0 989777945 491335680 97211 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 119955 97211 182 372 0 119580 0
[pid=6525/tid=6526] ppid=6523 vsize=479820 CPUtime=342.29 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 93146 0 0 0 33700 529 0 0 25 0 3 0 989777945 491335680 97211 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=479820 CPUtime=342.3 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 3781 0 0 0 33748 482 0 0 25 0 3 0 989777945 491335680 97211 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 479820
[startup+402.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/179 6539
/proc/meminfo: memFree=11991560/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=546904 CPUtime=804.61 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 110441 0 0 0 79302 1159 0 0 24 0 3 0 989777945 560029696 110392 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 136726 110392 182 372 0 136351 0
[pid=6525/tid=6526] ppid=6523 vsize=546904 CPUtime=402.3 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 106205 0 0 0 39622 608 0 0 25 0 3 0 989777945 560029696 110392 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=546904 CPUtime=402.31 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 3903 0 0 0 39680 551 0 0 25 0 3 0 989777945 560029696 110392 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 546904
[startup+462.3 s]
/proc/loadavg: 4.07 3.98 3.91 5/179 6541
/proc/meminfo: memFree=11892576/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=613664 CPUtime=924.61 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 123588 0 0 0 91143 1318 0 0 24 0 3 0 989777945 628391936 123539 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 153416 123539 182 372 0 153041 0
[pid=6525/tid=6526] ppid=6523 vsize=613664 CPUtime=462.3 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 119251 0 0 0 45538 692 0 0 25 0 3 0 989777945 628391936 123539 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=613664 CPUtime=462.31 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4004 0 0 0 45605 626 0 0 25 0 3 0 989777945 628391936 123539 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 613664
[startup+522.301 s]
/proc/loadavg: 4.02 3.98 3.91 5/179 6542
/proc/meminfo: memFree=11796800/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=614996 CPUtime=1044.62 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 136837 0 0 0 102990 1472 0 0 24 0 3 0 989777945 629755904 136783 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 153749 136783 182 372 0 153374 0
[pid=6525/tid=6526] ppid=6523 vsize=614996 CPUtime=522.3 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 132202 0 0 0 51456 774 0 0 25 0 3 0 989777945 629755904 136783 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=614996 CPUtime=522.3 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4302 0 0 0 51533 697 0 0 25 0 3 0 989777945 629755904 136783 33554432000 4194304 5714118 140737190444640 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 614996
[startup+582.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/179 6544
/proc/meminfo: memFree=11710696/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=681108 CPUtime=1164.62 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 148488 0 0 0 114843 1619 0 0 24 0 3 0 989777945 697454592 148434 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 170277 148434 182 372 0 169902 0
[pid=6525/tid=6526] ppid=6523 vsize=681108 CPUtime=582.31 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 143763 0 0 0 57377 854 0 0 25 0 3 0 989777945 697454592 148434 33554432000 4194304 5714118 140737190444640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=681108 CPUtime=582.31 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4392 0 0 0 57466 765 0 0 25 0 3 0 989777945 697454592 148434 33554432000 4194304 5714118 140737190444640 18446744073709551615 4301109 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 681108
[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6545
/proc/meminfo: memFree=11620008/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=747468 CPUtime=1284.64 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 160355 0 0 0 126700 1764 0 0 24 0 3 0 989777945 765407232 160301 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 186867 160301 182 372 0 186492 0
[pid=6525/tid=6526] ppid=6523 vsize=747468 CPUtime=642.31 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 155589 0 0 0 63303 928 0 0 25 0 3 0 989777945 765407232 160301 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=747468 CPUtime=642.32 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4433 0 0 0 63397 835 0 0 25 0 3 0 989777945 765407232 160301 33554432000 4194304 5714118 140737190444640 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 747468
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6547
/proc/meminfo: memFree=11529188/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=813328 CPUtime=1404.63 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 172750 0 0 0 138548 1915 0 0 24 0 3 0 989777945 832847872 172696 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 203332 172696 182 372 0 202957 0
[pid=6525/tid=6526] ppid=6523 vsize=813328 CPUtime=702.31 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 167932 0 0 0 69220 1011 0 0 25 0 3 0 989777945 832847872 172696 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=813328 CPUtime=702.32 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4485 0 0 0 69328 904 0 0 25 0 3 0 989777945 832847872 172696 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 813328
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6549
/proc/meminfo: memFree=11440244/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=814408 CPUtime=1524.65 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 184891 0 0 0 150405 2060 0 0 24 0 3 0 989777945 833953792 184832 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 203602 184832 182 372 0 203227 0
[pid=6525/tid=6526] ppid=6523 vsize=814408 CPUtime=762.31 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 179843 0 0 0 75147 1084 0 0 25 0 3 0 989777945 833953792 184832 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=814408 CPUtime=762.32 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4715 0 0 0 75257 975 0 0 25 0 3 0 989777945 833953792 184832 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 814408
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6591
/proc/meminfo: memFree=12000576/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=880916 CPUtime=1644.64 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 197457 0 0 0 162248 2216 0 0 24 0 3 0 989777945 902057984 197398 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 220229 197398 182 372 0 219854 0
[pid=6525/tid=6526] ppid=6523 vsize=880916 CPUtime=822.32 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 192185 0 0 0 81065 1167 0 0 25 0 3 0 989777945 902057984 197398 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=880916 CPUtime=822.32 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4939 0 0 0 81183 1049 0 0 25 0 3 0 989777945 902057984 197398 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 880916
[startup+882.301 s]
/proc/loadavg: 4.04 4.00 3.92 5/179 6593
/proc/meminfo: memFree=11846104/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=947080 CPUtime=1764.64 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 208136 0 0 0 174088 2376 0 0 24 0 3 0 989777945 969809920 208077 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 236770 208077 182 372 0 236395 0
[pid=6525/tid=6526] ppid=6523 vsize=947080 CPUtime=882.31 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 202826 0 0 0 86980 1251 0 0 25 0 3 0 989777945 969809920 208077 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=947080 CPUtime=882.32 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4977 0 0 0 87108 1124 0 0 25 0 3 0 989777945 969809920 208077 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 947080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.03 4.00 3.92 5/179 6593
/proc/meminfo: memFree=11798208/32951124 swapFree=67062556/67111528
[pid=6525] ppid=6523 vsize=947080 CPUtime=1800.06 cores=1,3,5,7
/proc/6525/stat : 6525 (pwbo1.1) S 6523 6525 4694 0 -1 4202496 211668 0 0 0 177588 2418 0 0 24 0 3 0 989777945 969809920 211609 33554432000 4194304 5714118 140737190444640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6525/statm: 236770 211609 182 372 0 236395 0
[pid=6525/tid=6526] ppid=6523 vsize=947080 CPUtime=900.03 cores=1,3,5,7
/proc/6525/task/6526/stat : 6526 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 206357 0 0 0 88728 1275 0 0 25 0 3 0 989777945 969809920 211609 33554432000 4194304 5714118 140737190444640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=6525/tid=6527] ppid=6523 vsize=947080 CPUtime=900.02 cores=1,3,5,7
/proc/6525/task/6527/stat : 6527 (pwbo1.1) R 6523 6525 4694 0 -1 4202560 4978 0 0 0 88860 1142 0 0 25 0 3 0 989777945 969809920 211609 33554432000 4194304 5714118 140737190444640 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 947080
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.047
CPU time (s): 1800.11
CPU user time (s): 1775.9
CPU system time (s): 24.2143
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 947080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.9
system time used= 24.2143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211674
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= 39
involuntary context switches= 2852
runsolver used 1.3328 second user time and 2.93255 second system time
The end