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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484030-1751277275/watcher-4484030-1751277275 -o /tmp/evaluation-result-4484030-1751277275/solver-4484030-1751277275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33991 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 365610042 HOME/instance-4484030-1751277275.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=34185, runsolver pid=34182

[startup+0.100067 s]*
/proc/loadavg: 7.73 7.86 7.19 8/254 34187
/proc/meminfo: memFree=129469476/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84252 memory=9856 CPUtime=0.15 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 1943 0 0 0 15 0 0 0 20 0 2 0 43406186 86274048 2464 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21063 2464 672 633 0 3940 0
[pid=34185/tid=34187] ppid=34182 vsize=84252 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 49 0 0 0 5 0 0 0 20 0 2 0 43406187 86274048 2464 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 84252 KiB
Current children cumulated memory: 9856 KiB

[startup+0.213297 s]*
/proc/loadavg: 7.73 7.86 7.19 8/254 34187
/proc/meminfo: memFree=129469476/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84536 memory=10112 CPUtime=0.33 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 2041 0 0 0 33 0 0 0 20 0 2 0 43406186 86564864 2528 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21134 2528 672 633 0 4011 0
[pid=34185/tid=34187] ppid=34182 vsize=84536 memory=664958721904869660 CPUtime=0.14 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) S 34182 34185 33067 0 -1 4194368 49 0 0 0 14 0 0 0 20 0 2 0 43406187 86564864 2528 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 84536 KiB
Current children cumulated memory: 10112 KiB

[startup+0.312928 s]*
/proc/loadavg: 7.73 7.86 7.19 8/254 34187
/proc/meminfo: memFree=129468720/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84536 memory=10112 CPUtime=0.51 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 2041 0 0 0 51 0 0 0 20 0 2 0 43406186 86564864 2528 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21134 2528 672 633 0 4011 0
[pid=34185/tid=34187] ppid=34182 vsize=84536 memory=7970114054241403243 CPUtime=0.23 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 49 0 0 0 23 0 0 0 20 0 2 0 43406187 86564864 2528 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 84536 KiB
Current children cumulated memory: 10112 KiB

[startup+0.700207 s]
/proc/loadavg: 7.73 7.86 7.19 9/254 34187
/proc/meminfo: memFree=129468720/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84640 memory=10240 CPUtime=1.22 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 2083 0 0 0 121 1 0 0 20 0 2 0 43406186 86671360 2560 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21160 2560 672 633 0 4037 0
[pid=34185/tid=34187] ppid=34182 vsize=84640 memory=18176 CPUtime=0.57 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 49 0 0 0 57 0 0 0 20 0 2 0 43406187 86671360 2560 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 10240 KiB

[startup+1.50015 s]
/proc/loadavg: 7.73 7.86 7.19 9/254 34187
/proc/meminfo: memFree=129468972/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84640 memory=10240 CPUtime=2.8 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 3215 0 0 0 278 2 0 0 20 0 2 0 43406186 86671360 2560 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21160 2560 672 633 0 4037 0
[pid=34185/tid=34187] ppid=34182 vsize=84640 memory=18176 CPUtime=1.36 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 109 0 0 0 136 0 0 0 20 0 2 0 43406187 86671360 2560 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 10240 KiB

[startup+3.10524 s]
/proc/loadavg: 7.73 7.86 7.19 8/248 34223
/proc/meminfo: memFree=129485124/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84648 memory=10368 CPUtime=5.99 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 4749 0 0 0 594 5 0 0 20 0 2 0 43406186 86679552 2592 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21162 2592 672 633 0 4039 0
[pid=34185/tid=34187] ppid=34182 vsize=84648 memory=10368 CPUtime=2.95 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 325 0 0 0 295 0 0 0 20 0 2 0 43406187 86679552 2592 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 84648 KiB
Current children cumulated memory: 10368 KiB

[startup+6.30015 s]
/proc/loadavg: 7.84 7.87 7.20 9/254 34233
/proc/meminfo: memFree=129481496/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84640 memory=10368 CPUtime=12.34 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 6787 0 0 0 1226 8 0 0 20 0 2 0 43406186 86671360 2592 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21160 2592 672 633 0 4037 0
[pid=34185/tid=34187] ppid=34182 vsize=84640 memory=7970114054241403243 CPUtime=6.12 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 590 0 0 0 611 1 0 0 20 0 2 0 43406187 86671360 2592 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 10368 KiB

[startup+12.7001 s]
/proc/loadavg: 7.77 7.86 7.20 9/254 34233
/proc/meminfo: memFree=129481504/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84640 memory=10460 CPUtime=25.06 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 9812 0 0 0 2486 20 0 0 20 0 2 0 43406186 86671360 2615 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21160 2615 672 633 0 4037 0
[pid=34185/tid=34187] ppid=34182 vsize=84640 memory=10464 CPUtime=12.49 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 970 0 0 0 1246 3 0 0 20 0 2 0 43406187 86671360 2615 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 10460 KiB

[startup+25.5002 s]
/proc/loadavg: 7.66 7.83 7.19 9/254 34279
/proc/meminfo: memFree=129492236/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84640 memory=10460 CPUtime=50.49 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 13770 0 0 0 5007 42 0 0 20 0 2 0 43406186 86671360 2615 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21160 2615 672 633 0 4037 0
[pid=34185/tid=34187] ppid=34182 vsize=84640 memory=10460 CPUtime=25.2 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 1526 0 0 0 2514 6 0 0 20 0 2 0 43406187 86671360 2615 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 50.49 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 10460 KiB

