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-3500308-1307993270/watcher-3500308-1307993270 -o /var/tmp/evaluation-result-3500308-1307993270/solver-3500308-1307993270 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500308-1307993270.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.85 3.97 3.90 1/175 12189
/proc/meminfo: memFree=8306520/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=70000 CPUtime=0 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 618 0 0 0 0 0 0 0 25 0 3 0 989557824 71680000 559 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33884 560 173 372 0 33509 0
[pid=12189/tid=12190] ppid=12187 vsize=135536 CPUtime=0 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 3 0 989557825 138788864 609 33554432000 4194304 5714118 140734921930880 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135536 CPUtime=0 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 30 0 0 0 0 0 0 0 25 0 3 0 989557825 138788864 620 33554432000 4194304 5714118 140734921930880 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.037604 s]
/proc/loadavg: 3.85 3.97 3.90 1/175 12189
/proc/meminfo: memFree=8306520/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=135536 CPUtime=0.06 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 1177 0 0 0 6 0 0 0 25 0 3 0 989557824 138788864 1118 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33884 1118 181 372 0 33509 0
[pid=12189/tid=12190] ppid=12187 vsize=135536 CPUtime=0.03 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 377 0 0 0 3 0 0 0 25 0 3 0 989557825 138788864 1118 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135536 CPUtime=0.03 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 274 0 0 0 3 0 0 0 25 0 3 0 989557825 138788864 1119 33554432000 4194304 5714118 140734921930880 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 135536
[startup+0.100567 s]
/proc/loadavg: 3.85 3.97 3.90 1/175 12189
/proc/meminfo: memFree=8306520/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=135536 CPUtime=0.19 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 1795 0 0 0 19 0 0 0 25 0 3 0 989557824 138788864 1736 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33884 1736 181 372 0 33509 0
[pid=12189/tid=12190] ppid=12187 vsize=135536 CPUtime=0.09 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 677 0 0 0 9 0 0 0 18 0 3 0 989557825 138788864 1736 33554432000 4194304 5714118 140734921930880 18446744073709551615 4964667 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135536 CPUtime=0.09 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 591 0 0 0 9 0 0 0 25 0 3 0 989557825 138788864 1736 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135536
[startup+0.300484 s]
/proc/loadavg: 3.85 3.97 3.90 1/175 12189
/proc/meminfo: memFree=8306520/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=135536 CPUtime=0.59 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 3807 0 0 0 58 1 0 0 25 0 3 0 989557824 138788864 3330 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33884 3331 181 372 0 33509 0
[pid=12189/tid=12190] ppid=12187 vsize=135536 CPUtime=0.28 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 1830 0 0 0 28 0 0 0 18 0 3 0 989557825 138788864 3331 33554432000 4194304 5714118 140734921930880 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135536 CPUtime=0.28 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 1451 0 0 0 28 0 0 0 25 0 3 0 989557825 138788864 3331 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 135536
[startup+0.700415 s]
/proc/loadavg: 3.85 3.97 3.90 1/175 12189
/proc/meminfo: memFree=8306520/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=135920 CPUtime=1.38 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 6402 0 0 0 134 4 0 0 25 0 3 0 989557824 139182080 5673 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33980 5673 181 372 0 33605 0
[pid=12189/tid=12190] ppid=12187 vsize=135920 CPUtime=0.69 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 2565 0 0 0 66 3 0 0 18 0 3 0 989557825 139182080 5673 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135920 CPUtime=0.68 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 3310 0 0 0 67 1 0 0 25 0 3 0 989557825 139182080 5673 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135920
[startup+1.50032 s]
/proc/loadavg: 3.85 3.97 3.90 6/182 12232
/proc/meminfo: memFree=8249440/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=135932 CPUtime=2.99 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 8530 0 0 0 289 10 0 0 25 0 3 0 989557824 139194368 7531 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 33983 7531 181 372 0 33608 0
[pid=12189/tid=12190] ppid=12187 vsize=135932 CPUtime=1.48 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 3616 0 0 0 141 7 0 0 19 0 3 0 989557825 139194368 7531 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=135932 CPUtime=1.49 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 4387 0 0 0 147 2 0 0 25 0 3 0 989557825 139194368 7531 33554432000 4194304 5714118 140734921930880 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135932
[startup+3.10108 s]
/proc/loadavg: 3.85 3.97 3.90 6/182 12232
/proc/meminfo: memFree=8220176/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=136328 CPUtime=6.19 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 9484 0 0 0 602 17 0 0 25 0 3 0 989557824 139599872 8485 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 34082 8485 181 372 0 33707 0
[pid=12189/tid=12190] ppid=12187 vsize=136328 CPUtime=3.08 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 4472 0 0 0 295 13 0 0 23 0 3 0 989557825 139599872 8485 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=136328 CPUtime=3.09 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 4485 0 0 0 306 3 0 0 25 0 3 0 989557825 139599872 8485 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 136328
[startup+6.30054 s]
/proc/loadavg: 3.86 3.97 3.90 6/182 12232
/proc/meminfo: memFree=8139500/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=137156 CPUtime=12.59 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 13176 0 0 0 1231 28 0 0 25 0 3 0 989557824 140447744 12177 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 34289 12177 182 372 0 33914 0
[pid=12189/tid=12190] ppid=12187 vsize=137156 CPUtime=6.28 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 6129 0 0 0 606 22 0 0 18 0 3 0 989557825 140447744 12177 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=137156 CPUtime=6.29 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 6520 0 0 0 624 5 0 0 25 0 3 0 989557825 140447744 12177 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 137156
[startup+12.7004 s]
/proc/loadavg: 3.87 3.97 3.90 6/182 12232
/proc/meminfo: memFree=8077464/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=138824 CPUtime=25.39 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 16435 0 0 0 2492 47 0 0 25 0 3 0 989557824 142155776 15436 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 34706 15436 182 372 0 34331 0
[pid=12189/tid=12190] ppid=12187 vsize=138824 CPUtime=12.69 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 8915 0 0 0 1232 37 0 0 25 0 3 0 989557825 142155776 15436 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=138824 CPUtime=12.69 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 6993 0 0 0 1259 10 0 0 25 0 3 0 989557825 142155776 15436 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 138824
[startup+25.5011 s]
/proc/loadavg: 3.90 3.97 3.91 6/182 12233
/proc/meminfo: memFree=8007288/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=140876 CPUtime=50.99 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 22541 0 0 0 5020 79 0 0 25 0 3 0 989557824 144257024 21492 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 35219 21492 182 372 0 34844 0
[pid=12189/tid=12190] ppid=12187 vsize=140876 CPUtime=25.49 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 13482 0 0 0 2487 62 0 0 25 0 3 0 989557825 144257024 21492 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=140876 CPUtime=25.48 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 8532 0 0 0 2532 16 0 0 25 0 3 0 989557825 144257024 21492 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 140876
[startup+51.1007 s]
/proc/loadavg: 3.93 3.97 3.91 6/182 12233
/proc/meminfo: memFree=7942368/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=145320 CPUtime=102.19 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 25642 0 0 0 10091 128 0 0 25 0 3 0 989557824 148807680 24553 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 36330 24553 182 372 0 35955 0
[pid=12189/tid=12190] ppid=12187 vsize=145320 CPUtime=51.09 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 13561 0 0 0 5010 99 0 0 25 0 3 0 989557825 148807680 24553 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=145320 CPUtime=51.08 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 11554 0 0 0 5080 28 0 0 25 0 3 0 989557825 148807680 24553 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 145320
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 6/182 12235
/proc/meminfo: memFree=7862480/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=215396 CPUtime=204.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 37197 0 0 0 20248 212 0 0 25 0 3 0 989557824 220565504 35422 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 53849 35422 182 372 0 53474 0
[pid=12189/tid=12190] ppid=12187 vsize=215396 CPUtime=102.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 21379 0 0 0 10069 160 0 0 25 0 3 0 989557825 220565504 35422 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=215396 CPUtime=102.29 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 15291 0 0 0 10177 52 0 0 25 0 3 0 989557825 220565504 35422 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 215396
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12236
/proc/meminfo: memFree=7784064/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=218748 CPUtime=324.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 50208 0 0 0 32145 315 0 0 25 0 3 0 989557824 223997952 46327 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 54687 46327 182 372 0 54312 0
[pid=12189/tid=12190] ppid=12187 vsize=218748 CPUtime=162.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 31354 0 0 0 15986 243 0 0 25 0 3 0 989557825 223997952 46327 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=218748 CPUtime=162.28 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 18327 0 0 0 16157 71 0 0 25 0 3 0 989557825 223997952 46327 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 218748
[startup+222.301 s]
/proc/loadavg: 4.07 3.99 3.91 6/182 12238
/proc/meminfo: memFree=7709872/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=222392 CPUtime=444.59 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 53314 0 0 0 44028 431 0 0 25 0 3 0 989557824 227729408 48701 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 55598 48701 182 372 0 55223 0
[pid=12189/tid=12190] ppid=12187 vsize=222392 CPUtime=222.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 31408 0 0 0 21897 332 0 0 25 0 3 0 989557825 227729408 48701 33554432000 4194304 5714118 140734921930880 18446744073709551615 4964993 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=222392 CPUtime=222.29 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 21379 0 0 0 22130 99 0 0 25 0 3 0 989557825 227729408 48701 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 222392
[startup+282.301 s]
/proc/loadavg: 4.02 3.99 3.91 6/182 12240
/proc/meminfo: memFree=7671648/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=223908 CPUtime=564.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 54815 0 0 0 55940 520 0 0 25 0 3 0 989557824 229281792 49010 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 55977 49010 182 372 0 55602 0
[pid=12189/tid=12190] ppid=12187 vsize=223908 CPUtime=282.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 31482 0 0 0 27831 398 0 0 25 0 3 0 989557825 229281792 49010 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=223908 CPUtime=282.29 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 22806 0 0 0 28108 121 0 0 25 0 3 0 989557825 229281792 49010 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 223908
[startup+342.301 s]
/proc/loadavg: 4.01 3.99 3.91 6/182 12241
/proc/meminfo: memFree=7609364/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=226932 CPUtime=684.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 56954 0 0 0 67857 603 0 0 25 0 3 0 989557824 232378368 51033 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 56733 51033 182 372 0 56358 0
[pid=12189/tid=12190] ppid=12187 vsize=226932 CPUtime=342.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 31553 0 0 0 33767 462 0 0 25 0 3 0 989557825 232378368 51033 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=226932 CPUtime=342.29 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 24874 0 0 0 34089 140 0 0 25 0 3 0 989557825 232378368 51033 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 226932
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 12243
/proc/meminfo: memFree=7547808/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=293648 CPUtime=804.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 63137 0 0 0 79759 701 0 0 25 0 3 0 989557824 300695552 56085 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 73412 56085 182 372 0 73037 0
[pid=12189/tid=12190] ppid=12187 vsize=293648 CPUtime=402.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 35807 0 0 0 39692 538 0 0 25 0 3 0 989557825 300695552 56085 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=293648 CPUtime=402.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 26803 0 0 0 40067 163 0 0 25 0 3 0 989557825 300695552 56085 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 293648
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.91 6/182 12244
/proc/meminfo: memFree=7526068/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=294824 CPUtime=924.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 64899 0 0 0 91668 792 0 0 25 0 3 0 989557824 301899776 57129 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 73706 57129 182 372 0 73331 0
[pid=12189/tid=12190] ppid=12187 vsize=294824 CPUtime=462.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 36309 0 0 0 45623 607 0 0 25 0 3 0 989557825 301899776 57129 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=294824 CPUtime=462.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 28063 0 0 0 46045 185 0 0 25 0 3 0 989557825 301899776 57129 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 294824
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 6/182 12246
/proc/meminfo: memFree=7522424/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=297824 CPUtime=1044.6 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 65560 0 0 0 103589 871 0 0 25 0 3 0 989557824 304971776 57790 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 74456 57790 182 372 0 74081 0
[pid=12189/tid=12190] ppid=12187 vsize=297824 CPUtime=522.29 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 36309 0 0 0 51569 660 0 0 25 0 3 0 989557825 304971776 57790 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=297824 CPUtime=522.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 28724 0 0 0 52019 211 0 0 25 0 3 0 989557825 304971776 57790 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 297824
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.91 6/182 12248
/proc/meminfo: memFree=7519888/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=299932 CPUtime=1164.61 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 66044 0 0 0 115494 967 0 0 25 0 3 0 989557824 307130368 58274 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 74983 58274 182 372 0 74608 0
[pid=12189/tid=12190] ppid=12187 vsize=299932 CPUtime=582.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 36309 0 0 0 57498 732 0 0 25 0 3 0 989557825 307130368 58274 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=299932 CPUtime=582.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 29208 0 0 0 57995 235 0 0 25 0 3 0 989557825 307130368 58274 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 299932
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 12249
/proc/meminfo: memFree=7494048/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=300800 CPUtime=1284.63 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 67266 0 0 0 127426 1037 0 0 25 0 3 0 989557824 308019200 59496 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 75200 59496 182 372 0 74825 0
[pid=12189/tid=12190] ppid=12187 vsize=300800 CPUtime=642.31 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 37316 0 0 0 63454 777 0 0 25 0 3 0 989557825 308019200 59496 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=300800 CPUtime=642.31 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 29423 0 0 0 63971 260 0 0 25 0 3 0 989557825 308019200 59496 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 300800
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 6/182 12254
/proc/meminfo: memFree=7448020/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=302204 CPUtime=1404.62 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 78082 0 0 0 139346 1116 0 0 25 0 3 0 989557824 309456896 70312 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 75551 70312 182 372 0 75176 0
[pid=12189/tid=12190] ppid=12187 vsize=302204 CPUtime=702.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 47815 0 0 0 69397 833 0 0 25 0 3 0 989557825 309456896 70312 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=302204 CPUtime=702.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 29740 0 0 0 69948 282 0 0 25 0 3 0 989557825 309456896 70312 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 302204
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 12255
/proc/meminfo: memFree=7399132/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=369536 CPUtime=1524.63 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 89682 0 0 0 151265 1198 0 0 25 0 3 0 989557824 378404864 81912 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 92384 81912 182 372 0 92009 0
[pid=12189/tid=12190] ppid=12187 vsize=369536 CPUtime=762.31 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 58999 0 0 0 75340 891 0 0 25 0 3 0 989557825 378404864 81912 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=369536 CPUtime=762.31 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 30156 0 0 0 75924 307 0 0 25 0 3 0 989557825 378404864 81912 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 369536
[startup+822.3 s]
/proc/loadavg: 4.06 4.00 3.92 6/182 12257
/proc/meminfo: memFree=7340064/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=435664 CPUtime=1644.62 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 101002 0 0 0 163181 1281 0 0 25 0 3 0 989557824 446119936 93231 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 108916 93231 182 372 0 108541 0
[pid=12189/tid=12190] ppid=12187 vsize=435664 CPUtime=822.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 70184 0 0 0 81277 953 0 0 25 0 3 0 989557825 446119936 93231 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=435664 CPUtime=822.31 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 30291 0 0 0 81903 328 0 0 25 0 3 0 989557825 446119936 93231 33554432000 4194304 5714118 140734921930880 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 435664
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 12259
/proc/meminfo: memFree=7266236/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=436976 CPUtime=1764.62 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 107832 0 0 0 175123 1339 0 0 25 0 3 0 989557824 447463424 100059 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 109244 100059 182 372 0 108869 0
[pid=12189/tid=12190] ppid=12187 vsize=436976 CPUtime=882.3 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 76823 0 0 0 87241 989 0 0 25 0 3 0 989557825 447463424 100059 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=436976 CPUtime=882.3 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 30482 0 0 0 87881 349 0 0 25 0 3 0 989557825 447463424 100059 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 436976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 4.00 3.92 6/182 12259
/proc/meminfo: memFree=7245268/32950940 swapFree=67053420/67111528
[pid=12189] ppid=12187 vsize=437212 CPUtime=1800.03 cores=0,2,4,6
/proc/12189/stat : 12189 (pwbo1.1) S 12187 12189 11319 0 -1 4202496 110020 0 0 0 178649 1354 0 0 25 0 3 0 989557824 447705088 102246 33554432000 4194304 5714118 140734921930880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12189/statm: 109303 102246 182 372 0 108928 0
[pid=12189/tid=12190] ppid=12187 vsize=437212 CPUtime=900.01 cores=0,2,4,6
/proc/12189/task/12190/stat : 12190 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 78925 0 0 0 89004 997 0 0 25 0 3 0 989557825 447705088 102246 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12189/tid=12191] ppid=12187 vsize=437212 CPUtime=900.01 cores=0,2,4,6
/proc/12189/task/12191/stat : 12191 (pwbo1.1) R 12187 12189 11319 0 -1 4202560 30568 0 0 0 89644 357 0 0 25 0 3 0 989557825 447705088 102246 33554432000 4194304 5714118 140734921930880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 437212
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.029
CPU time (s): 1800.07
CPU user time (s): 1786.51
CPU system time (s): 13.5649
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 437212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.51
system time used= 13.5649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110026
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= 136
involuntary context switches= 2614
runsolver used 1.3318 second user time and 2.79458 second system time
The end