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-3500448-1307995578/watcher-3500448-1307995578 -o /var/tmp/evaluation-result-3500448-1307995578/solver-3500448-1307995578 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500448-1307995578.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.40 3.87 3.88 4/179 25587
/proc/meminfo: memFree=15131824/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 381 0 0 0 0 0 0 0 22 0 3 0 891973124 137986048 332 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33688 332 181 372 0 33313 0
[pid=25587/tid=25588] ppid=25585 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 43 0 0 0 0 0 0 0 23 0 3 0 891973124 137986048 334 33554432000 4194304 5714118 140736098303344 18446744073709551615 4977292 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 15 0 0 0 0 0 0 0 23 0 3 0 891973124 137986048 334 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.0523599 s]
/proc/loadavg: 3.40 3.87 3.88 4/179 25587
/proc/meminfo: memFree=15131824/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=134752 CPUtime=0.09 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 630 0 0 0 9 0 0 0 22 0 3 0 891973124 137986048 581 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33688 581 181 372 0 33313 0
[pid=25587/tid=25588] ppid=25585 vsize=134752 CPUtime=0.04 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 190 0 0 0 4 0 0 0 23 0 3 0 891973124 137986048 581 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=134752 CPUtime=0.04 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 115 0 0 0 4 0 0 0 23 0 3 0 891973124 137986048 581 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 134752
[startup+0.100355 s]
/proc/loadavg: 3.40 3.87 3.88 4/179 25587
/proc/meminfo: memFree=15131824/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=134752 CPUtime=0.18 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 822 0 0 0 18 0 0 0 22 0 3 0 891973124 137986048 773 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33688 773 181 372 0 33313 0
[pid=25587/tid=25588] ppid=25585 vsize=134752 CPUtime=0.09 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 304 0 0 0 9 0 0 0 24 0 3 0 891973124 137986048 773 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=134752 CPUtime=0.09 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 193 0 0 0 9 0 0 0 18 0 3 0 891973124 137986048 773 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134752
[startup+0.300329 s]
/proc/loadavg: 3.40 3.87 3.88 4/179 25587
/proc/meminfo: memFree=15131824/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=134752 CPUtime=0.58 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 1422 0 0 0 57 1 0 0 22 0 3 0 891973124 137986048 1373 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33688 1373 181 372 0 33313 0
[pid=25587/tid=25588] ppid=25585 vsize=134752 CPUtime=0.29 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 668 0 0 0 29 0 0 0 25 0 3 0 891973124 137986048 1373 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=134752 CPUtime=0.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 429 0 0 0 28 1 0 0 18 0 3 0 891973124 137986048 1373 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134752
[startup+0.700256 s]
/proc/loadavg: 3.40 3.87 3.88 4/179 25587
/proc/meminfo: memFree=15131824/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=135040 CPUtime=1.39 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 1882 0 0 0 136 3 0 0 22 0 3 0 891973124 138280960 1833 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33760 1833 181 372 0 33385 0
[pid=25587/tid=25588] ppid=25585 vsize=135040 CPUtime=0.69 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 988 0 0 0 68 1 0 0 25 0 3 0 891973124 138280960 1833 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=135040 CPUtime=0.69 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 569 0 0 0 67 2 0 0 18 0 3 0 891973124 138280960 1833 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135040
[startup+1.50108 s]
/proc/loadavg: 3.40 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15120540/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=135040 CPUtime=2.98 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 2473 0 0 0 293 5 0 0 22 0 3 0 891973124 138280960 2424 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33760 2424 182 372 0 33385 0
[pid=25587/tid=25588] ppid=25585 vsize=135040 CPUtime=1.49 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 1451 0 0 0 147 2 0 0 25 0 3 0 891973124 138280960 2424 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=135040 CPUtime=1.49 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 697 0 0 0 146 3 0 0 18 0 3 0 891973124 138280960 2424 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135040
[startup+3.10081 s]
/proc/loadavg: 3.40 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15113224/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=135112 CPUtime=6.19 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 3518 0 0 0 608 11 0 0 22 0 3 0 891973124 138354688 3469 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33778 3469 182 372 0 33403 0
[pid=25587/tid=25588] ppid=25585 vsize=135112 CPUtime=3.09 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 2316 0 0 0 303 6 0 0 25 0 3 0 891973124 138354688 3469 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=135112 CPUtime=3.09 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 877 0 0 0 304 5 0 0 21 0 3 0 891973124 138354688 3469 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135112
[startup+6.30023 s]
/proc/loadavg: 3.44 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15098676/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=135328 CPUtime=12.59 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 5237 0 0 0 1236 23 0 0 22 0 3 0 891973124 138575872 5188 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 33832 5188 182 372 0 33457 0
[pid=25587/tid=25588] ppid=25585 vsize=135328 CPUtime=6.29 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3873 0 0 0 616 13 0 0 25 0 3 0 891973124 138575872 5188 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=135328 CPUtime=6.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 1039 0 0 0 620 9 0 0 25 0 3 0 891973124 138575872 5188 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135328
[startup+12.7011 s]
/proc/loadavg: 3.49 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15073152/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=136192 CPUtime=25.39 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 7961 0 0 0 2496 43 0 0 22 0 3 0 891973124 139460608 7912 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 34048 7912 182 372 0 33673 0
[pid=25587/tid=25588] ppid=25585 vsize=136192 CPUtime=12.69 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 6377 0 0 0 1243 26 0 0 25 0 3 0 891973124 139460608 7912 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=136192 CPUtime=12.69 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 1259 0 0 0 1253 16 0 0 25 0 3 0 891973124 139460608 7912 33554432000 4194304 5714118 140736098303344 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136192
[startup+25.5008 s]
/proc/loadavg: 3.60 3.88 3.88 5/182 25590
/proc/meminfo: memFree=15033224/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=137776 CPUtime=50.99 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 12890 0 0 0 5019 80 0 0 22 0 3 0 891973124 141082624 12841 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 34444 12841 182 372 0 34069 0
[pid=25587/tid=25588] ppid=25585 vsize=137776 CPUtime=25.49 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 11047 0 0 0 2497 52 0 0 25 0 3 0 891973124 141082624 12841 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=137776 CPUtime=25.49 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 1518 0 0 0 2522 27 0 0 25 0 3 0 891973124 141082624 12841 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137776
[startup+51.1003 s]
/proc/loadavg: 3.74 3.89 3.88 5/182 25591
/proc/meminfo: memFree=14963468/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=207200 CPUtime=102.19 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 21784 0 0 0 10068 151 0 0 22 0 3 0 891973124 212172800 21735 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 51800 21735 182 372 0 51425 0
[pid=25587/tid=25588] ppid=25585 vsize=207200 CPUtime=51.09 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 19475 0 0 0 5007 102 0 0 25 0 3 0 891973124 212172800 21735 33554432000 4194304 5714118 140736098303344 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=207200 CPUtime=51.09 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 1984 0 0 0 5060 49 0 0 25 0 3 0 891973124 212172800 21735 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 207200
[startup+102.306 s]
/proc/loadavg: 3.88 3.90 3.89 5/182 25592
/proc/meminfo: memFree=14842936/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=275112 CPUtime=204.6 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 36331 0 0 0 20186 274 0 0 22 0 3 0 891973124 281714688 36282 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 68778 36282 182 372 0 68403 0
[pid=25587/tid=25588] ppid=25585 vsize=275112 CPUtime=102.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 33709 0 0 0 10043 187 0 0 25 0 3 0 891973124 281714688 36282 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=275112 CPUtime=102.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 2297 0 0 0 10143 87 0 0 25 0 3 0 891973124 281714688 36282 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 275112
[startup+162.301 s]
/proc/loadavg: 3.95 3.92 3.89 5/182 25594
/proc/meminfo: memFree=14717428/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=278352 CPUtime=324.59 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 52180 0 0 0 32037 422 0 0 22 0 3 0 891973124 285032448 52126 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 69588 52126 182 372 0 69213 0
[pid=25587/tid=25588] ppid=25585 vsize=278352 CPUtime=162.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 49199 0 0 0 15943 287 0 0 25 0 3 0 891973124 285032448 52126 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=278352 CPUtime=162.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 2656 0 0 0 16094 135 0 0 25 0 3 0 891973124 285032448 52126 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 278352
[startup+222.301 s]
/proc/loadavg: 4.05 3.94 3.90 5/182 25596
/proc/meminfo: memFree=14591800/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=346440 CPUtime=444.59 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 67385 0 0 0 43904 555 0 0 22 0 3 0 891973124 354754560 67331 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 86610 67331 182 372 0 86235 0
[pid=25587/tid=25588] ppid=25585 vsize=346440 CPUtime=222.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 64131 0 0 0 21854 376 0 0 25 0 3 0 891973124 354754560 67331 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=346440 CPUtime=222.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 2929 0 0 0 22050 179 0 0 25 0 3 0 891973124 354754560 67331 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 346440
[startup+282.3 s]
/proc/loadavg: 4.02 3.95 3.91 5/182 25597
/proc/meminfo: memFree=14478080/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=412912 CPUtime=564.6 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 80807 0 0 0 55774 686 0 0 22 0 3 0 891973124 422821888 80753 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 103228 80753 182 372 0 102853 0
[pid=25587/tid=25588] ppid=25585 vsize=412912 CPUtime=282.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 77473 0 0 0 27764 466 0 0 25 0 3 0 891973124 422821888 80753 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=412912 CPUtime=282.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3009 0 0 0 28009 220 0 0 25 0 3 0 891973124 422821888 80753 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 412912
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.91 5/182 25599
/proc/meminfo: memFree=14365464/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=479600 CPUtime=684.6 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 94441 0 0 0 67647 813 0 0 22 0 3 0 891973124 491110400 94387 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 119900 94387 182 372 0 119525 0
[pid=25587/tid=25588] ppid=25585 vsize=479600 CPUtime=342.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 90896 0 0 0 33679 551 0 0 25 0 3 0 891973124 491110400 94387 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=479600 CPUtime=342.29 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3220 0 0 0 33967 262 0 0 25 0 3 0 891973124 491110400 94387 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 479600
[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.91 5/182 25600
/proc/meminfo: memFree=14259176/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=545820 CPUtime=804.61 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 106558 0 0 0 79527 934 0 0 22 0 3 0 891973124 558919680 106504 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 136455 106504 182 372 0 136080 0
[pid=25587/tid=25588] ppid=25585 vsize=545820 CPUtime=402.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 102908 0 0 0 39599 631 0 0 25 0 3 0 891973124 558919680 106504 33554432000 4194304 5714118 140736098303344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=545820 CPUtime=402.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3325 0 0 0 39927 303 0 0 25 0 3 0 891973124 558919680 106504 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 545820
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25602
/proc/meminfo: memFree=14152144/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=546504 CPUtime=924.61 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 118940 0 0 0 91406 1055 0 0 22 0 3 0 891973124 559620096 118886 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 136626 118886 182 372 0 136251 0
[pid=25587/tid=25588] ppid=25585 vsize=546504 CPUtime=462.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 115192 0 0 0 45518 712 0 0 25 0 3 0 891973124 559620096 118886 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=546504 CPUtime=462.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3423 0 0 0 45887 343 0 0 25 0 3 0 891973124 559620096 118886 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 546504
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25604
/proc/meminfo: memFree=14052796/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=612328 CPUtime=1044.61 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 131443 0 0 0 103282 1179 0 0 22 0 3 0 891973124 627023872 131389 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 153082 131389 182 372 0 152707 0
[pid=25587/tid=25588] ppid=25585 vsize=612328 CPUtime=522.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 127506 0 0 0 51431 799 0 0 25 0 3 0 891973124 627023872 131389 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=612328 CPUtime=522.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3612 0 0 0 51851 379 0 0 25 0 3 0 891973124 627023872 131389 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 612328
[startup+582.301 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 25605
/proc/meminfo: memFree=13952712/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=678404 CPUtime=1164.62 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 143695 0 0 0 115165 1297 0 0 22 0 3 0 891973124 694685696 143641 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 169601 143641 182 372 0 169226 0
[pid=25587/tid=25588] ppid=25585 vsize=678404 CPUtime=582.3 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 139616 0 0 0 57350 880 0 0 25 0 3 0 891973124 694685696 143641 33554432000 4194304 5714118 140736098303344 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=678404 CPUtime=582.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3754 0 0 0 57814 416 0 0 25 0 3 0 891973124 694685696 143641 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 678404
[startup+642.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25607
/proc/meminfo: memFree=13858076/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=744796 CPUtime=1284.63 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 155115 0 0 0 127060 1403 0 0 22 0 3 0 891973124 762671104 155061 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 186199 155061 182 372 0 185824 0
[pid=25587/tid=25588] ppid=25585 vsize=744796 CPUtime=642.31 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 150978 0 0 0 63278 953 0 0 25 0 3 0 891973124 762671104 155061 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=744796 CPUtime=642.31 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3812 0 0 0 63781 450 0 0 25 0 3 0 891973124 762671104 155061 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 744796
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25608
/proc/meminfo: memFree=13765556/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=745316 CPUtime=1404.62 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 166241 0 0 0 138949 1513 0 0 22 0 3 0 891973124 763203584 166187 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 186329 166187 182 372 0 185954 0
[pid=25587/tid=25588] ppid=25585 vsize=745316 CPUtime=702.31 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 162045 0 0 0 69205 1026 0 0 25 0 3 0 891973124 763203584 166187 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=745316 CPUtime=702.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 3871 0 0 0 69744 486 0 0 25 0 3 0 891973124 763203584 166187 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 745316
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25610
/proc/meminfo: memFree=13671784/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=812144 CPUtime=1524.63 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 177761 0 0 0 150836 1627 0 0 22 0 3 0 891973124 831635456 177702 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 203036 177702 182 372 0 202661 0
[pid=25587/tid=25588] ppid=25585 vsize=812144 CPUtime=762.32 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 173425 0 0 0 75128 1104 0 0 25 0 3 0 891973124 831635456 177702 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=812144 CPUtime=762.31 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 4011 0 0 0 75708 523 0 0 25 0 3 0 891973124 831635456 177702 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 812144
[startup+822.301 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25612
/proc/meminfo: memFree=13580872/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=878416 CPUtime=1644.63 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 189093 0 0 0 162731 1732 0 0 22 0 3 0 891973124 899497984 189034 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 219604 189034 182 372 0 219229 0
[pid=25587/tid=25588] ppid=25585 vsize=878416 CPUtime=822.31 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 184680 0 0 0 81060 1171 0 0 25 0 3 0 891973124 899497984 189034 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=878416 CPUtime=822.3 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 4088 0 0 0 81670 560 0 0 25 0 3 0 891973124 899497984 189034 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 878416
[startup+882.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25613
/proc/meminfo: memFree=13484392/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=878704 CPUtime=1764.63 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 200351 0 0 0 174621 1842 0 0 22 0 3 0 891973124 899792896 200292 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 219676 200292 182 372 0 219301 0
[pid=25587/tid=25588] ppid=25585 vsize=878704 CPUtime=882.32 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 195914 0 0 0 86986 1246 0 0 25 0 3 0 891973124 899792896 200292 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=878704 CPUtime=882.31 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 4112 0 0 0 87635 596 0 0 25 0 3 0 891973124 899792896 200292 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 878704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 4.00 3.92 3/178 25615
/proc/meminfo: memFree=14321916/32951124 swapFree=67057920/67111528
[pid=25587] ppid=25585 vsize=879080 CPUtime=1800.04 cores=0,2,4,6
/proc/25587/stat : 25587 (pwbo1.1) S 25585 25587 24381 0 -1 4202496 203134 0 0 0 178133 1871 0 0 22 0 3 0 891973124 900177920 203075 33554432000 4194304 5714118 140736098303344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 219770 203075 182 372 0 219395 0
[pid=25587/tid=25588] ppid=25585 vsize=879080 CPUtime=900.02 cores=0,2,4,6
/proc/25587/task/25588/stat : 25588 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 198676 0 0 0 88737 1265 0 0 25 0 3 0 891973124 900177920 203075 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=25587/tid=25589] ppid=25585 vsize=879080 CPUtime=900.02 cores=0,2,4,6
/proc/25587/task/25589/stat : 25589 (pwbo1.1) R 25585 25587 24381 0 -1 4202560 4133 0 0 0 89396 606 0 0 25 0 3 0 891973124 900177920 203075 33554432000 4194304 5714118 140736098303344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 879080
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.049
CPU time (s): 1800.1
CPU user time (s): 1781.35
CPU system time (s): 18.7541
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 879080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.35
system time used= 18.7541
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203140
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= 21
involuntary context switches= 2029
runsolver used 1.43278 second user time and 2.73158 second system time
The end