[startup+51.105 s]
/proc/loadavg: 7.79 7.85 7.22 9/254 34280
/proc/meminfo: memFree=129492000/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=101.35 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 16598 0 0 0 10052 83 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10424 CPUtime=50.63 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 1742 0 0 0 5049 14 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 101.35 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+102.3 s]
/proc/loadavg: 7.84 7.86 7.26 9/254 34282
/proc/meminfo: memFree=129497656/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=203.1 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 18958 0 0 0 20144 166 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=101.5 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2087 0 0 0 10119 31 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 203.1 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+162.3 s]
/proc/loadavg: 7.99 7.90 7.31 8/255 34287
/proc/meminfo: memFree=129477348/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=322.38 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 19118 0 0 0 31968 270 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=161.14 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2125 0 0 0 16066 48 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 322.38 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 7.94 7.36 8/254 34340
/proc/meminfo: memFree=129447760/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=441.63 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 19302 0 0 0 43798 365 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=220.76 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2185 0 0 0 22011 65 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 441.63 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+282.3 s]
/proc/loadavg: 7.62 7.83 7.36 9/255 34343
/proc/meminfo: memFree=129454284/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=560.81 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 19548 0 0 0 55622 459 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=280.35 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2278 0 0 0 27955 80 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 560.81 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

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

/proc/meminfo: memFree=129437624/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=2468.75 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 20791 0 0 0 244865 2010 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1234.38 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2572 0 0 0 123067 371 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2468.75 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1302.3 s]
/proc/loadavg: 7.93 7.88 7.70 9/255 34399
/proc/meminfo: memFree=129437488/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=2588 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21040 0 0 0 256689 2111 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1293.99 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2631 0 0 0 129010 389 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2588 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 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=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=2707.24 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21040 0 0 0 268512 2212 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1353.63 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2631 0 0 0 134953 410 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2707.24 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1422.3 s]
/proc/loadavg: 7.46 7.77 7.69 7/256 34410
/proc/meminfo: memFree=129438312/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=2826.51 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21277 0 0 0 280337 2314 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=18176 CPUtime=1413.26 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2639 0 0 0 140901 425 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2826.51 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1482.3 s]
/proc/loadavg: 7.17 7.62 7.64 8/255 34412
/proc/meminfo: memFree=129434356/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=2945.78 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21280 0 0 0 292165 2413 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1472.89 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2639 0 0 0 146843 446 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 2945.78 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 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=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3065.05 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21526 0 0 0 303995 2510 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1532.52 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2717 0 0 0 152788 464 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3065.05 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1602.3 s]
/proc/loadavg: 7.69 7.63 7.64 9/254 34416
/proc/meminfo: memFree=129434904/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3184.32 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21527 0 0 0 315825 2607 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1592.16 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2717 0 0 0 158734 482 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3184.32 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1662.3 s]
/proc/loadavg: 7.81 7.68 7.66 9/254 34419
/proc/meminfo: memFree=129433740/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3303.59 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21762 0 0 0 327655 2704 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=16504 CPUtime=1651.79 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2806 0 0 0 164682 497 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3303.59 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 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=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3422.86 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21774 0 0 0 339489 2797 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1711.44 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2806 0 0 0 170631 513 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3422.86 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

[startup+1782.3 s]
/proc/loadavg: 8.35 7.86 7.73 9/254 34423
/proc/meminfo: memFree=129433700/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3542.15 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21774 0 0 0 351313 2902 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1771.06 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2806 0 0 0 176577 529 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3542.15 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.5 s]
/proc/loadavg: 7.96 7.81 7.71 9/254 34423
/proc/meminfo: memFree=129433716/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3600.18 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21774 0 0 0 357068 2950 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1800.09 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2806 0 0 0 179471 538 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.7 s, system=29.5073 s

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

[startup+1811.5 s]
/proc/loadavg: 7.96 7.81 7.71 9/254 34423
/proc/meminfo: memFree=129433716/131382120 swapFree=33010684/33010684
[pid=34185] ppid=34182 vsize=84764 memory=10552 CPUtime=3600.18 cores=0,2
/proc/34185/stat : 34185 (pb_competition_) R 34182 34185 33067 0 -1 4194304 21774 0 0 0 357068 2950 0 0 20 0 2 0 43406186 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
/proc/34185/statm: 21191 2638 672 633 0 4068 0
[pid=34185/tid=34187] ppid=34182 vsize=84764 memory=10552 CPUtime=1800.09 cores=0,2
/proc/34185/task/34187/stat : 34187 (pb_competition_) R 34182 34185 33067 0 -1 4194368 2806 0 0 0 179471 538 0 0 20 0 2 0 43406187 86798336 2638 18446744073709551615 4198400 6788177 140735298113088 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13733888 140735298120026 140735298120152 140735298120152 140735298125754 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 10552 KiB

Child status: 0

Real time (s): 1811.51
CPU time (s): 3600.2
CPU user time (s): 3570.7
CPU system time (s): 29.5073
CPU usage (%): 198.741
Max. virtual memory (cumulated for all children) (KiB): 84832
Max. memory (cumulated for all children) (KiB): 10552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.7
system time used= 29.5073
maximum resident set size= 10552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21965
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= 5624
involuntary context switches= 36776


# summary of solver processes directly reported to runsolver:
#   pid: 34185
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3570.7
#   total CPU system time (s): 29.5073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20481 second user time and 7.14556 second system time

The end