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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486330-1751297461/watcher-4486330-1751297461 -o /tmp/evaluation-result-4486330-1751297461/solver-4486330-1751297461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751290793-41999 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 796922394 HOME/instance-4486330-1751297461.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43026, runsolver pid=43023

[startup+0.100063 s]*
/proc/loadavg: 7.13 7.20 6.92 7/266 43028
/proc/meminfo: memFree=128106472/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=98168 memory=35708 CPUtime=0.13 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 6610 0 0 0 12 1 0 0 20 0 2 0 45424794 100524032 8927 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 24542 8927 640 633 0 9925 0
[pid=43026/tid=43028] ppid=43023 vsize=98168 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 2552 0 0 0 6 0 0 0 20 0 2 0 45424794 100524032 8927 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 98168 KiB
Current children cumulated memory: 35708 KiB

[startup+0.205737 s]*
/proc/loadavg: 7.13 7.20 6.92 7/266 43028
/proc/meminfo: memFree=128082280/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=125092 memory=62716 CPUtime=0.22 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 13341 0 0 0 20 2 0 0 20 0 2 0 45424794 128094208 15679 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 31273 15679 672 633 0 16656 0
[pid=43026/tid=43028] ppid=43023 vsize=125092 memory=664958721904869660 CPUtime=0.06 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 2552 0 0 0 6 0 0 0 20 0 2 0 45424794 128094208 15679 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 125092 KiB
Current children cumulated memory: 62716 KiB

[startup+0.305619 s]*
/proc/loadavg: 7.13 7.20 6.92 8/266 43028
/proc/meminfo: memFree=128067160/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=136260 memory=73980 CPUtime=0.34 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 16139 0 0 0 31 3 0 0 20 0 2 0 45424794 139530240 18495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34065 18495 672 633 0 19448 0
[pid=43026/tid=43028] ppid=43023 vsize=136260 memory=7970388927836732266 CPUtime=0.07 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 2552 0 0 0 7 0 0 0 20 0 2 0 45424794 139530240 18495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 73980 KiB

[startup+0.701436 s]
/proc/loadavg: 7.13 7.20 6.92 8/266 43028
/proc/meminfo: memFree=128067160/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=136260 memory=73980 CPUtime=0.73 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 16140 0 0 0 70 3 0 0 20 0 2 0 45424794 139530240 18495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34065 18495 672 633 0 19448 0
[pid=43026/tid=43028] ppid=43023 vsize=136260 memory=17792 CPUtime=0.08 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 2552 0 0 0 8 0 0 0 20 0 2 0 45424794 139530240 18495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 73980 KiB

[startup+1.50022 s]
/proc/loadavg: 7.13 7.20 6.92 9/266 43028
/proc/meminfo: memFree=128072596/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=136524 memory=74236 CPUtime=1.84 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 26165 0 0 0 180 4 0 0 20 0 2 0 45424794 139800576 18559 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34131 18559 672 633 0 19514 0
[pid=43026/tid=43028] ppid=43023 vsize=136524 memory=17792 CPUtime=0.39 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 3327 0 0 0 39 0 0 0 20 0 2 0 45424794 139800576 18559 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 136524 KiB
Current children cumulated memory: 74236 KiB

[startup+3.10587 s]
/proc/loadavg: 7.20 7.22 6.93 9/266 43028
/proc/meminfo: memFree=128072624/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=136920 memory=74620 CPUtime=4.27 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 28046 0 0 0 423 4 0 0 20 0 2 0 45424794 140206080 18655 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34230 18655 672 633 0 19613 0
[pid=43026/tid=43028] ppid=43023 vsize=136920 memory=74364 CPUtime=1.23 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 4299 0 0 0 123 0 0 0 20 0 2 0 45424794 140206080 18655 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 136920 KiB
Current children cumulated memory: 74620 KiB

[startup+6.30023 s]
/proc/loadavg: 7.20 7.22 6.93 8/266 43028
/proc/meminfo: memFree=128072884/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=137392 memory=75244 CPUtime=8.73 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 76092 0 0 0 860 13 0 0 20 0 2 0 45424794 140689408 18811 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34348 18811 672 633 0 19731 0
[pid=43026/tid=43028] ppid=43023 vsize=137392 memory=17792 CPUtime=2.52 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 6598 0 0 0 251 1 0 0 20 0 2 0 45424794 140689408 18811 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 137392 KiB
Current children cumulated memory: 75244 KiB

[startup+12.7002 s]
/proc/loadavg: 7.27 7.23 6.93 6/260 43059
/proc/meminfo: memFree=128331204/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=139756 memory=77548 CPUtime=18.13 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 87221 0 0 0 1796 17 0 0 20 0 2 0 45424794 143110144 19387 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 34939 19387 672 633 0 20322 0
[pid=43026/tid=43028] ppid=43023 vsize=139756 memory=77548 CPUtime=5.57 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 8684 0 0 0 555 2 0 0 20 0 2 0 45424794 143110144 19387 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 18.13 s
Current children cumulated vsize: 139756 KiB
Current children cumulated memory: 77548 KiB

