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-3500430-1307995082/watcher-3500430-1307995082 -o /var/tmp/evaluation-result-3500430-1307995082/solver-3500430-1307995082 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500430-1307995082.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.84 3.97 3.91 3/179 18622
/proc/meminfo: memFree=24258472/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 460 0 0 0 0 0 0 0 25 0 3 0 989738878 138162176 408 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33731 408 178 372 0 33356 0
[pid=18622/tid=18623] ppid=18620 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 3 0 989738878 138162176 408 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 3 0 989738878 138162176 408 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.021621 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 18622
/proc/meminfo: memFree=24258472/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=134924 CPUtime=0.03 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 526 0 0 0 3 0 0 0 25 0 3 0 989738878 138162176 474 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33731 475 179 372 0 33356 0
[pid=18622/tid=18623] ppid=18620 vsize=134924 CPUtime=0.01 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 93 0 0 0 1 0 0 0 25 0 3 0 989738878 138162176 475 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=134924 CPUtime=0.01 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 65 0 0 0 1 0 0 0 18 0 3 0 989738878 138162176 475 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 134924
[startup+0.1006 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 18622
/proc/meminfo: memFree=24258472/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=134924 CPUtime=0.19 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 815 0 0 0 18 1 0 0 25 0 3 0 989738878 138162176 763 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33731 764 179 372 0 33356 0
[pid=18622/tid=18623] ppid=18620 vsize=134924 CPUtime=0.08 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 240 0 0 0 8 0 0 0 18 0 3 0 989738878 138162176 764 33554432000 4194304 5714118 140736147870080 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=134924 CPUtime=0.09 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 207 0 0 0 9 0 0 0 18 0 3 0 989738878 138162176 764 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 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) 134924
[startup+0.300564 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 18622
/proc/meminfo: memFree=24258472/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=134924 CPUtime=0.59 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 1383 0 0 0 56 3 0 0 25 0 3 0 989738878 138162176 1331 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33731 1331 179 372 0 33356 0
[pid=18622/tid=18623] ppid=18620 vsize=134924 CPUtime=0.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 569 0 0 0 27 2 0 0 18 0 3 0 989738878 138162176 1331 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=134924 CPUtime=0.29 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 445 0 0 0 29 0 0 0 18 0 3 0 989738878 138162176 1331 33554432000 4194304 5714118 140736147870080 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) 134924
[startup+0.700494 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 18622
/proc/meminfo: memFree=24258472/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=134924 CPUtime=1.39 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 2351 0 0 0 133 6 0 0 25 0 3 0 989738878 138162176 2299 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33731 2299 179 372 0 33356 0
[pid=18622/tid=18623] ppid=18620 vsize=134924 CPUtime=0.68 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 1136 0 0 0 63 5 0 0 18 0 3 0 989738878 138162176 2299 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=134924 CPUtime=0.69 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 846 0 0 0 69 0 0 0 18 0 3 0 989738878 138162176 2299 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134924
[startup+1.50034 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 18625
/proc/meminfo: memFree=24247804/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135068 CPUtime=2.99 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 3121 0 0 0 288 11 0 0 25 0 3 0 989738878 138309632 3069 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33767 3069 179 372 0 33392 0
[pid=18622/tid=18623] ppid=18620 vsize=135068 CPUtime=1.49 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 1732 0 0 0 140 9 0 0 19 0 3 0 989738878 138309632 3069 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135068 CPUtime=1.49 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 1020 0 0 0 148 1 0 0 20 0 3 0 989738878 138309632 3069 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 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) 135068
[startup+3.10104 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 18625
/proc/meminfo: memFree=24245448/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135212 CPUtime=6.19 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 4050 0 0 0 603 16 0 0 25 0 3 0 989738878 138457088 3998 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33803 3998 179 372 0 33428 0
[pid=18622/tid=18623] ppid=18620 vsize=135212 CPUtime=3.09 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 2483 0 0 0 295 14 0 0 24 0 3 0 989738878 138457088 3998 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135212 CPUtime=3.09 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 1198 0 0 0 307 2 0 0 25 0 3 0 989738878 138457088 3998 33554432000 4194304 5714118 140736147870080 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) 135212
[startup+6.30044 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 18625
/proc/meminfo: memFree=24238164/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135212 CPUtime=12.59 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 5474 0 0 0 1234 25 0 0 25 0 3 0 989738878 138457088 5422 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33803 5422 180 372 0 33428 0
[pid=18622/tid=18623] ppid=18620 vsize=135212 CPUtime=6.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 3486 0 0 0 609 20 0 0 25 0 3 0 989738878 138457088 5422 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135212 CPUtime=6.29 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 1619 0 0 0 625 4 0 0 25 0 3 0 989738878 138457088 5422 33554432000 4194304 5714118 140736147870080 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) 135212
[startup+12.7012 s]
/proc/loadavg: 3.70 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24480904/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135356 CPUtime=25.39 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 7581 0 0 0 2497 42 0 0 25 0 3 0 989738878 138604544 7529 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33839 7529 180 372 0 33464 0
[pid=18622/tid=18623] ppid=18620 vsize=135356 CPUtime=12.69 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 5143 0 0 0 1236 33 0 0 18 0 3 0 989738878 138604544 7529 33554432000 4194304 5714118 140736147870080 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135356 CPUtime=12.69 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 2069 0 0 0 1261 8 0 0 25 0 3 0 989738878 138604544 7529 33554432000 4194304 5714118 140736147870080 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) 135356
[startup+25.5008 s]
/proc/loadavg: 3.77 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24449040/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135356 CPUtime=50.98 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 10498 0 0 0 5030 68 0 0 25 0 3 0 989738878 138604544 10446 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33839 10446 180 372 0 33464 0
[pid=18622/tid=18623] ppid=18620 vsize=135356 CPUtime=25.49 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 7827 0 0 0 2497 52 0 0 21 0 3 0 989738878 138604544 10446 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135356 CPUtime=25.49 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 2302 0 0 0 2533 16 0 0 25 0 3 0 989738878 138604544 10446 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 135356
[startup+51.101 s]
/proc/loadavg: 3.85 3.94 3.90 5/182 18668
/proc/meminfo: memFree=24399340/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=135464 CPUtime=102.18 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 15992 0 0 0 10098 120 0 0 25 0 3 0 989738878 138715136 15905 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 33866 15905 180 372 0 33491 0
[pid=18622/tid=18623] ppid=18620 vsize=135464 CPUtime=51.08 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 12592 0 0 0 5020 88 0 0 25 0 3 0 989738878 138715136 15905 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=135464 CPUtime=51.09 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 3031 0 0 0 5077 32 0 0 25 0 3 0 989738878 138715136 15905 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 135464
[startup+102.306 s]
/proc/loadavg: 3.97 3.96 3.91 5/182 18669
/proc/meminfo: memFree=24314732/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=201108 CPUtime=204.6 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 25635 0 0 0 20236 224 0 0 25 0 3 0 989738878 205934592 25548 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 50277 25548 180 372 0 49902 0
[pid=18622/tid=18623] ppid=18620 vsize=201108 CPUtime=102.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 21518 0 0 0 10067 162 0 0 25 0 3 0 989738878 205934592 25548 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=201108 CPUtime=102.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 3748 0 0 0 10168 62 0 0 25 0 3 0 989738878 205934592 25548 33554432000 4194304 5714118 140736147870080 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) 201108
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18671
/proc/meminfo: memFree=24226004/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=201108 CPUtime=324.6 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 36102 0 0 0 32130 330 0 0 25 0 3 0 989738878 205934592 35971 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 50277 35971 180 372 0 49902 0
[pid=18622/tid=18623] ppid=18620 vsize=201108 CPUtime=162.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 31224 0 0 0 15989 240 0 0 25 0 3 0 989738878 205934592 35971 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=201108 CPUtime=162.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 4509 0 0 0 16140 90 0 0 25 0 3 0 989738878 205934592 35971 33554432000 4194304 5714118 140736147870080 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) 201108
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18681
/proc/meminfo: memFree=24147836/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=266644 CPUtime=444.6 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 44984 0 0 0 44029 431 0 0 25 0 3 0 989738878 273043456 44776 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 66661 44776 180 372 0 66286 0
[pid=18622/tid=18623] ppid=18620 vsize=266644 CPUtime=222.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 39848 0 0 0 21918 311 0 0 25 0 3 0 989738878 273043456 44776 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=266644 CPUtime=222.29 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 4767 0 0 0 22110 119 0 0 25 0 3 0 989738878 273043456 44776 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 266644
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18683
/proc/meminfo: memFree=24070540/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=267076 CPUtime=564.6 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 54027 0 0 0 55922 538 0 0 25 0 3 0 989738878 273485824 53819 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 66769 53819 180 372 0 66394 0
[pid=18622/tid=18623] ppid=18620 vsize=267076 CPUtime=282.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 48856 0 0 0 27845 384 0 0 25 0 3 0 989738878 273485824 53819 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=267076 CPUtime=282.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 4802 0 0 0 28076 154 0 0 25 0 3 0 989738878 273485824 53819 33554432000 4194304 5714118 140736147870080 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) 267076
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18684
/proc/meminfo: memFree=23996192/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=333044 CPUtime=684.61 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 62790 0 0 0 67815 646 0 0 25 0 3 0 989738878 341037056 62582 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 83261 62582 180 372 0 82886 0
[pid=18622/tid=18623] ppid=18620 vsize=333044 CPUtime=342.29 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 57596 0 0 0 33770 459 0 0 25 0 3 0 989738878 341037056 62582 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=333044 CPUtime=342.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 4825 0 0 0 34044 186 0 0 25 0 3 0 989738878 341037056 62582 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 333044
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18686
/proc/meminfo: memFree=23925696/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=399604 CPUtime=804.61 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 71702 0 0 0 79710 751 0 0 25 0 3 0 989738878 409194496 71318 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 99901 71318 180 372 0 99526 0
[pid=18622/tid=18623] ppid=18620 vsize=399604 CPUtime=402.3 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 65901 0 0 0 39698 532 0 0 25 0 3 0 989738878 409194496 71318 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=399604 CPUtime=402.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 5432 0 0 0 40011 219 0 0 25 0 3 0 989738878 409194496 71318 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 399604
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18688
/proc/meminfo: memFree=23855064/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=400180 CPUtime=924.61 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 79866 0 0 0 91616 845 0 0 25 0 3 0 989738878 409784320 79397 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 100045 79397 180 372 0 99670 0
[pid=18622/tid=18623] ppid=18620 vsize=400180 CPUtime=462.3 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 73583 0 0 0 45632 598 0 0 25 0 3 0 989738878 409784320 79397 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=400180 CPUtime=462.31 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 5914 0 0 0 45984 247 0 0 25 0 3 0 989738878 409784320 79397 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 400180
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18689
/proc/meminfo: memFree=23784708/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=400756 CPUtime=1044.62 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 88288 0 0 0 103525 937 0 0 25 0 3 0 989738878 410374144 87819 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 100189 87819 180 372 0 99814 0
[pid=18622/tid=18623] ppid=18620 vsize=400756 CPUtime=522.3 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 81481 0 0 0 51568 662 0 0 25 0 3 0 989738878 410374144 87819 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=400756 CPUtime=522.3 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 6438 0 0 0 51956 274 0 0 25 0 3 0 989738878 410374144 87819 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 400756
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18691
/proc/meminfo: memFree=23720540/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=466580 CPUtime=1164.62 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 95893 0 0 0 115433 1029 0 0 25 0 3 0 989738878 477777920 95424 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 116645 95424 180 372 0 116270 0
[pid=18622/tid=18623] ppid=18620 vsize=466580 CPUtime=582.31 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 89065 0 0 0 57505 726 0 0 25 0 3 0 989738878 477777920 95424 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=466580 CPUtime=582.31 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 6459 0 0 0 57928 303 0 0 25 0 3 0 989738878 477777920 95424 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 466580
[startup+642.301 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 18692
/proc/meminfo: memFree=23654152/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=467460 CPUtime=1284.63 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 103978 0 0 0 127345 1118 0 0 25 0 3 0 989738878 478679040 103281 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 116865 103281 180 372 0 116490 0
[pid=18622/tid=18623] ppid=18620 vsize=467460 CPUtime=642.32 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 96558 0 0 0 63445 787 0 0 25 0 3 0 989738878 478679040 103281 33554432000 4194304 5714118 140736147870080 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=467460 CPUtime=642.31 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 7051 0 0 0 63900 331 0 0 25 0 3 0 989738878 478679040 103281 33554432000 4194304 5714118 140736147870080 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) 467460
[startup+702.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18694
/proc/meminfo: memFree=23605340/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=533428 CPUtime=1404.63 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 111950 0 0 0 139256 1207 0 0 25 0 3 0 989738878 546230272 110798 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 133357 110798 180 372 0 132982 0
[pid=18622/tid=18623] ppid=18620 vsize=533428 CPUtime=702.3 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 103866 0 0 0 69379 851 0 0 25 0 3 0 989738878 546230272 110798 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=533428 CPUtime=702.32 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 7715 0 0 0 69876 356 0 0 25 0 3 0 989738878 546230272 110798 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 533428
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18736
/proc/meminfo: memFree=23993284/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=533428 CPUtime=1524.65 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 119884 0 0 0 151167 1298 0 0 25 0 3 0 989738878 546230272 118558 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 133357 118558 180 372 0 132982 0
[pid=18622/tid=18623] ppid=18620 vsize=533428 CPUtime=762.32 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 111644 0 0 0 75317 915 0 0 25 0 3 0 989738878 546230272 118558 33554432000 4194304 5714118 140736147870080 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=533428 CPUtime=762.32 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 7871 0 0 0 75850 382 0 0 25 0 3 0 989738878 546230272 118558 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 533428
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18737
/proc/meminfo: memFree=23889416/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=599252 CPUtime=1644.64 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 127866 0 0 0 163073 1391 0 0 25 0 3 0 989738878 613634048 126520 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 149813 126520 180 372 0 149438 0
[pid=18622/tid=18623] ppid=18620 vsize=599252 CPUtime=822.31 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 119225 0 0 0 81252 979 0 0 25 0 3 0 989738878 613634048 126520 33554432000 4194304 5714118 140736147870080 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=599252 CPUtime=822.32 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 8272 0 0 0 81821 411 0 0 25 0 3 0 989738878 613634048 126520 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 599252
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18739
/proc/meminfo: memFree=23796628/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=599828 CPUtime=1764.64 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 135815 0 0 0 174980 1484 0 0 25 0 3 0 989738878 614223872 134083 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 149957 134083 180 372 0 149582 0
[pid=18622/tid=18623] ppid=18620 vsize=599828 CPUtime=882.31 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 126761 0 0 0 87186 1045 0 0 25 0 3 0 989738878 614223872 134083 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=599828 CPUtime=882.31 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 8685 0 0 0 87793 438 0 0 25 0 3 0 989738878 614223872 134083 33554432000 4194304 5714118 140736147870080 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 599828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18739
/proc/meminfo: memFree=23768588/32950928 swapFree=67054844/67111528
[pid=18622] ppid=18620 vsize=599972 CPUtime=1800.05 cores=0,2,4,6
/proc/18622/stat : 18622 (pwbo1.1) S 18620 18622 17705 0 -1 4202496 137746 0 0 0 178494 1511 0 0 25 0 3 0 989738878 614371328 136014 33554432000 4194304 5714118 140736147870080 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18622/statm: 149993 136014 180 372 0 149618 0
[pid=18622/tid=18623] ppid=18620 vsize=599972 CPUtime=900.02 cores=0,2,4,6
/proc/18622/task/18623/stat : 18623 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 128692 0 0 0 88939 1063 0 0 25 0 3 0 989738878 614371328 136014 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=18622/tid=18624] ppid=18620 vsize=599972 CPUtime=900.03 cores=0,2,4,6
/proc/18622/task/18624/stat : 18624 (pwbo1.1) R 18620 18622 17705 0 -1 4202560 8685 0 0 0 89555 448 0 0 25 0 3 0 989738878 614371328 136014 33554432000 4194304 5714118 140736147870080 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 599972
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.036
CPU time (s): 1800.1
CPU user time (s): 1784.96
CPU system time (s): 15.1427
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 599972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.96
system time used= 15.1427
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137754
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= 32
involuntary context switches= 11822
runsolver used 1.61575 second user time and 3.13652 second system time
The end