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: 63665 MiB (62325 MiB free)
  memory of node 1: 64507 MiB (63664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525090-1751621674/watcher-4525090-1751621674 -o /tmp/evaluation-result-4525090-1751621674/solver-4525090-1751621674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751621674-96833 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 587222511 HOME/instance-4525090-1751621674.wbo 

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
solver pid=96883, runsolver pid=96874
Current StackSize limit: 8192 KiB

Starting watchdog thread

[startup+0.100056 s]*
/proc/loadavg: 1.41 3.10 3.78 8/270 96896
/proc/meminfo: memFree=129005692/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=83408 memory=9148 CPUtime=0.16 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 1805 0 0 0 16 0 0 0 20 0 2 0 77845260 85409792 2287 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 20852 2287 672 633 0 3804 0
[pid=96883/tid=96886] ppid=96874 vsize=83408 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) S 96874 96883 96823 0 -1 4194368 125 0 0 0 6 0 0 0 20 0 2 0 77845260 85409792 2287 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 9148 KiB

[startup+0.204565 s]*
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129004936/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=83728 memory=9312 CPUtime=0.34 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 1945 0 0 0 33 1 0 0 20 0 2 0 77845260 85737472 2328 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 20932 2328 672 633 0 3884 0
[pid=96883/tid=96886] ppid=96874 vsize=83728 memory=5983648042466672924 CPUtime=0.13 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 125 0 0 0 13 0 0 0 20 0 2 0 77845260 85737472 2328 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 83728 KiB
Current children cumulated memory: 9312 KiB

[startup+0.304871 s]*
/proc/loadavg: 1.41 3.10 3.78 8/270 96896
/proc/meminfo: memFree=129004148/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=83944 memory=9568 CPUtime=0.5 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 2002 0 0 0 49 1 0 0 20 0 2 0 77845260 85958656 2392 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 20986 2392 672 633 0 3938 0
[pid=96883/tid=96886] ppid=96874 vsize=83944 memory=7971238884735140466 CPUtime=0.2 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 125 0 0 0 20 0 0 0 20 0 2 0 77845260 85958656 2392 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 83944 KiB
Current children cumulated memory: 9568 KiB

[startup+0.700131 s]
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129002328/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=84984 memory=10300 CPUtime=1.24 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 2465 0 0 0 122 2 0 0 20 0 2 0 77845260 87023616 2575 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21246 2575 672 633 0 4198 0
[pid=96883/tid=96886] ppid=96874 vsize=84984 memory=18816 CPUtime=0.55 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 125 0 0 0 55 0 0 0 20 0 2 0 77845260 87023616 2575 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 84984 KiB
Current children cumulated memory: 10300 KiB

[startup+1.50013 s]
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129002328/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=85284 memory=10940 CPUtime=2.71 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 4300 0 0 0 268 3 0 0 20 0 2 0 77845260 87330816 2735 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21321 2735 672 633 0 4273 0
[pid=96883/tid=96886] ppid=96874 vsize=85284 memory=18816 CPUtime=1.22 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 625 0 0 0 122 0 0 0 20 0 2 0 77845260 87330816 2735 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 85284 KiB
Current children cumulated memory: 10940 KiB

[startup+3.10478 s]
/proc/loadavg: 1.41 3.10 3.78 9/270 96897
/proc/meminfo: memFree=128997724/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=85620 memory=11324 CPUtime=5.75 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 6228 0 0 0 569 6 0 0 20 0 2 0 77845260 87674880 2831 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21405 2831 672 633 0 4357 0
[pid=96883/tid=96886] ppid=96874 vsize=85620 memory=16360 CPUtime=2.66 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 1363 0 0 0 266 0 0 0 20 0 2 0 77845260 87674880 2831 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 85620 KiB
Current children cumulated memory: 11324 KiB

[startup+6.30012 s]
/proc/loadavg: 1.86 3.16 3.79 10/270 96897
/proc/meminfo: memFree=128998124/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=87076 memory=12724 CPUtime=11.48 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 8147 0 0 0 1139 9 0 0 20 0 2 0 77845260 89165824 3181 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21769 3181 672 633 0 4721 0
[pid=96883/tid=96886] ppid=96874 vsize=87076 memory=11452 CPUtime=5.23 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 1987 0 0 0 522 1 0 0 20 0 2 0 77845260 89165824 3181 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 11.48 s
Current children cumulated vsize: 87076 KiB
Current children cumulated memory: 12724 KiB