[startup+25.5002 s]
/proc/loadavg: 7.13 7.20 6.93 6/266 43074
/proc/meminfo: memFree=128130336/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=141288 memory=79016 CPUtime=37.44 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 159753 0 0 0 3711 33 0 0 20 0 2 0 45424794 144678912 19754 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35322 19754 672 633 0 20705 0
[pid=43026/tid=43028] ppid=43023 vsize=141288 memory=77804 CPUtime=12.17 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 10767 0 0 0 1212 5 0 0 20 0 2 0 45424794 144678912 19754 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 37.44 s
Current children cumulated vsize: 141288 KiB
Current children cumulated memory: 79016 KiB

[startup+51.1058 s]
/proc/loadavg: 6.95 7.15 6.92 7/266 43075
/proc/meminfo: memFree=128130336/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=141552 memory=79272 CPUtime=74.25 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 180158 0 0 0 7380 45 0 0 20 0 2 0 45424794 144949248 19818 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35388 19818 672 633 0 20771 0
[pid=43026/tid=43028] ppid=43023 vsize=141552 memory=79272 CPUtime=23.52 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 13679 0 0 0 2343 9 0 0 20 0 2 0 45424794 144949248 19818 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 74.25 s
Current children cumulated vsize: 141552 KiB
Current children cumulated memory: 79272 KiB

[startup+102.3 s]
/proc/loadavg: 6.89 7.11 6.92 8/266 43076
/proc/meminfo: memFree=128121168/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=142796 memory=80468 CPUtime=149.62 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 930387 0 0 0 14761 201 0 0 20 0 2 0 45424794 146223104 20117 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35699 20117 672 633 0 21082 0
[pid=43026/tid=43028] ppid=43023 vsize=142796 memory=79956 CPUtime=48.07 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 17596 0 0 0 4791 16 0 0 20 0 2 0 45424794 146223104 20117 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 149.62 s
Current children cumulated vsize: 142796 KiB
Current children cumulated memory: 80468 KiB

[startup+162.3 s]
/proc/loadavg: 6.85 7.04 6.91 8/266 43078
/proc/meminfo: memFree=128127480/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=143940 memory=81492 CPUtime=237.65 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 1284010 0 0 0 23476 289 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35985 20373 672 633 0 21368 0
[pid=43026/tid=43028] ppid=43023 vsize=143940 memory=82004 CPUtime=76.53 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 20387 0 0 0 7628 25 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 237.65 s
Current children cumulated vsize: 143940 KiB
Current children cumulated memory: 81492 KiB

[startup+222.3 s]
/proc/loadavg: 7.11 7.07 6.93 7/266 43080
/proc/meminfo: memFree=128103596/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=143940 memory=81492 CPUtime=325.22 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 1290589 0 0 0 32211 311 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35985 20373 672 633 0 21368 0
[pid=43026/tid=43028] ppid=43023 vsize=143940 memory=17792 CPUtime=104.49 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 21383 0 0 0 10415 34 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 325.22 s
Current children cumulated vsize: 143940 KiB
Current children cumulated memory: 81492 KiB

[startup+282.3 s]
/proc/loadavg: 6.50 6.92 6.88 8/267 43089
/proc/meminfo: memFree=128071216/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=143940 memory=81492 CPUtime=412.97 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 1291313 0 0 0 40968 329 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 35985 20373 672 633 0 21368 0
[pid=43026/tid=43028] ppid=43023 vsize=143940 memory=81492 CPUtime=132.66 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 21438 0 0 0 13223 43 0 0 20 0 2 0 45424794 147394560 20373 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 412.97 s
Current children cumulated vsize: 143940 KiB

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

/proc/meminfo: memFree=128321332/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=2516.9 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11965897 0 0 0 249048 2642 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=89940 CPUtime=926.81 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 22659 0 0 0 92472 209 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 2516.9 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1662.3 s]
/proc/loadavg: 6.94 7.16 7.08 8/267 43241
/proc/meminfo: memFree=128324440/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=2610.11 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11967265 0 0 0 258350 2661 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=89940 CPUtime=960.43 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 22869 0 0 0 95824 219 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 2610.11 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1722.3 s]
/proc/loadavg: 7.00 7.16 7.08 7/267 43243
/proc/meminfo: memFree=128321144/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=2706.32 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11967289 0 0 0 267955 2677 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=89940 CPUtime=997.06 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 22870 0 0 0 99478 228 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 2706.32 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1782.3 s]
/proc/loadavg: 7.09 7.14 7.08 8/267 43245
/proc/meminfo: memFree=128321264/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=2804.59 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11968692 0 0 0 277765 2694 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=14720 CPUtime=1035.79 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 23138 0 0 0 103343 236 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 2804.59 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1842.3 s]
/proc/loadavg: 7.15 7.15 7.09 8/265 43258
/proc/meminfo: memFree=128321624/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=2902.66 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11968706 0 0 0 287558 2708 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=89940 CPUtime=1074.34 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 23138 0 0 0 107191 243 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 2902.66 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1902.3 s]
/proc/loadavg: 7.53 7.27 7.14 9/265 43260
/proc/meminfo: memFree=128311700/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=3002.37 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11968730 0 0 0 297512 2725 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=89940 CPUtime=1114.53 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 23140 0 0 0 111201 252 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3002.37 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+1962.3 s]
/proc/loadavg: 7.54 7.32 7.16 9/265 43262
/proc/meminfo: memFree=128303404/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=3102.14 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11970185 0 0 0 307476 2738 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=17792 CPUtime=1154.83 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) S 43023 43026 41988 0 -1 4194368 23434 0 0 0 115224 259 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3102.14 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+2022.3 s]
/proc/loadavg: 7.34 7.30 7.17 9/265 43264
/proc/meminfo: memFree=128319896/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152772 memory=89940 CPUtime=3204.13 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11970198 0 0 0 317659 2754 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38193 22485 672 633 0 23576 0
[pid=43026/tid=43028] ppid=43023 vsize=152772 memory=14720 CPUtime=1197.34 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 23435 0 0 0 119468 266 0 0 20 0 2 0 45424794 156438528 22485 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3204.13 s
Current children cumulated vsize: 152772 KiB
Current children cumulated memory: 89940 KiB

