runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62383 MiB free)
  memory of node 1: 64465 MiB (63292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498174-1751275317/watcher-4498174-1751275317 -o /tmp/evaluation-result-4498174-1751275317/solver-4498174-1751275317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751270065-39239 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1300306666 HOME/instance-4498174-1751275317.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40207, runsolver pid=40204
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 5.55 5.53 5.21 5/268 40209
/proc/meminfo: memFree=128644196/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=120768 memory=52512 CPUtime=0.14 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 9411 0 0 0 13 1 0 0 20 0 2 0 43210356 123666432 13128 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 30192 13128 640 633 0 14642 0
[pid=40207/tid=40209] ppid=40204 vsize=120768 memory=4026531960 CPUtime=0.04 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 1622 0 0 0 4 0 0 0 20 0 2 0 43210356 123666432 13128 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 120768 KiB
Current children cumulated memory: 52512 KiB

[startup+0.20557 s]*
/proc/loadavg: 5.55 5.53 5.21 5/268 40209
/proc/meminfo: memFree=128620004/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=145064 memory=76704 CPUtime=0.24 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 15443 0 0 0 22 2 0 0 20 0 2 0 43210356 148545536 19176 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 36266 19176 672 633 0 20716 0
[pid=40207/tid=40209] ppid=40204 vsize=145064 memory=664958721904869660 CPUtime=0.04 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 1622 0 0 0 4 0 0 0 20 0 2 0 43210356 148545536 19176 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 145064 KiB
Current children cumulated memory: 76704 KiB

[startup+0.305564 s]*
/proc/loadavg: 5.55 5.53 5.21 5/268 40209
/proc/meminfo: memFree=128611940/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=157036 memory=88992 CPUtime=0.35 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 18493 0 0 0 32 3 0 0 20 0 2 0 43210356 160804864 22248 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 39259 22248 672 633 0 23709 0
[pid=40207/tid=40209] ppid=40204 vsize=157036 memory=7970668212329855340 CPUtime=0.04 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 1622 0 0 0 4 0 0 0 20 0 2 0 43210356 160804864 22248 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 157036 KiB
Current children cumulated memory: 88992 KiB

[startup+0.700216 s]
/proc/loadavg: 5.55 5.53 5.21 5/268 40209
/proc/meminfo: memFree=128575904/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=191928 memory=123756 CPUtime=0.77 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 35843 0 0 0 71 6 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47982 30939 672 633 0 32432 0
[pid=40207/tid=40209] ppid=40204 vsize=191928 memory=17792 CPUtime=0.07 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 1622 0 0 0 7 0 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 191928 KiB
Current children cumulated memory: 123756 KiB

[startup+1.5002 s]
/proc/loadavg: 5.55 5.53 5.21 5/268 40209
/proc/meminfo: memFree=128575904/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=1.76 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 74137 0 0 0 166 10 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=17792 CPUtime=0.27 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 1876 0 0 0 27 0 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+3.10551 s]
/proc/loadavg: 5.59 5.54 5.22 6/268 40209
/proc/meminfo: memFree=128575928/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=4.33 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 101545 0 0 0 419 14 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=1.24 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 2554 0 0 0 124 0 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+6.30019 s]
/proc/loadavg: 5.59 5.54 5.22 6/268 40209
/proc/meminfo: memFree=128576324/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=8.67 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 202140 0 0 0 837 30 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=17792 CPUtime=2.4 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 2928 0 0 0 240 0 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+12.7002 s]
/proc/loadavg: 5.46 5.51 5.21 6/268 40209
/proc/meminfo: memFree=128577088/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=17.19 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 400374 0 0 0 1659 60 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=125036 CPUtime=4.55 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 3658 0 0 0 455 0 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 17.19 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+25.5002 s]
/proc/loadavg: 5.36 5.49 5.21 6/267 40210
/proc/meminfo: memFree=128577844/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=33.93 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 792792 0 0 0 3265 128 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=8.54 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 4408 0 0 0 853 1 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 33.93 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+51.1055 s]
/proc/loadavg: 5.08 5.41 5.19 5/267 40210
/proc/meminfo: memFree=128563500/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=65.31 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 1700457 0 0 0 6251 280 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=17792 CPUtime=14.43 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 5168 0 0 0 1440 3 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 65.31 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+102.3 s]
/proc/loadavg: 4.62 5.24 5.14 6/267 40212
/proc/meminfo: memFree=128567264/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=124.29 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 3773124 0 0 0 11804 625 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=17792 CPUtime=22.46 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 6224 0 0 0 2241 5 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 124.29 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+162.3 s]
/proc/loadavg: 4.82 5.18 5.13 6/268 40260
/proc/meminfo: memFree=128559144/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=194.33 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 6125040 0 0 0 18403 1030 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=32.76 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 7144 0 0 0 3267 9 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 194.33 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+222.3 s]
/proc/loadavg: 5.39 5.29 5.17 6/268 40262
/proc/meminfo: memFree=128531380/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=263.59 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 8518234 0 0 0 24913 1446 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=124396 CPUtime=42.29 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 7397 0 0 0 4217 12 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 263.59 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+282.3 s]
/proc/loadavg: 5.22 5.26 5.17 6/268 40264
/proc/meminfo: memFree=128553116/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=334.37 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 10822676 0 0 0 31591 1846 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=17792 CPUtime=53.34 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 7436 0 0 0 5319 15 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 334.37 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

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

