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-3728615-1338671145/watcher-3728615-1338671145 -o /tmp/evaluation-result-3728615-1338671145/solver-3728615-1338671145 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728615-1338671145.wbo 

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.00 3.99 3.68 4/178 19798
/proc/meminfo: memFree=28531496/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=163324 CPUtime=0 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 1119 0 0 0 0 0 0 0 20 0 3 0 333239037 167243776 1063 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 40831 1067 178 433 0 40395 0
[pid=19798/tid=19799] ppid=19796 vsize=163324 CPUtime=0 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 3 0 333239038 167243776 1079 33554432000 4194304 5964478 140737408916096 140436883929640 4302205 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=163324 CPUtime=0 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 3 0 333239038 167243776 1088 33554432000 4194304 5964478 140737408916096 140436873439784 5244295 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

[startup+0.05266 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 19798
/proc/meminfo: memFree=28531496/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=172648 CPUtime=0.08 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 5554 0 0 0 5 3 0 0 20 0 3 0 333239037 176791552 5476 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43162 5481 205 433 0 42726 0
[pid=19798/tid=19799] ppid=19796 vsize=172648 CPUtime=0.03 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 376 0 0 0 3 0 0 0 20 0 3 0 333239038 176791552 5483 33554432000 4194304 5964478 140737408916096 140436883929080 4381993 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=172648 CPUtime=0.03 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 4185 0 0 0 0 3 0 0 20 0 3 0 333239038 176791552 5484 33554432000 4194304 5964478 140737408916096 140436873438152 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 172648

[startup+0.100365 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 19798
/proc/meminfo: memFree=28531496/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175440 CPUtime=0.18 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 6157 0 0 0 14 4 0 0 20 0 3 0 333239037 179650560 6079 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43860 6079 206 433 0 43424 0
[pid=19798/tid=19799] ppid=19796 vsize=175440 CPUtime=0.08 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 495 0 0 0 8 0 0 0 20 0 3 0 333239038 179650560 6079 33554432000 4194304 5964478 140737408916096 140436883929080 4382038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175440 CPUtime=0.08 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 4661 0 0 0 3 5 0 0 20 0 3 0 333239038 179650560 6079 33554432000 4194304 5964478 140737408916096 140436873439160 4373442 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 175440

[startup+0.300239 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 19798
/proc/meminfo: memFree=28531496/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175440 CPUtime=0.58 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 6938 0 0 0 53 5 0 0 20 0 3 0 333239037 179650560 6860 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43860 6860 206 433 0 43424 0
[pid=19798/tid=19799] ppid=19796 vsize=175440 CPUtime=0.28 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 962 0 0 0 28 0 0 0 20 0 3 0 333239038 179650560 6860 33554432000 4194304 5964478 140737408916096 140436883929080 4381796 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175440 CPUtime=0.28 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 4976 0 0 0 23 5 0 0 20 0 3 0 333239038 179650560 6862 33554432000 4194304 5964478 140737408916096 140436873439160 4400091 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) 175440

[startup+0.700253 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 19798
/proc/meminfo: memFree=28531496/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175440 CPUtime=1.37 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 8632 0 0 0 131 6 0 0 20 0 3 0 333239037 179650560 8554 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43860 8554 206 433 0 43424 0
[pid=19798/tid=19799] ppid=19796 vsize=175440 CPUtime=0.68 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 1827 0 0 0 66 2 0 0 20 0 3 0 333239038 179650560 8554 33554432000 4194304 5964478 140737408916096 140436883929080 4399975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175440 CPUtime=0.68 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 5804 0 0 0 62 6 0 0 20 0 3 0 333239038 179650560 8554 33554432000 4194304 5964478 140737408916096 140436873439544 5136420 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) 175440

[startup+1.50025 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 19801
/proc/meminfo: memFree=28476128/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175440 CPUtime=2.97 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 11662 0 0 0 290 7 0 0 20 0 3 0 333239037 179650560 11584 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43860 11584 206 433 0 43424 0
[pid=19798/tid=19799] ppid=19796 vsize=175440 CPUtime=1.48 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 3340 0 0 0 146 2 0 0 20 0 3 0 333239038 179650560 11584 33554432000 4194304 5964478 140737408916096 140436883929128 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175440 CPUtime=1.48 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 7321 0 0 0 142 6 0 0 20 0 3 0 333239038 179650560 11584 33554432000 4194304 5964478 140737408916096 140436873439592 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 175440

[startup+3.10028 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 19801
/proc/meminfo: memFree=28446236/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175800 CPUtime=6.17 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 15290 0 0 0 610 7 0 0 20 0 3 0 333239037 180019200 15212 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43950 15212 206 433 0 43514 0
[pid=19798/tid=19799] ppid=19796 vsize=175800 CPUtime=3.07 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 4320 0 0 0 305 2 0 0 20 0 3 0 333239038 180019200 15212 33554432000 4194304 5964478 140737408916096 140436883929080 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175800 CPUtime=3.08 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 9969 0 0 0 302 6 0 0 20 0 3 0 333239038 180019200 15212 33554432000 4194304 5964478 140737408916096 140436873439544 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 175800

[startup+6.30029 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 19801
/proc/meminfo: memFree=28402628/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=175980 CPUtime=12.57 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 23016 0 0 0 1246 11 0 0 20 0 3 0 333239037 180203520 22938 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 43995 22938 206 433 0 43559 0
[pid=19798/tid=19799] ppid=19796 vsize=175980 CPUtime=6.26 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 7170 0 0 0 623 3 0 0 20 0 3 0 333239038 180203520 22938 33554432000 4194304 5964478 140737408916096 140436883929080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=175980 CPUtime=6.26 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 14845 0 0 0 619 7 0 0 20 0 3 0 333239038 180203520 22938 33554432000 4194304 5964478 140737408916096 140436873439544 5136420 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) 175980

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 19801
/proc/meminfo: memFree=28314460/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=241808 CPUtime=25.36 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 33347 0 0 0 2522 14 0 0 20 0 3 0 333239037 247611392 33617 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 60452 33617 206 433 0 60016 0
[pid=19798/tid=19799] ppid=19796 vsize=241808 CPUtime=12.64 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 10662 0 0 0 1259 5 0 0 20 0 3 0 333239038 247611392 33617 33554432000 4194304 5964478 140737408916096 140436883929080 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=241808 CPUtime=12.64 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 21684 0 0 0 1255 9 0 0 20 0 3 0 333239038 247611392 33617 33554432000 4194304 5964478 140737408916096 140436873439592 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 241808

[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 19801
/proc/meminfo: memFree=28178572/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=308096 CPUtime=50.95 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 50743 0 0 0 5064 31 0 0 20 0 3 0 333239037 315490304 51011 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 77024 51011 206 433 0 76588 0
[pid=19798/tid=19799] ppid=19796 vsize=308096 CPUtime=25.4 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 16742 0 0 0 2532 8 0 0 20 0 3 0 333239038 315490304 51011 33554432000 4194304 5964478 140737408916096 140436883929080 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=308096 CPUtime=25.41 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 33000 0 0 0 2519 22 0 0 20 0 3 0 333239038 315490304 51011 33554432000 4194304 5964478 140737408916096 140436873439544 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 308096

[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.69 5/181 19801
/proc/meminfo: memFree=27974440/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=440092 CPUtime=102.11 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 81513 0 0 0 10153 58 0 0 20 0 3 0 333239037 450654208 81777 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 110023 81777 206 433 0 109587 0
[pid=19798/tid=19799] ppid=19796 vsize=440092 CPUtime=50.91 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 28520 0 0 0 5072 19 0 0 20 0 3 0 333239038 450654208 81777 33554432000 4194304 5964478 140737408916096 140436883929080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=440092 CPUtime=50.93 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 51992 0 0 0 5054 39 0 0 20 0 3 0 333239038 450654208 81777 33554432000 4194304 5964478 140737408916096 140436873439544 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 440092

[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.71 5/181 19802
/proc/meminfo: memFree=27693252/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=572976 CPUtime=204.47 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 119658 0 0 0 20361 86 0 0 20 0 3 0 333239037 586727424 119941 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 143244 119941 206 433 0 142808 0
[pid=19798/tid=19799] ppid=19796 vsize=572976 CPUtime=101.99 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 37878 0 0 0 10167 32 0 0 20 0 3 0 333239038 586727424 119941 33554432000 4194304 5964478 140737408916096 140436883929080 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=572976 CPUtime=101.98 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 80779 0 0 0 10143 55 0 0 20 0 3 0 333239038 586727424 119941 33554432000 4194304 5964478 140737408916096 140436873439544 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 572976

[startup+162.3 s]
/proc/loadavg: 4.03 4.00 3.73 5/181 19802
/proc/meminfo: memFree=27395264/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=705680 CPUtime=324.42 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 158385 0 0 0 32323 119 0 0 20 0 3 0 333239037 722616320 160115 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 176420 160115 206 433 0 175984 0
[pid=19798/tid=19799] ppid=19796 vsize=705680 CPUtime=161.82 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 47879 0 0 0 16137 45 0 0 20 0 3 0 333239038 722616320 160115 33554432000 4194304 5964478 140737408916096 140436883929080 4381455 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=705680 CPUtime=161.8 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 109505 0 0 0 16103 77 0 0 20 0 3 0 333239038 722616320 160115 33554432000 4194304 5964478 140737408916096 140436873439544 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 705680

[startup+222.3 s]
/proc/loadavg: 4.01 4.00 3.74 5/181 19802
/proc/meminfo: memFree=27230348/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=839660 CPUtime=444.39 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 177280 0 0 0 44300 139 0 0 20 0 3 0 333239037 859811840 179010 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 209915 179010 206 433 0 209479 0
[pid=19798/tid=19799] ppid=19796 vsize=839660 CPUtime=221.67 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 58393 0 0 0 22106 61 0 0 20 0 3 0 333239038 859811840 179010 33554432000 4194304 5964478 140737408916096 140436883929080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=839660 CPUtime=221.64 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 117886 0 0 0 22081 83 0 0 20 0 3 0 333239038 859811840 179010 33554432000 4194304 5964478 140737408916096 140436873439304 4400109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 839660

################
# More data... #
################

[pid=19798/tid=19800] ppid=19796 vsize=906956 CPUtime=341.34 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 118105 0 0 0 34049 85 0 0 20 0 3 0 333239038 928722944 195814 33554432000 4194304 5964478 140737408916096 140436873439304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 906956

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.78 5/181 19806
/proc/meminfo: memFree=26983900/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=907244 CPUtime=804.34 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 198130 0 0 0 80265 169 0 0 20 0 3 0 333239037 929017856 199642 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 226811 199642 206 433 0 226375 0
[pid=19798/tid=19799] ppid=19796 vsize=907244 CPUtime=401.2 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 77614 0 0 0 40028 92 0 0 20 0 3 0 333239038 929017856 199642 33554432000 4194304 5964478 140737408916096 140436883929080 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=907244 CPUtime=401.19 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 119515 0 0 0 40031 88 0 0 20 0 3 0 333239038 929017856 199642 33554432000 4194304 5964478 140737408916096 140436873439544 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 907244

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/181 19806
/proc/meminfo: memFree=26889820/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=907844 CPUtime=924.32 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 211530 0 0 0 92248 184 0 0 20 0 3 0 333239037 929632256 213042 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 226961 213042 206 433 0 226525 0
[pid=19798/tid=19799] ppid=19796 vsize=907844 CPUtime=461.04 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 77628 0 0 0 46012 92 0 0 20 0 3 0 333239038 929632256 213042 33554432000 4194304 5964478 140737408916096 140436883929080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=907844 CPUtime=461.03 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 132901 0 0 0 46000 103 0 0 20 0 3 0 333239038 929632256 213042 33554432000 4194304 5964478 140737408916096 140436873439544 4400018 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 907844

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 19806
/proc/meminfo: memFree=26601448/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1040212 CPUtime=1044.29 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 232371 0 0 0 104219 210 0 0 20 0 3 0 333239037 1065177088 233993 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 260053 233993 206 433 0 259617 0
[pid=19798/tid=19799] ppid=19796 vsize=1040212 CPUtime=520.88 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 84151 0 0 0 51984 104 0 0 20 0 3 0 333239038 1065177088 233993 33554432000 4194304 5964478 140737408916096 140436883928888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1040212 CPUtime=520.86 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 147219 0 0 0 51967 119 0 0 20 0 3 0 333239038 1065177088 233993 33554432000 4194304 5964478 140737408916096 140436873439544 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 1040212

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 19806
/proc/meminfo: memFree=26481196/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1110168 CPUtime=1164.26 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 257642 0 0 0 116191 235 0 0 20 0 3 0 333239037 1136812032 259367 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 277542 259367 206 433 0 277106 0
[pid=19798/tid=19799] ppid=19796 vsize=1110168 CPUtime=580.71 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 89800 0 0 0 57957 114 0 0 20 0 3 0 333239038 1136812032 259367 33554432000 4194304 5964478 140737408916096 140436883929080 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1110168 CPUtime=580.69 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 166841 0 0 0 57932 137 0 0 20 0 3 0 333239038 1136812032 259367 33554432000 4194304 5964478 140737408916096 140436873439352 5136420 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) 1110168

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 19806
/proc/meminfo: memFree=26438444/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1179384 CPUtime=1284.22 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 268139 0 0 0 128173 249 0 0 20 0 3 0 333239037 1207689216 269910 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 294846 269910 206 433 0 294410 0
[pid=19798/tid=19799] ppid=19796 vsize=1179384 CPUtime=640.52 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 89850 0 0 0 63937 115 0 0 20 0 3 0 333239038 1207689216 269910 33554432000 4194304 5964478 140737408916096 140436883929080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1179384 CPUtime=640.54 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177288 0 0 0 63902 152 0 0 20 0 3 0 333239038 1207689216 269910 33554432000 4194304 5964478 140737408916096 140436873439544 4388769 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 1179384

[startup+702.3 s]
/proc/loadavg: 4.03 4.01 3.83 5/181 19807
/proc/meminfo: memFree=26407660/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1180156 CPUtime=1404.17 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 275514 0 0 0 140156 261 0 0 20 0 3 0 333239037 1208479744 277507 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 295039 277507 206 433 0 294603 0
[pid=19798/tid=19799] ppid=19796 vsize=1180156 CPUtime=700.35 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 97177 0 0 0 69907 128 0 0 20 0 3 0 333239038 1208479744 277507 33554432000 4194304 5964478 140737408916096 140436883929080 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1180156 CPUtime=700.37 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177336 0 0 0 69884 153 0 0 20 0 3 0 333239038 1208479744 277507 33554432000 4194304 5964478 140737408916096 140436873439544 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 1180156

[startup+762.307 s]
/proc/loadavg: 4.01 4.01 3.84 5/181 19807
/proc/meminfo: memFree=26360756/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1180156 CPUtime=1524.15 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 275576 0 0 0 152154 261 0 0 20 0 3 0 333239037 1208479744 277706 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 295039 277706 206 433 0 294603 0
[pid=19798/tid=19799] ppid=19796 vsize=1180156 CPUtime=760.2 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 97180 0 0 0 75891 129 0 0 20 0 3 0 333239038 1208479744 277706 33554432000 4194304 5964478 140737408916096 140436883929080 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1180156 CPUtime=760.19 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177395 0 0 0 75865 154 0 0 20 0 3 0 333239038 1208479744 277706 33554432000 4194304 5964478 140737408916096 140436873439544 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 1180156

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/181 19807
/proc/meminfo: memFree=26308208/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1180996 CPUtime=1644.09 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 275811 0 0 0 164148 261 0 0 20 0 3 0 333239037 1209339904 277997 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 295249 277997 206 433 0 294813 0
[pid=19798/tid=19799] ppid=19796 vsize=1180996 CPUtime=820.03 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 97193 0 0 0 81873 130 0 0 20 0 3 0 333239038 1209339904 277997 33554432000 4194304 5964478 140737408916096 140436883929080 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1180996 CPUtime=820.01 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177617 0 0 0 81846 155 0 0 20 0 3 0 333239038 1209339904 277997 33554432000 4194304 5964478 140737408916096 140436873439352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.09
Current children cumulated vsize (KiB) 1180996

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 19810
/proc/meminfo: memFree=26274416/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1248152 CPUtime=1764.05 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 284216 0 0 0 176132 273 0 0 20 0 3 0 333239037 1278107648 286448 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 312038 286448 206 433 0 311602 0
[pid=19798/tid=19799] ppid=19796 vsize=1248152 CPUtime=879.83 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 105598 0 0 0 87841 142 0 0 20 0 3 0 333239038 1278107648 286448 33554432000 4194304 5964478 140737408916096 140436883929080 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1248152 CPUtime=879.85 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177617 0 0 0 87829 156 0 0 20 0 3 0 333239038 1278107648 286448 33554432000 4194304 5964478 140737408916096 140436873439352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.05
Current children cumulated vsize (KiB) 1248152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 3/179 19811
/proc/meminfo: memFree=27376236/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1248296 CPUtime=1800.06 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 287694 0 0 0 179726 280 0 0 20 0 3 0 333239037 1278255104 289919 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 312074 289919 206 433 0 311638 0
[pid=19798/tid=19799] ppid=19796 vsize=1248296 CPUtime=897.79 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 109076 0 0 0 89629 150 0 0 20 0 3 0 333239038 1278255104 289919 33554432000 4194304 5964478 140737408916096 140436883929080 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1248296 CPUtime=897.81 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177617 0 0 0 89625 156 0 0 20 0 3 0 333239038 1278255104 289919 33554432000 4194304 5964478 140737408916096 140436873439352 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1248296

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.85 3/179 19811
/proc/meminfo: memFree=27376236/32873648 swapFree=7388/7388
[pid=19798] ppid=19796 vsize=1248296 CPUtime=1800.06 cores=1,3,5,7
/proc/19798/stat : 19798 (pwbo2.02) S 19796 19798 19426 0 -1 4202496 287694 0 0 0 179726 280 0 0 20 0 3 0 333239037 1278255104 289919 33554432000 4194304 5964478 140737408916096 140737408915616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19798/statm: 312074 289919 206 433 0 311638 0
[pid=19798/tid=19799] ppid=19796 vsize=1248296 CPUtime=897.79 cores=1,3,5,7
/proc/19798/task/19799/stat : 19799 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 109076 0 0 0 89629 150 0 0 20 0 3 0 333239038 1278255104 289919 33554432000 4194304 5964478 140737408916096 140436883929080 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19798/tid=19800] ppid=19796 vsize=1248296 CPUtime=897.81 cores=1,3,5,7
/proc/19798/task/19800/stat : 19800 (pwbo2.02) R 19796 19798 19426 0 -1 4202560 177617 0 0 0 89625 156 0 0 20 0 3 0 333239038 1278255104 289919 33554432000 4194304 5964478 140737408916096 140436873439352 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1248296

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19798 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=561489
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=100528
# CPU time returned by wait4() is 1795.66
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.334
CPU time (s): 1800.06
CPU user time (s): 1797.26
CPU system time (s): 2.8
CPU usage (%): 199.932
Max. virtual memory (cumulated for all children) (KiB): 1248296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.56
system time used= 3.10053
maximum resident set size= 1159684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287696
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= 1223
involuntary context switches= 1829

runsolver used 1.86072 second user time and 5.39518 second system time

The end