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-3500370-1307994485/watcher-3500370-1307994485 -o /var/tmp/evaluation-result-3500370-1307994485/solver-3500370-1307994485 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500370-1307994485.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.86 3.97 3.90 3/179 23745
/proc/meminfo: memFree=15209616/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) R 23743 23745 22391 0 -1 4202496 455 0 0 0 0 0 0 0 25 0 1 0 891864155 3178496 407 33554432000 4194304 5714118 140736077173632 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23745/statm: 776 408 166 372 0 283 0
[startup+0.020519 s]
/proc/loadavg: 3.86 3.97 3.90 3/179 23745
/proc/meminfo: memFree=15209616/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=5488 CPUtime=0.01 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) R 23743 23745 22391 0 -1 4202496 1071 0 0 0 1 0 0 0 25 0 1 0 891864155 5619712 1023 33554432000 4194304 5714118 140736077173632 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23745/statm: 1372 1024 205 372 0 879 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5488
[startup+0.104529 s]
/proc/loadavg: 3.86 3.97 3.90 3/179 23745
/proc/meminfo: memFree=15209616/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=141852 CPUtime=0.15 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 4230 0 0 0 15 0 0 0 25 0 3 0 891864155 145256448 4064 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 35463 4064 178 372 0 35088 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 141852
[startup+0.300463 s]
/proc/loadavg: 3.86 3.97 3.90 3/179 23745
/proc/meminfo: memFree=15209616/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=141852 CPUtime=0.54 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 4708 0 0 0 54 0 0 0 25 0 3 0 891864155 145256448 4542 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 35463 4542 179 372 0 35088 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 141852
[startup+0.700391 s]
/proc/loadavg: 3.86 3.97 3.90 3/179 23745
/proc/meminfo: memFree=15209616/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=141852 CPUtime=1.35 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 4915 0 0 0 134 1 0 0 25 0 3 0 891864155 145256448 4749 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 35463 4749 179 372 0 35088 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 141852
[startup+1.50022 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 23748
/proc/meminfo: memFree=15185416/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144104 CPUtime=2.95 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 6362 0 0 0 293 2 0 0 25 0 3 0 891864155 147562496 6195 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36026 6195 179 372 0 35651 0
[pid=23745/tid=23747] ppid=23743 vsize=144104 CPUtime=1.45 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 2738 0 0 0 144 1 0 0 25 0 3 0 891864159 147562496 6195 33554432000 4194304 5714118 140736077173632 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144104 CPUtime=1.45 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 1427 0 0 0 144 1 0 0 25 0 3 0 891864159 147562496 6195 33554432000 4194304 5714118 140736077173632 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 144104
[startup+3.10091 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 23748
/proc/meminfo: memFree=15183388/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144104 CPUtime=6.15 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 6562 0 0 0 611 4 0 0 25 0 3 0 891864155 147562496 6395 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36026 6395 179 372 0 35651 0
[pid=23745/tid=23747] ppid=23743 vsize=144104 CPUtime=3.04 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 2740 0 0 0 303 1 0 0 25 0 3 0 891864159 147562496 6395 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144104 CPUtime=3.05 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 1625 0 0 0 303 2 0 0 25 0 3 0 891864159 147562496 6395 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 144104
[startup+6.30028 s]
/proc/loadavg: 3.87 3.97 3.90 5/182 23748
/proc/meminfo: memFree=15178988/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144248 CPUtime=12.54 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 7394 0 0 0 1247 7 0 0 25 0 3 0 891864155 147709952 7227 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36062 7227 179 372 0 35687 0
[pid=23745/tid=23747] ppid=23743 vsize=144248 CPUtime=6.25 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 3259 0 0 0 622 3 0 0 25 0 3 0 891864159 147709952 7227 33554432000 4194304 5714118 140736077173632 18446744073709551615 4322692 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144248 CPUtime=6.24 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 1938 0 0 0 621 3 0 0 25 0 3 0 891864159 147709952 7227 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 144248
[startup+12.701 s]
/proc/loadavg: 3.88 3.97 3.91 5/182 23748
/proc/meminfo: memFree=15172668/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144464 CPUtime=25.35 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 7916 0 0 0 2524 11 0 0 25 0 3 0 891864155 147931136 7749 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36116 7749 179 372 0 35741 0
[pid=23745/tid=23747] ppid=23743 vsize=144464 CPUtime=12.64 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 3288 0 0 0 1260 4 0 0 25 0 3 0 891864159 147931136 7749 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144464 CPUtime=12.65 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 2431 0 0 0 1259 6 0 0 25 0 3 0 891864159 147931136 7749 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 144464
[startup+25.5005 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 23749
/proc/meminfo: memFree=15163112/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144320 CPUtime=50.95 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 9144 0 0 0 5074 21 0 0 25 0 3 0 891864155 147783680 8946 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36080 8946 179 372 0 35705 0
[pid=23745/tid=23747] ppid=23743 vsize=144320 CPUtime=25.45 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4337 0 0 0 2536 9 0 0 25 0 3 0 891864159 147783680 8946 33554432000 4194304 5714118 140736077173632 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144320 CPUtime=25.45 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 2610 0 0 0 2534 11 0 0 25 0 3 0 891864159 147783680 8946 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 144320
[startup+51.1004 s]
/proc/loadavg: 3.94 3.97 3.91 5/182 23749
/proc/meminfo: memFree=15160772/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144428 CPUtime=102.15 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 9507 0 0 0 10179 36 0 0 25 0 3 0 891864155 147894272 9309 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36107 9309 180 372 0 35732 0
[pid=23745/tid=23747] ppid=23743 vsize=144428 CPUtime=51.05 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4340 0 0 0 5088 17 0 0 25 0 3 0 891864159 147894272 9309 33554432000 4194304 5714118 140736077173632 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144428 CPUtime=51.04 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 2970 0 0 0 5086 18 0 0 25 0 3 0 891864159 147894272 9309 33554432000 4194304 5714118 140736077173632 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 144428
[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 23751
/proc/meminfo: memFree=15135164/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144428 CPUtime=204.56 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 12220 0 0 0 20386 70 0 0 25 0 3 0 891864155 147894272 12022 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36107 12022 180 372 0 35732 0
[pid=23745/tid=23747] ppid=23743 vsize=144428 CPUtime=102.26 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 6623 0 0 0 10190 36 0 0 25 0 3 0 891864159 147894272 12022 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144428 CPUtime=102.26 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 3400 0 0 0 10192 34 0 0 25 0 3 0 891864159 147894272 12022 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 144428
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23752
/proc/meminfo: memFree=15115888/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=324.56 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 16808 0 0 0 32348 108 0 0 25 0 3 0 891864155 148058112 16610 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 16610 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=162.26 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 10489 0 0 0 16169 57 0 0 25 0 3 0 891864159 148058112 16610 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=162.25 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4122 0 0 0 16175 50 0 0 25 0 3 0 891864159 148058112 16610 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 144588
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23754
/proc/meminfo: memFree=15104564/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=444.57 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 17285 0 0 0 44311 146 0 0 25 0 3 0 891864155 148058112 17087 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 17087 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=222.25 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 10507 0 0 0 22149 76 0 0 25 0 3 0 891864159 148058112 17087 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=222.26 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4581 0 0 0 22157 69 0 0 25 0 3 0 891864159 148058112 17087 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 144588
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23755
/proc/meminfo: memFree=15091884/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=564.57 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 17395 0 0 0 56277 180 0 0 25 0 3 0 891864155 148058112 17197 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 17197 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=282.26 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 10507 0 0 0 28130 96 0 0 25 0 3 0 891864159 148058112 17197 33554432000 4194304 5714118 140736077173632 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=282.25 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4691 0 0 0 28143 82 0 0 25 0 3 0 891864159 148058112 17197 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 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) 144588
[startup+342.301 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 23757
/proc/meminfo: memFree=15077208/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144912 CPUtime=684.57 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 19533 0 0 0 68240 217 0 0 25 0 3 0 891864155 148389888 19335 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36228 19335 180 372 0 35853 0
[pid=23745/tid=23747] ppid=23743 vsize=144912 CPUtime=342.26 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 12623 0 0 0 34110 116 0 0 25 0 3 0 891864159 148389888 19335 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144912 CPUtime=342.26 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4713 0 0 0 34126 100 0 0 25 0 3 0 891864159 148389888 19335 33554432000 4194304 5714118 140736077173632 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) 144912
[startup+402.301 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 23759
/proc/meminfo: memFree=15057580/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=804.59 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 22401 0 0 0 80204 255 0 0 25 0 3 0 891864155 148058112 22147 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 22147 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=402.26 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 15418 0 0 0 40087 139 0 0 25 0 3 0 891864159 148058112 22147 33554432000 4194304 5714118 140736077173632 18446744073709551615 4305221 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=402.27 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4786 0 0 0 40112 115 0 0 25 0 3 0 891864159 148058112 22147 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 144588
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23760
/proc/meminfo: memFree=15050604/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=924.59 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 22440 0 0 0 92172 287 0 0 25 0 3 0 891864155 148058112 22186 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 22186 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=462.27 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 15419 0 0 0 46070 157 0 0 25 0 3 0 891864159 148058112 22186 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=462.27 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 4824 0 0 0 46098 129 0 0 25 0 3 0 891864159 148058112 22186 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 144588
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23762
/proc/meminfo: memFree=15040988/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=1044.6 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 22899 0 0 0 104137 323 0 0 25 0 3 0 891864155 148058112 22645 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 22645 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=522.27 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 15421 0 0 0 52051 176 0 0 25 0 3 0 891864159 148058112 22645 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=522.27 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5281 0 0 0 52081 146 0 0 25 0 3 0 891864159 148058112 22645 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 144588
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23763
/proc/meminfo: memFree=15031288/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=144588 CPUtime=1164.6 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 23522 0 0 0 116100 360 0 0 25 0 3 0 891864155 148058112 23268 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 36147 23268 180 372 0 35772 0
[pid=23745/tid=23747] ppid=23743 vsize=144588 CPUtime=582.27 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 16043 0 0 0 58030 197 0 0 25 0 3 0 891864159 148058112 23268 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=144588 CPUtime=582.27 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5282 0 0 0 58065 162 0 0 25 0 3 0 891864159 148058112 23268 33554432000 4194304 5714118 140736077173632 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 144588
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23765
/proc/meminfo: memFree=15009428/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=210124 CPUtime=1284.62 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 27052 0 0 0 128060 402 0 0 25 0 3 0 891864155 215166976 26798 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 52531 26798 180 372 0 52156 0
[pid=23745/tid=23747] ppid=23743 vsize=210124 CPUtime=642.29 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 19567 0 0 0 64009 220 0 0 25 0 3 0 891864159 215166976 26798 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=210124 CPUtime=642.29 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5288 0 0 0 64047 182 0 0 25 0 3 0 891864159 215166976 26798 33554432000 4194304 5714118 140736077173632 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 210124
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23767
/proc/meminfo: memFree=14979368/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=210124 CPUtime=1404.62 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 30561 0 0 0 140024 438 0 0 25 0 3 0 891864155 215166976 30307 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 52531 30307 180 372 0 52156 0
[pid=23745/tid=23747] ppid=23743 vsize=210124 CPUtime=702.28 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 23073 0 0 0 69984 244 0 0 25 0 3 0 891864159 215166976 30307 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=210124 CPUtime=702.27 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5291 0 0 0 70034 193 0 0 25 0 3 0 891864159 215166976 30307 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 210124
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23768
/proc/meminfo: memFree=14964956/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=210124 CPUtime=1524.63 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 34182 0 0 0 151986 477 0 0 25 0 3 0 891864155 215166976 33928 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 52531 33928 180 372 0 52156 0
[pid=23745/tid=23747] ppid=23743 vsize=210124 CPUtime=762.29 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 26553 0 0 0 75961 268 0 0 25 0 3 0 891864159 215166976 33928 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=210124 CPUtime=762.28 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5432 0 0 0 76020 208 0 0 25 0 3 0 891864159 215166976 33928 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 210124
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23779
/proc/meminfo: memFree=14947636/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=210124 CPUtime=1644.62 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 37905 0 0 0 163945 517 0 0 25 0 3 0 891864155 215166976 37650 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 52531 37650 180 372 0 52156 0
[pid=23745/tid=23747] ppid=23743 vsize=210124 CPUtime=822.29 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 30113 0 0 0 81934 295 0 0 25 0 3 0 891864159 215166976 37650 33554432000 4194304 5714118 140736077173632 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=210124 CPUtime=822.29 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5595 0 0 0 82007 222 0 0 25 0 3 0 891864159 215166976 37650 33554432000 4194304 5714118 140736077173632 18446744073709551615 4200608 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 210124
[startup+882.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 23780
/proc/meminfo: memFree=14934332/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=275660 CPUtime=1764.62 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 40986 0 0 0 175906 556 0 0 25 0 3 0 891864155 282275840 40731 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 68915 40731 180 372 0 68540 0
[pid=23745/tid=23747] ppid=23743 vsize=275660 CPUtime=882.29 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 33163 0 0 0 87914 315 0 0 25 0 3 0 891864159 282275840 40731 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=275660 CPUtime=882.29 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5626 0 0 0 87988 241 0 0 25 0 3 0 891864159 282275840 40731 33554432000 4194304 5714118 140736077173632 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 275660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 23822
/proc/meminfo: memFree=15080348/32951124 swapFree=67054448/67111528
[pid=23745] ppid=23743 vsize=275660 CPUtime=1800.04 cores=1,3,5,7
/proc/23745/stat : 23745 (pwbo1.1) S 23743 23745 22391 0 -1 4202496 42036 0 0 0 179432 572 0 0 25 0 3 0 891864155 282275840 41781 33554432000 4194304 5714118 140736077173632 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23745/statm: 68915 41781 180 372 0 68540 0
[pid=23745/tid=23747] ppid=23743 vsize=275660 CPUtime=900 cores=1,3,5,7
/proc/23745/task/23747/stat : 23747 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 34212 0 0 0 89675 325 0 0 25 0 3 0 891864159 282275840 41781 33554432000 4194304 5714118 140736077173632 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=275660 CPUtime=900 cores=1,3,5,7
/proc/23745/task/23748/stat : 23748 (pwbo1.1) R 23743 23745 22391 0 -1 4202560 5627 0 0 0 89753 247 0 0 25 0 3 0 891864159 282275840 41781 33554432000 4194304 5714118 140736077173632 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 275660
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.02
CPU time (s): 1800.07
CPU user time (s): 1794.34
CPU system time (s): 5.73413
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 275660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 5.73413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42041
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= 12
involuntary context switches= 12514
runsolver used 1.58676 second user time and 3.3175 second system time
The end