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-3500089-1307990574/watcher-3500089-1307990574 -o /var/tmp/evaluation-result-3500089-1307990574/solver-3500089-1307990574 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500089-1307990574.opb
running on 4 cores: 1,3,5,7
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.87 3.20 3/179 16271
/proc/meminfo: memFree=29978548/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=69848 CPUtime=0 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 580 0 0 0 0 0 0 0 25 0 3 0 910656189 71524352 522 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 17462 526 176 372 0 17087 0
[pid=16271/tid=16272] ppid=16269 vsize=135384 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 106 0 0 0 0 0 0 0 25 0 3 0 910656189 138633216 562 33554432000 4194304 5714118 140733724866336 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=135384 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 3 0 910656189 138633216 564 33554432000 4194304 5714118 140733724866336 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.087618 s]
/proc/loadavg: 3.84 3.87 3.20 3/179 16271
/proc/meminfo: memFree=29978548/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150476 CPUtime=0.16 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 9168 0 0 0 15 1 0 0 25 0 3 0 910656189 154087424 8998 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37619 8999 178 372 0 37244 0
[pid=16271/tid=16272] ppid=16269 vsize=150476 CPUtime=0.07 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 812 0 0 0 7 0 0 0 18 0 3 0 910656189 154087424 8999 33554432000 4194304 5714118 140733724866336 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150476 CPUtime=0.08 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 7870 0 0 0 7 1 0 0 25 0 3 0 910656189 154087424 8999 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 150476
[startup+0.100615 s]
/proc/loadavg: 3.84 3.87 3.20 3/179 16271
/proc/meminfo: memFree=29978548/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150476 CPUtime=0.19 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 9239 0 0 0 18 1 0 0 25 0 3 0 910656189 154087424 9069 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37619 9069 178 372 0 37244 0
[pid=16271/tid=16272] ppid=16269 vsize=150476 CPUtime=0.09 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 877 0 0 0 9 0 0 0 18 0 3 0 910656189 154087424 9069 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150476 CPUtime=0.09 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 7875 0 0 0 8 1 0 0 25 0 3 0 910656189 154087424 9069 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 150476
[startup+0.300603 s]
/proc/loadavg: 3.84 3.87 3.20 3/179 16271
/proc/meminfo: memFree=29978548/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150612 CPUtime=0.58 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 9576 0 0 0 56 2 0 0 25 0 3 0 910656189 154226688 9406 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37653 9407 179 372 0 37278 0
[pid=16271/tid=16272] ppid=16269 vsize=150612 CPUtime=0.28 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 1182 0 0 0 27 1 0 0 18 0 3 0 910656189 154226688 9407 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150612 CPUtime=0.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 7908 0 0 0 28 1 0 0 25 0 3 0 910656189 154226688 9407 33554432000 4194304 5714118 140733724866336 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 150612
[startup+0.70051 s]
/proc/loadavg: 3.84 3.87 3.20 3/179 16271
/proc/meminfo: memFree=29978548/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150612 CPUtime=1.39 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 10363 0 0 0 134 5 0 0 25 0 3 0 910656189 154226688 10193 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37653 10193 179 372 0 37278 0
[pid=16271/tid=16272] ppid=16269 vsize=150612 CPUtime=0.68 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 1878 0 0 0 65 3 0 0 18 0 3 0 910656189 154226688 10193 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150612 CPUtime=0.68 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 7998 0 0 0 67 1 0 0 25 0 3 0 910656189 154226688 10193 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 150612
[startup+1.50037 s]
/proc/loadavg: 3.84 3.87 3.20 5/182 16274
/proc/meminfo: memFree=29937756/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150612 CPUtime=2.98 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 11200 0 0 0 288 10 0 0 25 0 3 0 910656189 154226688 11004 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37653 11004 179 372 0 37278 0
[pid=16271/tid=16272] ppid=16269 vsize=150612 CPUtime=1.48 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 2395 0 0 0 140 8 0 0 20 0 3 0 910656189 154226688 11004 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150612 CPUtime=1.48 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 8318 0 0 0 147 1 0 0 25 0 3 0 910656189 154226688 11004 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 150612
[startup+3.10108 s]
/proc/loadavg: 3.84 3.87 3.20 5/182 16274
/proc/meminfo: memFree=29935052/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150612 CPUtime=6.18 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 12102 0 0 0 599 19 0 0 25 0 3 0 910656189 154226688 11906 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37653 11906 179 372 0 37278 0
[pid=16271/tid=16272] ppid=16269 vsize=150612 CPUtime=3.08 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 3098 0 0 0 292 16 0 0 25 0 3 0 910656189 154226688 11906 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150612 CPUtime=3.08 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 8517 0 0 0 306 2 0 0 25 0 3 0 910656189 154226688 11906 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 150612
[startup+6.30051 s]
/proc/loadavg: 3.85 3.87 3.20 5/182 16274
/proc/meminfo: memFree=29922068/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=150612 CPUtime=12.58 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 15168 0 0 0 1227 31 0 0 25 0 3 0 910656189 154226688 14972 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37653 14972 180 372 0 37278 0
[pid=16271/tid=16272] ppid=16269 vsize=150612 CPUtime=6.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 4643 0 0 0 604 25 0 0 25 0 3 0 910656189 154226688 14972 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=150612 CPUtime=6.28 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 10038 0 0 0 622 6 0 0 25 0 3 0 910656189 154226688 14972 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 150612
[startup+12.7004 s]
/proc/loadavg: 3.86 3.87 3.21 5/182 16274
/proc/meminfo: memFree=29902052/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=151152 CPUtime=25.38 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 20043 0 0 0 2485 53 0 0 25 0 3 0 910656189 154779648 19847 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37788 19847 180 372 0 37413 0
[pid=16271/tid=16272] ppid=16269 vsize=151152 CPUtime=12.68 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 7969 0 0 0 1225 43 0 0 25 0 3 0 910656189 154779648 19847 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=151152 CPUtime=12.69 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 11587 0 0 0 1259 10 0 0 25 0 3 0 910656189 154779648 19847 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 151152
[startup+25.5011 s]
/proc/loadavg: 3.89 3.88 3.22 5/182 16275
/proc/meminfo: memFree=29866344/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=151096 CPUtime=50.99 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 28451 0 0 0 5009 90 0 0 25 0 3 0 910656189 154722304 28205 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 37774 28205 180 372 0 37399 0
[pid=16271/tid=16272] ppid=16269 vsize=151096 CPUtime=25.49 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 14087 0 0 0 2476 73 0 0 25 0 3 0 910656189 154722304 28205 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=151096 CPUtime=25.49 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 13877 0 0 0 2533 16 0 0 25 0 3 0 910656189 154722304 28205 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 151096
[startup+51.1006 s]
/proc/loadavg: 3.93 3.89 3.24 5/182 16275
/proc/meminfo: memFree=29828612/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=216872 CPUtime=102.18 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 37824 0 0 0 10050 168 0 0 25 0 3 0 910656189 222076928 37578 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 54218 37578 180 372 0 53843 0
[pid=16271/tid=16272] ppid=16269 vsize=216872 CPUtime=51.08 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 14203 0 0 0 4975 133 0 0 25 0 3 0 910656189 222076928 37578 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=216872 CPUtime=51.08 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 23134 0 0 0 5074 34 0 0 25 0 3 0 910656189 222076928 37578 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 216872
[startup+102.306 s]
/proc/loadavg: 3.97 3.90 3.28 5/182 16277
/proc/meminfo: memFree=29759132/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=283092 CPUtime=204.6 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 54240 0 0 0 20190 270 0 0 25 0 3 0 910656189 289886208 53994 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 70773 53994 180 372 0 70398 0
[pid=16271/tid=16272] ppid=16269 vsize=283092 CPUtime=102.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 26996 0 0 0 10021 208 0 0 25 0 3 0 910656189 289886208 53994 33554432000 4194304 5714118 140733724866336 18446744073709551615 4320067 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=283092 CPUtime=102.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 26757 0 0 0 10168 61 0 0 25 0 3 0 910656189 289886208 53994 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 283092
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.32 5/182 16319
/proc/meminfo: memFree=29749924/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=349168 CPUtime=324.59 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 70569 0 0 0 32118 341 0 0 25 0 3 0 910656189 357548032 70323 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 87292 70323 180 372 0 86917 0
[pid=16271/tid=16272] ppid=16269 vsize=349168 CPUtime=162.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 37847 0 0 0 15969 260 0 0 25 0 3 0 910656189 357548032 70323 33554432000 4194304 5714118 140733724866336 18446744073709551615 4320064 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=349168 CPUtime=162.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 32235 0 0 0 16148 81 0 0 25 0 3 0 910656189 357548032 70323 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 349168
[startup+222.301 s]
/proc/loadavg: 4.06 3.94 3.36 5/182 16321
/proc/meminfo: memFree=29514656/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=481856 CPUtime=444.59 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 102879 0 0 0 44024 435 0 0 25 0 3 0 910656189 493420544 102631 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 120464 102631 180 372 0 120089 0
[pid=16271/tid=16272] ppid=16269 vsize=481856 CPUtime=222.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 46971 0 0 0 21913 316 0 0 25 0 3 0 910656189 493420544 102631 33554432000 4194304 5714118 140733724866336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=481856 CPUtime=222.28 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 55421 0 0 0 22110 118 0 0 25 0 3 0 910656189 493420544 102631 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 481856
[startup+282.3 s]
/proc/loadavg: 4.02 3.95 3.40 5/182 16322
/proc/meminfo: memFree=29370272/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=550712 CPUtime=564.59 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 122438 0 0 0 55917 542 0 0 25 0 3 0 910656189 563929088 122169 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 137678 122169 180 372 0 137303 0
[pid=16271/tid=16272] ppid=16269 vsize=550712 CPUtime=282.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 58971 0 0 0 27824 405 0 0 25 0 3 0 910656189 563929088 122169 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=550712 CPUtime=282.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 62980 0 0 0 28092 137 0 0 25 0 3 0 910656189 563929088 122169 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 550712
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.43 5/182 16324
/proc/meminfo: memFree=29242616/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=616248 CPUtime=684.6 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 138258 0 0 0 67825 635 0 0 25 0 3 0 910656189 631037952 137986 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 154062 137986 180 372 0 153687 0
[pid=16271/tid=16272] ppid=16269 vsize=616248 CPUtime=342.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 68952 0 0 0 33752 477 0 0 25 0 3 0 910656189 631037952 137986 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=616248 CPUtime=342.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 68819 0 0 0 34072 157 0 0 25 0 3 0 910656189 631037952 137986 33554432000 4194304 5714118 140733724866336 18446744073709551615 4323202 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 616248
[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.47 5/182 16326
/proc/meminfo: memFree=29124268/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=681944 CPUtime=804.6 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 152758 0 0 0 79739 721 0 0 25 0 3 0 910656189 698310656 152485 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 170486 152485 180 372 0 170111 0
[pid=16271/tid=16272] ppid=16269 vsize=681944 CPUtime=402.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 77909 0 0 0 39682 547 0 0 25 0 3 0 910656189 698310656 152485 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=681944 CPUtime=402.29 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 74362 0 0 0 40056 173 0 0 25 0 3 0 910656189 698310656 152485 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 681944
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.50 5/182 16327
/proc/meminfo: memFree=28943056/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=747804 CPUtime=924.6 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 167544 0 0 0 91650 810 0 0 25 0 3 0 910656189 765751296 167271 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 186951 167271 180 372 0 186576 0
[pid=16271/tid=16272] ppid=16269 vsize=747804 CPUtime=462.3 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 87679 0 0 0 45611 619 0 0 25 0 3 0 910656189 765751296 167271 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=747804 CPUtime=462.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 79378 0 0 0 46039 191 0 0 25 0 3 0 910656189 765751296 167271 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 747804
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.53 5/182 16329
/proc/meminfo: memFree=28812432/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=747804 CPUtime=1044.6 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 177549 0 0 0 103555 905 0 0 25 0 3 0 910656189 765751296 177275 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 186951 177275 180 372 0 186576 0
[pid=16271/tid=16272] ppid=16269 vsize=747804 CPUtime=522.29 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 96065 0 0 0 51529 700 0 0 25 0 3 0 910656189 765751296 177275 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=747804 CPUtime=522.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 80997 0 0 0 52025 205 0 0 25 0 3 0 910656189 765751296 177275 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 747804
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.55 5/182 16330
/proc/meminfo: memFree=28734376/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=813340 CPUtime=1164.61 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 189051 0 0 0 115460 1001 0 0 25 0 3 0 910656189 832860160 188777 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 203335 188777 180 372 0 202960 0
[pid=16271/tid=16272] ppid=16269 vsize=813340 CPUtime=582.3 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 107566 0 0 0 57445 785 0 0 25 0 3 0 910656189 832860160 188777 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=813340 CPUtime=582.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 80998 0 0 0 58014 216 0 0 25 0 3 0 910656189 832860160 188777 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 813340
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.58 5/182 16332
/proc/meminfo: memFree=28666624/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=878876 CPUtime=1284.62 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 198206 0 0 0 127374 1088 0 0 25 0 3 0 910656189 899969024 197932 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 219719 197932 180 372 0 219344 0
[pid=16271/tid=16272] ppid=16269 vsize=878876 CPUtime=642.31 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 116719 0 0 0 63368 863 0 0 25 0 3 0 910656189 899969024 197932 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=878876 CPUtime=642.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81000 0 0 0 64005 225 0 0 25 0 3 0 910656189 899969024 197932 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 878876
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.60 5/182 16334
/proc/meminfo: memFree=28600100/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=878876 CPUtime=1404.61 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 207138 0 0 0 139286 1175 0 0 25 0 3 0 910656189 899969024 206864 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 219719 206864 180 372 0 219344 0
[pid=16271/tid=16272] ppid=16269 vsize=878876 CPUtime=702.3 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 125647 0 0 0 69289 941 0 0 25 0 3 0 910656189 899969024 206864 33554432000 4194304 5714118 140733724866336 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=878876 CPUtime=702.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81004 0 0 0 69997 233 0 0 25 0 3 0 910656189 899969024 206864 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 878876
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.62 5/182 16335
/proc/meminfo: memFree=28547220/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=944412 CPUtime=1524.63 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 215993 0 0 0 151200 1263 0 0 25 0 3 0 910656189 967077888 215719 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 236103 215719 180 372 0 235728 0
[pid=16271/tid=16272] ppid=16269 vsize=944412 CPUtime=762.31 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 134498 0 0 0 75207 1024 0 0 25 0 3 0 910656189 967077888 215719 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=944412 CPUtime=762.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81008 0 0 0 75992 238 0 0 25 0 3 0 910656189 967077888 215719 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 944412
[startup+822.301 s]
/proc/loadavg: 4.03 3.99 3.65 5/182 16337
/proc/meminfo: memFree=28480712/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=944412 CPUtime=1644.62 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 227686 0 0 0 163105 1357 0 0 25 0 3 0 910656189 967077888 227412 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 236103 227412 180 372 0 235728 0
[pid=16271/tid=16272] ppid=16269 vsize=944412 CPUtime=822.3 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 146184 0 0 0 81120 1110 0 0 25 0 3 0 910656189 967077888 227412 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=944412 CPUtime=822.3 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81015 0 0 0 81983 247 0 0 25 0 3 0 910656189 967077888 227412 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 944412
[startup+882.3 s]
/proc/loadavg: 4.01 3.99 3.67 5/182 16338
/proc/meminfo: memFree=28390880/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=1009948 CPUtime=1764.62 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 238415 0 0 0 175008 1454 0 0 25 0 3 0 910656189 1034186752 238141 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 252487 238141 180 372 0 252112 0
[pid=16271/tid=16272] ppid=16269 vsize=1009948 CPUtime=882.3 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 156906 0 0 0 87031 1199 0 0 25 0 3 0 910656189 1034186752 238141 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=1009948 CPUtime=882.31 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81022 0 0 0 87976 255 0 0 25 0 3 0 910656189 1034186752 238141 33554432000 4194304 5714118 140733724866336 18446744073709551615 4310579 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1009948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 3.99 3.67 5/182 16339
/proc/meminfo: memFree=28359112/32950928 swapFree=67048888/67111528
[pid=16271] ppid=16269 vsize=1009948 CPUtime=1800.03 cores=1,3,5,7
/proc/16271/stat : 16271 (pwbo1.1) S 16269 16271 15608 0 -1 4202496 242247 0 0 0 178522 1481 0 0 25 0 3 0 910656189 1034186752 241973 33554432000 4194304 5714118 140733724866336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 252487 241973 180 372 0 252112 0
[pid=16271/tid=16272] ppid=16269 vsize=1009948 CPUtime=900.01 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 160738 0 0 0 88778 1223 0 0 25 0 3 0 910656189 1034186752 241973 33554432000 4194304 5714118 140733724866336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=1009948 CPUtime=900.01 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (pwbo1.1) R 16269 16271 15608 0 -1 4202560 81022 0 0 0 89743 258 0 0 25 0 3 0 910656189 1034186752 241973 33554432000 4194304 5714118 140733724866336 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1009948
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.053
CPU time (s): 1800.09
CPU user time (s): 1785.24
CPU system time (s): 14.8557
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 1009948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.24
system time used= 14.8557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242253
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= 449
involuntary context switches= 12868
runsolver used 1.43578 second user time and 3.39648 second system time
The end