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-3500394-1307994749/watcher-3500394-1307994749 -o /var/tmp/evaluation-result-3500394-1307994749/solver-3500394-1307994749 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500394-1307994749.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.77 3.96 3.91 3/179 20135
/proc/meminfo: memFree=10969992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=0 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 969 0 0 0 0 0 0 0 25 0 3 0 911074731 139763712 910 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 912 178 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=0 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 3 0 911074731 139763712 916 33554432000 4194304 5714118 140734572620320 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=0 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 541 0 0 0 0 0 0 0 18 0 3 0 911074731 139763712 919 33554432000 4194304 5714118 140734572620320 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.077629 s]
/proc/loadavg: 3.77 3.96 3.91 3/179 20135
/proc/meminfo: memFree=10969992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=0.14 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 1438 0 0 0 13 1 0 0 25 0 3 0 911074731 139763712 1379 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 1379 179 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=0.07 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 240 0 0 0 7 0 0 0 25 0 3 0 911074731 139763712 1379 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=0.07 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 856 0 0 0 6 1 0 0 18 0 3 0 911074731 139763712 1379 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 136488
[startup+0.100615 s]
/proc/loadavg: 3.77 3.96 3.91 3/179 20135
/proc/meminfo: memFree=10969992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=0.19 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 1500 0 0 0 18 1 0 0 25 0 3 0 911074731 139763712 1441 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 1441 179 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=0.09 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 281 0 0 0 9 0 0 0 25 0 3 0 911074731 139763712 1441 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=0.09 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 877 0 0 0 8 1 0 0 18 0 3 0 911074731 139763712 1441 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 136488
[startup+0.300582 s]
/proc/loadavg: 3.77 3.96 3.91 3/179 20135
/proc/meminfo: memFree=10969992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=0.59 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 2059 0 0 0 56 3 0 0 25 0 3 0 911074731 139763712 2000 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 2000 179 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=0.29 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 631 0 0 0 29 0 0 0 25 0 3 0 911074731 139763712 2000 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=0.28 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 1086 0 0 0 26 2 0 0 18 0 3 0 911074731 139763712 2000 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 136488
[startup+0.70052 s]
/proc/loadavg: 3.77 3.96 3.91 3/179 20135
/proc/meminfo: memFree=10969992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=1.39 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 2685 0 0 0 134 5 0 0 25 0 3 0 911074731 139763712 2626 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 2626 179 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=0.69 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 1157 0 0 0 68 1 0 0 25 0 3 0 911074731 139763712 2626 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=0.69 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 1186 0 0 0 65 4 0 0 18 0 3 0 911074731 139763712 2626 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 136488
[startup+1.50032 s]
/proc/loadavg: 3.77 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10955236/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136632 CPUtime=2.99 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 4004 0 0 0 290 9 0 0 25 0 3 0 911074731 139911168 3945 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34158 3945 179 372 0 33783 0
[pid=20135/tid=20136] ppid=20133 vsize=136632 CPUtime=1.49 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 2135 0 0 0 147 2 0 0 25 0 3 0 911074731 139911168 3945 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136632 CPUtime=1.49 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 1527 0 0 0 143 6 0 0 18 0 3 0 911074731 139911168 3945 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 136632
[startup+3.10108 s]
/proc/loadavg: 3.77 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10946880/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136488 CPUtime=6.19 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 5270 0 0 0 605 14 0 0 25 0 3 0 911074731 139763712 5185 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34122 5185 179 372 0 33747 0
[pid=20135/tid=20136] ppid=20133 vsize=136488 CPUtime=3.09 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 2975 0 0 0 305 4 0 0 25 0 3 0 911074731 139763712 5185 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136488 CPUtime=3.09 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 1953 0 0 0 299 10 0 0 21 0 3 0 911074731 139763712 5185 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 136488
[startup+6.30049 s]
/proc/loadavg: 3.79 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10937208/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=136760 CPUtime=12.59 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 6488 0 0 0 1237 22 0 0 25 0 3 0 911074731 140042240 6403 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34190 6403 179 372 0 33815 0
[pid=20135/tid=20136] ppid=20133 vsize=136760 CPUtime=6.29 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 3256 0 0 0 623 6 0 0 25 0 3 0 911074731 140042240 6403 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=136760 CPUtime=6.29 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 2890 0 0 0 614 15 0 0 25 0 3 0 911074731 140042240 6403 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 136760
[startup+12.7004 s]
/proc/loadavg: 3.81 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10917048/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=137496 CPUtime=25.39 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 11098 0 0 0 2505 34 0 0 25 0 3 0 911074731 140795904 11013 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34374 11013 180 372 0 33999 0
[pid=20135/tid=20136] ppid=20133 vsize=137496 CPUtime=12.69 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 6407 0 0 0 1256 13 0 0 25 0 3 0 911074731 140795904 11013 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=137496 CPUtime=12.69 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 4349 0 0 0 1248 21 0 0 18 0 3 0 911074731 140795904 11013 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137496
[startup+25.5011 s]
/proc/loadavg: 3.85 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10877504/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=138248 CPUtime=50.99 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 16623 0 0 0 5045 54 0 0 25 0 3 0 911074731 141565952 16538 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 34562 16538 180 372 0 34187 0
[pid=20135/tid=20136] ppid=20133 vsize=138248 CPUtime=25.49 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 10618 0 0 0 2526 23 0 0 25 0 3 0 911074731 141565952 16538 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=138248 CPUtime=25.49 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 5663 0 0 0 2518 31 0 0 25 0 3 0 911074731 141565952 16538 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138248
[startup+51.1006 s]
/proc/loadavg: 3.90 3.96 3.91 5/182 20139
/proc/meminfo: memFree=10824532/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=204472 CPUtime=102.19 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 24663 0 0 0 10137 82 0 0 25 0 3 0 911074731 209379328 24578 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 51118 24578 180 372 0 50743 0
[pid=20135/tid=20136] ppid=20133 vsize=204472 CPUtime=51.09 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 17863 0 0 0 5073 36 0 0 25 0 3 0 911074731 209379328 24578 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=204472 CPUtime=51.09 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 6458 0 0 0 5064 45 0 0 25 0 3 0 911074731 209379328 24578 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 204472
[startup+102.306 s]
/proc/loadavg: 3.95 3.97 3.91 5/182 20140
/proc/meminfo: memFree=10733336/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=204760 CPUtime=204.61 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 36815 0 0 0 20324 137 0 0 25 0 3 0 911074731 209674240 36730 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 51190 36730 180 372 0 50815 0
[pid=20135/tid=20136] ppid=20133 vsize=204760 CPUtime=102.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 27788 0 0 0 10168 62 0 0 25 0 3 0 911074731 209674240 36730 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=204760 CPUtime=102.29 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 8685 0 0 0 10155 74 0 0 25 0 3 0 911074731 209674240 36730 33554432000 4194304 5714118 140734572620320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 204760
[startup+162.301 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 20142
/proc/meminfo: memFree=10679448/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=271352 CPUtime=324.59 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 48327 0 0 0 32265 194 0 0 25 0 3 0 911074731 277864448 48242 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 67838 48242 180 372 0 67463 0
[pid=20135/tid=20136] ppid=20133 vsize=271352 CPUtime=162.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 37634 0 0 0 16141 89 0 0 25 0 3 0 911074731 277864448 48242 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=271352 CPUtime=162.29 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 10351 0 0 0 16124 105 0 0 25 0 3 0 911074731 277864448 48242 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 271352
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20144
/proc/meminfo: memFree=10622468/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=338320 CPUtime=444.6 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 59869 0 0 0 44210 250 0 0 25 0 3 0 911074731 346439680 59784 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 84580 59784 180 372 0 84205 0
[pid=20135/tid=20136] ppid=20133 vsize=338320 CPUtime=222.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 49020 0 0 0 22114 116 0 0 25 0 3 0 911074731 346439680 59784 33554432000 4194304 5714118 140734572620320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=338320 CPUtime=222.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 10507 0 0 0 22096 134 0 0 25 0 3 0 911074731 346439680 59784 33554432000 4194304 5714118 140734572620320 18446744073709551615 4965116 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 338320
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20145
/proc/meminfo: memFree=10546632/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=340684 CPUtime=564.6 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 71177 0 0 0 56155 305 0 0 25 0 3 0 911074731 348860416 71088 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 85171 71088 180 372 0 84796 0
[pid=20135/tid=20136] ppid=20133 vsize=340684 CPUtime=282.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 60215 0 0 0 28088 142 0 0 25 0 3 0 911074731 348860416 71088 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=340684 CPUtime=282.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 10620 0 0 0 28067 163 0 0 25 0 3 0 911074731 348860416 71088 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 340684
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20147
/proc/meminfo: memFree=10461992/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=407152 CPUtime=684.6 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 84282 0 0 0 68100 360 0 0 25 0 3 0 911074731 416923648 84193 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 101788 84193 180 372 0 101413 0
[pid=20135/tid=20136] ppid=20133 vsize=407152 CPUtime=342.29 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 72128 0 0 0 34064 165 0 0 25 0 3 0 911074731 416923648 84193 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=407152 CPUtime=342.29 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 11812 0 0 0 34035 194 0 0 25 0 3 0 911074731 416923648 84193 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 407152
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20148
/proc/meminfo: memFree=10381096/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469124 CPUtime=804.61 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 98530 0 0 0 80051 410 0 0 25 0 3 0 911074731 480382976 97674 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117281 97674 180 372 0 116906 0
[pid=20135/tid=20136] ppid=20133 vsize=469124 CPUtime=402.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86361 0 0 0 40039 191 0 0 25 0 3 0 911074731 480382976 97674 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469124 CPUtime=402.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 11827 0 0 0 40012 218 0 0 25 0 3 0 911074731 480382976 97674 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 469124
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20150
/proc/meminfo: memFree=10350792/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469264 CPUtime=924.62 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 98788 0 0 0 91999 463 0 0 25 0 3 0 911074731 480526336 97932 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117316 97932 180 372 0 116941 0
[pid=20135/tid=20136] ppid=20133 vsize=469264 CPUtime=462.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86573 0 0 0 46012 218 0 0 25 0 3 0 911074731 480526336 97932 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469264 CPUtime=462.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 11873 0 0 0 45986 244 0 0 25 0 3 0 911074731 480526336 97932 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 469264
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20161
/proc/meminfo: memFree=10310496/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469692 CPUtime=1044.62 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 101091 0 0 0 103946 516 0 0 25 0 3 0 911074731 480964608 100235 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117423 100235 180 372 0 117048 0
[pid=20135/tid=20136] ppid=20133 vsize=469692 CPUtime=522.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86717 0 0 0 51987 243 0 0 25 0 3 0 911074731 480964608 100235 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469692 CPUtime=522.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 14032 0 0 0 51958 272 0 0 25 0 3 0 911074731 480964608 100235 33554432000 4194304 5714118 140734572620320 18446744073709551615 4347147 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 469692
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20162
/proc/meminfo: memFree=10288404/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469692 CPUtime=1164.61 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 101194 0 0 0 115895 566 0 0 25 0 3 0 911074731 480964608 100336 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117423 100336 180 372 0 117048 0
[pid=20135/tid=20136] ppid=20133 vsize=469692 CPUtime=582.31 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86820 0 0 0 57961 270 0 0 25 0 3 0 911074731 480964608 100336 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469692 CPUtime=582.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 14032 0 0 0 57934 296 0 0 25 0 3 0 911074731 480964608 100336 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 469692
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20164
/proc/meminfo: memFree=10261688/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1284.63 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 101293 0 0 0 127856 607 0 0 25 0 3 0 911074731 481255424 100435 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 100435 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=642.31 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86860 0 0 0 63941 290 0 0 25 0 3 0 911074731 481255424 100435 33554432000 4194304 5714118 140734572620320 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=642.31 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 14091 0 0 0 63914 317 0 0 25 0 3 0 911074731 481255424 100435 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 469976
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20168
/proc/meminfo: memFree=10237056/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1404.62 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 101574 0 0 0 139811 651 0 0 25 0 3 0 911074731 481255424 100716 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 100716 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=702.31 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 86988 0 0 0 69920 311 0 0 25 0 3 0 911074731 481255424 100716 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=702.31 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 14244 0 0 0 69891 340 0 0 25 0 3 0 911074731 481255424 100716 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 469976
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20170
/proc/meminfo: memFree=10211360/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1524.64 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 103233 0 0 0 151765 699 0 0 25 0 3 0 911074731 481255424 102374 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 102374 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=762.31 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 87035 0 0 0 75898 333 0 0 25 0 3 0 911074731 481255424 102374 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=762.31 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 15856 0 0 0 75866 365 0 0 25 0 3 0 911074731 481255424 102374 33554432000 4194304 5714118 140734572620320 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 469976
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20172
/proc/meminfo: memFree=10181048/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1644.62 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 103291 0 0 0 163712 750 0 0 25 0 3 0 911074731 481255424 102432 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 102432 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=822.3 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 87093 0 0 0 81872 358 0 0 25 0 3 0 911074731 481255424 102432 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=822.3 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 15856 0 0 0 81839 391 0 0 25 0 3 0 911074731 481255424 102432 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 469976
[startup+882.301 s]
/proc/loadavg: 3.73 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10609256/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1764.64 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 104817 0 0 0 175667 797 0 0 25 0 3 0 911074731 481255424 103957 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 103957 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=882.31 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 88614 0 0 0 87853 378 0 0 25 0 3 0 911074731 481255424 103957 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=882.31 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 15861 0 0 0 87813 418 0 0 25 0 3 0 911074731 481255424 103957 33554432000 4194304 5714118 140734572620320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 469976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.81 3.91 3.89 5/182 20215
/proc/meminfo: memFree=10577500/32950928 swapFree=67055156/67111528
[pid=20135] ppid=20133 vsize=469976 CPUtime=1800.04 cores=0,2,4,6
/proc/20135/stat : 20135 (pwbo1.1) S 20133 20135 19040 0 -1 4202496 106270 0 0 0 179194 810 0 0 25 0 3 0 911074731 481255424 105410 33554432000 4194304 5714118 140734572620320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/20135/statm: 117494 105410 180 372 0 117119 0
[pid=20135/tid=20136] ppid=20133 vsize=469976 CPUtime=900.02 cores=0,2,4,6
/proc/20135/task/20136/stat : 20136 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 90067 0 0 0 89618 384 0 0 25 0 3 0 911074731 481255424 105410 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=20135/tid=20137] ppid=20133 vsize=469976 CPUtime=900.02 cores=0,2,4,6
/proc/20135/task/20137/stat : 20137 (pwbo1.1) R 20133 20135 19040 0 -1 4202560 15861 0 0 0 89576 426 0 0 25 0 3 0 911074731 481255424 105410 33554432000 4194304 5714118 140734572620320 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 469976
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.03
CPU time (s): 1800.08
CPU user time (s): 1791.96
CPU system time (s): 8.12077
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 473120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.96
system time used= 8.12077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106276
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= 60
involuntary context switches= 13658
runsolver used 1.46178 second user time and 3.04354 second system time
The end