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 /tmp/evaluation-result-3500082-1307990485/watcher-3500082-1307990485 -o /tmp/evaluation-result-3500082-1307990485/solver-3500082-1307990485 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500082-1307990485.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.75 3.84 3.20 3/177 30134
/proc/meminfo: memFree=11942172/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 571 0 0 0 0 0 0 0 25 0 3 0 910648095 71532544 513 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 17464 513 173 372 0 17089 0
[pid=30134/tid=30135] ppid=30132 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 3 0 910648095 71532544 513 33554432000 4194304 5714118 140734463614016 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 910648095 71532544 513 33554432000 4194304 5714118 140734463614016 18446744073709551615 4417171 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.100731 s]
/proc/loadavg: 3.75 3.84 3.20 3/177 30134
/proc/meminfo: memFree=11942172/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=154940 CPUtime=0.18 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 9525 0 0 0 17 1 0 0 25 0 3 0 910648095 158658560 9355 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38735 9355 178 372 0 38360 0
[pid=30134/tid=30135] ppid=30132 vsize=154940 CPUtime=0.08 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 857 0 0 0 8 0 0 0 18 0 3 0 910648095 158658560 9356 33554432000 4194304 5714118 140734463614016 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=154940 CPUtime=0.09 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8177 0 0 0 8 1 0 0 25 0 3 0 910648095 158658560 9369 33554432000 4194304 5714118 140734463614016 18446744073709551615 4443172 0 0 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154940
[startup+0.201188 s]
/proc/loadavg: 3.75 3.84 3.20 3/177 30134
/proc/meminfo: memFree=11942172/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=154940 CPUtime=0.38 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 9829 0 0 0 36 2 0 0 25 0 3 0 910648095 158658560 9659 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38735 9659 179 372 0 38360 0
[pid=30134/tid=30135] ppid=30132 vsize=154940 CPUtime=0.19 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 1159 0 0 0 18 1 0 0 18 0 3 0 910648095 158658560 9659 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=154940 CPUtime=0.19 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8178 0 0 0 18 1 0 0 25 0 3 0 910648095 158658560 9659 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 154940
[startup+0.301169 s]
/proc/loadavg: 3.75 3.84 3.20 3/177 30134
/proc/meminfo: memFree=11942172/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=154940 CPUtime=0.59 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 10008 0 0 0 56 3 0 0 25 0 3 0 910648095 158658560 9838 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38735 9838 179 372 0 38360 0
[pid=30134/tid=30135] ppid=30132 vsize=154940 CPUtime=0.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 1313 0 0 0 27 2 0 0 18 0 3 0 910648095 158658560 9838 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=154940 CPUtime=0.29 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8203 0 0 0 28 1 0 0 25 0 3 0 910648095 158658560 9838 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 154940
[startup+0.701101 s]
/proc/loadavg: 3.75 3.84 3.20 3/177 30134
/proc/meminfo: memFree=11942172/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=154940 CPUtime=1.39 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 10525 0 0 0 134 5 0 0 25 0 3 0 910648095 158658560 10355 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38735 10355 179 372 0 38360 0
[pid=30134/tid=30135] ppid=30132 vsize=154940 CPUtime=0.68 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 1791 0 0 0 65 3 0 0 18 0 3 0 910648095 158658560 10355 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=154940 CPUtime=0.69 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8242 0 0 0 68 1 0 0 25 0 3 0 910648095 158658560 10355 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 154940
[startup+1.50099 s]
/proc/loadavg: 3.75 3.84 3.20 5/180 30137
/proc/meminfo: memFree=11891704/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=155084 CPUtime=2.98 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 11472 0 0 0 290 8 0 0 25 0 3 0 910648095 158806016 11302 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38771 11302 179 372 0 38396 0
[pid=30134/tid=30135] ppid=30132 vsize=155084 CPUtime=1.49 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 2646 0 0 0 142 7 0 0 20 0 3 0 910648095 158806016 11302 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=155084 CPUtime=1.48 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8334 0 0 0 147 1 0 0 25 0 3 0 910648095 158806016 11302 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155084
[startup+3.10072 s]
/proc/loadavg: 3.75 3.84 3.20 5/180 30137
/proc/meminfo: memFree=11881176/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=155084 CPUtime=6.18 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 12560 0 0 0 606 12 0 0 25 0 3 0 910648095 158806016 12390 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38771 12390 180 372 0 38396 0
[pid=30134/tid=30135] ppid=30132 vsize=155084 CPUtime=3.09 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 3604 0 0 0 299 10 0 0 25 0 3 0 910648095 158806016 12390 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=155084 CPUtime=3.08 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8464 0 0 0 307 1 0 0 25 0 3 0 910648095 158806016 12390 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 155084
[startup+6.30116 s]
/proc/loadavg: 4.09 3.91 3.23 5/180 30137
/proc/meminfo: memFree=11859508/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=155076 CPUtime=12.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 14408 0 0 0 1236 22 0 0 25 0 3 0 910648095 158797824 14203 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38769 14203 180 372 0 38394 0
[pid=30134/tid=30135] ppid=30132 vsize=155076 CPUtime=6.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 4959 0 0 0 611 18 0 0 25 0 3 0 910648095 158797824 14203 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=155076 CPUtime=6.29 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 8957 0 0 0 625 4 0 0 25 0 3 0 910648095 158797824 14203 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155076
[startup+12.7011 s]
/proc/loadavg: 4.09 3.91 3.23 5/180 30137
/proc/meminfo: memFree=11815544/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=155400 CPUtime=25.39 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 19848 0 0 0 2501 38 0 0 25 0 3 0 910648095 159129600 19643 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38850 19643 180 372 0 38475 0
[pid=30134/tid=30135] ppid=30132 vsize=155400 CPUtime=12.69 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 6269 0 0 0 1240 29 0 0 25 0 3 0 910648095 159129600 19643 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=155400 CPUtime=12.68 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 13087 0 0 0 1260 8 0 0 25 0 3 0 910648095 159129600 19643 33554432000 4194304 5714118 140734463614016 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) 155400
[startup+25.5009 s]
/proc/loadavg: 4.07 3.91 3.24 5/180 30137
/proc/meminfo: memFree=11732496/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=155776 CPUtime=50.98 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 28318 0 0 0 5037 61 0 0 25 0 3 0 910648095 159514624 28113 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 38944 28113 180 372 0 38569 0
[pid=30134/tid=30135] ppid=30132 vsize=155776 CPUtime=25.48 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 10527 0 0 0 2502 46 0 0 25 0 3 0 910648095 159514624 28113 33554432000 4194304 5714118 140734463614016 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=155776 CPUtime=25.48 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 17299 0 0 0 2534 14 0 0 25 0 3 0 910648095 159514624 28113 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 155776
[startup+51.1004 s]
/proc/loadavg: 4.04 3.92 3.26 5/180 30139
/proc/meminfo: memFree=11618880/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=221696 CPUtime=102.18 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 39007 0 0 0 10112 106 0 0 25 0 3 0 910648095 227016704 38756 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 55424 38756 180 372 0 55049 0
[pid=30134/tid=30135] ppid=30132 vsize=221696 CPUtime=51.08 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 13982 0 0 0 5029 79 0 0 25 0 3 0 910648095 227016704 38756 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=221696 CPUtime=51.08 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 24533 0 0 0 5082 26 0 0 25 0 3 0 910648095 227016704 38756 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319704 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 221696
[startup+102.301 s]
/proc/loadavg: 4.02 3.93 3.30 5/180 30139
/proc/meminfo: memFree=11390956/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=353308 CPUtime=204.59 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 61194 0 0 0 20284 175 0 0 25 0 3 0 910648095 361787392 60943 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 88327 60943 180 372 0 87952 0
[pid=30134/tid=30135] ppid=30132 vsize=353308 CPUtime=102.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 20430 0 0 0 10107 122 0 0 25 0 3 0 910648095 361787392 60943 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=353308 CPUtime=102.29 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 40272 0 0 0 10176 53 0 0 25 0 3 0 910648095 361787392 60943 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 353308
[startup+162.301 s]
/proc/loadavg: 4.04 3.95 3.35 5/180 30141
/proc/meminfo: memFree=11120988/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=421428 CPUtime=324.59 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 95275 0 0 0 32195 264 0 0 25 0 3 0 910648095 431542272 94974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 105357 94974 180 372 0 104982 0
[pid=30134/tid=30135] ppid=30132 vsize=421428 CPUtime=162.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 29226 0 0 0 16056 173 0 0 25 0 3 0 910648095 431542272 94974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=421428 CPUtime=162.28 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 65557 0 0 0 16138 90 0 0 25 0 3 0 910648095 431542272 94974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 421428
[startup+222.307 s]
/proc/loadavg: 4.01 3.96 3.38 5/180 30143
/proc/meminfo: memFree=10931756/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=555412 CPUtime=444.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 124356 0 0 0 44087 371 0 0 25 0 3 0 910648095 568741888 124055 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 138853 124055 180 372 0 138478 0
[pid=30134/tid=30135] ppid=30132 vsize=555412 CPUtime=222.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 38522 0 0 0 21993 236 0 0 25 0 3 0 910648095 568741888 124055 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=555412 CPUtime=222.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 85342 0 0 0 22093 134 0 0 25 0 3 0 910648095 568741888 124055 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 555412
[startup+282.3 s]
/proc/loadavg: 4.00 3.96 3.42 5/180 30145
/proc/meminfo: memFree=10771904/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=623936 CPUtime=564.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 146328 0 0 0 55995 462 0 0 25 0 3 0 910648095 638910464 146027 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 155984 146027 180 372 0 155609 0
[pid=30134/tid=30135] ppid=30132 vsize=623936 CPUtime=282.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 46213 0 0 0 27936 293 0 0 25 0 3 0 910648095 638910464 146027 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=623936 CPUtime=282.28 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 99623 0 0 0 28059 169 0 0 25 0 3 0 910648095 638910464 146027 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 623936
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.45 5/180 30146
/proc/meminfo: memFree=10667364/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=756052 CPUtime=684.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 158094 0 0 0 67927 530 0 0 25 0 3 0 910648095 774197248 157792 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 189013 157792 180 372 0 188638 0
[pid=30134/tid=30135] ppid=30132 vsize=756052 CPUtime=342.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 53712 0 0 0 33892 337 0 0 25 0 3 0 910648095 774197248 157792 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=756052 CPUtime=342.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103890 0 0 0 34034 193 0 0 25 0 3 0 910648095 774197248 157792 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 756052
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.48 5/180 30147
/proc/meminfo: memFree=10602496/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=756292 CPUtime=804.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 164537 0 0 0 79851 606 0 0 25 0 3 0 910648095 774443008 164233 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 189073 164233 180 372 0 188698 0
[pid=30134/tid=30135] ppid=30132 vsize=756292 CPUtime=402.28 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 60091 0 0 0 39836 392 0 0 25 0 3 0 910648095 774443008 164233 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=756292 CPUtime=402.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103954 0 0 0 40014 213 0 0 25 0 3 0 910648095 774443008 164233 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 756292
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.51 5/180 30149
/proc/meminfo: memFree=10552016/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=821828 CPUtime=924.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 171064 0 0 0 91785 672 0 0 25 0 3 0 910648095 841551872 170759 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 205457 170759 180 372 0 205082 0
[pid=30134/tid=30135] ppid=30132 vsize=821828 CPUtime=462.28 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 66607 0 0 0 45783 445 0 0 25 0 3 0 910648095 841551872 170759 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=821828 CPUtime=462.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103965 0 0 0 46001 226 0 0 25 0 3 0 910648095 841551872 170759 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 821828
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.54 5/180 30151
/proc/meminfo: memFree=10492364/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=821828 CPUtime=1044.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 178211 0 0 0 103719 739 0 0 25 0 3 0 910648095 841551872 177877 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 205457 177877 180 372 0 205082 0
[pid=30134/tid=30135] ppid=30132 vsize=821828 CPUtime=522.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 73741 0 0 0 51731 498 0 0 25 0 3 0 910648095 841551872 177877 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=821828 CPUtime=522.28 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103978 0 0 0 51987 241 0 0 25 0 3 0 910648095 841551872 177877 33554432000 4194304 5714118 140734463614016 18446744073709551615 4300032 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 821828
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.57 5/180 30153
/proc/meminfo: memFree=10423524/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=821988 CPUtime=1164.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 185398 0 0 0 115642 816 0 0 25 0 3 0 910648095 841715712 185064 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 205497 185064 180 372 0 205122 0
[pid=30134/tid=30135] ppid=30132 vsize=821988 CPUtime=582.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 80919 0 0 0 57676 553 0 0 25 0 3 0 910648095 841715712 185064 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=821988 CPUtime=582.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103987 0 0 0 57965 262 0 0 25 0 3 0 910648095 841715712 185064 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 821988
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.59 5/180 30154
/proc/meminfo: memFree=10378624/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=887524 CPUtime=1284.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 191310 0 0 0 127591 867 0 0 25 0 3 0 910648095 908824576 190974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 221881 190974 180 372 0 221506 0
[pid=30134/tid=30135] ppid=30132 vsize=887524 CPUtime=642.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 86828 0 0 0 63637 592 0 0 25 0 3 0 910648095 908824576 190974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=887524 CPUtime=642.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103990 0 0 0 63953 274 0 0 25 0 3 0 910648095 908824576 190974 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.58
Current children cumulated vsize (KiB) 887524
[startup+702.301 s]
/proc/loadavg: 4.07 3.99 3.62 5/180 30155
/proc/meminfo: memFree=10323316/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=887848 CPUtime=1404.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 197779 0 0 0 139530 927 0 0 25 0 3 0 910648095 909156352 197441 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 221962 197441 180 372 0 221587 0
[pid=30134/tid=30135] ppid=30132 vsize=887848 CPUtime=702.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 93295 0 0 0 69588 641 0 0 25 0 3 0 910648095 909156352 197441 33554432000 4194304 5714118 140734463614016 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=887848 CPUtime=702.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103992 0 0 0 69942 285 0 0 25 0 3 0 910648095 909156352 197441 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 887848
[startup+762.3 s]
/proc/loadavg: 4.02 3.99 3.64 5/180 30157
/proc/meminfo: memFree=10261552/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=953384 CPUtime=1524.58 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 203973 0 0 0 151469 989 0 0 25 0 3 0 910648095 976265216 203634 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 238346 203634 180 372 0 237971 0
[pid=30134/tid=30135] ppid=30132 vsize=953384 CPUtime=762.3 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 99484 0 0 0 75536 694 0 0 25 0 3 0 910648095 976265216 203634 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=953384 CPUtime=762.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 103997 0 0 0 75932 295 0 0 25 0 3 0 910648095 976265216 203634 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 953384
[startup+822.301 s]
/proc/loadavg: 4.01 3.99 3.66 5/180 30159
/proc/meminfo: memFree=10138908/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=1018920 CPUtime=1644.57 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 226869 0 0 0 163402 1055 0 0 25 0 3 0 910648095 1043374080 226529 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 254730 226529 180 372 0 254355 0
[pid=30134/tid=30135] ppid=30132 vsize=1018920 CPUtime=822.29 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 122369 0 0 0 81488 741 0 0 25 0 3 0 910648095 1043374080 226529 33554432000 4194304 5714118 140734463614016 18446744073709551615 4324900 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=1018920 CPUtime=822.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 104008 0 0 0 81913 314 0 0 25 0 3 0 910648095 1043374080 226529 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 1018920
[startup+882.307 s]
/proc/loadavg: 4.00 3.99 3.68 5/180 30161
/proc/meminfo: memFree=10106032/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=1018112 CPUtime=1764.59 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 227053 0 0 0 175312 1147 0 0 25 0 3 0 910648095 1042546688 226578 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 254528 226578 180 372 0 254153 0
[pid=30134/tid=30135] ppid=30132 vsize=1018112 CPUtime=882.3 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 122551 0 0 0 87407 823 0 0 25 0 3 0 910648095 1042546688 226578 33554432000 4194304 5714118 140734463614016 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=1018112 CPUtime=882.27 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 104010 0 0 0 87904 323 0 0 25 0 3 0 910648095 1042546688 226578 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 1018112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.99 3.68 3/176 30162
/proc/meminfo: memFree=11071520/32951132 swapFree=67054624/67111528
[pid=30134] ppid=30132 vsize=1018112 CPUtime=1800.19 cores=1,3,5,7
/proc/30134/stat : 30134 (pwbo1.1) S 30132 30134 29599 0 -1 4202496 227123 0 0 0 178851 1168 0 0 25 0 3 0 910648095 1042546688 226648 33554432000 4194304 5714118 140734463614016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30134/statm: 254528 226648 180 372 0 254153 0
[pid=30134/tid=30135] ppid=30132 vsize=1018112 CPUtime=900.1 cores=1,3,5,7
/proc/30134/task/30135/stat : 30135 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 122621 0 0 0 89169 841 0 0 25 0 3 0 910648095 1042546688 226648 33554432000 4194304 5714118 140734463614016 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=30134/tid=30136] ppid=30132 vsize=1018112 CPUtime=900.08 cores=1,3,5,7
/proc/30134/task/30136/stat : 30136 (pwbo1.1) R 30132 30134 29599 0 -1 4202560 104010 0 0 0 89681 327 0 0 25 0 3 0 910648095 1042546688 226648 33554432000 4194304 5714118 140734463614016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1018112
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.144
CPU time (s): 1800.24
CPU user time (s): 1788.52
CPU system time (s): 11.7202
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 1018920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.52
system time used= 11.7202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227128
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= 442
involuntary context switches= 3794
runsolver used 1.27181 second user time and 3.06253 second system time
The end