runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500262-1307992859/watcher-3500262-1307992859 -o /tmp/evaluation-result-3500262-1307992859/solver-3500262-1307992859 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500262-1307992859.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 3.61 3/180 1369
/proc/meminfo: memFree=10872520/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=2472 CPUtime=0 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) R 1367 1369 768 0 -1 4202496 368 0 0 0 0 0 0 0 25 0 1 0 910884113 2531328 321 33554432000 4194304 5714118 140736485124720 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1369/statm: 618 322 158 372 0 218 0
[startup+0.045732 s]
/proc/loadavg: 4.00 4.00 3.61 3/180 1369
/proc/meminfo: memFree=10872520/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=172500 CPUtime=0.08 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 9542 0 0 0 6 2 0 0 25 0 3 0 910884113 176640000 9356 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 43125 9373 177 372 0 42750 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 172500
[startup+0.104388 s]
/proc/loadavg: 4.00 4.00 3.61 3/180 1369
/proc/meminfo: memFree=10872520/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=181936 CPUtime=0.19 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 15159 0 0 0 12 7 0 0 25 0 3 0 910884113 186302464 14896 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 45484 14901 177 372 0 45109 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 181936
[startup+0.300375 s]
/proc/loadavg: 4.00 4.00 3.61 3/180 1369
/proc/meminfo: memFree=10872520/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=189308 CPUtime=0.58 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 25383 0 0 0 41 17 0 0 25 0 3 0 910884113 193851392 25098 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47327 25098 178 372 0 46952 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 189308
[startup+0.700284 s]
/proc/loadavg: 4.00 4.00 3.61 3/180 1369
/proc/meminfo: memFree=10872520/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=189308 CPUtime=1.38 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 26262 0 0 0 120 18 0 0 25 0 3 0 910884113 193851392 25637 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47327 25637 179 372 0 46952 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 189308
[startup+1.50113 s]
/proc/loadavg: 4.00 4.00 3.61 5/183 1372
/proc/meminfo: memFree=10768612/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=189308 CPUtime=2.98 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 26984 0 0 0 277 21 0 0 25 0 3 0 910884113 193851392 26359 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47327 26359 179 372 0 46952 0
[pid=1369/tid=1371] ppid=1367 vsize=189308 CPUtime=1.48 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 2108 0 0 0 145 3 0 0 20 0 3 0 910884114 193851392 26360 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=189308 CPUtime=1.48 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 24293 0 0 0 131 17 0 0 19 0 3 0 910884114 193851392 26360 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 189308
[startup+3.10087 s]
/proc/loadavg: 4.00 4.00 3.61 5/183 1372
/proc/meminfo: memFree=10764396/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=189308 CPUtime=6.18 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 28660 0 0 0 593 25 0 0 25 0 3 0 910884113 193851392 27912 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47327 27912 179 372 0 46952 0
[pid=1369/tid=1371] ppid=1367 vsize=189308 CPUtime=3.08 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 3470 0 0 0 302 6 0 0 25 0 3 0 910884114 193851392 27912 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=189308 CPUtime=3.08 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 24606 0 0 0 290 18 0 0 24 0 3 0 910884114 193851392 27912 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 189308
[startup+6.30028 s]
/proc/loadavg: 4.00 4.00 3.61 5/183 1373
/proc/meminfo: memFree=10750260/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=189576 CPUtime=12.58 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 31366 0 0 0 1223 35 0 0 25 0 3 0 910884113 194125824 30618 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47394 30618 180 372 0 47019 0
[pid=1369/tid=1371] ppid=1367 vsize=189576 CPUtime=6.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 4822 0 0 0 618 11 0 0 25 0 3 0 910884114 194125824 30618 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=189576 CPUtime=6.28 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 25960 0 0 0 604 24 0 0 18 0 3 0 910884114 194125824 30618 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 189576
[startup+12.7012 s]
/proc/loadavg: 4.00 4.00 3.61 5/183 1373
/proc/meminfo: memFree=10710764/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=190068 CPUtime=25.39 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 35593 0 0 0 2494 45 0 0 25 0 3 0 910884113 194629632 34845 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 47517 34845 180 372 0 47142 0
[pid=1369/tid=1371] ppid=1367 vsize=190068 CPUtime=12.68 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 7619 0 0 0 1252 16 0 0 25 0 3 0 910884114 194629632 34845 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=190068 CPUtime=12.68 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 27390 0 0 0 1240 28 0 0 25 0 3 0 910884114 194629632 34845 33554432000 4194304 5714118 140736485124720 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 190068
[startup+25.5009 s]
/proc/loadavg: 4.00 4.00 3.62 5/183 1373
/proc/meminfo: memFree=10656928/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=256352 CPUtime=50.98 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 41322 0 0 0 5034 64 0 0 25 0 3 0 910884113 262504448 40574 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 64088 40574 180 372 0 63713 0
[pid=1369/tid=1371] ppid=1367 vsize=256352 CPUtime=25.48 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 10624 0 0 0 2524 24 0 0 25 0 3 0 910884114 262504448 40574 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=256352 CPUtime=25.49 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 30114 0 0 0 2509 40 0 0 25 0 3 0 910884114 262504448 40574 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 256352
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.63 5/183 1374
/proc/meminfo: memFree=10558808/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=257628 CPUtime=102.18 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 52341 0 0 0 10117 101 0 0 25 0 3 0 910884113 263811072 51593 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 64407 51593 180 372 0 64032 0
[pid=1369/tid=1371] ppid=1367 vsize=257628 CPUtime=51.08 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 16316 0 0 0 5067 41 0 0 25 0 3 0 910884114 263811072 51593 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=257628 CPUtime=51.08 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 35441 0 0 0 5049 59 0 0 25 0 3 0 910884114 263811072 51593 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319195 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) 257628
[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.64 5/183 1375
/proc/meminfo: memFree=10392616/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=391532 CPUtime=204.59 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 74590 0 0 0 20274 185 0 0 25 0 3 0 910884113 400928768 73842 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 97883 73842 180 372 0 97508 0
[pid=1369/tid=1371] ppid=1367 vsize=391532 CPUtime=102.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 23736 0 0 0 10162 67 0 0 25 0 3 0 910884114 400928768 73842 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=391532 CPUtime=102.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 50270 0 0 0 10111 118 0 0 25 0 3 0 910884114 400928768 73842 33554432000 4194304 5714118 140736485124720 18446744073709551615 4199408 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) 391532
[startup+162.301 s]
/proc/loadavg: 4.07 4.02 3.67 5/183 1377
/proc/meminfo: memFree=10264616/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=458584 CPUtime=324.58 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 94270 0 0 0 32204 254 0 0 25 0 3 0 910884113 469590016 93522 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 114646 93522 180 372 0 114271 0
[pid=1369/tid=1371] ppid=1367 vsize=458584 CPUtime=162.28 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 33828 0 0 0 16133 95 0 0 25 0 3 0 910884114 469590016 93522 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=458584 CPUtime=162.28 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 59858 0 0 0 16070 158 0 0 25 0 3 0 910884114 469590016 93522 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 458584
[startup+222.301 s]
/proc/loadavg: 4.02 4.01 3.69 5/183 1378
/proc/meminfo: memFree=10115540/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=526256 CPUtime=444.59 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 110932 0 0 0 44142 317 0 0 25 0 3 0 910884113 538886144 110184 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 131564 110184 180 372 0 131189 0
[pid=1369/tid=1371] ppid=1367 vsize=526256 CPUtime=222.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 40910 0 0 0 22106 123 0 0 25 0 3 0 910884114 538886144 110184 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=526256 CPUtime=222.28 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 69438 0 0 0 22034 194 0 0 25 0 3 0 910884114 538886144 110184 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319392 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) 526256
[startup+282.301 s]
/proc/loadavg: 4.01 4.00 3.70 5/183 1380
/proc/meminfo: memFree=10034524/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=527540 CPUtime=564.59 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 126490 0 0 0 56080 379 0 0 25 0 3 0 910884113 540200960 125742 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 131885 125742 180 372 0 131510 0
[pid=1369/tid=1371] ppid=1367 vsize=527540 CPUtime=282.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 48023 0 0 0 28083 146 0 0 25 0 3 0 910884114 540200960 125742 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=527540 CPUtime=282.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 77883 0 0 0 27996 233 0 0 20 0 3 0 910884114 540200960 125742 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 527540
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.72 5/183 1381
/proc/meminfo: memFree=9929188/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=660288 CPUtime=684.6 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 142222 0 0 0 68014 446 0 0 25 0 3 0 910884113 676134912 141474 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 165072 141474 180 372 0 164697 0
[pid=1369/tid=1371] ppid=1367 vsize=660288 CPUtime=342.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 53227 0 0 0 34064 165 0 0 25 0 3 0 910884114 676134912 141474 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=660288 CPUtime=342.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 88411 0 0 0 33949 280 0 0 18 0 3 0 910884114 676134912 141474 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319374 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) 660288
[startup+402.301 s]
/proc/loadavg: 4.04 4.01 3.74 5/183 1383
/proc/meminfo: memFree=9895288/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=661764 CPUtime=804.6 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 150548 0 0 0 79970 490 0 0 25 0 3 0 910884113 677646336 149800 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 165441 149800 180 372 0 165066 0
[pid=1369/tid=1371] ppid=1367 vsize=661764 CPUtime=402.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 58896 0 0 0 40033 196 0 0 25 0 3 0 910884114 677646336 149800 33554432000 4194304 5714118 140736485124720 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=661764 CPUtime=402.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 91068 0 0 0 39935 294 0 0 25 0 3 0 910884114 677646336 149800 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 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) 661764
[startup+462.301 s]
/proc/loadavg: 4.06 4.02 3.76 5/183 1385
/proc/meminfo: memFree=9868344/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=728024 CPUtime=924.61 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 157209 0 0 0 91944 517 0 0 25 0 3 0 910884113 745496576 156461 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 182006 156461 180 372 0 181631 0
[pid=1369/tid=1371] ppid=1367 vsize=728024 CPUtime=462.3 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 65395 0 0 0 46013 217 0 0 25 0 3 0 910884114 745496576 156461 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=728024 CPUtime=462.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 91230 0 0 0 45930 299 0 0 25 0 3 0 910884114 745496576 156461 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 728024
[startup+522.3 s]
/proc/loadavg: 4.08 4.03 3.77 5/183 1386
/proc/meminfo: memFree=9843008/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=729388 CPUtime=1044.6 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 163483 0 0 0 103912 548 0 0 25 0 3 0 910884113 746893312 162735 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 182347 162735 180 372 0 181972 0
[pid=1369/tid=1371] ppid=1367 vsize=729388 CPUtime=522.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 71378 0 0 0 51987 242 0 0 25 0 3 0 910884114 746893312 162735 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=729388 CPUtime=522.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 91521 0 0 0 51924 305 0 0 25 0 3 0 910884114 746893312 162735 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 729388
[startup+582.301 s]
/proc/loadavg: 4.11 4.04 3.79 5/183 1388
/proc/meminfo: memFree=9822384/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=730484 CPUtime=1164.61 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 168563 0 0 0 115881 580 0 0 25 0 3 0 910884113 748015616 167815 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 182621 167815 180 372 0 182246 0
[pid=1369/tid=1371] ppid=1367 vsize=730484 CPUtime=582.3 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 76227 0 0 0 57962 268 0 0 25 0 3 0 910884114 748015616 167815 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=730484 CPUtime=582.29 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 91752 0 0 0 57918 311 0 0 25 0 3 0 910884114 748015616 167815 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 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) 730484
[startup+642.301 s]
/proc/loadavg: 4.04 4.03 3.80 5/183 1389
/proc/meminfo: memFree=9792092/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=796472 CPUtime=1284.62 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 175731 0 0 0 127850 612 0 0 25 0 3 0 910884113 815587328 174902 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 199118 174902 180 372 0 198743 0
[pid=1369/tid=1371] ppid=1367 vsize=796472 CPUtime=642.31 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83156 0 0 0 63935 296 0 0 25 0 3 0 910884114 815587328 174902 33554432000 4194304 5714118 140736485124720 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=796472 CPUtime=642.3 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 91991 0 0 0 63914 316 0 0 25 0 3 0 910884114 815587328 174902 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 796472
[startup+702.3 s]
/proc/loadavg: 4.05 4.04 3.82 5/183 1391
/proc/meminfo: memFree=9709844/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=865128 CPUtime=1404.61 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 182828 0 0 0 139800 661 0 0 25 0 3 0 910884113 885891072 181999 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 216282 181999 180 372 0 215907 0
[pid=1369/tid=1371] ppid=1367 vsize=865128 CPUtime=702.29 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83285 0 0 0 69909 320 0 0 25 0 3 0 910884114 885891072 181999 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=865128 CPUtime=702.3 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 98959 0 0 0 69890 340 0 0 25 0 3 0 910884114 885891072 181999 33554432000 4194304 5714118 140736485124720 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 865128
[startup+762.307 s]
/proc/loadavg: 4.07 4.04 3.83 6/183 1393
/proc/meminfo: memFree=9615212/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=865788 CPUtime=1524.63 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 193980 0 0 0 151739 724 0 0 25 0 3 0 910884113 886566912 193151 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 216447 193151 180 372 0 216072 0
[pid=1369/tid=1371] ppid=1367 vsize=865788 CPUtime=762.31 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83369 0 0 0 75895 336 0 0 25 0 3 0 910884114 886566912 193151 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=865788 CPUtime=762.3 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 110027 0 0 0 75843 387 0 0 25 0 3 0 910884114 886566912 193151 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 865788
[startup+822.301 s]
/proc/loadavg: 3.99 4.02 3.83 5/183 1435
/proc/meminfo: memFree=10116504/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=932488 CPUtime=1644.62 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 202412 0 0 0 163680 782 0 0 25 0 3 0 910884113 954867712 201583 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 233122 201583 180 372 0 232747 0
[pid=1369/tid=1371] ppid=1367 vsize=932488 CPUtime=822.3 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83580 0 0 0 81869 361 0 0 25 0 3 0 910884114 954867712 201583 33554432000 4194304 5714118 140736485124720 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=932488 CPUtime=822.3 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 118248 0 0 0 81809 421 0 0 25 0 3 0 910884114 954867712 201583 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 932488
[startup+882.3 s]
/proc/loadavg: 3.99 4.01 3.84 5/183 1437
/proc/meminfo: memFree=10023892/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=932708 CPUtime=1764.62 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 208429 0 0 0 175624 838 0 0 25 0 3 0 910884113 955092992 207600 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 233177 207600 180 372 0 232802 0
[pid=1369/tid=1371] ppid=1367 vsize=932708 CPUtime=882.3 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83722 0 0 0 87839 391 0 0 25 0 3 0 910884114 955092992 207600 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=932708 CPUtime=882.3 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 124123 0 0 0 87784 446 0 0 25 0 3 0 910884114 955092992 207600 33554432000 4194304 5714118 140736485124720 18446744073709551615 4319339 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) 932708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.99 4.01 3.84 5/183 1437
/proc/meminfo: memFree=9979608/32951124 swapFree=67063272/67111528
[pid=1369] ppid=1367 vsize=932876 CPUtime=1800.03 cores=0,2,4,6
/proc/1369/stat : 1369 (pwbo1.1) S 1367 1369 768 0 -1 4202496 209945 0 0 0 179153 850 0 0 25 0 3 0 910884113 955265024 209116 33554432000 4194304 5714118 140736485124720 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1369/statm: 233219 209116 180 372 0 232844 0
[pid=1369/tid=1371] ppid=1367 vsize=932876 CPUtime=900.01 cores=0,2,4,6
/proc/1369/task/1371/stat : 1371 (pwbo1.1) R 1367 1369 768 0 -1 4202560 83755 0 0 0 89603 398 0 0 25 0 3 0 910884114 955265024 209116 33554432000 4194304 5714118 140736485124720 18446744073709551615 4198963 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1369/tid=1372] ppid=1367 vsize=932876 CPUtime=900.01 cores=0,2,4,6
/proc/1369/task/1372/stat : 1372 (pwbo1.1) R 1367 1369 768 0 -1 4202560 125606 0 0 0 89549 452 0 0 25 0 3 0 910884114 955265024 209116 33554432000 4194304 5714118 140736485124720 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 932876
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.049
CPU time (s): 1800.09
CPU user time (s): 1791.55
CPU system time (s): 8.5387
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 932876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.55
system time used= 8.5387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209950
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= 302
involuntary context switches= 2528
runsolver used 1.70874 second user time and 3.20951 second system time
The end