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-3500406-1307994823/watcher-3500406-1307994823 -o /var/tmp/evaluation-result-3500406-1307994823/solver-3500406-1307994823 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500406-1307994823.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.86 3.97 3.91 3/179 13213
/proc/meminfo: memFree=12670408/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=2604 CPUtime=0 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) R 13211 13213 12151 0 -1 4202496 400 0 0 0 0 0 0 0 25 0 1 0 911083020 2666496 353 33554432000 4194304 5714118 140736201276080 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13213/statm: 651 354 165 372 0 252 0
[startup+0.046211 s]
/proc/loadavg: 3.86 3.97 3.91 3/179 13213
/proc/meminfo: memFree=12670408/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=160576 CPUtime=0.07 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 7334 0 0 0 5 2 0 0 25 0 3 0 911083020 164429824 7151 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 40144 7155 177 372 0 39769 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 160576
[startup+0.101205 s]
/proc/loadavg: 3.86 3.97 3.91 3/179 13213
/proc/meminfo: memFree=12670408/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=162524 CPUtime=0.18 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 12770 0 0 0 11 7 0 0 25 0 3 0 911083020 166424576 12540 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 40631 12544 177 372 0 40256 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162524
[startup+0.301169 s]
/proc/loadavg: 3.86 3.97 3.91 3/179 13213
/proc/meminfo: memFree=12670408/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164552 CPUtime=0.58 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 15563 0 0 0 47 11 0 0 25 0 3 0 911083020 168501248 15271 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41138 15271 179 372 0 40763 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164552
[startup+0.701085 s]
/proc/loadavg: 3.86 3.97 3.91 3/179 13213
/proc/meminfo: memFree=12670408/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164552 CPUtime=1.38 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 16055 0 0 0 127 11 0 0 25 0 3 0 911083020 168501248 15763 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41138 15763 179 372 0 40763 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164552
[startup+1.50094 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 13216
/proc/meminfo: memFree=12606720/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164552 CPUtime=2.98 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 16791 0 0 0 285 13 0 0 25 0 3 0 911083020 168501248 16499 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41138 16499 179 372 0 40763 0
[pid=13213/tid=13215] ppid=13211 vsize=164552 CPUtime=1.48 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 1904 0 0 0 146 2 0 0 20 0 3 0 911083020 168501248 16499 33554432000 4194304 5714118 140736201276080 18446744073709551615 4310935 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=164552 CPUtime=1.48 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 14381 0 0 0 138 10 0 0 19 0 3 0 911083020 168501248 16499 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 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) 164552
[startup+3.10066 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 13216
/proc/meminfo: memFree=12604744/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164696 CPUtime=6.18 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 17790 0 0 0 602 16 0 0 25 0 3 0 911083020 168648704 17498 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41174 17498 179 372 0 40799 0
[pid=13213/tid=13215] ppid=13211 vsize=164696 CPUtime=3.08 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 2830 0 0 0 303 5 0 0 25 0 3 0 911083020 168648704 17498 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=164696 CPUtime=3.08 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 14454 0 0 0 297 11 0 0 25 0 3 0 911083020 168648704 17498 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319176 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) 164696
[startup+6.30106 s]
/proc/loadavg: 3.88 3.97 3.91 5/182 13216
/proc/meminfo: memFree=12590508/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164904 CPUtime=12.58 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 20587 0 0 0 1235 23 0 0 25 0 3 0 911083020 168861696 20295 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41226 20295 179 372 0 40851 0
[pid=13213/tid=13215] ppid=13211 vsize=164904 CPUtime=6.28 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 4855 0 0 0 621 7 0 0 25 0 3 0 911083020 168861696 20295 33554432000 4194304 5714118 140736201276080 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=164904 CPUtime=6.28 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 15226 0 0 0 613 15 0 0 19 0 3 0 911083020 168861696 20295 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319195 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) 164904
[startup+12.7009 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 13216
/proc/meminfo: memFree=12576404/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164904 CPUtime=25.39 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 23559 0 0 0 2508 31 0 0 25 0 3 0 911083020 168861696 23267 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41226 23267 180 372 0 40851 0
[pid=13213/tid=13215] ppid=13211 vsize=164904 CPUtime=12.68 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 7827 0 0 0 1255 13 0 0 25 0 3 0 911083020 168861696 23267 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=164904 CPUtime=12.68 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 15226 0 0 0 1251 17 0 0 25 0 3 0 911083020 168861696 23267 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 164904
[startup+25.5005 s]
/proc/loadavg: 3.92 3.97 3.91 5/182 13216
/proc/meminfo: memFree=12561616/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=164976 CPUtime=50.99 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 27547 0 0 0 5055 44 0 0 25 0 3 0 911083020 168935424 27255 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41244 27255 180 372 0 40869 0
[pid=13213/tid=13215] ppid=13211 vsize=164976 CPUtime=25.48 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 11056 0 0 0 2527 21 0 0 25 0 3 0 911083020 168935424 27255 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=164976 CPUtime=25.48 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 15985 0 0 0 2526 22 0 0 25 0 3 0 911083020 168935424 27255 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319142 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 164976
[startup+51.1008 s]
/proc/loadavg: 3.94 3.97 3.91 5/182 13217
/proc/meminfo: memFree=12536476/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=165120 CPUtime=102.18 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 33251 0 0 0 10144 74 0 0 25 0 3 0 911083020 169082880 32959 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 41280 32959 180 372 0 40905 0
[pid=13213/tid=13215] ppid=13211 vsize=165120 CPUtime=51.08 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 15031 0 0 0 5074 34 0 0 25 0 3 0 911083020 169082880 32959 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319748 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=165120 CPUtime=51.08 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 17714 0 0 0 5069 39 0 0 25 0 3 0 911083020 169082880 32959 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 165120
[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 13218
/proc/meminfo: memFree=12465884/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=231208 CPUtime=204.59 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 49899 0 0 0 20330 129 0 0 25 0 3 0 911083020 236756992 49607 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 57802 49607 180 372 0 57427 0
[pid=13213/tid=13215] ppid=13211 vsize=231208 CPUtime=102.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 27236 0 0 0 10168 61 0 0 25 0 3 0 911083020 236756992 49607 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319247 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=231208 CPUtime=102.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 22157 0 0 0 10161 68 0 0 25 0 3 0 911083020 236756992 49607 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 231208
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 13220
/proc/meminfo: memFree=12423208/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=362688 CPUtime=324.59 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 59669 0 0 0 32278 181 0 0 25 0 3 0 911083020 371392512 59377 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 90672 59377 180 372 0 90297 0
[pid=13213/tid=13215] ppid=13211 vsize=362688 CPUtime=162.28 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 35336 0 0 0 16139 89 0 0 25 0 3 0 911083020 371392512 59377 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=362688 CPUtime=162.28 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 23827 0 0 0 16137 91 0 0 25 0 3 0 911083020 371392512 59377 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 362688
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 13222
/proc/meminfo: memFree=12388584/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=362484 CPUtime=444.59 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 67296 0 0 0 44218 241 0 0 25 0 3 0 911083020 371183616 66893 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 90621 66893 180 372 0 90246 0
[pid=13213/tid=13215] ppid=13211 vsize=362484 CPUtime=222.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 38959 0 0 0 22112 117 0 0 25 0 3 0 911083020 371183616 66893 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=362484 CPUtime=222.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 27831 0 0 0 22105 124 0 0 25 0 3 0 911083020 371183616 66893 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 362484
[startup+282.3 s]
/proc/loadavg: 3.86 3.94 3.90 5/182 13264
/proc/meminfo: memFree=12535508/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=363052 CPUtime=564.6 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 72326 0 0 0 56160 300 0 0 25 0 3 0 911083020 371765248 71923 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 90763 71923 180 372 0 90388 0
[pid=13213/tid=13215] ppid=13211 vsize=363052 CPUtime=282.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 39090 0 0 0 28088 141 0 0 25 0 3 0 911083020 371765248 71923 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=363052 CPUtime=282.28 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 32730 0 0 0 28070 158 0 0 25 0 3 0 911083020 371765248 71923 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 363052
[startup+342.301 s]
/proc/loadavg: 3.95 3.95 3.91 5/182 13266
/proc/meminfo: memFree=12417320/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=429568 CPUtime=684.6 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 82287 0 0 0 68098 362 0 0 25 0 3 0 911083020 439877632 81884 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 107392 81884 180 372 0 107017 0
[pid=13213/tid=13215] ppid=13211 vsize=429568 CPUtime=342.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 39132 0 0 0 34068 161 0 0 25 0 3 0 911083020 439877632 81884 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=429568 CPUtime=342.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 42649 0 0 0 34029 200 0 0 25 0 3 0 911083020 439877632 81884 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 429568
[startup+402.301 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13267
/proc/meminfo: memFree=12349592/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=429708 CPUtime=804.6 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 84463 0 0 0 80065 395 0 0 25 0 3 0 911083020 440020992 84060 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 107427 84060 180 372 0 107052 0
[pid=13213/tid=13215] ppid=13211 vsize=429708 CPUtime=402.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 41255 0 0 0 40054 175 0 0 25 0 3 0 911083020 440020992 84060 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=429708 CPUtime=402.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 42702 0 0 0 40009 220 0 0 25 0 3 0 911083020 440020992 84060 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 429708
[startup+462.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 13318
/proc/meminfo: memFree=12415000/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=429840 CPUtime=924.6 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 89553 0 0 0 92026 434 0 0 25 0 3 0 911083020 440156160 89150 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 107460 89150 180 372 0 107085 0
[pid=13213/tid=13215] ppid=13211 vsize=429840 CPUtime=462.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 46317 0 0 0 46032 197 0 0 25 0 3 0 911083020 440156160 89150 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=429840 CPUtime=462.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 42730 0 0 0 45993 236 0 0 25 0 3 0 911083020 440156160 89150 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 429840
[startup+522.3 s]
/proc/loadavg: 4.05 3.98 3.91 5/182 13320
/proc/meminfo: memFree=12311812/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=495816 CPUtime=1044.61 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 97730 0 0 0 103992 469 0 0 25 0 3 0 911083020 507715584 97327 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 123954 97327 180 372 0 123579 0
[pid=13213/tid=13215] ppid=13211 vsize=495816 CPUtime=522.29 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 53052 0 0 0 52013 216 0 0 25 0 3 0 911083020 507715584 97327 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=495816 CPUtime=522.29 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 44172 0 0 0 51977 252 0 0 25 0 3 0 911083020 507715584 97327 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 495816
[startup+582.301 s]
/proc/loadavg: 4.06 3.99 3.92 5/182 13321
/proc/meminfo: memFree=12224228/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=495952 CPUtime=1164.61 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 102982 0 0 0 115955 506 0 0 25 0 3 0 911083020 507854848 102579 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 123988 102579 180 372 0 123613 0
[pid=13213/tid=13215] ppid=13211 vsize=495952 CPUtime=582.3 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 58270 0 0 0 57992 238 0 0 25 0 3 0 911083020 507854848 102579 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=495952 CPUtime=582.3 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 44206 0 0 0 57962 268 0 0 25 0 3 0 911083020 507854848 102579 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 495952
[startup+642.301 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 13326
/proc/meminfo: memFree=12135400/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=496368 CPUtime=1284.63 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 109372 0 0 0 127916 547 0 0 25 0 3 0 911083020 508280832 108958 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 124092 108958 180 372 0 123717 0
[pid=13213/tid=13215] ppid=13211 vsize=496368 CPUtime=642.3 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 62298 0 0 0 63970 260 0 0 25 0 3 0 911083020 508280832 108958 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=496368 CPUtime=642.3 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 46568 0 0 0 63944 286 0 0 25 0 3 0 911083020 508280832 108958 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 496368
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13327
/proc/meminfo: memFree=12026696/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=562316 CPUtime=1404.62 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 120585 0 0 0 139872 590 0 0 25 0 3 0 911083020 575811584 120171 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 140579 120171 180 372 0 140204 0
[pid=13213/tid=13215] ppid=13211 vsize=562316 CPUtime=702.3 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 69577 0 0 0 69948 282 0 0 25 0 3 0 911083020 575811584 120171 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=562316 CPUtime=702.3 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 50502 0 0 0 69922 308 0 0 25 0 3 0 911083020 575811584 120171 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 562316
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13329
/proc/meminfo: memFree=11921120/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=562596 CPUtime=1524.64 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 132404 0 0 0 151842 622 0 0 25 0 3 0 911083020 576098304 131990 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 140649 131990 180 372 0 140274 0
[pid=13213/tid=13215] ppid=13211 vsize=562596 CPUtime=762.31 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 81308 0 0 0 75927 304 0 0 25 0 3 0 911083020 576098304 131990 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=562596 CPUtime=762.31 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 50590 0 0 0 75914 317 0 0 25 0 3 0 911083020 576098304 131990 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 562596
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13331
/proc/meminfo: memFree=11856832/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=628784 CPUtime=1644.63 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 135484 0 0 0 163806 657 0 0 25 0 3 0 911083020 643874816 135070 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 157196 135070 180 372 0 156821 0
[pid=13213/tid=13215] ppid=13211 vsize=628784 CPUtime=822.3 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 82861 0 0 0 81911 319 0 0 25 0 3 0 911083020 643874816 135070 33554432000 4194304 5714118 140736201276080 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=628784 CPUtime=822.31 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 52117 0 0 0 81893 338 0 0 25 0 3 0 911083020 643874816 135070 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 628784
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13332
/proc/meminfo: memFree=11786124/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=629076 CPUtime=1764.62 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 139445 0 0 0 175783 679 0 0 25 0 3 0 911083020 644173824 139031 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 157269 139031 180 372 0 156894 0
[pid=13213/tid=13215] ppid=13211 vsize=629076 CPUtime=882.31 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 86766 0 0 0 87894 337 0 0 25 0 3 0 911083020 644173824 139031 33554432000 4194304 5714118 140736201276080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=629076 CPUtime=882.3 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 52173 0 0 0 87888 342 0 0 25 0 3 0 911083020 644173824 139031 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 629076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13333
/proc/meminfo: memFree=11763788/32951124 swapFree=67056684/67111528
[pid=13213] ppid=13211 vsize=629076 CPUtime=1800.04 cores=0,2,4,6
/proc/13213/stat : 13213 (pwbo1.1) S 13211 13213 12151 0 -1 4202496 140793 0 0 0 179316 688 0 0 25 0 3 0 911083020 644173824 140379 33554432000 4194304 5714118 140736201276080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13213/statm: 157269 140379 180 372 0 156894 0
[pid=13213/tid=13215] ppid=13211 vsize=629076 CPUtime=900.01 cores=0,2,4,6
/proc/13213/task/13215/stat : 13215 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 87269 0 0 0 89659 342 0 0 25 0 3 0 911083020 644173824 140379 33554432000 4194304 5714118 140736201276080 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13213/tid=13216] ppid=13211 vsize=629076 CPUtime=900.01 cores=0,2,4,6
/proc/13213/task/13216/stat : 13216 (pwbo1.1) R 13211 13213 12151 0 -1 4202560 53018 0 0 0 89655 346 0 0 25 0 3 0 911083020 644173824 140379 33554432000 4194304 5714118 140736201276080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 629076
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.09
CPU user time (s): 1793.18
CPU system time (s): 6.90895
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 629076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 6.90895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140798
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= 149
involuntary context switches= 12808
runsolver used 1.61875 second user time and 2.93155 second system time
The end