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: 63794 MiB (59166 MiB free)
  memory of node 1: 64507 MiB (61664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525162-1751622900/watcher-4525162-1751622900 -o /tmp/evaluation-result-4525162-1751622900/solver-4525162-1751622900 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751617473-92365 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 591389775 HOME/instance-4525162-1751622900.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92991, runsolver pid=92988

[startup+0.100063 s]*
/proc/loadavg: 4.74 4.26 4.21 7/256 92993
/proc/meminfo: memFree=123731144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=79240 memory=4864 CPUtime=0.14 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) S 92988 92991 92353 0 -1 4194304 681 0 0 0 14 0 0 0 20 0 2 0 77969688 81141760 1216 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 19810 1216 672 633 0 2681 0
[pid=92991/tid=92993] ppid=92988 vsize=79240 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 44 0 0 0 4 0 0 0 20 0 2 0 77969688 81141760 1216 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 79240 KiB
Current children cumulated memory: 4864 KiB

[startup+0.212789 s]*
/proc/loadavg: 4.74 4.26 4.21 8/256 92993
/proc/meminfo: memFree=123731144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=79640 memory=5248 CPUtime=0.32 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) S 92988 92991 92353 0 -1 4194304 789 0 0 0 32 0 0 0 20 0 2 0 77969688 81551360 1312 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 19910 1312 672 633 0 2781 0
[pid=92991/tid=92993] ppid=92988 vsize=79640 memory=4208735117501333788 CPUtime=0.11 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 44 0 0 0 11 0 0 0 20 0 2 0 77969688 81551360 1312 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 79640 KiB
Current children cumulated memory: 5248 KiB

[startup+0.312295 s]*
/proc/loadavg: 4.74 4.26 4.21 7/256 92993
/proc/meminfo: memFree=123731144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=79796 memory=5248 CPUtime=0.49 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) S 92988 92991 92353 0 -1 4194304 824 0 0 0 49 0 0 0 20 0 2 0 77969688 81711104 1312 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 19949 1312 672 633 0 2820 0
[pid=92991/tid=92993] ppid=92988 vsize=79796 memory=-6807039944196721770 CPUtime=0.2 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 44 0 0 0 20 0 0 0 20 0 2 0 77969688 81711104 1312 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 5248 KiB

[startup+0.700236 s]
/proc/loadavg: 4.74 4.26 4.21 7/256 92993
/proc/meminfo: memFree=123731144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=79796 memory=5376 CPUtime=1.18 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 848 0 0 0 117 1 0 0 20 0 2 0 77969688 81711104 1344 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 19949 1344 672 633 0 2820 0
[pid=92991/tid=92993] ppid=92988 vsize=79796 memory=18816 CPUtime=0.53 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 44 0 0 0 53 0 0 0 20 0 2 0 77969688 81711104 1344 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 5376 KiB

[startup+1.50013 s]
/proc/loadavg: 4.74 4.26 4.21 7/256 92993
/proc/meminfo: memFree=123731144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=80424 memory=5924 CPUtime=2.77 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 1692 0 0 0 272 5 0 0 20 0 2 0 77969688 82354176 1481 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20106 1481 672 633 0 2977 0
[pid=92991/tid=92993] ppid=92988 vsize=80424 memory=18816 CPUtime=1.32 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 105 0 0 0 131 1 0 0 20 0 2 0 77969688 82354176 1481 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 80424 KiB
Current children cumulated memory: 5924 KiB

[startup+3.10503 s]
/proc/loadavg: 4.74 4.26 4.21 7/256 92993
/proc/meminfo: memFree=123731148/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=80700 memory=6308 CPUtime=5.93 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 2593 0 0 0 585 8 0 0 20 0 2 0 77969688 82636800 1577 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20175 1577 672 633 0 3046 0
[pid=92991/tid=92993] ppid=92988 vsize=80700 memory=6052 CPUtime=2.9 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 393 0 0 0 287 3 0 0 20 0 2 0 77969688 82636800 1577 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 80700 KiB
Current children cumulated memory: 6308 KiB

[startup+6.30012 s]
/proc/loadavg: 4.84 4.29 4.22 7/255 92993
/proc/meminfo: memFree=123730416/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=81608 memory=6812 CPUtime=12.19 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 3768 0 0 0 1204 15 0 0 20 0 2 0 77969688 83566592 1703 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20402 1703 672 633 0 3273 0
[pid=92991/tid=92993] ppid=92988 vsize=81608 memory=18816 CPUtime=5.98 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 831 0 0 0 593 5 0 0 20 0 2 0 77969688 83566592 1703 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 81608 KiB
Current children cumulated memory: 6812 KiB

[startup+12.7001 s]
/proc/loadavg: 4.93 4.32 4.23 7/255 92994
/proc/meminfo: memFree=123730432/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=81884 memory=7324 CPUtime=24.61 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 4678 0 0 0 2437 24 0 0 20 0 2 0 77969688 83849216 1831 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20471 1831 672 633 0 3342 0
[pid=92991/tid=92993] ppid=92988 vsize=81884 memory=7324 CPUtime=12.05 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 1096 0 0 0 1196 9 0 0 20 0 2 0 77969688 83849216 1831 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 81884 KiB
Current children cumulated memory: 7324 KiB

