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: 63837 MiB (62677 MiB free)
  memory of node 1: 64465 MiB (63772 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484076-1751277278/watcher-4484076-1751277278 -o /tmp/evaluation-result-4484076-1751277278/solver-4484076-1751277278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33992 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 365610042 HOME/instance-4484076-1751277278.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
Current StackSize limit: 8192 KiB

solver pid=34231, runsolver pid=34228

[startup+0.100096 s]*
/proc/loadavg: 7.73 7.86 7.19 8/254 34233
/proc/meminfo: memFree=129481092/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=84672 memory=10496 CPUtime=0.13 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 2145 0 0 0 12 1 0 0 20 0 2 0 43406496 86704128 2624 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 21168 2624 672 633 0 4109 0
[pid=34231/tid=34233] ppid=34228 vsize=84672 memory=4026531960 CPUtime=0.02 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) S 34228 34231 33067 0 -1 4194368 113 0 0 0 2 0 0 0 20 0 2 0 43406497 86704128 2624 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 84672 KiB
Current children cumulated memory: 10496 KiB

[startup+0.212898 s]*
/proc/loadavg: 7.73 7.86 7.19 9/254 34233
/proc/meminfo: memFree=129481092/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=89892 memory=15744 CPUtime=0.31 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) S 34228 34231 33067 0 -1 4194304 3460 0 0 0 30 1 0 0 20 0 2 0 43406496 92049408 3936 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22473 3936 672 633 0 5414 0
[pid=34231/tid=34233] ppid=34228 vsize=89892 memory=664958721904869660 CPUtime=0.1 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 113 0 0 0 10 0 0 0 20 0 2 0 43406497 92049408 3936 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89892 KiB
Current children cumulated memory: 15744 KiB

[startup+0.312805 s]*
/proc/loadavg: 7.73 7.86 7.19 8/254 34233
/proc/meminfo: memFree=129481092/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=89892 memory=15744 CPUtime=0.48 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) S 34228 34231 33067 0 -1 4194304 3460 0 0 0 47 1 0 0 20 0 2 0 43406496 92049408 3936 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22473 3936 672 633 0 5414 0
[pid=34231/tid=34233] ppid=34228 vsize=89892 memory=-6808736482149503848 CPUtime=0.18 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 113 0 0 0 18 0 0 0 20 0 2 0 43406497 92049408 3936 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 89892 KiB
Current children cumulated memory: 15744 KiB

[startup+0.70026 s]
/proc/loadavg: 7.73 7.86 7.19 9/254 34233
/proc/meminfo: memFree=129481092/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=90488 memory=16384 CPUtime=1.15 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 3628 0 0 0 114 1 0 0 20 0 2 0 43406496 92659712 4096 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22622 4096 672 633 0 5563 0
[pid=34231/tid=34233] ppid=34228 vsize=90488 memory=18176 CPUtime=0.5 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 113 0 0 0 50 0 0 0 20 0 2 0 43406497 92659712 4096 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 90488 KiB
Current children cumulated memory: 16384 KiB

[startup+1.50016 s]
/proc/loadavg: 7.73 7.86 7.19 9/254 34233
/proc/meminfo: memFree=129481092/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91412 memory=17280 CPUtime=2.67 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 6184 0 0 0 265 2 0 0 20 0 2 0 43406496 93605888 4320 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22853 4320 672 633 0 5794 0
[pid=34231/tid=34233] ppid=34228 vsize=91412 memory=18176 CPUtime=1.21 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 182 0 0 0 121 0 0 0 20 0 2 0 43406497 93605888 4320 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 91412 KiB
Current children cumulated memory: 17280 KiB

[startup+3.10505 s]
/proc/loadavg: 7.84 7.87 7.20 9/254 34233
/proc/meminfo: memFree=129481496/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91544 memory=17408 CPUtime=5.79 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 8274 0 0 0 576 3 0 0 20 0 2 0 43406496 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22886 4352 672 633 0 5827 0
[pid=34231/tid=34233] ppid=34228 vsize=91544 memory=17280 CPUtime=2.75 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 564 0 0 0 275 0 0 0 20 0 2 0 43406497 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 91544 KiB
Current children cumulated memory: 17408 KiB