[startup+12.7001 s]
/proc/loadavg: 2.43 3.26 3.82 10/270 96897
/proc/meminfo: memFree=128996584/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=87264 memory=12852 CPUtime=23.47 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 11569 0 0 0 2331 16 0 0 20 0 2 0 77845260 89358336 3213 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21816 3213 672 633 0 4768 0
[pid=96883/tid=96886] ppid=96874 vsize=87264 memory=7970675934781784434 CPUtime=10.86 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 2864 0 0 0 1083 3 0 0 20 0 2 0 77845260 89358336 3213 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 23.47 s
Current children cumulated vsize: 87264 KiB
Current children cumulated memory: 12852 KiB

[startup+25.5001 s]
/proc/loadavg: 3.52 3.46 3.88 10/270 96897
/proc/meminfo: memFree=128993900/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=87836 memory=13492 CPUtime=47.39 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 13296 0 0 0 4713 26 0 0 20 0 2 0 77845260 89944064 3373 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 21959 3373 672 633 0 4911 0
[pid=96883/tid=96886] ppid=96874 vsize=87836 memory=13364 CPUtime=22.05 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 3384 0 0 0 2200 5 0 0 20 0 2 0 77845260 89944064 3373 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 47.39 s
Current children cumulated vsize: 87836 KiB
Current children cumulated memory: 13492 KiB

[startup+51.1048 s]
/proc/loadavg: 4.99 3.81 3.99 10/270 96897
/proc/meminfo: memFree=128991192/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=88412 memory=14004 CPUtime=94.83 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 13653 0 0 0 9433 50 0 0 20 0 2 0 77845260 90533888 3501 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 22103 3501 672 633 0 5055 0
[pid=96883/tid=96886] ppid=96874 vsize=88412 memory=16360 CPUtime=44.03 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 3420 0 0 0 4392 11 0 0 20 0 2 0 77845260 90533888 3501 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 94.83 s
Current children cumulated vsize: 88412 KiB
Current children cumulated memory: 14004 KiB

[startup+102.3 s]
/proc/loadavg: 6.44 4.39 4.18 8/270 96901
/proc/meminfo: memFree=128981576/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=92060 memory=16136 CPUtime=189.02 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 18648 0 0 0 18815 87 0 0 20 0 2 0 77845260 94269440 4034 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 23015 4034 672 633 0 5967 0
[pid=96883/tid=96886] ppid=96874 vsize=92060 memory=16360 CPUtime=87.32 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 4284 0 0 0 8711 21 0 0 20 0 2 0 77845260 94269440 4034 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 189.02 s
Current children cumulated vsize: 92060 KiB
Current children cumulated memory: 16136 KiB

[startup+162.3 s]
/proc/loadavg: 7.06 4.95 4.38 9/268 96904
/proc/meminfo: memFree=128978916/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=92868 memory=16904 CPUtime=298.71 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 19703 0 0 0 29747 124 0 0 20 0 2 0 77845260 95096832 4226 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 23217 4226 672 633 0 6169 0
[pid=96883/tid=96886] ppid=96874 vsize=92868 memory=16008 CPUtime=137.36 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 4334 0 0 0 13705 31 0 0 20 0 2 0 77845260 95096832 4226 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 298.71 s
Current children cumulated vsize: 92868 KiB
Current children cumulated memory: 16904 KiB

[startup+222.3 s]
/proc/loadavg: 7.43 5.44 4.59 10/268 96906
/proc/meminfo: memFree=128988700/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=93264 memory=17800 CPUtime=407.77 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 20884 0 0 0 40624 153 0 0 20 0 2 0 77845260 95502336 4450 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 23316 4450 672 633 0 6268 0
[pid=96883/tid=96886] ppid=96874 vsize=93264 memory=17672 CPUtime=186.75 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) S 96874 96883 96823 0 -1 4194368 4434 0 0 0 18637 38 0 0 20 0 2 0 77845260 95502336 4450 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 407.77 s
Current children cumulated vsize: 93264 KiB
Current children cumulated memory: 17800 KiB