[startup+25.5001 s]
/proc/loadavg: 5.25 4.42 4.27 8/255 93040
/proc/meminfo: memFree=123833144/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=82316 memory=7836 CPUtime=49.11 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 6471 0 0 0 4866 45 0 0 20 0 2 0 77969688 84291584 1959 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20579 1959 672 633 0 3450 0
[pid=92991/tid=92993] ppid=92988 vsize=82316 memory=7836 CPUtime=23.86 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 1449 0 0 0 2372 14 0 0 20 0 2 0 77969688 84291584 1959 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 49.11 s
Current children cumulated vsize: 82316 KiB
Current children cumulated memory: 7836 KiB

[startup+51.1045 s]
/proc/loadavg: 6.22 4.71 4.37 9/255 93086
/proc/meminfo: memFree=123933864/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=83940 memory=8512 CPUtime=97.78 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 7288 0 0 0 9699 79 0 0 20 0 2 0 77969688 85954560 2128 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 20985 2128 672 633 0 3856 0
[pid=92991/tid=92993] ppid=92988 vsize=83940 memory=11136 CPUtime=47.08 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 1613 0 0 0 4682 26 0 0 20 0 2 0 77969688 85954560 2128 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 97.78 s
Current children cumulated vsize: 83940 KiB
Current children cumulated memory: 8512 KiB

[startup+102.3 s]
/proc/loadavg: 7.01 5.16 4.54 9/255 93088
/proc/meminfo: memFree=123936368/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=84224 memory=9024 CPUtime=194.7 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 9318 0 0 0 19331 139 0 0 20 0 2 0 77969688 86245376 2256 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21056 2256 672 633 0 3927 0
[pid=92991/tid=92993] ppid=92988 vsize=84224 memory=8896 CPUtime=93.09 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 2367 0 0 0 9265 44 0 0 20 0 2 0 77969688 86245376 2256 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 194.7 s
Current children cumulated vsize: 84224 KiB
Current children cumulated memory: 9024 KiB

[startup+162.3 s]
/proc/loadavg: 7.50 5.63 4.75 9/255 93090
/proc/meminfo: memFree=123935448/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=84496 memory=9408 CPUtime=307.91 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 9873 0 0 0 30594 197 0 0 20 0 2 0 77969688 86523904 2352 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21124 2352 672 633 0 3995 0
[pid=92991/tid=92993] ppid=92988 vsize=84496 memory=9280 CPUtime=146.63 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) S 92988 92991 92353 0 -1 4194368 2615 0 0 0 14599 64 0 0 20 0 2 0 77969688 86523904 2352 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 307.91 s
Current children cumulated vsize: 84496 KiB
Current children cumulated memory: 9408 KiB

[startup+222.3 s]
/proc/loadavg: 7.87 6.08 4.96 9/254 93092
/proc/meminfo: memFree=123930384/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=84496 memory=9408 CPUtime=420.97 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 11035 0 0 0 41841 256 0 0 20 0 2 0 77969688 86523904 2352 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21124 2352 672 633 0 3995 0
[pid=92991/tid=92993] ppid=92988 vsize=84496 memory=18816 CPUtime=200.02 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 3076 0 0 0 19920 82 0 0 20 0 2 0 77969688 86523904 2352 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 420.97 s
Current children cumulated vsize: 84496 KiB
Current children cumulated memory: 9408 KiB

[startup+282.3 s]
/proc/loadavg: 7.87 6.41 5.14 9/253 93094
/proc/meminfo: memFree=123929884/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=84636 memory=9536 CPUtime=533.97 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 11743 0 0 0 53084 313 0 0 20 0 2 0 77969688 86667264 2384 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21159 2384 672 633 0 4030 0
[pid=92991/tid=92993] ppid=92988 vsize=84636 memory=9536 CPUtime=253.35 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 3343 0 0 0 25238 97 0 0 20 0 2 0 77969688 86667264 2384 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 533.97 s
Current children cumulated vsize: 84636 KiB

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

/proc/meminfo: memFree=123930992/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10432 CPUtime=2560.61 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 16813 0 0 0 254785 1276 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2608 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1206.21 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 4759 0 0 0 120261 360 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 2560.61 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10432 KiB

[startup+1422.3 s]
/proc/loadavg: 7.52 7.65 6.99 9/255 93160
/proc/meminfo: memFree=123932004/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10432 CPUtime=2673.03 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 17693 0 0 0 265975 1328 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2608 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1259.04 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5029 0 0 0 125530 374 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 2673.03 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10432 KiB

[startup+1482.3 s]
/proc/loadavg: 7.70 7.68 7.04 9/254 93162
/proc/meminfo: memFree=123927448/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10432 CPUtime=2785.47 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 17697 0 0 0 277168 1379 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2608 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1311.84 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5029 0 0 0 130797 387 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 2785.47 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10432 KiB