[startup+6.30013 s]
/proc/loadavg: 7.84 7.87 7.20 9/254 34233
/proc/meminfo: memFree=129481492/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91544 memory=17408 CPUtime=12.06 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 10476 0 0 0 1201 5 0 0 20 0 2 0 43406496 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22886 4352 672 633 0 5827 0
[pid=34231/tid=34233] ppid=34228 vsize=91544 memory=18176 CPUtime=5.84 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 1061 0 0 0 583 1 0 0 20 0 2 0 43406497 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 12.06 s
Current children cumulated vsize: 91544 KiB
Current children cumulated memory: 17408 KiB

[startup+12.7001 s]
/proc/loadavg: 7.63 7.83 7.19 7/249 34241
/proc/meminfo: memFree=129481268/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91544 memory=17408 CPUtime=24.62 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 12432 0 0 0 2451 11 0 0 20 0 2 0 43406496 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22886 4352 672 633 0 5827 0
[pid=34231/tid=34233] ppid=34228 vsize=91544 memory=17408 CPUtime=12.03 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 1652 0 0 0 1202 1 0 0 20 0 2 0 43406497 93741056 4352 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 91544 KiB
Current children cumulated memory: 17408 KiB

[startup+25.5001 s]
/proc/loadavg: 7.68 7.83 7.20 9/254 34279
/proc/meminfo: memFree=129492244/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91480 memory=17420 CPUtime=49.7 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 17226 0 0 0 4946 24 0 0 20 0 2 0 43406496 93675520 4355 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22870 4355 672 633 0 5811 0
[pid=34231/tid=34233] ppid=34228 vsize=91480 memory=11136 CPUtime=24.4 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 2821 0 0 0 2437 3 0 0 20 0 2 0 43406497 93675520 4355 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 49.7 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 17420 KiB

[startup+51.1047 s]
/proc/loadavg: 7.79 7.85 7.22 9/254 34280
/proc/meminfo: memFree=129491748/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91480 memory=17280 CPUtime=99.78 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 22496 0 0 0 9927 51 0 0 20 0 2 0 43406496 93675520 4320 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22870 4320 672 633 0 5811 0
[pid=34231/tid=34233] ppid=34228 vsize=91480 memory=17412 CPUtime=49.04 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 2946 0 0 0 4899 5 0 0 20 0 2 0 43406497 93675520 4320 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 99.78 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 17280 KiB

[startup+102.3 s]
/proc/loadavg: 7.86 7.86 7.26 9/254 34282
/proc/meminfo: memFree=129497404/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91480 memory=17328 CPUtime=199.86 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 34872 0 0 0 19881 105 0 0 20 0 2 0 43406496 93675520 4332 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22870 4332 672 633 0 5811 0
[pid=34231/tid=34233] ppid=34228 vsize=91480 memory=17352 CPUtime=98.25 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 3777 0 0 0 9812 13 0 0 20 0 2 0 43406497 93675520 4332 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 199.86 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 17328 KiB

[startup+162.3 s]
/proc/loadavg: 7.99 7.90 7.32 9/255 34287
/proc/meminfo: memFree=129477600/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91480 memory=17276 CPUtime=317.1 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 43887 0 0 0 31542 168 0 0 20 0 2 0 43406496 93675520 4319 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22870 4319 672 633 0 5811 0
[pid=34231/tid=34233] ppid=34228 vsize=91480 memory=17316 CPUtime=155.88 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 3955 0 0 0 15566 22 0 0 20 0 2 0 43406497 93675520 4319 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 317.1 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 17276 KiB

[startup+222.3 s]
/proc/loadavg: 7.98 7.92 7.36 9/254 34340
/proc/meminfo: memFree=129448028/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91480 memory=17276 CPUtime=434.25 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 53169 0 0 0 43191 234 0 0 20 0 2 0 43406496 93675520 4319 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22870 4319 672 633 0 5811 0
[pid=34231/tid=34233] ppid=34228 vsize=91480 memory=17412 CPUtime=213.47 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 3956 0 0 0 21316 31 0 0 20 0 2 0 43406497 93675520 4319 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 434.25 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 17276 KiB

[startup+282.3 s]
/proc/loadavg: 7.65 7.83 7.37 9/255 34343
/proc/meminfo: memFree=129456600/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=550.31 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 60415 0 0 0 54736 295 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17536 CPUtime=269.92 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4151 0 0 0 26952 40 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 550.31 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

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