/proc/meminfo: memFree=128347204/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=192852 memory=124780 CPUtime=2975.18 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 99949466 0 0 0 280165 17353 0 0 20 0 2 0 43210356 197480448 31195 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 48213 31195 672 633 0 32663 0
[pid=40207/tid=40209] ppid=40204 vsize=192852 memory=122988 CPUtime=424.58 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 9864 0 0 0 42313 145 0 0 20 0 2 0 43210356 197480448 31195 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 2975.18 s
Current children cumulated vsize: 192852 KiB
Current children cumulated memory: 124780 KiB

[startup+2622.3 s]
/proc/loadavg: 6.79 6.36 5.86 8/266 40525
/proc/meminfo: memFree=128369880/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=191928 memory=123756 CPUtime=3044.73 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 102059627 0 0 0 286729 17744 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47982 30939 672 633 0 32432 0
[pid=40207/tid=40209] ppid=40204 vsize=191928 memory=122988 CPUtime=434.49 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 9981 0 0 0 43301 148 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3044.73 s
Current children cumulated vsize: 191928 KiB
Current children cumulated memory: 123756 KiB

[startup+2682.3 s]
/proc/loadavg: 6.82 6.46 5.93 8/266 40527
/proc/meminfo: memFree=128369012/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3114.04 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 104196040 0 0 0 293280 18124 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=444.15 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10011 0 0 0 44264 151 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3114.04 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+2742.3 s]
/proc/loadavg: 6.66 6.47 5.97 8/266 40529
/proc/meminfo: memFree=128368764/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=191928 memory=123756 CPUtime=3182.51 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 106407703 0 0 0 299734 18517 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47982 30939 672 633 0 32432 0
[pid=40207/tid=40209] ppid=40204 vsize=191928 memory=122988 CPUtime=452.93 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10012 0 0 0 45139 154 0 0 20 0 2 0 43210356 196534272 30939 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3182.51 s
Current children cumulated vsize: 191928 KiB
Current children cumulated memory: 123756 KiB