[startup+1542.3 s]
/proc/loadavg: 8.00 7.77 7.12 9/254 93164
/proc/meminfo: memFree=123928452/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10432 CPUtime=2897.89 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 18574 0 0 0 288360 1429 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2608 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1364.61 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5334 0 0 0 136061 400 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 2897.89 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10432 KiB

[startup+1602.3 s]
/proc/loadavg: 7.64 7.70 7.13 8/255 93171
/proc/meminfo: memFree=123931212/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10432 CPUtime=3010.31 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 18594 0 0 0 299553 1478 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2608 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1417.39 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) S 92988 92991 92353 0 -1 4194368 5334 0 0 0 141326 413 0 0 20 0 2 0 77969688 87220224 2608 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3010.31 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10432 KiB

[startup+1662.3 s]
/proc/loadavg: 7.73 7.71 7.17 9/255 93173
/proc/meminfo: memFree=123930452/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10560 CPUtime=3122.73 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 18599 0 0 0 310746 1527 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2640 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1470.16 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5334 0 0 0 146590 426 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3122.73 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10560 KiB

[startup+1722.3 s]
/proc/loadavg: 7.80 7.73 7.21 8/255 93177
/proc/meminfo: memFree=123931216/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10560 CPUtime=3235.18 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 19504 0 0 0 321941 1577 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2640 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10432 CPUtime=1522.97 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5586 0 0 0 151858 439 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3235.18 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10560 KiB

[startup+1782.3 s]
/proc/loadavg: 8.01 7.79 7.26 6/249 93187
/proc/meminfo: memFree=123928056/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10560 CPUtime=3347.51 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 19508 0 0 0 333121 1630 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2640 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10560 CPUtime=1575.66 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5586 0 0 0 157113 453 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3347.51 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10560 KiB

[startup+1842.3 s]
/proc/loadavg: 7.88 7.78 7.29 9/255 93227
/proc/meminfo: memFree=123937864/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85176 memory=10560 CPUtime=3459.93 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 20413 0 0 0 344315 1678 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21294 2640 672 633 0 4165 0
[pid=92991/tid=92993] ppid=92988 vsize=85176 memory=10560 CPUtime=1628.4 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) S 92988 92991 92353 0 -1 4194368 5867 0 0 0 162376 464 0 0 20 0 2 0 77969688 87220224 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3459.93 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 10560 KiB

[startup+1902.3 s]
/proc/loadavg: 7.40 7.64 7.27 9/254 93275
/proc/meminfo: memFree=123934852/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85324 memory=10560 CPUtime=3572.35 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 20437 0 0 0 355505 1730 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21331 2640 672 633 0 4202 0
[pid=92991/tid=92993] ppid=92988 vsize=85324 memory=14336 CPUtime=1681.15 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5867 0 0 0 167639 476 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 85324 KiB
Current children cumulated memory: 10560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1917.11 s]
/proc/loadavg: 7.46 7.64 7.28 9/255 93277
/proc/meminfo: memFree=123935624/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85324 memory=10560 CPUtime=3600.09 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 20439 0 0 0 358267 1742 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21331 2640 672 633 0 4202 0
[pid=92991/tid=92993] ppid=92988 vsize=85324 memory=14336 CPUtime=1694.17 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5867 0 0 0 168938 479 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 85324 KiB
Current children cumulated memory: 10560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.69 s, system=17.4218 s

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

[startup+1917.11 s]
/proc/loadavg: 7.46 7.64 7.28 9/255 93277
/proc/meminfo: memFree=123935624/131382116 swapFree=33010684/33010684
[pid=92991] ppid=92988 vsize=85324 memory=10560 CPUtime=3600.09 cores=1,3
/proc/92991/stat : 92991 (pb_competition_) R 92988 92991 92353 0 -1 4194304 20439 0 0 0 358267 1742 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
/proc/92991/statm: 21331 2640 672 633 0 4202 0
[pid=92991/tid=92993] ppid=92988 vsize=85324 memory=14336 CPUtime=1694.17 cores=1,3
/proc/92991/task/92993/stat : 92993 (pb_competition_) R 92988 92991 92353 0 -1 4194368 5867 0 0 0 168938 479 0 0 20 0 2 0 77969688 87371776 2640 18446744073709551615 4198400 6788177 140734668396592 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 37363712 140734668405080 140734668405206 140734668405206 140734668410810 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 85324 KiB
Current children cumulated memory: 10560 KiB

Child status: 0

Real time (s): 1917.12
CPU time (s): 3600.11
CPU user time (s): 3582.69
CPU system time (s): 17.4218
CPU usage (%): 187.788
Max. virtual memory (cumulated for all children) (KiB): 85324
Max. memory (cumulated for all children) (KiB): 10560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.69
system time used= 17.4218
maximum resident set size= 10560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20496
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= 74981
involuntary context switches= 114167


# summary of solver processes directly reported to runsolver:
#   pid: 92991
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3582.69
#   total CPU system time (s): 17.4218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48179 second user time and 7.14021 second system time

The end