[startup+282.3 s]
/proc/loadavg: 7.57 5.85 4.79 10/268 96909
/proc/meminfo: memFree=128980552/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=93960 memory=18824 CPUtime=509.44 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 21953 0 0 0 50764 180 0 0 20 0 2 0 77845260 96215040 4706 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 23490 4706 672 633 0 6442 0
[pid=96883/tid=96886] ppid=96874 vsize=93960 memory=18824 CPUtime=228.81 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 4666 0 0 0 22834 47 0 0 20 0 2 0 77845260 96215040 4706 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 509.44 s
Current children cumulated vsize: 93960 KiB
Current children cumulated memory: 18824 KiB

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

/proc/meminfo: memFree=128951368/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102632 memory=25516 CPUtime=2559.32 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 30457 0 0 0 255391 541 0 0 20 0 2 0 77845260 105095168 6379 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25658 6379 672 633 0 8610 0
[pid=96883/tid=96886] ppid=96874 vsize=102632 memory=25388 CPUtime=1147.61 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5684 0 0 0 114580 181 0 0 20 0 2 0 77845260 105095168 6379 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2559.32 s
Current children cumulated vsize: 102632 KiB
Current children cumulated memory: 25516 KiB

[startup+1482.3 s]
/proc/loadavg: 7.49 7.46 6.81 10/267 96975
/proc/meminfo: memFree=128951676/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102632 memory=25644 CPUtime=2667.09 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 30474 0 0 0 266152 557 0 0 20 0 2 0 77845260 105095168 6411 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25658 6411 672 633 0 8610 0
[pid=96883/tid=96886] ppid=96874 vsize=102632 memory=25388 CPUtime=1195.87 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5685 0 0 0 119399 188 0 0 20 0 2 0 77845260 105095168 6411 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2667.09 s
Current children cumulated vsize: 102632 KiB
Current children cumulated memory: 25644 KiB

[startup+1542.3 s]
/proc/loadavg: 7.62 7.50 6.87 9/267 96977
/proc/meminfo: memFree=128948012/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102772 memory=25900 CPUtime=2774.8 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 30516 0 0 0 276907 573 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25693 6475 672 633 0 8645 0
[pid=96883/tid=96886] ppid=96874 vsize=102772 memory=25388 CPUtime=1244.07 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5685 0 0 0 124213 194 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2774.8 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 25900 KiB

[startup+1602.3 s]
/proc/loadavg: 7.40 7.45 6.89 10/267 96990
/proc/meminfo: memFree=128949412/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102772 memory=25900 CPUtime=2882.37 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 31120 0 0 0 287646 591 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25693 6475 672 633 0 8645 0
[pid=96883/tid=96886] ppid=96874 vsize=102772 memory=16360 CPUtime=1292.15 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) S 96874 96883 96823 0 -1 4194368 5751 0 0 0 129014 201 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2882.37 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 25900 KiB

[startup+1662.3 s]
/proc/loadavg: 7.64 7.49 6.94 8/268 96997
/proc/meminfo: memFree=128954948/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102772 memory=25900 CPUtime=2990.06 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 31126 0 0 0 298398 608 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25693 6475 672 633 0 8645 0
[pid=96883/tid=96886] ppid=96874 vsize=102772 memory=16360 CPUtime=1340.31 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) S 96874 96883 96823 0 -1 4194368 5751 0 0 0 133822 209 0 0 20 0 2 0 77845260 105238528 6475 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 2990.06 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 25900 KiB

[startup+1722.3 s]
/proc/loadavg: 7.51 7.48 6.98 10/268 96999
/proc/meminfo: memFree=128955360/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102988 memory=26028 CPUtime=3097.69 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 31798 0 0 0 309146 623 0 0 20 0 2 0 77845260 105459712 6507 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25747 6507 672 633 0 8699 0
[pid=96883/tid=96886] ppid=96874 vsize=102988 memory=16360 CPUtime=1388.43 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5785 0 0 0 138628 215 0 0 20 0 2 0 77845260 105459712 6507 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3097.69 s
Current children cumulated vsize: 102988 KiB
Current children cumulated memory: 26028 KiB

