runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3726060-1338656353/watcher-3726060-1338656353 -o /tmp/evaluation-result-3726060-1338656353/solver-3726060-1338656353 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726060-1338656353.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: 4.02 4.01 3.92 4/178 29263
/proc/meminfo: memFree=26403716/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=162808 CPUtime=0 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 3 0 331759665 166715392 1012 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 40702 1014 196 433 0 40266 0
[pid=29263/tid=29264] ppid=29261 vsize=163020 CPUtime=0 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 3 0 331759665 166932480 1027 33554432000 4194304 5964478 140734968616832 139951024683880 4389162 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=163020 CPUtime=0 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 287 0 0 0 0 0 0 0 20 0 3 0 331759665 166932480 1042 33554432000 4194304 5964478 140734968616832 139951014193112 5179243 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0180139 s]
/proc/loadavg: 4.02 4.01 3.92 4/178 29263
/proc/meminfo: memFree=26403716/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=166364 CPUtime=0.02 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 2288 0 0 0 2 0 0 0 20 0 3 0 331759665 170356736 2218 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 41591 2222 204 433 0 41155 0
[pid=29263/tid=29264] ppid=29261 vsize=166364 CPUtime=0 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 3 0 331759665 170356736 2225 33554432000 4194304 5964478 140734968616832 139951024682808 4403698 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=166364 CPUtime=0 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 1460 0 0 0 0 0 0 0 20 0 3 0 331759665 170356736 2230 33554432000 4194304 5964478 140734968616832 139951014192648 4395266 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 166364
[startup+0.100326 s]
/proc/loadavg: 4.02 4.01 3.92 4/178 29263
/proc/meminfo: memFree=26403716/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=189668 CPUtime=0.17 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 10879 0 0 0 15 2 0 0 20 0 3 0 331759665 194220032 10747 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 47417 10753 204 433 0 46981 0
[pid=29263/tid=29264] ppid=29261 vsize=189668 CPUtime=0.08 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 274 0 0 0 8 0 0 0 20 0 3 0 331759665 194220032 10758 33554432000 4194304 5964478 140734968616832 139951024683000 4381692 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=189668 CPUtime=0.08 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 9854 0 0 0 6 2 0 0 20 0 3 0 331759665 194220032 10759 33554432000 4194304 5964478 140734968616832 139951014192648 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 189668
[startup+0.30033 s]
/proc/loadavg: 4.02 4.01 3.92 4/178 29263
/proc/meminfo: memFree=26403716/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196280 CPUtime=0.58 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 14476 0 0 0 54 4 0 0 20 0 3 0 331759665 200990720 14812 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49070 14813 205 433 0 48634 0
[pid=29263/tid=29264] ppid=29261 vsize=196280 CPUtime=0.28 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 688 0 0 0 26 2 0 0 20 0 3 0 331759665 200990720 14813 33554432000 4194304 5964478 140734968616832 139951024683000 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196280 CPUtime=0.28 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13026 0 0 0 25 3 0 0 20 0 3 0 331759665 200990720 14813 33554432000 4194304 5964478 140734968616832 139951014193768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 196280
[startup+0.700331 s]
/proc/loadavg: 4.02 4.01 3.92 4/178 29263
/proc/meminfo: memFree=26403716/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196280 CPUtime=1.37 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 15251 0 0 0 132 5 0 0 20 0 3 0 331759665 200990720 15587 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49070 15587 205 433 0 48634 0
[pid=29263/tid=29264] ppid=29261 vsize=196280 CPUtime=0.68 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 1338 0 0 0 65 3 0 0 20 0 3 0 331759665 200990720 15587 33554432000 4194304 5964478 140734968616832 139951024682808 5179243 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196280 CPUtime=0.68 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13150 0 0 0 65 3 0 0 20 0 3 0 331759665 200990720 15587 33554432000 4194304 5964478 140734968616832 139951014193384 4400678 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 196280
[startup+1.50034 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 29266
/proc/meminfo: memFree=26341984/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196424 CPUtime=2.98 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 15847 0 0 0 291 7 0 0 20 0 3 0 331759665 201138176 16183 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49106 16183 205 433 0 48670 0
[pid=29263/tid=29264] ppid=29261 vsize=196424 CPUtime=1.47 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 1882 0 0 0 143 4 0 0 20 0 3 0 331759665 201138176 16183 33554432000 4194304 5964478 140734968616832 139951024682808 4379005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196424 CPUtime=1.48 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13202 0 0 0 145 3 0 0 20 0 3 0 331759665 201138176 16183 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 196424
[startup+3.10035 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 29266
/proc/meminfo: memFree=26338396/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196496 CPUtime=6.18 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 16630 0 0 0 609 9 0 0 20 0 3 0 331759665 201211904 16966 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49124 16966 205 433 0 48688 0
[pid=29263/tid=29264] ppid=29261 vsize=196496 CPUtime=3.07 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 2590 0 0 0 301 6 0 0 20 0 3 0 331759665 201211904 16966 33554432000 4194304 5964478 140734968616832 139951024682808 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196496 CPUtime=3.07 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13277 0 0 0 304 3 0 0 20 0 3 0 331759665 201211904 16966 33554432000 4194304 5964478 140734968616832 139951014193464 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 196496
[startup+6.30034 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 29266
/proc/meminfo: memFree=26331444/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196496 CPUtime=12.57 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 18335 0 0 0 1247 10 0 0 20 0 3 0 331759665 201211904 18671 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49124 18671 205 433 0 48688 0
[pid=29263/tid=29264] ppid=29261 vsize=196496 CPUtime=6.26 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 4143 0 0 0 619 7 0 0 20 0 3 0 331759665 201211904 18671 33554432000 4194304 5964478 140734968616832 139951024683000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196496 CPUtime=6.26 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13429 0 0 0 623 3 0 0 20 0 3 0 331759665 201211904 18671 33554432000 4194304 5964478 140734968616832 139951014193464 4373416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 196496
[startup+12.7003 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 29266
/proc/meminfo: memFree=26319812/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196604 CPUtime=25.37 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 20881 0 0 0 2521 16 0 0 20 0 3 0 331759665 201322496 21217 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49151 21217 205 433 0 48715 0
[pid=29263/tid=29264] ppid=29261 vsize=196604 CPUtime=12.65 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 6493 0 0 0 1252 13 0 0 20 0 3 0 331759665 201322496 21217 33554432000 4194304 5964478 140734968616832 139951024683000 4382214 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196604 CPUtime=12.65 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 13625 0 0 0 1262 3 0 0 20 0 3 0 331759665 201322496 21217 33554432000 4194304 5964478 140734968616832 139951014193464 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 196604
[startup+25.5003 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 29266
/proc/meminfo: memFree=26300460/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=196908 CPUtime=50.96 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 24419 0 0 0 5075 21 0 0 20 0 3 0 331759665 201633792 24755 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49227 24755 205 433 0 48791 0
[pid=29263/tid=29264] ppid=29261 vsize=196908 CPUtime=25.41 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 9564 0 0 0 2524 17 0 0 20 0 3 0 331759665 201633792 24755 33554432000 4194304 5964478 140734968616832 139951024683048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=196908 CPUtime=25.41 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 14092 0 0 0 2537 4 0 0 20 0 3 0 331759665 201633792 24755 33554432000 4194304 5964478 140734968616832 139951014193464 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 196908
[startup+51.1003 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 29269
/proc/meminfo: memFree=26269684/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=197292 CPUtime=102.16 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 28222 0 0 0 10184 32 0 0 20 0 3 0 331759665 202027008 28558 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 49323 28558 205 433 0 48887 0
[pid=29263/tid=29264] ppid=29261 vsize=197292 CPUtime=50.95 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 12552 0 0 0 5069 26 0 0 20 0 3 0 331759665 202027008 28558 33554432000 4194304 5964478 140734968616832 139951024683048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=197292 CPUtime=50.95 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 14907 0 0 0 5090 5 0 0 20 0 3 0 331759665 202027008 28558 33554432000 4194304 5964478 140734968616832 139951014193272 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 197292
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 29269
/proc/meminfo: memFree=26186620/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=265568 CPUtime=204.56 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 41768 0 0 0 20400 56 0 0 20 0 3 0 331759665 271941632 42104 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 66392 42104 205 433 0 65956 0
[pid=29263/tid=29264] ppid=29261 vsize=265568 CPUtime=102.02 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 19182 0 0 0 10158 44 0 0 20 0 3 0 331759665 271941632 42104 33554432000 4194304 5964478 140734968616832 139951024683000 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=265568 CPUtime=102.02 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 21823 0 0 0 10188 14 0 0 20 0 3 0 331759665 271941632 42104 33554432000 4194304 5964478 140734968616832 139951014193464 4411576 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 265568
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 29292
/proc/meminfo: memFree=26127584/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=333660 CPUtime=324.52 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 50935 0 0 0 32373 79 0 0 20 0 3 0 331759665 341667840 51271 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 83415 51271 205 433 0 82979 0
[pid=29263/tid=29264] ppid=29261 vsize=333660 CPUtime=161.86 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 24345 0 0 0 16124 62 0 0 20 0 3 0 331759665 341667840 51271 33554432000 4194304 5964478 140734968616832 139951024683000 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=333660 CPUtime=161.86 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 25827 0 0 0 16166 20 0 0 20 0 3 0 331759665 341667840 51271 33554432000 4194304 5964478 140734968616832 139951014193464 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 333660
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 29333
/proc/meminfo: memFree=26519068/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=337096 CPUtime=444.47 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 57416 0 0 0 44354 93 0 0 20 0 3 0 331759665 345186304 58176 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 84274 58176 205 433 0 83838 0
[pid=29263/tid=29264] ppid=29261 vsize=337096 CPUtime=221.67 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 27824 0 0 0 22094 73 0 0 20 0 3 0 331759665 345186304 58176 33554432000 4194304 5964478 140734968616832 139951024683000 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=337096 CPUtime=221.7 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 28829 0 0 0 22144 26 0 0 20 0 3 0 331759665 345186304 58176 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 337096
################
# More data... #
################
[pid=29263/tid=29265] ppid=29261 vsize=407060 CPUtime=341.36 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 33470 0 0 0 34100 36 0 0 20 0 3 0 331759665 416829440 73405 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 407060
[startup+402.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/180 29334
/proc/meminfo: memFree=26321316/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=410424 CPUtime=804.37 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 76448 0 0 0 80303 134 0 0 20 0 3 0 331759665 420274176 79131 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 102606 79131 205 433 0 102170 0
[pid=29263/tid=29264] ppid=29261 vsize=410424 CPUtime=401.2 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 40221 0 0 0 40015 105 0 0 20 0 3 0 331759665 420274176 79131 33554432000 4194304 5964478 140734968616832 139951024683000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=410424 CPUtime=401.19 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 35464 0 0 0 40079 40 0 0 20 0 3 0 331759665 420274176 79131 33554432000 4194304 5964478 140734968616832 139951014193512 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 410424
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29335
/proc/meminfo: memFree=26281624/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=412936 CPUtime=924.31 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 80759 0 0 0 92288 143 0 0 20 0 3 0 331759665 422846464 83451 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 103234 83451 205 433 0 102798 0
[pid=29263/tid=29264] ppid=29261 vsize=412936 CPUtime=461.02 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 42784 0 0 0 45992 110 0 0 20 0 3 0 331759665 422846464 83451 33554432000 4194304 5964478 140734968616832 139951024683000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=412936 CPUtime=461.02 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 37212 0 0 0 46057 45 0 0 20 0 3 0 331759665 422846464 83451 33554432000 4194304 5964478 140734968616832 139951014193512 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 412936
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29335
/proc/meminfo: memFree=26239520/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=414460 CPUtime=1044.28 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 86603 0 0 0 104273 155 0 0 20 0 3 0 331759665 424407040 89328 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 103615 89328 205 433 0 103179 0
[pid=29263/tid=29264] ppid=29261 vsize=414460 CPUtime=520.86 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 47153 0 0 0 51964 122 0 0 20 0 3 0 331759665 424407040 89328 33554432000 4194304 5964478 140734968616832 139951024683000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=414460 CPUtime=520.86 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 38687 0 0 0 52039 47 0 0 20 0 3 0 331759665 424407040 89328 33554432000 4194304 5964478 140734968616832 139951014193272 4400006 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 414460
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29336
/proc/meminfo: memFree=26205028/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=415580 CPUtime=1164.26 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 88762 0 0 0 116266 160 0 0 20 0 3 0 331759665 425553920 91487 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 103895 91487 205 433 0 103459 0
[pid=29263/tid=29264] ppid=29261 vsize=415580 CPUtime=580.71 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 47930 0 0 0 57946 125 0 0 20 0 3 0 331759665 425553920 91487 33554432000 4194304 5964478 140734968616832 139951024683048 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=415580 CPUtime=580.7 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 40069 0 0 0 58020 50 0 0 20 0 3 0 331759665 425553920 91487 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 415580
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29336
/proc/meminfo: memFree=26164152/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=484568 CPUtime=1284.26 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 94216 0 0 0 128252 174 0 0 20 0 3 0 331759665 496197632 96941 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 121142 96941 205 433 0 120706 0
[pid=29263/tid=29264] ppid=29261 vsize=484568 CPUtime=640.56 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 51682 0 0 0 63918 138 0 0 20 0 3 0 331759665 496197632 96941 33554432000 4194304 5964478 140734968616832 139951024683000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=484568 CPUtime=640.55 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 41771 0 0 0 64002 53 0 0 20 0 3 0 331759665 496197632 96941 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 484568
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 29339
/proc/meminfo: memFree=26127492/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=551612 CPUtime=1404.23 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 99160 0 0 0 140238 185 0 0 20 0 3 0 331759665 564850688 101885 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 137903 101885 205 433 0 137467 0
[pid=29263/tid=29264] ppid=29261 vsize=551612 CPUtime=700.4 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 55408 0 0 0 69893 147 0 0 20 0 3 0 331759665 564850688 101885 33554432000 4194304 5964478 140734968616832 139951024683048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=551612 CPUtime=700.39 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 42989 0 0 0 69982 57 0 0 20 0 3 0 331759665 564850688 101885 33554432000 4194304 5964478 140734968616832 139951014193464 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 551612
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29339
/proc/meminfo: memFree=26081332/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=554000 CPUtime=1524.21 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 104122 0 0 0 152224 197 0 0 20 0 3 0 331759665 567296000 106843 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 138500 106843 205 433 0 138064 0
[pid=29263/tid=29264] ppid=29261 vsize=554000 CPUtime=760.24 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 59118 0 0 0 75865 159 0 0 20 0 3 0 331759665 567296000 106843 33554432000 4194304 5964478 140734968616832 139951024683000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=554000 CPUtime=760.24 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 44241 0 0 0 75964 60 0 0 20 0 3 0 331759665 567296000 106843 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.21
Current children cumulated vsize (KiB) 554000
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29339
/proc/meminfo: memFree=26051720/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=554664 CPUtime=1644.16 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 106824 0 0 0 164212 204 0 0 20 0 3 0 331759665 567975936 109550 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 138666 109550 205 433 0 138230 0
[pid=29263/tid=29264] ppid=29261 vsize=554664 CPUtime=820.07 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 60780 0 0 0 81844 163 0 0 20 0 3 0 331759665 567975936 109550 33554432000 4194304 5964478 140734968616832 139951024683000 5139166 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=554664 CPUtime=820.06 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 45281 0 0 0 81943 63 0 0 20 0 3 0 331759665 567975936 109550 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 554664
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29340
/proc/meminfo: memFree=26014496/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=555348 CPUtime=1764.13 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 109751 0 0 0 176202 211 0 0 20 0 3 0 331759665 568676352 112466 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 138837 112466 205 433 0 138401 0
[pid=29263/tid=29264] ppid=29261 vsize=555348 CPUtime=879.9 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 62634 0 0 0 87821 169 0 0 20 0 3 0 331759665 568676352 112466 33554432000 4194304 5964478 140734968616832 139951024683048 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=555348 CPUtime=879.9 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 46354 0 0 0 87923 67 0 0 20 0 3 0 331759665 568676352 112466 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 555348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29340
/proc/meminfo: memFree=26006312/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=555456 CPUtime=1800.13 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 111507 0 0 0 179798 215 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 138864 114222 205 433 0 138428 0
[pid=29263/tid=29264] ppid=29261 vsize=555456 CPUtime=897.87 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 64079 0 0 0 89615 172 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 139951024683048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=555456 CPUtime=897.86 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 46665 0 0 0 89718 68 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 555456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 29340
/proc/meminfo: memFree=26006312/32873844 swapFree=7628/7628
[pid=29263] ppid=29261 vsize=555456 CPUtime=1800.13 cores=1,3,5,7
/proc/29263/stat : 29263 (pwbo2.02) S 29261 29263 25747 0 -1 4202496 111507 0 0 0 179798 215 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 140734968616352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29263/statm: 138864 114222 205 433 0 138428 0
[pid=29263/tid=29264] ppid=29261 vsize=555456 CPUtime=897.87 cores=1,3,5,7
/proc/29263/task/29264/stat : 29264 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 64079 0 0 0 89615 172 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 139951024683048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29263/tid=29265] ppid=29261 vsize=555456 CPUtime=897.86 cores=1,3,5,7
/proc/29263/task/29265/stat : 29265 (pwbo2.02) R 29261 29263 25747 0 -1 4202560 46665 0 0 0 89718 68 0 0 20 0 3 0 331759665 568786944 114222 33554432000 4194304 5964478 140734968616832 139951014193464 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 555456
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29263 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=348369
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=420632
# CPU time returned by wait4() is 1795.77
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.32
CPU time (s): 1800.13
CPU user time (s): 1797.98
CPU system time (s): 2.15
CPU usage (%): 199.943
Max. virtual memory (cumulated for all children) (KiB): 555456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 2.42063
maximum resident set size= 456896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111509
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= 505
involuntary context switches= 2525
runsolver used 1.93271 second user time and 5.79312 second system time
The end