/proc/meminfo: memFree=129437488/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=2543.1 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 62793 0 0 0 253078 1232 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1249.07 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4838 0 0 0 124724 183 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2543.1 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1362.3 s]
/proc/loadavg: 7.92 7.89 7.72 9/256 34404
/proc/meminfo: memFree=129438264/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=2660.35 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 62795 0 0 0 264738 1297 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1306.69 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4840 0 0 0 130477 192 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2660.35 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1422.3 s]
/proc/loadavg: 7.46 7.77 7.69 8/256 34410
/proc/meminfo: memFree=129438312/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=2733.23 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 62808 0 0 0 271994 1329 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1319.76 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) S 34228 34231 33067 0 -1 4194368 4843 0 0 0 131782 194 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2733.23 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1482.3 s]
/proc/loadavg: 7.17 7.62 7.64 8/255 34412
/proc/meminfo: memFree=129434364/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=2793.1 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 62808 0 0 0 277957 1353 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1319.76 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) S 34228 34231 33067 0 -1 4194368 4843 0 0 0 131782 194 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2793.1 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1542.3 s]
/proc/loadavg: 7.32 7.57 7.62 9/254 34414
/proc/meminfo: memFree=129434884/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=2892.4 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 63233 0 0 0 287834 1406 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1359.37 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4844 0 0 0 135734 203 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 2892.4 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1602.3 s]
/proc/loadavg: 7.69 7.63 7.64 9/254 34416
/proc/meminfo: memFree=129434684/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3009.71 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 63233 0 0 0 299504 1467 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1417.01 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4844 0 0 0 141490 211 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3009.71 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1662.3 s]
/proc/loadavg: 7.81 7.68 7.66 9/254 34419
/proc/meminfo: memFree=129433748/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3126.99 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 63653 0 0 0 311171 1528 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1474.68 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4845 0 0 0 147248 220 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3126.99 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1722.3 s]
/proc/loadavg: 7.76 7.70 7.66 9/254 34421
/proc/meminfo: memFree=129433844/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3244.26 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 63653 0 0 0 322835 1591 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1532.32 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4845 0 0 0 153002 230 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3244.26 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1782.3 s]
/proc/loadavg: 8.35 7.86 7.73 9/254 34423
/proc/meminfo: memFree=129433716/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3361.56 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 64074 0 0 0 334503 1653 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1589.95 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 4972 0 0 0 158756 239 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3361.56 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1842.3 s]
/proc/loadavg: 6.80 7.56 7.63 5/240 34486
/proc/meminfo: memFree=129445684/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3478.92 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 64495 0 0 0 346182 1710 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1647.69 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 5086 0 0 0 164519 250 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3478.92 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

[startup+1902.3 s]
/proc/loadavg: 5.07 6.92 7.41 5/240 34488
/proc/meminfo: memFree=129446280/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3596.34 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 64920 0 0 0 357864 1770 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=17532 CPUtime=1705.47 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 5256 0 0 0 170284 263 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3596.34 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1904.2 s]
/proc/loadavg: 4.90 6.85 7.38 5/240 34488
/proc/meminfo: memFree=129446280/131382120 swapFree=33010684/33010684
[pid=34231] ppid=34228 vsize=91656 memory=17532 CPUtime=3600.06 cores=4,6
/proc/34231/stat : 34231 (pb_competition_) R 34228 34231 33067 0 -1 4194304 64920 0 0 0 358234 1772 0 0 20 0 2 0 43406496 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
/proc/34231/statm: 22914 4383 672 633 0 5855 0
[pid=34231/tid=34233] ppid=34228 vsize=91656 memory=6768 CPUtime=1707.3 cores=4,6
/proc/34231/task/34233/stat : 34233 (pb_competition_) R 34228 34231 33067 0 -1 4194368 5256 0 0 0 170466 264 0 0 20 0 2 0 43406497 93855744 4383 18446744073709551615 4198400 6788177 140727531927600 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 15683584 140727531931994 140727531932120 140727531932120 140727531937722 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 17532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.36 s, system=17.7242 s

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

Child status: 0

Real time (s): 1904.21
CPU time (s): 3600.09
CPU user time (s): 3582.36
CPU system time (s): 17.7242
CPU usage (%): 189.059
Max. virtual memory (cumulated for all children) (KiB): 91684
Max. memory (cumulated for all children) (KiB): 17560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.36
system time used= 17.7242
maximum resident set size= 17568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65169
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= 73914
involuntary context switches= 45533


# summary of solver processes directly reported to runsolver:
#   pid: 34231
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3582.36
#   total CPU system time (s): 17.7242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.969 second user time and 7.57175 second system time

The end