[startup+1782.3 s]
/proc/loadavg: 7.48 7.47 7.01 10/268 97001
/proc/meminfo: memFree=128955828/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=102988 memory=26028 CPUtime=3205.41 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 31815 0 0 0 319902 639 0 0 20 0 2 0 77845260 105459712 6507 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25747 6507 672 633 0 8699 0
[pid=96883/tid=96886] ppid=96874 vsize=102988 memory=26028 CPUtime=1436.63 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5785 0 0 0 143442 221 0 0 20 0 2 0 77845260 105459712 6507 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3205.41 s
Current children cumulated vsize: 102988 KiB
Current children cumulated memory: 26028 KiB

[startup+1842.3 s]
/proc/loadavg: 7.28 7.42 7.02 8/265 97003
/proc/meminfo: memFree=128955508/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=103176 memory=26156 CPUtime=3312.94 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 31847 0 0 0 330638 656 0 0 20 0 2 0 77845260 105652224 6539 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25794 6539 672 633 0 8746 0
[pid=96883/tid=96886] ppid=96874 vsize=103176 memory=26156 CPUtime=1484.67 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5785 0 0 0 148239 228 0 0 20 0 2 0 77845260 105652224 6539 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3312.94 s
Current children cumulated vsize: 103176 KiB
Current children cumulated memory: 26156 KiB

[startup+1902.3 s]
/proc/loadavg: 7.10 7.34 7.01 10/268 97050
/proc/meminfo: memFree=128951172/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=103176 memory=26156 CPUtime=3420.33 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 32546 0 0 0 341362 671 0 0 20 0 2 0 77845260 105652224 6539 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25794 6539 672 633 0 8746 0
[pid=96883/tid=96886] ppid=96874 vsize=103176 memory=26156 CPUtime=1532.56 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5834 0 0 0 153021 235 0 0 20 0 2 0 77845260 105652224 6539 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3420.33 s
Current children cumulated vsize: 103176 KiB
Current children cumulated memory: 26156 KiB

[startup+1962.3 s]
/proc/loadavg: 7.30 7.34 7.03 10/268 97055
/proc/meminfo: memFree=128977480/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=103340 memory=26284 CPUtime=3527.73 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 33303 0 0 0 352086 687 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25835 6571 672 633 0 8787 0
[pid=96883/tid=96886] ppid=96874 vsize=103340 memory=26284 CPUtime=1580.45 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5885 0 0 0 157802 243 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3527.73 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 26284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2002.7 s]
/proc/loadavg: 7.36 7.36 7.05 9/268 97149
/proc/meminfo: memFree=128958456/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=103340 memory=26284 CPUtime=3600.02 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 33307 0 0 0 359302 700 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25835 6571 672 633 0 8787 0
[pid=96883/tid=96886] ppid=96874 vsize=103340 memory=16140 CPUtime=1612.71 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5885 0 0 0 161025 246 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 26284 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.08 s, system=7.00415 s

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

[startup+2002.7 s]
/proc/loadavg: 7.36 7.36 7.05 9/268 97149
/proc/meminfo: memFree=128958456/131250000 swapFree=33010416/33010684
[pid=96883] ppid=96874 vsize=103340 memory=26284 CPUtime=3600.02 cores=0,2
/proc/96883/stat : 96883 (pb_competition_) R 96874 96883 96823 0 -1 4194304 33307 0 0 0 359302 700 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
/proc/96883/statm: 25835 6571 672 633 0 8787 0
[pid=96883/tid=96886] ppid=96874 vsize=103340 memory=16140 CPUtime=1612.71 cores=0,2
/proc/96883/task/96886/stat : 96886 (pb_competition_) R 96874 96883 96823 0 -1 4194368 5885 0 0 0 161025 246 0 0 20 0 2 0 77845260 105820160 6571 18446744073709551615 4198400 6788177 140735004957712 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 37302272 140735004961112 140735004961238 140735004961238 140735004966842 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 26284 KiB

Child status: 0

Real time (s): 2002.75
CPU time (s): 3600.08
CPU user time (s): 3593.08
CPU system time (s): 7.00415
CPU usage (%): 179.757
Max. virtual memory (cumulated for all children) (KiB): 103340
Max. memory (cumulated for all children) (KiB): 26284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.08
system time used= 7.00415
maximum resident set size= 26856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33413
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= 28723
involuntary context switches= 93366


# summary of solver processes directly reported to runsolver:
#   pid: 96883
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.08
#   total CPU system time (s): 7.00415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01857 second user time and 7.21777 second system time

The end