[startup+2802.3 s]
/proc/loadavg: 6.97 6.60 6.04 7/267 40538
/proc/meminfo: memFree=128369908/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3251.59 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 108571777 0 0 0 306246 18913 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=462.34 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 10124 0 0 0 46076 158 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3251.59 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+2862.3 s]
/proc/loadavg: 7.12 6.71 6.12 7/267 40540
/proc/meminfo: memFree=128367728/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3321.44 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 110685564 0 0 0 312842 19302 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=472.52 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 10125 0 0 0 47090 162 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3321.44 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+2922.3 s]
/proc/loadavg: 7.31 6.84 6.20 8/267 40542
/proc/meminfo: memFree=128365216/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3390.36 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 112845376 0 0 0 319339 19697 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=122988 CPUtime=481.79 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10160 0 0 0 48014 165 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+2982.3 s]
/proc/loadavg: 7.01 6.84 6.24 7/267 40544
/proc/meminfo: memFree=128361052/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=193380 memory=125292 CPUtime=3459.69 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 114978993 0 0 0 325883 20086 0 0 20 0 2 0 43210356 198021120 31323 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 48345 31323 672 633 0 32795 0
[pid=40207/tid=40209] ppid=40204 vsize=193380 memory=122988 CPUtime=491.45 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10195 0 0 0 48976 169 0 0 20 0 2 0 43210356 198021120 31323 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3459.69 s
Current children cumulated vsize: 193380 KiB
Current children cumulated memory: 125292 KiB

[startup+3042.3 s]
/proc/loadavg: 6.88 6.85 6.28 8/268 40547
/proc/meminfo: memFree=128365152/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3528.62 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 117128734 0 0 0 332379 20483 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=125292 CPUtime=500.73 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) R 40204 40207 38755 0 -1 4194368 10277 0 0 0 49901 172 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3528.62 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

[startup+3102.3 s]
/proc/loadavg: 6.96 6.88 6.33 7/267 40549
/proc/meminfo: memFree=128365240/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=192852 memory=124780 CPUtime=3598.01 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 119256775 0 0 0 338930 20871 0 0 20 0 2 0 43210356 197480448 31195 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 48213 31195 672 633 0 32663 0
[pid=40207/tid=40209] ppid=40204 vsize=192852 memory=124268 CPUtime=510.48 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10312 0 0 0 50872 176 0 0 20 0 2 0 43210356 197480448 31195 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3598.01 s
Current children cumulated vsize: 192852 KiB
Current children cumulated memory: 124780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3104.11 s]
/proc/loadavg: 6.96 6.88 6.33 8/267 40549
/proc/meminfo: memFree=128364992/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3600.1 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 119320353 0 0 0 339127 20883 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=5760 CPUtime=510.77 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10312 0 0 0 50901 176 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

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

[startup+3104.17 s]
# the end of solver process 40207 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3391.33 s, system=208.843 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3104.11 s]
/proc/loadavg: 6.96 6.88 6.33 8/267 40549
/proc/meminfo: memFree=128364992/131250000 swapFree=33010684/33010684
[pid=40207] ppid=40204 vsize=190940 memory=122988 CPUtime=3600.1 cores=4,6
/proc/40207/stat : 40207 (pb_competition_) R 40204 40207 38755 0 -1 4194304 119320353 0 0 0 339127 20883 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
/proc/40207/statm: 47735 30747 672 633 0 32185 0
[pid=40207/tid=40209] ppid=40204 vsize=190940 memory=5760 CPUtime=510.77 cores=4,6
/proc/40207/task/40209/stat : 40209 (pb_competition_) S 40204 40207 38755 0 -1 4194368 10312 0 0 0 50901 176 0 0 20 0 2 0 43210356 195522560 30747 18446744073709551615 4198400 6788177 140731255000848 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 32722944 140731255003481 140731255003608 140731255003608 140731255009210 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 122988 KiB

Child status: 0

Real time (s): 3104.17
CPU time (s): 3600.18
CPU user time (s): 3391.33
CPU system time (s): 208.843
CPU usage (%): 115.979
Max. virtual memory (cumulated for all children) (KiB): 193380
Max. memory (cumulated for all children) (KiB): 125292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3391.33
system time used= 208.843
maximum resident set size= 125524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119324508
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= 204710
involuntary context switches= 45356


# summary of solver processes directly reported to runsolver:
#   pid: 40207
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3391.33
#   total CPU system time (s): 208.843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08519 second user time and 14.4828 second system time

The end