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-3500479-1307995968/watcher-3500479-1307995968 -o /var/tmp/evaluation-result-3500479-1307995968/solver-3500479-1307995968 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500479-1307995968.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 3/179 31596
/proc/meminfo: memFree=3790064/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=3080 CPUtime=0 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) R 31594 31596 30373 0 -1 4202496 468 0 0 0 0 0 0 0 25 0 1 0 911195349 3153920 420 33554432000 4194304 5714118 140737313527056 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31596/statm: 770 421 169 372 0 316 0
[startup+0.013513 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31596
/proc/meminfo: memFree=3790064/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=4404 CPUtime=0.01 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) R 31594 31596 30373 0 -1 4202496 830 0 0 0 1 0 0 0 25 0 1 0 911195349 4509696 782 33554432000 4194304 5714118 140737313527056 18446744073709551615 4236840 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31596/statm: 1101 782 190 372 0 647 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4404
[startup+0.100486 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31596
/proc/meminfo: memFree=3790064/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=139392 CPUtime=0.16 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 2273 0 0 0 16 0 0 0 18 0 3 0 911195349 142737408 2146 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 34848 2147 181 372 0 34473 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 139392
[startup+0.300451 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31596
/proc/meminfo: memFree=3790064/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=140920 CPUtime=0.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 3224 0 0 0 56 1 0 0 18 0 3 0 911195349 144302080 3063 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35230 3063 181 372 0 34855 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 140920
[startup+0.700383 s]
/proc/loadavg: 4.00 4.00 3.92 3/179 31596
/proc/meminfo: memFree=3790064/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=140920 CPUtime=1.36 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 3538 0 0 0 135 1 0 0 18 0 3 0 911195349 144302080 3377 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35230 3377 181 372 0 34855 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 140920
[startup+1.50025 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3776100/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=140920 CPUtime=2.96 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 4030 0 0 0 294 2 0 0 18 0 3 0 911195349 144302080 3869 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35230 3869 181 372 0 34855 0
[pid=31596/tid=31598] ppid=31594 vsize=140920 CPUtime=1.46 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 1076 0 0 0 145 1 0 0 20 0 3 0 911195352 144302080 3869 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=140920 CPUtime=1.46 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 1395 0 0 0 146 0 0 0 19 0 3 0 911195352 144302080 3869 33554432000 4194304 5714118 140737313527056 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 140920
[startup+3.10098 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3772876/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=140920 CPUtime=6.16 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 5041 0 0 0 612 4 0 0 18 0 3 0 911195349 144302080 4880 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35230 4880 181 372 0 34855 0
[pid=31596/tid=31598] ppid=31594 vsize=140920 CPUtime=3.06 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 1439 0 0 0 304 2 0 0 25 0 3 0 911195352 144302080 4880 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=140920 CPUtime=3.06 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 2043 0 0 0 305 1 0 0 25 0 3 0 911195352 144302080 4880 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 140920
[startup+6.30045 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3766452/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141280 CPUtime=12.56 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 6042 0 0 0 1247 9 0 0 18 0 3 0 911195349 144670720 5881 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35320 5881 181 372 0 34945 0
[pid=31596/tid=31598] ppid=31594 vsize=141280 CPUtime=6.26 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 1888 0 0 0 622 4 0 0 25 0 3 0 911195352 144670720 5881 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141280 CPUtime=6.26 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 2595 0 0 0 622 4 0 0 25 0 3 0 911195352 144670720 5881 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 141280
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3761096/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141280 CPUtime=25.36 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 6947 0 0 0 2521 15 0 0 18 0 3 0 911195349 144670720 6786 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35320 6786 182 372 0 34945 0
[pid=31596/tid=31598] ppid=31594 vsize=141280 CPUtime=12.66 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 2506 0 0 0 1259 7 0 0 25 0 3 0 911195352 144670720 6786 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141280 CPUtime=12.66 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 2882 0 0 0 1259 7 0 0 25 0 3 0 911195352 144670720 6786 33554432000 4194304 5714118 140737313527056 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 141280
[startup+25.5002 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31599
/proc/meminfo: memFree=3751816/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141136 CPUtime=50.96 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 8150 0 0 0 5067 29 0 0 18 0 3 0 911195349 144523264 7954 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35284 7954 182 372 0 34909 0
[pid=31596/tid=31598] ppid=31594 vsize=141136 CPUtime=25.46 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 3208 0 0 0 2533 13 0 0 25 0 3 0 911195352 144523264 7954 33554432000 4194304 5714118 140737313527056 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141136 CPUtime=25.47 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 3383 0 0 0 2532 15 0 0 25 0 3 0 911195352 144523264 7954 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 141136
[startup+51.1009 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31600
/proc/meminfo: memFree=3734192/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141136 CPUtime=102.17 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 10100 0 0 0 10166 51 0 0 18 0 3 0 911195349 144523264 9865 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35284 9865 182 372 0 34909 0
[pid=31596/tid=31598] ppid=31594 vsize=141136 CPUtime=51.06 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 4742 0 0 0 5081 25 0 0 25 0 3 0 911195352 144523264 9865 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141136 CPUtime=51.06 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 3799 0 0 0 5082 24 0 0 25 0 3 0 911195352 144523264 9865 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 141136
[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31601
/proc/meminfo: memFree=3715816/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141244 CPUtime=204.58 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 13082 0 0 0 20364 94 0 0 18 0 3 0 911195349 144633856 12847 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35311 12847 182 372 0 34936 0
[pid=31596/tid=31598] ppid=31594 vsize=141244 CPUtime=102.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 7095 0 0 0 10180 47 0 0 25 0 3 0 911195352 144633856 12847 33554432000 4194304 5714118 140737313527056 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141244 CPUtime=102.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 4428 0 0 0 10182 45 0 0 25 0 3 0 911195352 144633856 12847 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 141244
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31603
/proc/meminfo: memFree=3701780/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141244 CPUtime=324.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 15858 0 0 0 32316 141 0 0 18 0 3 0 911195349 144633856 15623 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35311 15623 182 372 0 34936 0
[pid=31596/tid=31598] ppid=31594 vsize=141244 CPUtime=162.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 9669 0 0 0 16153 74 0 0 25 0 3 0 911195352 144633856 15623 33554432000 4194304 5714118 140737313527056 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141244 CPUtime=162.26 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 4630 0 0 0 16160 66 0 0 25 0 3 0 911195352 144633856 15623 33554432000 4194304 5714118 140737313527056 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 141244
[startup+222.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 31605
/proc/meminfo: memFree=3686984/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141568 CPUtime=444.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 16683 0 0 0 44273 184 0 0 18 0 3 0 911195349 144965632 16448 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35392 16448 182 372 0 35017 0
[pid=31596/tid=31598] ppid=31594 vsize=141568 CPUtime=222.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 10171 0 0 0 22131 96 0 0 25 0 3 0 911195352 144965632 16448 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141568 CPUtime=222.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 4953 0 0 0 22139 88 0 0 25 0 3 0 911195352 144965632 16448 33554432000 4194304 5714118 140737313527056 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 141568
[startup+282.301 s]
/proc/loadavg: 4.10 4.03 3.93 5/182 31606
/proc/meminfo: memFree=3659908/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141244 CPUtime=564.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 20102 0 0 0 56221 236 0 0 18 0 3 0 911195349 144633856 19812 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35311 19812 182 372 0 34936 0
[pid=31596/tid=31598] ppid=31594 vsize=141244 CPUtime=282.26 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 13334 0 0 0 28103 123 0 0 25 0 3 0 911195352 144633856 19812 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141244 CPUtime=282.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 5209 0 0 0 28115 112 0 0 25 0 3 0 911195352 144633856 19812 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 141244
[startup+342.301 s]
/proc/loadavg: 4.03 4.02 3.93 5/182 31608
/proc/meminfo: memFree=3646112/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141244 CPUtime=684.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 20212 0 0 0 68169 288 0 0 18 0 3 0 911195349 144633856 19922 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35311 19922 182 372 0 34936 0
[pid=31596/tid=31598] ppid=31594 vsize=141244 CPUtime=342.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 13352 0 0 0 34075 152 0 0 25 0 3 0 911195352 144633856 19922 33554432000 4194304 5714118 140737313527056 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141244 CPUtime=342.26 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 5301 0 0 0 34091 135 0 0 25 0 3 0 911195352 144633856 19922 33554432000 4194304 5714118 140737313527056 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 141244
[startup+402.301 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 31609
/proc/meminfo: memFree=3630328/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=141244 CPUtime=804.58 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 21537 0 0 0 80120 338 0 0 18 0 3 0 911195349 144633856 21247 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 35311 21247 182 372 0 34936 0
[pid=31596/tid=31598] ppid=31594 vsize=141244 CPUtime=402.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 14481 0 0 0 40048 179 0 0 25 0 3 0 911195352 144633856 21247 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=141244 CPUtime=402.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 5497 0 0 0 40069 158 0 0 25 0 3 0 911195352 144633856 21247 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 141244
[startup+462.301 s]
/proc/loadavg: 4.00 4.01 3.93 5/182 31611
/proc/meminfo: memFree=3596684/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206780 CPUtime=924.58 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 27545 0 0 0 92071 387 0 0 18 0 3 0 911195349 211742720 27255 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51695 27255 182 372 0 51320 0
[pid=31596/tid=31598] ppid=31594 vsize=206780 CPUtime=462.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 20239 0 0 0 46020 207 0 0 25 0 3 0 911195352 211742720 27255 33554432000 4194304 5714118 140737313527056 18446744073709551615 4200640 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206780 CPUtime=462.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 5747 0 0 0 46048 179 0 0 25 0 3 0 911195352 211742720 27255 33554432000 4194304 5714118 140737313527056 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 206780
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31613
/proc/meminfo: memFree=3594412/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206780 CPUtime=1044.57 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 27693 0 0 0 104027 430 0 0 18 0 3 0 911195349 211742720 27403 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51695 27403 182 372 0 51320 0
[pid=31596/tid=31598] ppid=31594 vsize=206780 CPUtime=522.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 20258 0 0 0 51997 230 0 0 25 0 3 0 911195352 211742720 27403 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206780 CPUtime=522.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 5876 0 0 0 52027 200 0 0 25 0 3 0 911195352 211742720 27403 33554432000 4194304 5714118 140737313527056 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 206780
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31614
/proc/meminfo: memFree=3593740/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1164.58 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 27861 0 0 0 115988 470 0 0 18 0 3 0 911195349 211906560 27571 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 27571 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=582.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 20258 0 0 0 57977 250 0 0 25 0 3 0 911195352 211906560 27571 33554432000 4194304 5714118 140737313527056 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=582.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6044 0 0 0 58008 219 0 0 25 0 3 0 911195352 211906560 27571 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 206940
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31616
/proc/meminfo: memFree=3593068/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1284.59 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 27966 0 0 0 127949 510 0 0 18 0 3 0 911195349 211906560 27676 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 27676 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=642.28 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 20269 0 0 0 63957 271 0 0 25 0 3 0 911195352 211906560 27676 33554432000 4194304 5714118 140737313527056 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=642.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6138 0 0 0 63989 238 0 0 25 0 3 0 911195352 211906560 27676 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 206940
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31617
/proc/meminfo: memFree=3583712/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1404.59 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30190 0 0 0 139902 557 0 0 18 0 3 0 911195349 211906560 29900 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 29900 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=702.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22253 0 0 0 69932 295 0 0 25 0 3 0 911195352 211906560 29900 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=702.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6378 0 0 0 69967 260 0 0 25 0 3 0 911195352 211906560 29900 33554432000 4194304 5714118 140737313527056 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 206940
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31619
/proc/meminfo: memFree=3582548/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1524.6 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30372 0 0 0 151856 604 0 0 18 0 3 0 911195349 211906560 30082 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 30082 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=762.28 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22253 0 0 0 75905 323 0 0 25 0 3 0 911195352 211906560 30082 33554432000 4194304 5714118 140737313527056 18446744073709551615 4323036 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=762.28 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6560 0 0 0 75948 280 0 0 25 0 3 0 911195352 211906560 30082 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 206940
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 31621
/proc/meminfo: memFree=3576412/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1644.58 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30426 0 0 0 163812 646 0 0 18 0 3 0 911195349 211906560 30136 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 30136 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=822.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22254 0 0 0 81880 347 0 0 25 0 3 0 911195352 211906560 30136 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=822.27 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6613 0 0 0 81929 298 0 0 25 0 3 0 911195352 211906560 30136 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 206940
[startup+882.3 s]
/proc/loadavg: 3.93 3.98 3.93 6/182 31663
/proc/meminfo: memFree=3596848/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1764.59 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30492 0 0 0 175766 693 0 0 18 0 3 0 911195349 211906560 30202 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 30202 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=882.27 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22254 0 0 0 87855 372 0 0 25 0 3 0 911195352 211906560 30202 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=882.28 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6679 0 0 0 87908 320 0 0 25 0 3 0 911195352 211906560 30202 33554432000 4194304 5714118 140737313527056 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 206940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 3.95 3.98 3.93 5/182 31664
/proc/meminfo: memFree=3566912/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1800.2 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30525 0 0 0 179310 710 0 0 18 0 3 0 911195349 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 30235 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=900.08 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22254 0 0 0 89627 381 0 0 25 0 3 0 911195352 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 4310579 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=900.08 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6712 0 0 0 89680 328 0 0 25 0 3 0 911195352 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 206940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 3.95 3.98 3.93 5/182 31664
/proc/meminfo: memFree=3566912/32951124 swapFree=67054520/67111528
[pid=31596] ppid=31594 vsize=206940 CPUtime=1800.2 cores=1,3,5,7
/proc/31596/stat : 31596 (pwbo1.1) S 31594 31596 30373 0 -1 4202496 30525 0 0 0 179310 710 0 0 18 0 3 0 911195349 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31596/statm: 51735 30235 182 372 0 51360 0
[pid=31596/tid=31598] ppid=31594 vsize=206940 CPUtime=900.08 cores=1,3,5,7
/proc/31596/task/31598/stat : 31598 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 22254 0 0 0 89627 381 0 0 25 0 3 0 911195352 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 4310579 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31596/tid=31599] ppid=31594 vsize=206940 CPUtime=900.08 cores=1,3,5,7
/proc/31596/task/31599/stat : 31599 (pwbo1.1) R 31594 31596 30373 0 -1 4202560 6712 0 0 0 89680 328 0 0 25 0 3 0 911195352 211906560 30235 33554432000 4194304 5714118 140737313527056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 206940
Child status: 0
Real time (s): 900.117
CPU time (s): 1800.23
CPU user time (s): 1793.12
CPU system time (s): 7.11292
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 206940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.12
system time used= 7.11292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30530
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= 18
involuntary context switches= 13211
runsolver used 1.48377 second user time and 3.43648 second system time
The end