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-3500289-1307993005/watcher-3500289-1307993005 -o /var/tmp/evaluation-result-3500289-1307993005/solver-3500289-1307993005 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500289-1307993005.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.87 3.94 3.83 3/179 12921
/proc/meminfo: memFree=12700172/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=2472 CPUtime=0 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) R 12919 12921 12151 0 -1 4202496 377 0 0 0 0 0 0 0 25 0 1 0 910901229 2531328 329 33554432000 4194304 5714118 140735122645968 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12921/statm: 618 329 166 372 0 217 0
[startup+0.036166 s]
/proc/loadavg: 3.87 3.94 3.83 3/179 12921
/proc/meminfo: memFree=12700172/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=160212 CPUtime=0.05 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 5879 0 0 0 4 1 0 0 25 0 3 0 910901229 164057088 5797 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 40053 5808 178 372 0 39678 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 160212
[startup+0.101193 s]
/proc/loadavg: 3.87 3.94 3.83 3/179 12921
/proc/meminfo: memFree=12700172/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=167792 CPUtime=0.18 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 12985 0 0 0 10 8 0 0 25 0 3 0 910901229 171819008 12790 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 41948 12795 178 372 0 41573 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 167792
[startup+0.301144 s]
/proc/loadavg: 3.87 3.94 3.83 3/179 12921
/proc/meminfo: memFree=12700172/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=170744 CPUtime=0.59 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 17268 0 0 0 47 12 0 0 25 0 3 0 910901229 174841856 17062 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42686 17062 178 372 0 42311 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 170744
[startup+0.701073 s]
/proc/loadavg: 3.87 3.94 3.83 3/179 12921
/proc/meminfo: memFree=12700172/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=170744 CPUtime=1.38 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 17576 0 0 0 126 12 0 0 25 0 3 0 910901229 174841856 17369 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42686 17369 179 372 0 42311 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 170744
[startup+1.50095 s]
/proc/loadavg: 3.87 3.94 3.83 5/182 12924
/proc/meminfo: memFree=12628012/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=171436 CPUtime=2.98 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 17976 0 0 0 285 13 0 0 25 0 3 0 910901229 175550464 17769 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42859 17769 179 372 0 42484 0
[pid=12921/tid=12923] ppid=12919 vsize=171436 CPUtime=1.48 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 1265 0 0 0 147 1 0 0 20 0 3 0 910901230 175550464 17769 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=171436 CPUtime=1.48 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 16170 0 0 0 137 11 0 0 20 0 3 0 910901230 175550464 17769 33554432000 4194304 5714118 140735122645968 18446744073709551615 4964680 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 171436
[startup+3.10063 s]
/proc/loadavg: 3.87 3.94 3.83 5/182 12924
/proc/meminfo: memFree=12623920/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=171580 CPUtime=6.18 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 18973 0 0 0 603 15 0 0 25 0 3 0 910901229 175697920 18766 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42895 18766 179 372 0 42520 0
[pid=12921/tid=12923] ppid=12919 vsize=171580 CPUtime=3.08 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 2241 0 0 0 305 3 0 0 25 0 3 0 910901230 175697920 18766 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=171580 CPUtime=3.08 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 16191 0 0 0 297 11 0 0 25 0 3 0 910901230 175697920 18766 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319704 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 171580
[startup+6.30104 s]
/proc/loadavg: 3.88 3.94 3.83 5/182 12924
/proc/meminfo: memFree=12614000/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=171436 CPUtime=12.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 19543 0 0 0 1240 18 0 0 25 0 3 0 910901229 175550464 19055 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42859 19055 179 372 0 42484 0
[pid=12921/tid=12923] ppid=12919 vsize=171436 CPUtime=6.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 2751 0 0 0 623 6 0 0 25 0 3 0 910901230 175550464 19055 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=171436 CPUtime=6.28 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 16251 0 0 0 616 12 0 0 25 0 3 0 910901230 175550464 19055 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 171436
[startup+12.7009 s]
/proc/loadavg: 3.89 3.94 3.83 5/182 12925
/proc/meminfo: memFree=12592716/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=171436 CPUtime=25.38 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 20275 0 0 0 2514 24 0 0 25 0 3 0 910901229 175550464 19787 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42859 19787 179 372 0 42484 0
[pid=12921/tid=12923] ppid=12919 vsize=171436 CPUtime=12.68 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 3368 0 0 0 1259 9 0 0 25 0 3 0 910901230 175550464 19787 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=171436 CPUtime=12.68 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 16366 0 0 0 1254 14 0 0 19 0 3 0 910901230 175550464 19787 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 171436
[startup+25.5005 s]
/proc/loadavg: 3.91 3.94 3.83 5/182 12925
/proc/meminfo: memFree=12570784/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=171568 CPUtime=50.98 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 22345 0 0 0 5062 36 0 0 25 0 3 0 910901229 175685632 21857 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 42892 21857 180 372 0 42517 0
[pid=12921/tid=12923] ppid=12919 vsize=171568 CPUtime=25.48 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 4461 0 0 0 2531 17 0 0 25 0 3 0 910901230 175685632 21857 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=171568 CPUtime=25.48 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 17343 0 0 0 2530 18 0 0 25 0 3 0 910901230 175685632 21857 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 171568
[startup+51.1008 s]
/proc/loadavg: 3.94 3.95 3.83 5/182 12926
/proc/meminfo: memFree=12491476/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=238716 CPUtime=102.17 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 35715 0 0 0 10122 95 0 0 25 0 3 0 910901229 244445184 35186 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 59679 35186 180 372 0 59304 0
[pid=12921/tid=12923] ppid=12919 vsize=238716 CPUtime=51.08 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 6093 0 0 0 5073 35 0 0 25 0 3 0 910901230 244445184 35186 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=238716 CPUtime=51.07 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 29081 0 0 0 5047 60 0 0 25 0 3 0 910901230 244445184 35186 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 238716
[startup+102.306 s]
/proc/loadavg: 3.97 3.95 3.84 5/182 12927
/proc/meminfo: memFree=12341292/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=240976 CPUtime=204.59 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 52247 0 0 0 20287 172 0 0 25 0 3 0 910901229 246759424 51718 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 60244 51718 180 372 0 59869 0
[pid=12921/tid=12923] ppid=12919 vsize=240976 CPUtime=102.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 11854 0 0 0 10158 71 0 0 25 0 3 0 910901230 246759424 51718 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=240976 CPUtime=102.29 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 39852 0 0 0 10128 101 0 0 25 0 3 0 910901230 246759424 51718 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 240976
[startup+162.3 s]
/proc/loadavg: 3.99 3.96 3.84 5/182 12929
/proc/meminfo: memFree=12266836/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=307952 CPUtime=324.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 58945 0 0 0 32235 223 0 0 25 0 3 0 910901229 315342848 58416 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 76988 58416 180 372 0 76613 0
[pid=12921/tid=12923] ppid=12919 vsize=307952 CPUtime=162.28 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 13853 0 0 0 16125 103 0 0 25 0 3 0 910901230 315342848 58416 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=307952 CPUtime=162.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 44551 0 0 0 16108 119 0 0 25 0 3 0 910901230 315342848 58416 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 307952
[startup+222.3 s]
/proc/loadavg: 4.07 3.98 3.86 5/182 12930
/proc/meminfo: memFree=12199700/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=374076 CPUtime=444.57 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 65956 0 0 0 44200 257 0 0 25 0 3 0 910901229 383053824 65427 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 93519 65427 180 372 0 93144 0
[pid=12921/tid=12923] ppid=12919 vsize=374076 CPUtime=222.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 20787 0 0 0 22094 135 0 0 25 0 3 0 910901230 383053824 65427 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=374076 CPUtime=222.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 44628 0 0 0 22105 122 0 0 25 0 3 0 910901230 383053824 65427 33554432000 4194304 5714118 140735122645968 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 374076
[startup+282.3 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12129468/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=374440 CPUtime=564.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 70617 0 0 0 56158 300 0 0 25 0 3 0 910901229 383426560 69978 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 93610 69978 180 372 0 93235 0
[pid=12921/tid=12923] ppid=12919 vsize=374440 CPUtime=282.28 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 25291 0 0 0 28056 172 0 0 25 0 3 0 910901230 383426560 69978 33554432000 4194304 5714118 140735122645968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=374440 CPUtime=282.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 44785 0 0 0 28100 127 0 0 25 0 3 0 910901230 383426560 69978 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 374440
[startup+342.3 s]
/proc/loadavg: 4.01 3.98 3.87 5/182 12973
/proc/meminfo: memFree=12421808/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=374856 CPUtime=684.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 70773 0 0 0 68123 335 0 0 25 0 3 0 910901229 383852544 70134 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 93714 70134 180 372 0 93339 0
[pid=12921/tid=12923] ppid=12919 vsize=374856 CPUtime=342.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 25326 0 0 0 34027 202 0 0 25 0 3 0 910901230 383852544 70134 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=374856 CPUtime=342.28 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 44906 0 0 0 34095 133 0 0 25 0 3 0 910901230 383852544 70134 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 374856
[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.87 5/182 12975
/proc/meminfo: memFree=12346388/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=380008 CPUtime=804.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 79458 0 0 0 80084 374 0 0 25 0 3 0 910901229 389128192 78819 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 95002 78819 180 372 0 94627 0
[pid=12921/tid=12923] ppid=12919 vsize=380008 CPUtime=402.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 32858 0 0 0 39993 236 0 0 25 0 3 0 910901230 389128192 78819 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=380008 CPUtime=402.28 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 46059 0 0 0 40090 138 0 0 25 0 3 0 910901230 389128192 78819 33554432000 4194304 5714118 140735122645968 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 380008
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.88 5/182 12977
/proc/meminfo: memFree=12246032/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=447484 CPUtime=924.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 94978 0 0 0 92025 433 0 0 25 0 3 0 910901229 458223616 94339 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 111871 94339 180 372 0 111496 0
[pid=12921/tid=12923] ppid=12919 vsize=447484 CPUtime=462.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 41313 0 0 0 45963 266 0 0 25 0 3 0 910901230 458223616 94339 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=447484 CPUtime=462.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 53124 0 0 0 46061 166 0 0 25 0 3 0 910901230 458223616 94339 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 447484
[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.88 5/182 12978
/proc/meminfo: memFree=12170576/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=517368 CPUtime=1044.57 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 111144 0 0 0 103967 490 0 0 25 0 3 0 910901229 529784832 110505 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 129342 110505 180 372 0 128967 0
[pid=12921/tid=12923] ppid=12919 vsize=517368 CPUtime=522.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 49906 0 0 0 51932 297 0 0 25 0 3 0 910901230 529784832 110505 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=517368 CPUtime=522.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 60697 0 0 0 52034 193 0 0 25 0 3 0 910901230 529784832 110505 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 517368
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.89 5/182 12980
/proc/meminfo: memFree=12049988/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=584620 CPUtime=1164.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 126459 0 0 0 115916 542 0 0 25 0 3 0 910901229 598650880 125820 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 146155 125820 180 372 0 145780 0
[pid=12921/tid=12923] ppid=12919 vsize=584620 CPUtime=582.29 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 60177 0 0 0 57899 330 0 0 25 0 3 0 910901230 598650880 125820 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=584620 CPUtime=582.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 65741 0 0 0 58016 211 0 0 25 0 3 0 910901230 598650880 125820 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 584620
[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.90 5/182 12981
/proc/meminfo: memFree=11935976/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=649672 CPUtime=1284.59 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 145164 0 0 0 127866 593 0 0 25 0 3 0 910901229 665264128 144444 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 162418 144444 180 372 0 162043 0
[pid=12921/tid=12923] ppid=12919 vsize=649672 CPUtime=642.3 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74240 0 0 0 63869 361 0 0 25 0 3 0 910901230 665264128 144444 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=649672 CPUtime=642.28 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 70383 0 0 0 63996 232 0 0 25 0 3 0 910901230 665264128 144444 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 649672
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.90 5/182 12983
/proc/meminfo: memFree=11866860/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=651184 CPUtime=1404.57 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 149522 0 0 0 139808 649 0 0 25 0 3 0 910901229 666812416 148802 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 162796 148802 180 372 0 162421 0
[pid=12921/tid=12923] ppid=12919 vsize=651184 CPUtime=702.3 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74262 0 0 0 69829 401 0 0 25 0 3 0 910901230 666812416 148802 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=651184 CPUtime=702.26 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74719 0 0 0 69978 248 0 0 25 0 3 0 910901230 666812416 148802 33554432000 4194304 5714118 140735122645968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 651184
[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12985
/proc/meminfo: memFree=11803696/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=717528 CPUtime=1524.59 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 154966 0 0 0 151752 707 0 0 25 0 3 0 910901229 734748672 154246 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 179382 154246 180 372 0 179007 0
[pid=12921/tid=12923] ppid=12919 vsize=717528 CPUtime=762.3 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74331 0 0 0 75795 435 0 0 25 0 3 0 910901230 734748672 154246 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=717528 CPUtime=762.26 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 80094 0 0 0 75955 271 0 0 25 0 3 0 910901230 734748672 154246 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 717528
[startup+822.301 s]
/proc/loadavg: 4.07 4.01 3.92 5/182 12986
/proc/meminfo: memFree=11756804/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=719064 CPUtime=1644.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 155333 0 0 0 163710 748 0 0 25 0 3 0 910901229 736321536 154613 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 179766 154613 180 372 0 179391 0
[pid=12921/tid=12923] ppid=12919 vsize=719064 CPUtime=822.3 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74352 0 0 0 81760 470 0 0 25 0 3 0 910901230 736321536 154613 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=719064 CPUtime=822.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 80440 0 0 0 81949 278 0 0 25 0 3 0 910901230 736321536 154613 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 719064
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 12988
/proc/meminfo: memFree=11724020/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=719256 CPUtime=1764.58 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 155400 0 0 0 175676 782 0 0 25 0 3 0 910901229 736518144 154680 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 179814 154680 180 372 0 179439 0
[pid=12921/tid=12923] ppid=12919 vsize=719256 CPUtime=882.31 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74352 0 0 0 87729 502 0 0 25 0 3 0 910901230 736518144 154680 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=719256 CPUtime=882.27 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 80507 0 0 0 87947 280 0 0 25 0 3 0 910901230 736518144 154680 33554432000 4194304 5714118 140735122645968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 719256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 12988
/proc/meminfo: memFree=11714216/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=719256 CPUtime=1800.2 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 155401 0 0 0 179226 794 0 0 25 0 3 0 910901229 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 179814 154681 180 372 0 179439 0
[pid=12921/tid=12923] ppid=12919 vsize=719256 CPUtime=900.11 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74352 0 0 0 89498 513 0 0 25 0 3 0 910901230 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=719256 CPUtime=900.07 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 80508 0 0 0 89726 281 0 0 25 0 3 0 910901230 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 719256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 12988
/proc/meminfo: memFree=11714216/32951124 swapFree=67056684/67111528
[pid=12921] ppid=12919 vsize=719256 CPUtime=1800.2 cores=0,2,4,6
/proc/12921/stat : 12921 (pwbo1.1) S 12919 12921 12151 0 -1 4202496 155401 0 0 0 179226 794 0 0 25 0 3 0 910901229 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12921/statm: 179814 154681 180 372 0 179439 0
[pid=12921/tid=12923] ppid=12919 vsize=719256 CPUtime=900.11 cores=0,2,4,6
/proc/12921/task/12923/stat : 12923 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 74352 0 0 0 89498 513 0 0 25 0 3 0 910901230 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12921/tid=12924] ppid=12919 vsize=719256 CPUtime=900.07 cores=0,2,4,6
/proc/12921/task/12924/stat : 12924 (pwbo1.1) R 12919 12921 12151 0 -1 4202560 80508 0 0 0 89726 281 0 0 25 0 3 0 910901230 736518144 154681 33554432000 4194304 5714118 140735122645968 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 719256
Child status: 0
Real time (s): 900.137
CPU time (s): 1800.24
CPU user time (s): 1792.28
CPU system time (s): 7.96579
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 719256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.28
system time used= 7.96579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155406
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= 153
involuntary context switches= 13101
runsolver used 1.54676 second user time and 3.17752 second system time
The end