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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.89 2/174 30021
/proc/meminfo: memFree=27436296/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=6864 CPUtime=0 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) R 30019 30021 28266 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 331628913 7028736 420 33554432000 4194304 5964478 140737179566144 140737179564088 4419535 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 1716 420 167 433 0 718 0

[startup+0.0861399 s]
/proc/loadavg: 3.68 3.93 3.89 2/174 30021
/proc/meminfo: memFree=27436296/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=14416 CPUtime=0.08 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) R 30019 30021 28266 0 -1 4202496 2626 0 0 0 8 0 0 0 20 0 1 0 331628913 14761984 2512 33554432000 4194304 5964478 140737179566144 140737179564088 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 3604 2514 437 433 0 2606 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14416

[startup+0.100331 s]
/proc/loadavg: 3.68 3.93 3.89 2/174 30021
/proc/meminfo: memFree=27436296/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=15604 CPUtime=0.09 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) R 30019 30021 28266 0 -1 4202496 2995 0 0 0 9 0 0 0 20 0 1 0 331628913 15978496 2881 33554432000 4194304 5964478 140737179566144 140737179564088 4350905 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 3901 2882 485 433 0 2903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15604

[startup+0.300166 s]
/proc/loadavg: 3.68 3.93 3.89 2/174 30021
/proc/meminfo: memFree=27436296/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=0.38 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 19090 0 0 0 31 7 0 0 20 0 3 0 331628913 194846720 17910 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 17910 201 433 0 47134 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 190280

[startup+0.700167 s]
/proc/loadavg: 3.68 3.93 3.89 2/174 30021
/proc/meminfo: memFree=27436296/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=1.19 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 21335 0 0 0 111 8 0 0 20 0 3 0 331628913 194846720 18578 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 18578 201 433 0 47134 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 190280

[startup+1.50034 s]
/proc/loadavg: 3.68 3.93 3.89 5/181 30064
/proc/meminfo: memFree=27299580/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=2.78 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 24046 0 0 0 270 8 0 0 20 0 3 0 331628913 194846720 18470 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 18470 202 433 0 47134 0
[pid=30021/tid=30023] ppid=30019 vsize=190280 CPUtime=1.3 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 10620 0 0 0 127 3 0 0 20 0 3 0 331628929 194846720 18470 33554432000 4194304 5964478 140737179566144 140342394321432 5133791 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=190280 CPUtime=1.31 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 8080 0 0 0 125 6 0 0 20 0 3 0 331628929 194846720 18470 33554432000 4194304 5964478 140737179566144 140342383831352 4392707 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 190280

[startup+3.10034 s]
/proc/loadavg: 3.68 3.93 3.89 5/181 30064
/proc/meminfo: memFree=27299208/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=5.99 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 29281 0 0 0 589 10 0 0 20 0 3 0 331628913 194846720 18508 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 18508 202 433 0 47134 0
[pid=30021/tid=30023] ppid=30019 vsize=190280 CPUtime=2.9 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 15817 0 0 0 286 4 0 0 20 0 3 0 331628929 194846720 18508 33554432000 4194304 5964478 140737179566144 140342394321432 5130914 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=190280 CPUtime=2.9 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 8118 0 0 0 284 6 0 0 20 0 3 0 331628929 194846720 18508 33554432000 4194304 5964478 140737179566144 140342383831352 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 190280

[startup+6.30034 s]
/proc/loadavg: 3.70 3.93 3.89 5/181 30064
/proc/meminfo: memFree=27296224/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=12.37 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 32642 0 0 0 1227 10 0 0 20 0 3 0 331628913 194846720 19490 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 19490 202 433 0 47134 0
[pid=30021/tid=30023] ppid=30019 vsize=190280 CPUtime=6.09 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 19074 0 0 0 605 4 0 0 20 0 3 0 331628929 194846720 19490 33554432000 4194304 5964478 140737179566144 140342394321432 5139118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=190280 CPUtime=6.09 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 8222 0 0 0 603 6 0 0 20 0 3 0 331628929 194846720 19490 33554432000 4194304 5964478 140737179566144 140342383831400 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 190280

