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-3500390-1307994739/watcher-3500390-1307994739 -o /var/tmp/evaluation-result-3500390-1307994739/solver-3500390-1307994739 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500390-1307994739.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.97 3.97 3.91 4/179 12593
/proc/meminfo: memFree=8101312/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=135032 CPUtime=0 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 495 0 0 0 0 0 0 0 25 0 3 0 989704695 138272768 437 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 33758 437 171 372 0 33383 0
[pid=12593/tid=12594] ppid=12591 vsize=135032 CPUtime=0 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 70 0 0 0 0 0 0 0 25 0 3 0 989704696 138272768 445 33554432000 4194304 5714118 140736226382160 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=135032 CPUtime=0 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 32 0 0 0 0 0 0 0 18 0 3 0 989704696 138272768 446 33554432000 4194304 5714118 140736226382160 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.0517061 s]
/proc/loadavg: 3.97 3.97 3.91 4/179 12593
/proc/meminfo: memFree=8101312/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=147724 CPUtime=0.09 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 5924 0 0 0 8 1 0 0 25 0 3 0 989704695 151269376 5847 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 36931 5847 177 372 0 36556 0
[pid=12593/tid=12594] ppid=12591 vsize=147724 CPUtime=0.04 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 208 0 0 0 4 0 0 0 18 0 3 0 989704696 151269376 5847 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=147724 CPUtime=0.04 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5315 0 0 0 3 1 0 0 18 0 3 0 989704696 151269376 5847 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 147724
[startup+0.100697 s]
/proc/loadavg: 3.97 3.97 3.91 4/179 12593
/proc/meminfo: memFree=8101312/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148088 CPUtime=0.18 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 6119 0 0 0 17 1 0 0 25 0 3 0 989704695 151642112 6042 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37022 6042 179 372 0 36647 0
[pid=12593/tid=12594] ppid=12591 vsize=148088 CPUtime=0.09 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 320 0 0 0 9 0 0 0 18 0 3 0 989704696 151642112 6042 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148088 CPUtime=0.09 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5398 0 0 0 8 1 0 0 18 0 3 0 989704696 151642112 6042 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 148088
[startup+0.300667 s]
/proc/loadavg: 3.97 3.97 3.91 4/179 12593
/proc/meminfo: memFree=8101312/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148088 CPUtime=0.59 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 6525 0 0 0 55 4 0 0 25 0 3 0 989704695 151642112 6448 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37022 6448 179 372 0 36647 0
[pid=12593/tid=12594] ppid=12591 vsize=148088 CPUtime=0.28 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 726 0 0 0 26 2 0 0 18 0 3 0 989704696 151642112 6448 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148088 CPUtime=0.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5398 0 0 0 28 1 0 0 18 0 3 0 989704696 151642112 6448 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 148088
[startup+0.700599 s]
/proc/loadavg: 3.97 3.97 3.91 4/179 12593
/proc/meminfo: memFree=8101312/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148088 CPUtime=1.38 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 7279 0 0 0 130 8 0 0 25 0 3 0 989704695 151642112 7202 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37022 7202 179 372 0 36647 0
[pid=12593/tid=12594] ppid=12591 vsize=148088 CPUtime=0.69 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 1305 0 0 0 62 7 0 0 18 0 3 0 989704696 151642112 7202 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148088 CPUtime=0.68 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5573 0 0 0 67 1 0 0 18 0 3 0 989704696 151642112 7202 33554432000 4194304 5714118 140736226382160 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 148088
[startup+1.50035 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 12596
/proc/meminfo: memFree=8070320/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148232 CPUtime=2.98 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 8376 0 0 0 284 14 0 0 25 0 3 0 989704695 151789568 8299 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37058 8300 179 372 0 36683 0
[pid=12593/tid=12594] ppid=12591 vsize=148232 CPUtime=1.48 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 2403 0 0 0 136 12 0 0 19 0 3 0 989704696 151789568 8300 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148232 CPUtime=1.48 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5573 0 0 0 147 1 0 0 20 0 3 0 989704696 151789568 8300 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 148232
[startup+3.10107 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 12596
/proc/meminfo: memFree=8066596/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148232 CPUtime=6.19 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 9932 0 0 0 599 20 0 0 25 0 3 0 989704695 151789568 9855 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37058 9855 180 372 0 36683 0
[pid=12593/tid=12594] ppid=12591 vsize=148232 CPUtime=3.08 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 3628 0 0 0 292 16 0 0 23 0 3 0 989704696 151789568 9855 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148232 CPUtime=3.09 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5903 0 0 0 306 3 0 0 25 0 3 0 989704696 151789568 9855 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 148232
[startup+6.30056 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 12596
/proc/meminfo: memFree=8056056/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148376 CPUtime=12.58 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 12017 0 0 0 1228 30 0 0 25 0 3 0 989704695 151937024 11940 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37094 11940 180 372 0 36719 0
[pid=12593/tid=12594] ppid=12591 vsize=148376 CPUtime=6.28 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5042 0 0 0 604 24 0 0 25 0 3 0 989704696 151937024 11940 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148376 CPUtime=6.28 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 6574 0 0 0 623 5 0 0 25 0 3 0 989704696 151937024 11940 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 148376
[startup+12.7005 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 12597
/proc/meminfo: memFree=8041748/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=148552 CPUtime=25.38 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 15298 0 0 0 2491 47 0 0 25 0 3 0 989704695 152117248 15183 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37138 15183 180 372 0 36763 0
[pid=12593/tid=12594] ppid=12591 vsize=148552 CPUtime=12.68 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 5958 0 0 0 1231 37 0 0 25 0 3 0 989704696 152117248 15183 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=148552 CPUtime=12.68 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 8939 0 0 0 1259 9 0 0 25 0 3 0 989704696 152117248 15183 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 148552
[startup+25.5013 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 12597
/proc/meminfo: memFree=8021912/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=149140 CPUtime=50.99 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 20205 0 0 0 5022 77 0 0 25 0 3 0 989704695 152719360 20090 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 37285 20090 180 372 0 36910 0
[pid=12593/tid=12594] ppid=12591 vsize=149140 CPUtime=25.49 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 9621 0 0 0 2489 60 0 0 25 0 3 0 989704696 152719360 20090 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=149140 CPUtime=25.48 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 10183 0 0 0 2532 16 0 0 25 0 3 0 989704696 152719360 20090 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 149140
[startup+51.1008 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12598
/proc/meminfo: memFree=7968336/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=216508 CPUtime=102.18 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 33715 0 0 0 10077 141 0 0 25 0 3 0 989704695 221704192 33600 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 54127 33600 180 372 0 53752 0
[pid=12593/tid=12594] ppid=12591 vsize=216508 CPUtime=51.09 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 16960 0 0 0 4997 112 0 0 25 0 3 0 989704696 221704192 33600 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=216508 CPUtime=51.09 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 16354 0 0 0 5080 29 0 0 25 0 3 0 989704696 221704192 33600 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 216508
[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12599
/proc/meminfo: memFree=7857932/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=284100 CPUtime=204.6 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 49323 0 0 0 20235 225 0 0 25 0 3 0 989704695 290918400 49208 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 71025 49208 180 372 0 70650 0
[pid=12593/tid=12594] ppid=12591 vsize=284100 CPUtime=102.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 28912 0 0 0 10052 177 0 0 25 0 3 0 989704696 290918400 49208 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=284100 CPUtime=102.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 20010 0 0 0 10181 48 0 0 25 0 3 0 989704696 290918400 49208 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 284100
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12601
/proc/meminfo: memFree=7771456/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=351764 CPUtime=324.59 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 69581 0 0 0 32154 305 0 0 25 0 3 0 989704695 360206336 69466 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 87941 69466 180 372 0 87566 0
[pid=12593/tid=12594] ppid=12591 vsize=351764 CPUtime=162.28 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 39919 0 0 0 15990 238 0 0 25 0 3 0 989704696 360206336 69466 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=351764 CPUtime=162.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 29261 0 0 0 16163 66 0 0 25 0 3 0 989704696 360206336 69466 33554432000 4194304 5714118 140736226382160 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 351764
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12602
/proc/meminfo: memFree=7694288/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=483780 CPUtime=444.59 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 86837 0 0 0 44085 374 0 0 25 0 3 0 989704695 495390720 86721 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 120945 86721 180 372 0 120570 0
[pid=12593/tid=12594] ppid=12591 vsize=483780 CPUtime=222.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 49116 0 0 0 21942 287 0 0 25 0 3 0 989704696 495390720 86721 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=483780 CPUtime=222.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 37320 0 0 0 22142 87 0 0 25 0 3 0 989704696 495390720 86721 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 483780
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12604
/proc/meminfo: memFree=7653580/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=484496 CPUtime=564.59 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 96089 0 0 0 56010 449 0 0 25 0 3 0 989704695 496123904 95973 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121124 95973 180 372 0 120749 0
[pid=12593/tid=12594] ppid=12591 vsize=484496 CPUtime=282.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 58222 0 0 0 27882 347 0 0 25 0 3 0 989704696 496123904 95973 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=484496 CPUtime=282.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 37466 0 0 0 28127 102 0 0 25 0 3 0 989704696 496123904 95973 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 484496
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12646
/proc/meminfo: memFree=7886216/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=484904 CPUtime=684.6 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 102397 0 0 0 67934 526 0 0 25 0 3 0 989704695 496541696 102207 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121226 102207 180 372 0 120851 0
[pid=12593/tid=12594] ppid=12591 vsize=484904 CPUtime=342.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64335 0 0 0 33821 408 0 0 25 0 3 0 989704696 496541696 102207 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=484904 CPUtime=342.3 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 37661 0 0 0 34113 117 0 0 25 0 3 0 989704696 496541696 102207 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 484904
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12648
/proc/meminfo: memFree=7795188/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=486348 CPUtime=804.6 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 102933 0 0 0 79866 594 0 0 25 0 3 0 989704695 498020352 102743 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121587 102743 180 372 0 121212 0
[pid=12593/tid=12594] ppid=12591 vsize=486348 CPUtime=402.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64500 0 0 0 39762 467 0 0 25 0 3 0 989704696 498020352 102743 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=486348 CPUtime=402.3 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 38032 0 0 0 40103 127 0 0 25 0 3 0 989704696 498020352 102743 33554432000 4194304 5714118 140736226382160 18446744073709551615 4310814 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 486348
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12650
/proc/meminfo: memFree=7723952/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=486348 CPUtime=924.61 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 103123 0 0 0 91806 655 0 0 25 0 3 0 989704695 498020352 102933 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121587 102933 180 372 0 121212 0
[pid=12593/tid=12594] ppid=12591 vsize=486348 CPUtime=462.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64664 0 0 0 45715 514 0 0 25 0 3 0 989704696 498020352 102933 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=486348 CPUtime=462.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 38058 0 0 0 46089 140 0 0 25 0 3 0 989704696 498020352 102933 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 486348
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12651
/proc/meminfo: memFree=7658292/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=486900 CPUtime=1044.61 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 103360 0 0 0 103748 713 0 0 25 0 3 0 989704695 498585600 103170 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121725 103170 180 372 0 121350 0
[pid=12593/tid=12594] ppid=12591 vsize=486900 CPUtime=522.3 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64786 0 0 0 51672 558 0 0 25 0 3 0 989704696 498585600 103170 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=486900 CPUtime=522.29 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 38173 0 0 0 52075 154 0 0 25 0 3 0 989704696 498585600 103170 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 486900
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12662
/proc/meminfo: memFree=7591944/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=487976 CPUtime=1164.61 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 103726 0 0 0 115697 764 0 0 25 0 3 0 989704695 499687424 103536 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 121994 103536 180 372 0 121619 0
[pid=12593/tid=12594] ppid=12591 vsize=487976 CPUtime=582.3 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64924 0 0 0 57634 596 0 0 25 0 3 0 989704696 499687424 103536 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=487976 CPUtime=582.3 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 38401 0 0 0 58063 167 0 0 25 0 3 0 989704696 499687424 103536 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 487976
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12663
/proc/meminfo: memFree=7525400/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=489732 CPUtime=1284.62 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 104168 0 0 0 127649 813 0 0 25 0 3 0 989704695 501485568 103978 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 122433 103978 180 372 0 122058 0
[pid=12593/tid=12594] ppid=12591 vsize=489732 CPUtime=642.3 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 64972 0 0 0 63595 635 0 0 25 0 3 0 989704696 501485568 103978 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=489732 CPUtime=642.31 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 38795 0 0 0 64054 177 0 0 25 0 3 0 989704696 501485568 103978 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 489732
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12665
/proc/meminfo: memFree=7430236/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=490692 CPUtime=1404.62 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 113761 0 0 0 139593 869 0 0 25 0 3 0 989704695 502468608 113571 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 122673 113571 180 372 0 122298 0
[pid=12593/tid=12594] ppid=12591 vsize=490692 CPUtime=702.29 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 65008 0 0 0 69555 674 0 0 25 0 3 0 989704696 502468608 113571 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=490692 CPUtime=702.3 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 48352 0 0 0 70036 194 0 0 25 0 3 0 989704696 502468608 113571 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 490692
[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12667
/proc/meminfo: memFree=7334424/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=623464 CPUtime=1524.63 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 124600 0 0 0 151540 923 0 0 25 0 3 0 989704695 638427136 124410 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 155866 124410 180 372 0 155491 0
[pid=12593/tid=12594] ppid=12591 vsize=623464 CPUtime=762.31 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 67530 0 0 0 75517 714 0 0 25 0 3 0 989704696 638427136 124410 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=623464 CPUtime=762.31 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 56669 0 0 0 76023 208 0 0 25 0 3 0 989704696 638427136 124410 33554432000 4194304 5714118 140736226382160 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 623464
[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12668
/proc/meminfo: memFree=7239024/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=623948 CPUtime=1644.62 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 135015 0 0 0 163480 982 0 0 25 0 3 0 989704695 638922752 134824 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 155987 134824 180 372 0 155612 0
[pid=12593/tid=12594] ppid=12591 vsize=623948 CPUtime=822.3 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 77922 0 0 0 81467 763 0 0 25 0 3 0 989704696 638922752 134824 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=623948 CPUtime=822.3 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 56692 0 0 0 82012 218 0 0 25 0 3 0 989704696 638922752 134824 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 623948
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12670
/proc/meminfo: memFree=7165052/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=689484 CPUtime=1764.62 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 139539 0 0 0 175426 1036 0 0 25 0 3 0 989704695 706031616 139348 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 172371 139348 180 372 0 171996 0
[pid=12593/tid=12594] ppid=12591 vsize=689484 CPUtime=882.3 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 82405 0 0 0 87421 809 0 0 25 0 3 0 989704696 706031616 139348 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=689484 CPUtime=882.31 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 56733 0 0 0 88004 227 0 0 25 0 3 0 989704696 706031616 139348 33554432000 4194304 5714118 140736226382160 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 689484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12670
/proc/meminfo: memFree=7140244/32950940 swapFree=67053420/67111528
[pid=12593] ppid=12591 vsize=689980 CPUtime=1800.04 cores=0,2,4,6
/proc/12593/stat : 12593 (pwbo1.1) S 12591 12593 11319 0 -1 4202496 142026 0 0 0 178950 1054 0 0 25 0 3 0 989704695 706539520 141835 33554432000 4194304 5714118 140736226382160 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12593/statm: 172495 141835 180 372 0 172120 0
[pid=12593/tid=12594] ppid=12591 vsize=689980 CPUtime=900.01 cores=0,2,4,6
/proc/12593/task/12594/stat : 12594 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 84803 0 0 0 89178 823 0 0 25 0 3 0 989704696 706539520 141835 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=12593/tid=12595] ppid=12591 vsize=689980 CPUtime=900.01 cores=0,2,4,6
/proc/12593/task/12595/stat : 12595 (pwbo1.1) R 12591 12593 11319 0 -1 4202560 56822 0 0 0 89771 230 0 0 25 0 3 0 989704696 706539520 141835 33554432000 4194304 5714118 140736226382160 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 689980
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.037
CPU time (s): 1800.08
CPU user time (s): 1789.51
CPU system time (s): 10.5644
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 689980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.51
system time used= 10.5644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142031
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= 137
involuntary context switches= 2454
runsolver used 1.2988 second user time and 2.88356 second system time
The end