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-3726387-1338667520/watcher-3726387-1338667520 -o /tmp/evaluation-result-3726387-1338667520/solver-3726387-1338667520 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726387-1338667520.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: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=33176 CPUtime=0 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 684 0 0 0 0 0 0 0 20 0 1 0 332878920 33972224 636 33554432000 4194304 5964478 140735173872592 140735173870472 5179696 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 8294 650 170 433 0 964 0
[startup+0.00682901 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=33560 CPUtime=0 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 779 0 0 0 0 0 0 0 20 0 1 0 332878920 34365440 731 33554432000 4194304 5964478 140735173872592 140735173870472 4395529 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 8390 731 170 433 0 1060 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33560
[startup+0.100205 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=50928 CPUtime=0.09 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 4874 0 0 0 9 0 0 0 20 0 1 0 332878920 52150272 4744 33554432000 4194304 5964478 140735173872592 140735173870472 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 12732 4744 440 433 0 5402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50928
[startup+0.300249 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=70252 CPUtime=0.28 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 10786 0 0 0 27 1 0 0 20 0 1 0 332878920 71938048 10389 33554432000 4194304 5964478 140735173872592 140735173870472 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 17563 10389 990 433 0 10233 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 70252
[startup+0.700235 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=121180 CPUtime=0.68 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 24270 0 0 0 65 3 0 0 20 0 1 0 332878920 124088320 22829 33554432000 4194304 5964478 140735173872592 140735173870936 4344275 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 30295 22829 2032 433 0 22965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 121180
[startup+1.50024 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 10649
/proc/meminfo: memFree=27869996/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=213696 CPUtime=1.49 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 46849 0 0 0 143 6 0 0 20 0 1 0 332878920 218824704 46906 33554432000 4194304 5964478 140735173872592 140735173871080 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 53424 46907 3868 433 0 46094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213696
[startup+3.10024 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 10649
/proc/meminfo: memFree=27651168/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=336880 CPUtime=3.08 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 76280 0 0 0 299 9 0 0 20 0 1 0 332878920 344965120 78321 33554432000 4194304 5964478 140735173872592 140735173871000 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 84220 78321 7004 433 0 76890 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 336880
[startup+6.30039 s]
/proc/loadavg: 1.85 1.97 1.99 5/181 10653
/proc/meminfo: memFree=26697764/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=894124 CPUtime=9.34 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 164437 0 0 0 877 57 0 0 20 0 3 0 332878920 915582976 188921 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 223531 188921 196 433 0 223095 0
[pid=10644/tid=10650] ppid=10642 vsize=894124 CPUtime=3.11 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 63039 0 0 0 271 40 0 0 20 0 3 0 332879234 915582976 188921 33554432000 4194304 5964478 140735173872592 139958770219336 5122358 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=894124 CPUtime=3.08 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 23466 0 0 0 301 7 0 0 20 0 3 0 332879234 915582976 188921 33554432000 4194304 5964478 140735173872592 139958759729464 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 894124
[startup+12.7004 s]
/proc/loadavg: 2.18 2.03 2.01 5/181 10653
/proc/meminfo: memFree=26561356/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=894040 CPUtime=22.15 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 172018 0 0 0 2154 61 0 0 20 0 3 0 332878920 915496960 194686 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 223510 194686 197 433 0 223074 0
[pid=10644/tid=10650] ppid=10642 vsize=894040 CPUtime=9.5 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 69389 0 0 0 907 43 0 0 20 0 3 0 332879234 915496960 194686 33554432000 4194304 5964478 140735173872592 139958770219544 4445112 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=894040 CPUtime=9.47 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 24697 0 0 0 939 8 0 0 20 0 3 0 332879234 915496960 194686 33554432000 4194304 5964478 140735173872592 139958759728984 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 22.15
Current children cumulated vsize (KiB) 894040
[startup+25.5004 s]
/proc/loadavg: 2.46 2.10 2.03 5/181 10653
/proc/meminfo: memFree=26390524/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1025112 CPUtime=47.74 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 188641 0 0 0 4706 68 0 0 20 0 3 0 332878920 1049714688 216411 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 256278 216411 197 433 0 255842 0
[pid=10644/tid=10650] ppid=10642 vsize=1025112 CPUtime=22.26 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 85733 0 0 0 2177 49 0 0 20 0 3 0 332879234 1049714688 216411 33554432000 4194304 5964478 140735173872592 139958770219352 5133940 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1025112 CPUtime=22.23 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 24976 0 0 0 2215 8 0 0 20 0 3 0 332879234 1049714688 216411 33554432000 4194304 5964478 140735173872592 139958759729464 4403698 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.74
Current children cumulated vsize (KiB) 1025112
[startup+51.1004 s]
/proc/loadavg: 2.99 2.25 2.08 5/181 10653
/proc/meminfo: memFree=26022212/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1221720 CPUtime=98.93 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 235258 0 0 0 9808 85 0 0 20 0 3 0 332878920 1251041280 257821 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 305430 257821 197 433 0 304994 0
[pid=10644/tid=10650] ppid=10642 vsize=1221720 CPUtime=47.79 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 132081 0 0 0 4714 65 0 0 20 0 3 0 332879234 1251041280 257821 33554432000 4194304 5964478 140735173872592 139958770219544 5122424 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1221720 CPUtime=47.76 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 25245 0 0 0 4767 9 0 0 20 0 3 0 332879234 1251041280 257821 33554432000 4194304 5964478 140735173872592 139958759729464 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (KiB) 1221720
[startup+102.307 s]
/proc/loadavg: 3.59 2.54 2.19 5/181 10653
/proc/meminfo: memFree=25430372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1549400 CPUtime=201.33 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 257252 0 0 0 20026 107 0 0 20 0 3 0 332878920 1586585600 328626 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 387350 328626 197 433 0 386914 0
[pid=10644/tid=10650] ppid=10642 vsize=1549400 CPUtime=98.87 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 153259 0 0 0 9801 86 0 0 20 0 3 0 332879234 1586585600 328626 33554432000 4194304 5964478 140735173872592 139958770219544 5130901 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1549400 CPUtime=98.83 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 26061 0 0 0 9871 12 0 0 20 0 3 0 332879234 1586585600 328626 33554432000 4194304 5964478 140735173872592 139958759729512 4392707 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 201.33
Current children cumulated vsize (KiB) 1549400
[startup+162.3 s]
/proc/loadavg: 3.85 2.80 2.30 5/181 10653
/proc/meminfo: memFree=24680436/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2032760 CPUtime=321.29 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 285607 0 0 0 31988 141 0 0 20 0 3 0 332878920 2081546240 427415 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 508190 427415 197 433 0 507754 0
[pid=10644/tid=10650] ppid=10642 vsize=2032760 CPUtime=158.71 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 180478 0 0 0 15752 119 0 0 20 0 3 0 332879234 2081546240 427415 33554432000 4194304 5964478 140735173872592 139958770219544 4429814 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2032760 CPUtime=158.66 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 27197 0 0 0 15850 16 0 0 20 0 3 0 332879234 2081546240 427415 33554432000 4194304 5964478 140735173872592 139958759729464 4392882 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 321.29
Current children cumulated vsize (KiB) 2032760
[startup+222.3 s]
/proc/loadavg: 3.94 3.02 2.40 5/181 10653
/proc/meminfo: memFree=24062092/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2405640 CPUtime=441.25 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 361201 0 0 0 43888 237 0 0 20 0 3 0 332878920 2463375360 500366 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 601410 500366 197 433 0 600974 0
[pid=10644/tid=10650] ppid=10642 vsize=2405640 CPUtime=218.56 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 255156 0 0 0 21642 214 0 0 20 0 3 0 332879234 2463375360 500366 33554432000 4194304 5964478 140735173872592 139958770219960 4419176 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2405640 CPUtime=218.5 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 28113 0 0 0 21832 18 0 0 20 0 3 0 332879234 2463375360 500366 33554432000 4194304 5964478 140735173872592 139958759729464 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 441.25
Current children cumulated vsize (KiB) 2405640
[startup+282.3 s]
/proc/loadavg: 3.98 3.19 2.50 5/182 10657
/proc/meminfo: memFree=23453128/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2745624 CPUtime=561.2 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 538059 0 0 0 55726 394 0 0 20 0 3 0 332878920 2811518976 578728 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 686406 578728 197 433 0 685970 0
[pid=10644/tid=10650] ppid=10642 vsize=2745624 CPUtime=278.4 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 430575 0 0 0 27471 369 0 0 20 0 3 0 332879234 2811518976 578728 33554432000 4194304 5964478 140735173872592 139958770219416 5133892 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2745624 CPUtime=278.31 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 29552 0 0 0 27809 22 0 0 20 0 3 0 332879234 2811518976 578728 33554432000 4194304 5964478 140735173872592 139958759729464 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (KiB) 2745624
[startup+342.3 s]
/proc/loadavg: 4.02 3.35 2.60 5/181 10657
/proc/meminfo: memFree=22784832/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3073304 CPUtime=681.15 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 684879 0 0 0 67575 540 0 0 20 0 3 0 332878920 3147063296 660410 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 768326 660410 197 433 0 767890 0
[pid=10644/tid=10650] ppid=10642 vsize=3073304 CPUtime=338.25 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 576521 0 0 0 33312 513 0 0 20 0 3 0 332879234 3147063296 660410 33554432000 4194304 5964478 140735173872592 139958770219416 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3073304 CPUtime=338.12 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 30426 0 0 0 33786 26 0 0 20 0 3 0 332879234 3147063296 660410 33554432000 4194304 5964478 140735173872592 139958759729464 4403727 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 681.15
Current children cumulated vsize (KiB) 3073304
[startup+402.3 s]
/proc/loadavg: 4.15 3.49 2.69 5/181 10657
/proc/meminfo: memFree=22153428/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3417304 CPUtime=801.12 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 811902 0 0 0 79437 675 0 0 20 0 3 0 332878920 3499319296 730642 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 854326 730642 197 433 0 853890 0
[pid=10644/tid=10650] ppid=10642 vsize=3417304 CPUtime=398.09 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 702125 0 0 0 39164 645 0 0 20 0 3 0 332879234 3499319296 730642 33554432000 4194304 5964478 140735173872592 139958770219304 5142509 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3417304 CPUtime=397.95 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 31845 0 0 0 39765 30 0 0 20 0 3 0 332879234 3499319296 730642 33554432000 4194304 5964478 140735173872592 139958759729464 4403280 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 801.12
Current children cumulated vsize (KiB) 3417304
[startup+462.3 s]
/proc/loadavg: 4.05 3.59 2.77 5/181 10657
/proc/meminfo: memFree=21509620/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3818888 CPUtime=921.08 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 875820 0 0 0 91359 749 0 0 20 0 3 0 332878920 3910541312 829044 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 954722 829044 197 433 0 954286 0
[pid=10644/tid=10650] ppid=10642 vsize=3818888 CPUtime=457.93 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 765212 0 0 0 45075 718 0 0 20 0 3 0 332879234 3910541312 829044 33554432000 4194304 5964478 140735173872592 139958770219960 5130914 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3818888 CPUtime=457.78 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 32676 0 0 0 45747 31 0 0 20 0 3 0 332879234 3910541312 829044 33554432000 4194304 5964478 140735173872592 139958759729512 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 921.08
Current children cumulated vsize (KiB) 3818888
[startup+522.3 s]
/proc/loadavg: 4.02 3.65 2.84 5/181 10657
/proc/meminfo: memFree=21279104/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3744984 CPUtime=1041.06 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 907770 0 0 0 103333 773 0 0 20 0 3 0 332878920 3834863616 811700 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 936246 811700 197 433 0 935810 0
[pid=10644/tid=10650] ppid=10642 vsize=3744984 CPUtime=517.78 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 796588 0 0 0 51037 741 0 0 20 0 3 0 332879234 3834863616 811700 33554432000 4194304 5964478 140735173872592 139958770219416 5122249 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3744984 CPUtime=517.63 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 33250 0 0 0 51729 34 0 0 20 0 3 0 332879234 3834863616 811700 33554432000 4194304 5964478 140735173872592 139958759729464 4389147 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1041.06
Current children cumulated vsize (KiB) 3744984
[startup+582.3 s]
/proc/loadavg: 4.00 3.72 2.92 5/181 10658
/proc/meminfo: memFree=20959228/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3720376 CPUtime=1161.04 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 939850 0 0 0 115305 799 0 0 20 0 3 0 332878920 3809665024 817544 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 930094 817544 197 433 0 929658 0
[pid=10644/tid=10650] ppid=10642 vsize=3720376 CPUtime=577.63 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 827954 0 0 0 56996 767 0 0 20 0 3 0 332879234 3809665024 817544 33554432000 4194304 5964478 140735173872592 139958770219960 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3720376 CPUtime=577.48 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 33964 0 0 0 57712 36 0 0 20 0 3 0 332879234 3809665024 817544 33554432000 4194304 5964478 140735173872592 139958759729464 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (KiB) 3720376
[startup+642.3 s]
/proc/loadavg: 4.00 3.77 2.98 5/181 10658
/proc/meminfo: memFree=20576820/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3863916 CPUtime=1281.04 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 948662 0 0 0 127286 818 0 0 20 0 3 0 332878920 3956649984 852441 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 965979 852441 197 433 0 965543 0
[pid=10644/tid=10650] ppid=10642 vsize=3863916 CPUtime=637.48 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 836012 0 0 0 62963 785 0 0 20 0 3 0 332879234 3956649984 852441 33554432000 4194304 5964478 140735173872592 139958770219960 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3863916 CPUtime=637.33 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 34718 0 0 0 63694 39 0 0 20 0 3 0 332879234 3956649984 852441 33554432000 4194304 5964478 140735173872592 139958759729464 4387951 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1281.04
Current children cumulated vsize (KiB) 3863916
[startup+702.3 s]
/proc/loadavg: 4.00 3.81 3.04 5/181 10658
/proc/meminfo: memFree=20287596/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3941592 CPUtime=1401 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 971848 0 0 0 139257 843 0 0 20 0 3 0 332878920 4036190208 862658 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 985398 862658 197 433 0 984962 0
[pid=10644/tid=10650] ppid=10642 vsize=3941592 CPUtime=697.32 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 858627 0 0 0 68922 810 0 0 20 0 3 0 332879234 4036190208 862658 33554432000 4194304 5964478 140735173872592 139958770219960 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3941592 CPUtime=697.16 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 35289 0 0 0 69675 41 0 0 20 0 3 0 332879234 4036190208 862658 33554432000 4194304 5964478 140735173872592 139958759729464 4403343 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1401
Current children cumulated vsize (KiB) 3941592
[startup+762.307 s]
/proc/loadavg: 4.00 3.84 3.10 5/181 10658
/proc/meminfo: memFree=20039244/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3982520 CPUtime=1520.99 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1001696 0 0 0 151225 874 0 0 20 0 3 0 332878920 4078100480 870844 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 995630 870844 197 433 0 995194 0
[pid=10644/tid=10650] ppid=10642 vsize=3982520 CPUtime=757.17 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 887515 0 0 0 74879 838 0 0 20 0 3 0 332879234 4078100480 870844 33554432000 4194304 5964478 140735173872592 139958770219960 4400628 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3982520 CPUtime=757.01 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 36249 0 0 0 75655 46 0 0 20 0 3 0 332879234 4078100480 870844 33554432000 4194304 5964478 140735173872592 139958759729512 4390871 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1520.99
Current children cumulated vsize (KiB) 3982520
[startup+822.3 s]
/proc/loadavg: 4.00 3.87 3.15 5/181 10658
/proc/meminfo: memFree=19711640/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4048056 CPUtime=1640.95 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1027229 0 0 0 163190 905 0 0 20 0 3 0 332878920 4145209344 895130 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1012014 895130 197 433 0 1011578 0
[pid=10644/tid=10650] ppid=10642 vsize=4048056 CPUtime=817 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 912088 0 0 0 80832 868 0 0 20 0 3 0 332879234 4145209344 895130 33554432000 4194304 5964478 140735173872592 139958770219352 4400038 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4048056 CPUtime=816.85 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 37209 0 0 0 81636 49 0 0 20 0 3 0 332879234 4145209344 895130 33554432000 4194304 5964478 140735173872592 139958759729464 4403700 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1640.95
Current children cumulated vsize (KiB) 4048056
[startup+882.3 s]
/proc/loadavg: 4.07 3.90 3.21 5/182 10662
/proc/meminfo: memFree=19627400/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4113592 CPUtime=1760.92 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1050770 0 0 0 175158 934 0 0 20 0 3 0 332878920 4212318208 906760 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1028398 906760 197 433 0 1027962 0
[pid=10644/tid=10650] ppid=10642 vsize=4113592 CPUtime=876.85 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 934732 0 0 0 86789 896 0 0 20 0 3 0 332879234 4212318208 906760 33554432000 4194304 5964478 140735173872592 139958770219960 4409229 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4113592 CPUtime=876.68 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38106 0 0 0 87616 52 0 0 20 0 3 0 332879234 4212318208 906760 33554432000 4194304 5964478 140735173872592 139958759729464 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.92
Current children cumulated vsize (KiB) 4113592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.9 s]
/proc/loadavg: 4.05 3.91 3.22 6/182 10662
/proc/meminfo: memFree=19488372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4183228 CPUtime=1800.14 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1058241 0 0 0 179072 942 0 0 20 0 3 0 332878920 4283625472 921131 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1045807 921131 197 433 0 1045371 0
[pid=10644/tid=10650] ppid=10642 vsize=4183228 CPUtime=896.41 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 941813 0 0 0 88738 903 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958770219960 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4183228 CPUtime=896.25 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38496 0 0 0 89572 53 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958759729464 4403717 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 4183228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.9 s]
/proc/loadavg: 4.05 3.91 3.22 6/182 10662
/proc/meminfo: memFree=19488372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4183228 CPUtime=1800.14 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1058241 0 0 0 179072 942 0 0 20 0 3 0 332878920 4283625472 921131 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1045807 921131 197 433 0 1045371 0
[pid=10644/tid=10650] ppid=10642 vsize=4183228 CPUtime=896.41 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 941813 0 0 0 88738 903 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958770219960 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4183228 CPUtime=896.25 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38496 0 0 0 89572 53 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958759729464 4403717 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 4183228
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10644 and gives
# childrusage.ru_utime.tv_sec=1786
# childrusage.ru_utime.tv_usec=151463
# childrusage.ru_stime.tv_sec=9
# childrusage.ru_stime.tv_usec=740519
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.979
CPU time (s): 1800.14
CPU user time (s): 1790.72
CPU system time (s): 9.42
CPU usage (%): 199.577
Max. virtual memory (cumulated for all children) (KiB): 4244664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.15
system time used= 9.74052
maximum resident set size= 3753932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1058242
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= 6724
involuntary context switches= 2242
runsolver used 1.92171 second user time and 5.66414 second system time
The end