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-3703744-1338093779/watcher-3703744-1338093779 -o /tmp/evaluation-result-3703744-1338093779/solver-3703744-1338093779 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703744-1338093779.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: 4.06 4.02 3.95 3/178 8498
/proc/meminfo: memFree=30215704/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162312 CPUtime=0 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 3 0 275506454 166207488 765 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40578 765 192 433 0 40142 0
[pid=8498/tid=8499] ppid=8496 vsize=162312 CPUtime=0 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 3 0 275506454 166207488 765 33554432000 4194304 5965102 140735429104320 140734295688472 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162312 CPUtime=0 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 3 0 275506454 166207488 765 33554432000 4194304 5965102 140735429104320 140734295688472 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.0738339 s]
/proc/loadavg: 4.06 4.02 3.95 3/178 8498
/proc/meminfo: memFree=30215704/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162312 CPUtime=0.13 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 1078 0 0 0 13 0 0 0 20 0 3 0 275506454 166207488 1029 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40578 1029 195 433 0 40142 0
[pid=8498/tid=8499] ppid=8496 vsize=162312 CPUtime=0.05 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 189 0 0 0 5 0 0 0 20 0 3 0 275506454 166207488 1029 33554432000 4194304 5965102 140735429104320 140734295688472 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162312 CPUtime=0.05 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 132 0 0 0 5 0 0 0 20 0 3 0 275506454 166207488 1029 33554432000 4194304 5965102 140735429104320 140734295688472 5132431 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 162312
[startup+0.100272 s]
/proc/loadavg: 4.06 4.02 3.95 3/178 8498
/proc/meminfo: memFree=30215704/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162312 CPUtime=0.19 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 1167 0 0 0 19 0 0 0 20 0 3 0 275506454 166207488 1118 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40578 1118 195 433 0 40142 0
[pid=8498/tid=8499] ppid=8496 vsize=162312 CPUtime=0.08 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 243 0 0 0 8 0 0 0 20 0 3 0 275506454 166207488 1118 33554432000 4194304 5965102 140735429104320 139773891778072 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162312 CPUtime=0.08 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 167 0 0 0 8 0 0 0 20 0 3 0 275506454 166207488 1118 33554432000 4194304 5965102 140735429104320 139773881288952 4390150 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162312
[startup+0.300232 s]
/proc/loadavg: 4.06 4.02 3.95 3/178 8498
/proc/meminfo: memFree=30215704/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162312 CPUtime=0.58 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 1756 0 0 0 58 0 0 0 20 0 3 0 275506454 166207488 1707 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40578 1707 195 433 0 40142 0
[pid=8498/tid=8499] ppid=8496 vsize=162312 CPUtime=0.28 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 595 0 0 0 28 0 0 0 20 0 3 0 275506454 166207488 1707 33554432000 4194304 5965102 140735429104320 139773891778360 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162312 CPUtime=0.28 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 404 0 0 0 28 0 0 0 20 0 3 0 275506454 166207488 1707 33554432000 4194304 5965102 140735429104320 139773881288824 4391070 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162312
[startup+0.700244 s]
/proc/loadavg: 4.06 4.02 3.95 3/178 8498
/proc/meminfo: memFree=30215704/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162600 CPUtime=1.38 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 2481 0 0 0 138 0 0 0 20 0 3 0 275506454 166502400 2432 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40650 2432 195 433 0 40214 0
[pid=8498/tid=8499] ppid=8496 vsize=162600 CPUtime=0.68 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 1026 0 0 0 68 0 0 0 20 0 3 0 275506454 166502400 2432 33554432000 4194304 5965102 140735429104320 139773891778552 4404748 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162600 CPUtime=0.68 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 698 0 0 0 68 0 0 0 20 0 3 0 275506454 166502400 2432 33554432000 4194304 5965102 140735429104320 139773881289016 4390200 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162600
[startup+1.50024 s]
/proc/loadavg: 4.06 4.02 3.95 5/181 8501
/proc/meminfo: memFree=30206092/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162600 CPUtime=2.99 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 3288 0 0 0 298 1 0 0 20 0 3 0 275506454 166502400 3239 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40650 3239 195 433 0 40214 0
[pid=8498/tid=8499] ppid=8496 vsize=162600 CPUtime=1.48 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 1641 0 0 0 148 0 0 0 20 0 3 0 275506454 166502400 3239 33554432000 4194304 5965102 140735429104320 139773891778360 4410742 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162600 CPUtime=1.48 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 890 0 0 0 148 0 0 0 20 0 3 0 275506454 166502400 3239 33554432000 4194304 5965102 140735429104320 139773881288536 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162600
[startup+3.10027 s]
/proc/loadavg: 4.06 4.01 3.95 5/181 8501
/proc/meminfo: memFree=30201116/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=162744 CPUtime=6.18 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 4830 0 0 0 617 1 0 0 20 0 3 0 275506454 166649856 4781 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40686 4781 195 433 0 40250 0
[pid=8498/tid=8499] ppid=8496 vsize=162744 CPUtime=3.07 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 2619 0 0 0 307 0 0 0 20 0 3 0 275506454 166649856 4781 33554432000 4194304 5965102 140735429104320 139773891778072 4380356 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=162744 CPUtime=3.07 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 1454 0 0 0 307 0 0 0 20 0 3 0 275506454 166649856 4781 33554432000 4194304 5965102 140735429104320 139773881288824 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162744
[startup+6.30028 s]
/proc/loadavg: 4.06 4.01 3.95 5/181 8501
/proc/meminfo: memFree=30188468/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=163248 CPUtime=12.58 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 6728 0 0 0 1256 2 0 0 20 0 3 0 275506454 167165952 6679 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 40812 6679 195 433 0 40376 0
[pid=8498/tid=8499] ppid=8496 vsize=163248 CPUtime=6.27 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 3906 0 0 0 626 1 0 0 20 0 3 0 275506454 167165952 6679 33554432000 4194304 5965102 140735429104320 139773891778360 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=163248 CPUtime=6.26 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 2065 0 0 0 626 0 0 0 20 0 3 0 275506454 167165952 6679 33554432000 4194304 5965102 140735429104320 139773881289016 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163248
[startup+12.7003 s]
/proc/loadavg: 4.05 4.01 3.95 5/181 8501
/proc/meminfo: memFree=30176456/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=164288 CPUtime=25.38 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 9488 0 0 0 2534 4 0 0 20 0 3 0 275506454 168230912 9439 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 41072 9439 195 433 0 40636 0
[pid=8498/tid=8499] ppid=8496 vsize=164288 CPUtime=12.65 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 5928 0 0 0 1263 2 0 0 20 0 3 0 275506454 168230912 9439 33554432000 4194304 5965102 140735429104320 139773891778552 4401078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=164288 CPUtime=12.65 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 2803 0 0 0 1264 1 0 0 20 0 3 0 275506454 168230912 9439 33554432000 4194304 5965102 140735429104320 139773881288824 4401078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 164288
[startup+25.5004 s]
/proc/loadavg: 4.04 4.01 3.95 5/181 8501
/proc/meminfo: memFree=30154376/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=166784 CPUtime=50.98 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 13775 0 0 0 5089 9 0 0 20 0 3 0 275506454 170786816 13726 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 41696 13726 195 433 0 41260 0
[pid=8498/tid=8499] ppid=8496 vsize=166784 CPUtime=25.42 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 9148 0 0 0 2536 6 0 0 20 0 3 0 275506454 170786816 13726 33554432000 4194304 5965102 140735429104320 139773891778360 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=166784 CPUtime=25.41 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 3870 0 0 0 2539 2 0 0 20 0 3 0 275506454 170786816 13726 33554432000 4194304 5965102 140735429104320 139773881288536 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 166784
[startup+51.1004 s]
/proc/loadavg: 4.02 4.01 3.95 5/181 8501
/proc/meminfo: memFree=30102884/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=168908 CPUtime=102.17 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 19411 0 0 0 10201 16 0 0 20 0 3 0 275506454 172961792 19328 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 42227 19328 195 433 0 41791 0
[pid=8498/tid=8499] ppid=8496 vsize=168908 CPUtime=50.95 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 13763 0 0 0 5084 11 0 0 20 0 3 0 275506454 172961792 19328 33554432000 4194304 5965102 140735429104320 139773891778072 4390296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=168908 CPUtime=50.94 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 4891 0 0 0 5090 4 0 0 20 0 3 0 275506454 172961792 19328 33554432000 4194304 5965102 140735429104320 139773881288536 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 168908
[startup+102.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 8501
/proc/meminfo: memFree=30048748/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=239184 CPUtime=204.56 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 27586 0 0 0 20431 25 0 0 20 0 3 0 275506454 244924416 27375 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 59796 27375 195 433 0 59360 0
[pid=8498/tid=8499] ppid=8496 vsize=239184 CPUtime=102.03 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 20257 0 0 0 10183 20 0 0 20 0 3 0 275506454 244924416 27375 33554432000 4194304 5965102 140735429104320 139773891778072 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=239184 CPUtime=102.01 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 6572 0 0 0 10195 6 0 0 20 0 3 0 275506454 244924416 27375 33554432000 4194304 5965102 140735429104320 139773881289064 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 239184
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8542
/proc/meminfo: memFree=30479900/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=241160 CPUtime=324.51 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 36885 0 0 0 32409 42 0 0 20 0 3 0 275506454 246947840 36689 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 60290 36689 195 433 0 59854 0
[pid=8498/tid=8499] ppid=8496 vsize=241160 CPUtime=161.85 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 28406 0 0 0 16148 37 0 0 20 0 3 0 275506454 246947840 36689 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=241160 CPUtime=161.85 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 7722 0 0 0 16177 8 0 0 20 0 3 0 275506454 246947840 36689 33554432000 4194304 5965102 140735429104320 139773881289064 4380048 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 241160
[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8542
/proc/meminfo: memFree=30402536/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=310492 CPUtime=444.45 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 45283 0 0 0 44391 54 0 0 20 0 3 0 275506454 317943808 45082 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 77623 45082 195 433 0 77187 0
[pid=8498/tid=8499] ppid=8496 vsize=310492 CPUtime=221.64 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 35296 0 0 0 22116 48 0 0 20 0 3 0 275506454 317943808 45082 33554432000 4194304 5965102 140735429104320 139773891778552 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=310492 CPUtime=221.69 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 9230 0 0 0 22158 11 0 0 20 0 3 0 275506454 317943808 45082 33554432000 4194304 5965102 140735429104320 139773881289064 4380032 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 310492
################
# More data... #
################
[pid=8498/tid=8500] ppid=8496 vsize=314120 CPUtime=281.51 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 10168 0 0 0 28137 14 0 0 20 0 3 0 275506454 321658880 52195 33554432000 4194304 5965102 140735429104320 139773881288536 4401143 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 314120
[startup+342.3 s]
/proc/loadavg: 4.04 4.01 3.95 5/181 8543
/proc/meminfo: memFree=30293632/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=316136 CPUtime=684.37 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 56454 0 0 0 68365 72 0 0 20 0 3 0 275506454 323723264 57095 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 79034 57095 195 433 0 78598 0
[pid=8498/tid=8499] ppid=8496 vsize=316136 CPUtime=341.31 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 45506 0 0 0 34065 66 0 0 20 0 3 0 275506454 323723264 57095 33554432000 4194304 5965102 140735429104320 139773891778072 4401009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=316136 CPUtime=341.35 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 10191 0 0 0 34120 15 0 0 20 0 3 0 275506454 323723264 57095 33554432000 4194304 5965102 140735429104320 139773881289048 4400978 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 316136
[startup+402.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/181 8543
/proc/meminfo: memFree=30242916/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=317752 CPUtime=804.35 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 64515 0 0 0 80348 87 0 0 20 0 3 0 275506454 325378048 65156 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 79438 65156 195 433 0 79002 0
[pid=8498/tid=8499] ppid=8496 vsize=317752 CPUtime=401.16 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 51871 0 0 0 40036 80 0 0 20 0 3 0 275506454 325378048 65156 33554432000 4194304 5965102 140735429104320 139773891778552 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=317752 CPUtime=401.2 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 11887 0 0 0 40101 19 0 0 20 0 3 0 275506454 325378048 65156 33554432000 4194304 5965102 140735429104320 139773881288536 4379876 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 317752
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8546
/proc/meminfo: memFree=30202908/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=385348 CPUtime=924.33 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 70266 0 0 0 92335 98 0 0 20 0 3 0 275506454 394596352 70910 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 96337 70910 195 433 0 95901 0
[pid=8498/tid=8499] ppid=8496 vsize=385348 CPUtime=461.01 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 56528 0 0 0 46012 89 0 0 20 0 3 0 275506454 394596352 70910 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=385348 CPUtime=461.04 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 12981 0 0 0 46082 22 0 0 20 0 3 0 275506454 394596352 70910 33554432000 4194304 5965102 140735429104320 139773881289064 4380288 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 385348
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8547
/proc/meminfo: memFree=30180440/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=385780 CPUtime=1044.31 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 72556 0 0 0 104328 103 0 0 20 0 3 0 275506454 395038720 71689 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 96445 71689 195 433 0 96009 0
[pid=8498/tid=8499] ppid=8496 vsize=385780 CPUtime=520.86 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 58620 0 0 0 51991 95 0 0 20 0 3 0 275506454 395038720 71689 33554432000 4194304 5965102 140735429104320 139773891778552 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=385780 CPUtime=520.88 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 13179 0 0 0 52066 22 0 0 20 0 3 0 275506454 395038720 71689 33554432000 4194304 5965102 140735429104320 139773881289064 4390219 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 385780
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8547
/proc/meminfo: memFree=30137292/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=387564 CPUtime=1164.28 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 78814 0 0 0 116313 115 0 0 20 0 3 0 275506454 396865536 78441 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 96891 78441 195 433 0 96455 0
[pid=8498/tid=8499] ppid=8496 vsize=387564 CPUtime=580.68 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 64392 0 0 0 57961 107 0 0 20 0 3 0 275506454 396865536 78441 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=387564 CPUtime=580.73 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 13665 0 0 0 58050 23 0 0 20 0 3 0 275506454 396865536 78441 33554432000 4194304 5965102 140735429104320 139773881288824 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 387564
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 8548
/proc/meminfo: memFree=30104824/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=389840 CPUtime=1284.26 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 84087 0 0 0 128299 127 0 0 20 0 3 0 275506454 399196160 83709 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 97460 83709 195 433 0 97024 0
[pid=8498/tid=8499] ppid=8496 vsize=389840 CPUtime=640.52 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 68153 0 0 0 63935 117 0 0 20 0 3 0 275506454 399196160 83709 33554432000 4194304 5965102 140735429104320 139773891778072 4400986 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=389840 CPUtime=640.57 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 15177 0 0 0 64030 27 0 0 20 0 3 0 275506454 399196160 83709 33554432000 4194304 5965102 140735429104320 139773881288536 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 389840
[startup+702.3 s]
/proc/loadavg: 3.96 3.98 3.95 5/181 8548
/proc/meminfo: memFree=30065764/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=458456 CPUtime=1404.24 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 90312 0 0 0 140283 141 0 0 20 0 3 0 275506454 469458944 89934 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 114614 89934 195 433 0 114178 0
[pid=8498/tid=8499] ppid=8496 vsize=458456 CPUtime=700.37 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 73859 0 0 0 69906 131 0 0 20 0 3 0 275506454 469458944 89934 33554432000 4194304 5965102 140735429104320 139773891778072 4380048 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=458456 CPUtime=700.42 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 15696 0 0 0 70013 29 0 0 20 0 3 0 275506454 469458944 89934 33554432000 4194304 5965102 140735429104320 139773881288536 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 458456
[startup+762.3 s]
/proc/loadavg: 3.93 3.97 3.94 5/181 8548
/proc/meminfo: memFree=30043932/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=463132 CPUtime=1524.23 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 93936 0 0 0 152276 147 0 0 20 0 3 0 275506454 474247168 93555 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 115783 93555 195 433 0 115347 0
[pid=8498/tid=8499] ppid=8496 vsize=463132 CPUtime=760.22 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 76028 0 0 0 75886 136 0 0 20 0 3 0 275506454 474247168 93555 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=463132 CPUtime=760.27 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 17151 0 0 0 75994 33 0 0 20 0 3 0 275506454 474247168 93555 33554432000 4194304 5965102 140735429104320 139773881289016 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 463132
[startup+822.3 s]
/proc/loadavg: 3.97 3.97 3.94 5/181 8548
/proc/meminfo: memFree=30015304/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=466940 CPUtime=1644.2 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 98195 0 0 0 164266 154 0 0 20 0 3 0 275506454 478146560 97814 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 116735 97814 195 433 0 116299 0
[pid=8498/tid=8499] ppid=8496 vsize=466940 CPUtime=820.06 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 80145 0 0 0 81862 144 0 0 20 0 3 0 275506454 478146560 97814 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=466940 CPUtime=820.11 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 17293 0 0 0 81977 34 0 0 20 0 3 0 275506454 478146560 97814 33554432000 4194304 5965102 140735429104320 139773881288536 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 466940
[startup+882.307 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 8548
/proc/meminfo: memFree=29998280/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=467480 CPUtime=1764.19 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 98795 0 0 0 176263 156 0 0 20 0 3 0 275506454 478699520 98411 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 116870 98411 195 433 0 116434 0
[pid=8498/tid=8499] ppid=8496 vsize=467480 CPUtime=879.91 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 80633 0 0 0 87845 146 0 0 20 0 3 0 275506454 478699520 98411 33554432000 4194304 5965102 140735429104320 139773891778600 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=467480 CPUtime=879.96 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 17405 0 0 0 87961 35 0 0 20 0 3 0 275506454 478699520 98411 33554432000 4194304 5965102 140735429104320 139773881288536 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 467480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/180 8548
/proc/meminfo: memFree=29990336/32873844 swapFree=7108/7108
[pid=8498] ppid=8496 vsize=467480 CPUtime=1800.18 cores=0,2,4,6
/proc/8498/stat : 8498 (pwbo2.0) S 8496 8498 7054 0 -1 4202496 100274 0 0 0 179859 159 0 0 20 0 3 0 275506454 478699520 99738 33554432000 4194304 5965102 140735429104320 140735429103840 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8498/statm: 116870 99738 195 433 0 116434 0
[pid=8498/tid=8499] ppid=8496 vsize=467480 CPUtime=897.86 cores=0,2,4,6
/proc/8498/task/8499/stat : 8499 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 82112 0 0 0 89637 149 0 0 20 0 3 0 275506454 478699520 99738 33554432000 4194304 5965102 140735429104320 139773891778072 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8498/tid=8500] ppid=8496 vsize=467480 CPUtime=897.92 cores=0,2,4,6
/proc/8498/task/8500/stat : 8500 (pwbo2.0) R 8496 8498 7054 0 -1 4202560 17405 0 0 0 89757 35 0 0 20 0 3 0 275506454 478699520 99738 33554432000 4194304 5965102 140735429104320 139773881289048 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 467480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8498 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=947278
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=869715
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.32
CPU time (s): 1800.18
CPU user time (s): 1798.59
CPU system time (s): 1.59
CPU usage (%): 199.949
Max. virtual memory (cumulated for all children) (KiB): 467480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 1.86972
maximum resident set size= 398956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100275
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= 218
involuntary context switches= 2345
runsolver used 1.70074 second user time and 5.16521 second system time
The end