[startup+2082.3 s]
/proc/loadavg: 7.49 7.35 7.19 8/265 43266
/proc/meminfo: memFree=128314264/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152904 memory=90196 CPUtime=3305.45 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 11971894 0 0 0 327776 2769 0 0 20 0 2 0 45424794 156573696 22549 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38226 22549 672 633 0 23609 0
[pid=43026/tid=43028] ppid=43023 vsize=152904 memory=89940 CPUtime=1239.2 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 23869 0 0 0 123646 274 0 0 20 0 2 0 45424794 156573696 22549 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3305.45 s
Current children cumulated vsize: 152904 KiB
Current children cumulated memory: 90196 KiB

[startup+2142.3 s]
/proc/loadavg: 7.43 7.36 7.20 9/266 43275
/proc/meminfo: memFree=128314188/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=152564 memory=89980 CPUtime=3406.36 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 13099440 0 0 0 337642 2994 0 0 20 0 2 0 45424794 156225536 22495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38141 22495 672 633 0 23524 0
[pid=43026/tid=43028] ppid=43023 vsize=152564 memory=89736 CPUtime=1280.66 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 23869 0 0 0 127785 281 0 0 20 0 2 0 45424794 156225536 22495 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3406.36 s
Current children cumulated vsize: 152564 KiB
Current children cumulated memory: 89980 KiB

[startup+2202.3 s]
/proc/loadavg: 7.68 7.44 7.24 9/266 43277
/proc/meminfo: memFree=128315128/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=153432 memory=90776 CPUtime=3508.07 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 13955730 0 0 0 347641 3166 0 0 20 0 2 0 45424794 157114368 22694 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38358 22694 672 633 0 23741 0
[pid=43026/tid=43028] ppid=43023 vsize=153432 memory=90776 CPUtime=1322.92 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 24035 0 0 0 132004 288 0 0 20 0 2 0 45424794 157114368 22694 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3508.07 s
Current children cumulated vsize: 153432 KiB
Current children cumulated memory: 90776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2257.6 s]
/proc/loadavg: 7.56 7.45 7.26 9/267 43279
/proc/meminfo: memFree=128314268/131250000 swapFree=33010684/33010684
[pid=43026] ppid=43023 vsize=154060 memory=91492 CPUtime=3600.12 cores=4,6
/proc/43026/stat : 43026 (pb_competition_) R 43023 43026 41988 0 -1 4194304 15320024 0 0 0 356576 3436 0 0 20 0 2 0 45424794 157757440 22873 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
/proc/43026/statm: 38515 22873 672 633 0 23898 0
[pid=43026/tid=43028] ppid=43023 vsize=154060 memory=91492 CPUtime=1360.17 cores=4,6
/proc/43026/task/43028/stat : 43028 (pb_competition_) R 43023 43026 41988 0 -1 4194368 24035 0 0 0 135723 294 0 0 20 0 2 0 45424794 157757440 22873 18446744073709551615 4198400 6788177 140724039081088 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7729152 140724039088474 140724039088600 140724039088600 140724039094202 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 154060 KiB
Current children cumulated memory: 91492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3565.8 s, system=34.3657 s

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

Child status: 0

Real time (s): 2257.64
CPU time (s): 3600.17
CPU user time (s): 3565.8
CPU system time (s): 34.3657
CPU usage (%): 159.466
Max. virtual memory (cumulated for all children) (KiB): 155096
Max. memory (cumulated for all children) (KiB): 92392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.8
system time used= 34.3657
maximum resident set size= 92392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15324150
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= 242330
involuntary context switches= 135596


# summary of solver processes directly reported to runsolver:
#   pid: 43026
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3565.8
#   total CPU system time (s): 34.3657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.00498 second user time and 11.2469 second system time

The end