[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.89 5/181 30064
/proc/meminfo: memFree=27276836/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=190280 CPUtime=25.18 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 35744 0 0 0 2506 12 0 0 20 0 3 0 331628913 194846720 22592 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 47570 22592 202 433 0 47134 0
[pid=30021/tid=30023] ppid=30019 vsize=190280 CPUtime=12.47 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 20025 0 0 0 1243 4 0 0 20 0 3 0 331628929 194846720 22592 33554432000 4194304 5964478 140737179566144 140342394321432 5134325 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=190280 CPUtime=12.47 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 10373 0 0 0 1240 7 0 0 20 0 3 0 331628929 194846720 22592 33554432000 4194304 5964478 140737179566144 140342383831352 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 190280

[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.89 5/181 30064
/proc/meminfo: memFree=27185704/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=255816 CPUtime=50.76 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 64205 0 0 0 5056 20 0 0 20 0 3 0 331628913 261955584 35573 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 63954 35573 203 433 0 63518 0
[pid=30021/tid=30023] ppid=30019 vsize=255816 CPUtime=25.23 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 37822 0 0 0 2515 8 0 0 20 0 3 0 331628929 261955584 35573 33554432000 4194304 5964478 140737179566144 140342394321432 5135657 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=255816 CPUtime=25.24 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 21037 0 0 0 2512 12 0 0 20 0 3 0 331628929 261955584 35574 33554432000 4194304 5964478 140737179566144 140342383831352 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 255816

[startup+51.1003 s]
/proc/loadavg: 3.86 3.94 3.89 5/181 30064
/proc/meminfo: memFree=27008648/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=321352 CPUtime=101.91 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 114116 0 0 0 10134 57 0 0 20 0 3 0 331628913 329064448 62882 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 80338 62882 203 433 0 79902 0
[pid=30021/tid=30023] ppid=30019 vsize=321352 CPUtime=50.75 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 66876 0 0 0 5061 14 0 0 20 0 3 0 331628929 329064448 62882 33554432000 4194304 5964478 140737179566144 140342394321432 5179243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=321352 CPUtime=50.75 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 41894 0 0 0 5033 42 0 0 20 0 3 0 331628929 329064448 62882 33554432000 4194304 5964478 140737179566144 140342383831352 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 321352

[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.90 5/181 30064
/proc/meminfo: memFree=26672792/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=519584 CPUtime=204.26 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 161137 0 0 0 20327 99 0 0 20 0 3 0 331628913 532054016 110580 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 129896 110580 203 433 0 129460 0
[pid=30021/tid=30023] ppid=30019 vsize=519584 CPUtime=101.82 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 82691 0 0 0 10151 31 0 0 20 0 3 0 331628929 532054016 110580 33554432000 4194304 5964478 140737179566144 140342394320888 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=519584 CPUtime=101.8 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 73100 0 0 0 10111 69 0 0 20 0 3 0 331628929 532054016 110580 33554432000 4194304 5964478 140737179566144 140342383831352 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.26
Current children cumulated vsize (KiB) 519584

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.90 5/182 30068
/proc/meminfo: memFree=26414620/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=717960 CPUtime=324.23 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 199472 0 0 0 32293 130 0 0 20 0 3 0 331628913 735191040 148911 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 179490 148911 203 433 0 179054 0
[pid=30021/tid=30023] ppid=30019 vsize=717960 CPUtime=161.66 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 85432 0 0 0 16132 34 0 0 20 0 3 0 331628929 735191040 148911 33554432000 4194304 5964478 140737179566144 140342394321304 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=717960 CPUtime=161.64 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 108694 0 0 0 16064 100 0 0 20 0 3 0 331628929 735191040 148911 33554432000 4194304 5964478 140737179566144 140342383831352 4392863 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.23
Current children cumulated vsize (KiB) 717960

[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 30068
/proc/meminfo: memFree=26253108/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=849704 CPUtime=444.22 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 228016 0 0 0 44258 164 0 0 20 0 3 0 331628913 870096896 177455 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 212426 177455 203 433 0 211990 0
[pid=30021/tid=30023] ppid=30019 vsize=849704 CPUtime=221.51 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 85650 0 0 0 22116 35 0 0 20 0 3 0 331628929 870096896 177455 33554432000 4194304 5964478 140737179566144 140342394321304 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=849704 CPUtime=221.49 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 137020 0 0 0 22015 134 0 0 20 0 3 0 331628929 870096896 177455 33554432000 4194304 5964478 140737179566144 140342383831160 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.22
Current children cumulated vsize (KiB) 849704

[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 30068
/proc/meminfo: memFree=26137072/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=915808 CPUtime=564.2 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 253919 0 0 0 56228 192 0 0 20 0 3 0 331628913 937787392 203358 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 228952 203358 203 433 0 228516 0
[pid=30021/tid=30023] ppid=30019 vsize=915808 CPUtime=281.35 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 87047 0 0 0 28098 37 0 0 20 0 3 0 331628929 937787392 203358 33554432000 4194304 5964478 140737179566144 140342394320696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=915808 CPUtime=281.33 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 161526 0 0 0 27971 162 0 0 20 0 3 0 331628929 937787392 203358 33554432000 4194304 5964478 140737179566144 140342383831400 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.2
Current children cumulated vsize (KiB) 915808

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30068
/proc/meminfo: memFree=25952220/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=984456 CPUtime=684.18 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 278296 0 0 0 68201 217 0 0 20 0 3 0 331628913 1008082944 227733 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 246114 227733 203 433 0 245678 0

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

[pid=30021/tid=30024] ppid=30019 vsize=984456 CPUtime=341.18 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 175164 0 0 0 33940 178 0 0 20 0 3 0 331628929 1008082944 227733 33554432000 4194304 5964478 140737179566144 140342383831496 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (KiB) 984456

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30068
/proc/meminfo: memFree=25860456/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=983256 CPUtime=804.13 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 278527 0 0 0 80196 217 0 0 20 0 3 0 331628913 1006854144 227461 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 245814 227461 203 433 0 245378 0
[pid=30021/tid=30023] ppid=30019 vsize=983256 CPUtime=401.05 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 97895 0 0 0 40056 49 0 0 20 0 3 0 331628929 1006854144 227461 33554432000 4194304 5964478 140737179566144 140342394321736 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=983256 CPUtime=400.99 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 175286 0 0 0 39920 179 0 0 20 0 3 0 331628929 1006854144 227461 33554432000 4194304 5964478 140737179566144 140342383831112 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.13
Current children cumulated vsize (KiB) 983256

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30069
/proc/meminfo: memFree=25781124/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=983688 CPUtime=924.06 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 278700 0 0 0 92189 217 0 0 20 0 3 0 331628913 1007296512 227598 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 245922 227598 203 433 0 245486 0
[pid=30021/tid=30023] ppid=30019 vsize=983688 CPUtime=460.89 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 97910 0 0 0 46040 49 0 0 20 0 3 0 331628929 1007296512 227598 33554432000 4194304 5964478 140737179566144 140342394321432 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=983688 CPUtime=460.79 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 175444 0 0 0 45900 179 0 0 20 0 3 0 331628929 1007296512 227598 33554432000 4194304 5964478 140737179566144 140342383831112 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.06
Current children cumulated vsize (KiB) 983688

[startup+522.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/181 30069
/proc/meminfo: memFree=25721012/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=984112 CPUtime=1043.99 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 278865 0 0 0 104182 217 0 0 20 0 3 0 331628913 1007730688 227732 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 246028 227732 203 433 0 245592 0
[pid=30021/tid=30023] ppid=30019 vsize=984112 CPUtime=520.74 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 97931 0 0 0 52024 50 0 0 20 0 3 0 331628929 1007730688 227732 33554432000 4194304 5964478 140737179566144 140342394321432 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=984112 CPUtime=520.58 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 175588 0 0 0 51878 180 0 0 20 0 3 0 331628929 1007730688 227732 33554432000 4194304 5964478 140737179566144 140342383831112 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.99
Current children cumulated vsize (KiB) 984112

[startup+582.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/181 30069
/proc/meminfo: memFree=25559220/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1115628 CPUtime=1163.93 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 306471 0 0 0 116146 247 0 0 20 0 3 0 331628913 1142403072 255293 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 278907 255293 203 433 0 278471 0
[pid=30021/tid=30023] ppid=30019 vsize=1115628 CPUtime=580.58 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 106227 0 0 0 57997 61 0 0 20 0 3 0 331628929 1142403072 255293 33554432000 4194304 5964478 140737179566144 140342394320888 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1115628 CPUtime=580.38 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 194898 0 0 0 57837 201 0 0 20 0 3 0 331628929 1142403072 255293 33554432000 4194304 5964478 140737179566144 140342383831352 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.93
Current children cumulated vsize (KiB) 1115628

[startup+642.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 30069
/proc/meminfo: memFree=25368412/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1247000 CPUtime=1283.88 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 337855 0 0 0 128104 284 0 0 20 0 3 0 331628913 1276928000 286630 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 311750 286630 203 433 0 311314 0
[pid=30021/tid=30023] ppid=30019 vsize=1247000 CPUtime=640.42 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 110571 0 0 0 63977 65 0 0 20 0 3 0 331628929 1276928000 286630 33554432000 4194304 5964478 140737179566144 140342394320696 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1247000 CPUtime=640.2 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 221938 0 0 0 63784 236 0 0 20 0 3 0 331628929 1276928000 286630 33554432000 4194304 5964478 140737179566144 140342383831352 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.88
Current children cumulated vsize (KiB) 1247000

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30069
/proc/meminfo: memFree=25330744/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1247148 CPUtime=1403.81 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 343894 0 0 0 140091 290 0 0 20 0 3 0 331628913 1277079552 292626 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 311787 292626 203 433 0 311351 0
[pid=30021/tid=30023] ppid=30019 vsize=1247148 CPUtime=700.22 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 111531 0 0 0 69956 66 0 0 20 0 3 0 331628929 1277079552 292626 33554432000 4194304 5964478 140737179566144 140342394320696 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1247148 CPUtime=700.04 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227017 0 0 0 69761 243 0 0 20 0 3 0 331628929 1277079552 292626 33554432000 4194304 5964478 140737179566144 140342383831112 4400016 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.81
Current children cumulated vsize (KiB) 1247148

[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 30073
/proc/meminfo: memFree=25307560/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1247148 CPUtime=1523.78 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 346948 0 0 0 152084 294 0 0 20 0 3 0 331628913 1277079552 295631 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 311787 295631 203 433 0 311351 0
[pid=30021/tid=30023] ppid=30019 vsize=1247148 CPUtime=760.07 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 114514 0 0 0 75936 71 0 0 20 0 3 0 331628929 1277079552 295631 33554432000 4194304 5964478 140737179566144 140342394320696 4400401 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1247148 CPUtime=759.85 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227088 0 0 0 75741 244 0 0 20 0 3 0 331628929 1277079552 295631 33554432000 4194304 5964478 140737179566144 140342383831112 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.78
Current children cumulated vsize (KiB) 1247148

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30073
/proc/meminfo: memFree=25299308/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1247732 CPUtime=1643.73 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 347642 0 0 0 164078 295 0 0 20 0 3 0 331628913 1277677568 296279 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 311933 296279 203 433 0 311497 0
[pid=30021/tid=30023] ppid=30019 vsize=1247732 CPUtime=819.91 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 115040 0 0 0 81919 72 0 0 20 0 3 0 331628929 1277677568 296279 33554432000 4194304 5964478 140737179566144 140342394320696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1247732 CPUtime=819.66 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227256 0 0 0 81721 245 0 0 20 0 3 0 331628929 1277677568 296279 33554432000 4194304 5964478 140737179566144 140342383831112 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.73
Current children cumulated vsize (KiB) 1247732

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30073
/proc/meminfo: memFree=25247392/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1313412 CPUtime=1763.7 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 355123 0 0 0 176063 307 0 0 20 0 3 0 331628913 1344933888 303749 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 328353 303749 203 433 0 327917 0
[pid=30021/tid=30023] ppid=30019 vsize=1313412 CPUtime=879.74 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 122466 0 0 0 87888 86 0 0 20 0 3 0 331628929 1344933888 303749 33554432000 4194304 5964478 140737179566144 140342394320888 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1313412 CPUtime=879.5 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227311 0 0 0 87704 246 0 0 20 0 3 0 331628929 1344933888 303749 33554432000 4194304 5964478 140737179566144 140342383831112 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.7
Current children cumulated vsize (KiB) 1313412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30073
/proc/meminfo: memFree=25237904/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1313556 CPUtime=1800.11 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 357539 0 0 0 179700 311 0 0 20 0 3 0 331628913 1345081344 306165 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 328389 306165 203 433 0 327953 0
[pid=30021/tid=30023] ppid=30019 vsize=1313556 CPUtime=897.9 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 124872 0 0 0 89700 90 0 0 20 0 3 0 331628929 1345081344 306165 33554432000 4194304 5964478 140737179566144 140342394320888 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1313556 CPUtime=897.66 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227321 0 0 0 89519 247 0 0 20 0 3 0 331628929 1345081344 306165 33554432000 4194304 5964478 140737179566144 140342383831112 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1313556

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30073
/proc/meminfo: memFree=25237904/32873844 swapFree=6608/6608
[pid=30021] ppid=30019 vsize=1313556 CPUtime=1800.11 cores=0,2,4,6
/proc/30021/stat : 30021 (pwbo2.02) S 30019 30021 28266 0 -1 4202496 357539 0 0 0 179700 311 0 0 20 0 3 0 331628913 1345081344 306165 33554432000 4194304 5964478 140737179566144 140737179565664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30021/statm: 328389 306165 203 433 0 327953 0
[pid=30021/tid=30023] ppid=30019 vsize=1313556 CPUtime=897.9 cores=0,2,4,6
/proc/30021/task/30023/stat : 30023 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 124872 0 0 0 89700 90 0 0 20 0 3 0 331628929 1345081344 306165 33554432000 4194304 5964478 140737179566144 140342394320888 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30021/tid=30024] ppid=30019 vsize=1313556 CPUtime=897.66 cores=0,2,4,6
/proc/30021/task/30024/stat : 30024 (pwbo2.02) R 30019 30021 28266 0 -1 4202560 227321 0 0 0 89519 247 0 0 20 0 3 0 331628929 1345081344 306165 33554432000 4194304 5964478 140737179566144 140342383831112 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1313556

Child status: 0

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

Real time (s): 900.535
CPU time (s): 1800.11
CPU user time (s): 1797
CPU system time (s): 3.11
CPU usage (%): 199.893
Max. virtual memory (cumulated for all children) (KiB): 1313556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.38
system time used= 3.41348
maximum resident set size= 1224672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357542
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= 2340
involuntary context switches= 1932

runsolver used 1.49177 second user time and 5.2542 second system time

The end