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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488559-1751324782/watcher-4488559-1751324782 -o /tmp/evaluation-result-4488559-1751324782/solver-4488559-1751324782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751317195-41827 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1854606070 --ls=360 --inp-dombreaklim=0 HOME/instance-4488559-1751324782.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42807, runsolver pid=42804
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.16 4.14 4.12 5/251 42808
/proc/meminfo: memFree=129188116/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=0.1 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 10 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.213226 s]*
/proc/loadavg: 4.16 4.14 4.12 5/251 42808
/proc/meminfo: memFree=129188116/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=0.21 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 21 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.313208 s]*
/proc/loadavg: 4.16 4.14 4.12 5/251 42808
/proc/meminfo: memFree=129171732/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=0.31 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 31 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.700301 s]
/proc/loadavg: 4.16 4.14 4.12 5/251 42808
/proc/meminfo: memFree=129167952/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=0.69 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 69 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+1.50031 s]
/proc/loadavg: 4.16 4.14 4.12 5/251 42808
/proc/meminfo: memFree=129156108/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=1.48 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 148 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+3.11266 s]
/proc/loadavg: 4.15 4.14 4.12 5/251 42808
/proc/meminfo: memFree=128977540/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=3.09 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 309 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+6.30023 s]
/proc/loadavg: 4.15 4.14 4.12 5/251 42808
/proc/meminfo: memFree=128957524/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=6.27 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 627 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.12 5/251 42808
/proc/meminfo: memFree=128911924/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=12.66 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 1266 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.11 5/251 42810
/proc/meminfo: memFree=128827184/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=25.43 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 2543 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.13 4.11 5/251 42810
/proc/meminfo: memFree=128813640/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=50.98 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 5098 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.13 5/251 42814
/proc/meminfo: memFree=128760684/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=102.04 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 10204 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+162.3 s]
/proc/loadavg: 4.54 4.29 4.17 5/251 42816
/proc/meminfo: memFree=128744832/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=161.9 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 16190 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 4.28 4.18 5/251 42822
/proc/meminfo: memFree=128737024/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=221.76 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 22176 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.24 4.17 5/251 42824
/proc/meminfo: memFree=128725996/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=281.62 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 28162 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.23 4.17 5/250 42826
/proc/meminfo: memFree=128702224/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=32064 memory=8784 CPUtime=341.47 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 1354 0 0 0 34147 0 0 0 20 0 1 0 48157909 32833536 2196 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.22 4.17 5/249 42873
/proc/meminfo: memFree=128546636/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=255140 memory=192176 CPUtime=401.31 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 35792 0 0 0 40100 31 0 0 20 0 1 0 48157909 261263360 48044 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 63785 48044 1280 1200 0 62265 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 255140 KiB
Current children cumulated memory: 192176 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/249 42875
/proc/meminfo: memFree=128377772/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=283892 memory=217136 CPUtime=461.15 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 42067 0 0 0 46058 57 0 0 20 0 1 0 48157909 290705408 54284 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 70973 54284 1280 1200 0 69453 0
Current children cumulated CPU time: 461.15 s

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

Current children cumulated memory: 416860 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/249 42988
/proc/meminfo: memFree=126086312/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=441560 memory=417628 CPUtime=2913.54 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 74143 0 0 0 290299 1055 0 0 20 0 1 0 48157909 452157440 104407 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 110390 104407 1280 1200 0 108870 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 441560 KiB
Current children cumulated memory: 417628 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/249 42990
/proc/meminfo: memFree=126060288/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=441752 memory=417756 CPUtime=2973.38 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 74191 0 0 0 296260 1078 0 0 20 0 1 0 48157909 452354048 104439 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 110438 104439 1280 1200 0 108918 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 441752 KiB
Current children cumulated memory: 417756 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/249 42992
/proc/meminfo: memFree=126033776/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=445016 memory=420572 CPUtime=3033.22 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 74889 0 0 0 302222 1100 0 0 20 0 1 0 48157909 455696384 105143 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 111254 105143 1280 1200 0 109734 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 445016 KiB
Current children cumulated memory: 420572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/248 42996
/proc/meminfo: memFree=125974472/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=445016 memory=420572 CPUtime=3093.06 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 75076 0 0 0 308183 1123 0 0 20 0 1 0 48157909 455696384 105143 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 111254 105143 1280 1200 0 109734 0
Current children cumulated CPU time: 3093.06 s
Current children cumulated vsize: 445016 KiB
Current children cumulated memory: 420572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/248 42998
/proc/meminfo: memFree=125952148/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=447128 memory=422492 CPUtime=3152.9 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 75556 0 0 0 314139 1151 0 0 20 0 1 0 48157909 457859072 105623 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 111782 105623 1280 1200 0 110262 0
Current children cumulated CPU time: 3152.9 s
Current children cumulated vsize: 447128 KiB
Current children cumulated memory: 422492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/249 43005
/proc/meminfo: memFree=125937152/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=450424 memory=424796 CPUtime=3212.73 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 76129 0 0 0 320099 1174 0 0 20 0 1 0 48157909 461234176 106199 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 112606 106199 1280 1200 0 111086 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 450424 KiB
Current children cumulated memory: 424796 KiB

[startup+3282.3 s]
/proc/loadavg: 3.36 3.94 4.05 3/239 43086
/proc/meminfo: memFree=129097420/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=454184 memory=427228 CPUtime=3272.55 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 76937 0 0 0 326058 1197 0 0 20 0 1 0 48157909 465084416 106807 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 113546 106807 1280 1200 0 112026 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 454184 KiB
Current children cumulated memory: 427228 KiB

[startup+3342.3 s]
/proc/loadavg: 2.54 3.60 3.92 3/239 43088
/proc/meminfo: memFree=129089572/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=456536 memory=429276 CPUtime=3332.36 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 77445 0 0 0 332016 1220 0 0 20 0 1 0 48157909 467492864 107319 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 114134 107319 1280 1200 0 112614 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 456536 KiB
Current children cumulated memory: 429276 KiB

[startup+3402.3 s]
/proc/loadavg: 2.31 3.33 3.81 3/239 43090
/proc/meminfo: memFree=129082264/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=458264 memory=430684 CPUtime=3392.16 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 77777 0 0 0 337968 1248 0 0 20 0 1 0 48157909 469262336 107671 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 114566 107671 1280 1200 0 113046 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 458264 KiB
Current children cumulated memory: 430684 KiB

[startup+3462.3 s]
/proc/loadavg: 2.17 3.10 3.70 3/239 43091
/proc/meminfo: memFree=129083680/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=459992 memory=432220 CPUtime=3451.98 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 78351 0 0 0 343927 1271 0 0 20 0 1 0 48157909 471031808 108055 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 114998 108055 1280 1200 0 113478 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 432220 KiB

[startup+3522.3 s]
/proc/loadavg: 2.18 2.93 3.60 3/238 43093
/proc/meminfo: memFree=129056656/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=459992 memory=437980 CPUtime=3511.83 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 78361 0 0 0 349886 1297 0 0 20 0 1 0 48157909 471031808 109495 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 114998 109495 1280 1200 0 113478 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 459992 KiB
Current children cumulated memory: 437980 KiB

[startup+3582.3 s]
/proc/loadavg: 2.13 2.77 3.50 3/237 43095
/proc/meminfo: memFree=129059104/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=462104 memory=440028 CPUtime=3571.69 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 78869 0 0 0 355849 1320 0 0 20 0 1 0 48157909 473194496 110007 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 115526 110007 1280 1200 0 114006 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 462104 KiB
Current children cumulated memory: 440028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 2.24 2.73 3.46 3/237 43096
/proc/meminfo: memFree=129051324/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=462680 memory=440540 CPUtime=3600.03 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 79141 0 0 0 358670 1333 0 0 20 0 1 0 48157909 473784320 110135 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 115670 110135 1280 1200 0 114150 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 462680 KiB
Current children cumulated memory: 440540 KiB

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

[startup+3610.71 s]
# the end of solver process 42807 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3586.71 s, system=13.3376 s

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

[startup+3610.7 s]
/proc/loadavg: 2.24 2.73 3.46 3/237 43096
/proc/meminfo: memFree=129051324/131382112 swapFree=33010684/33010684
[pid=42807] ppid=42804 vsize=462680 memory=440540 CPUtime=3600.03 cores=4,6
/proc/42807/stat : 42807 (Exact) R 42804 42807 41816 0 -1 4194304 79141 0 0 0 358670 1333 0 0 20 0 1 0 48157909 473784320 110135 18446744073709551615 4198400 9112445 140724388927504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34029568 140724388935974 140724388936173 140724388936173 140724388941775 0
/proc/42807/statm: 115670 110135 1280 1200 0 114150 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 462680 KiB
Current children cumulated memory: 440540 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3586.71
CPU system time (s): 13.3376
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 462680
Max. memory (cumulated for all children) (KiB): 440540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.71
system time used= 13.3376
maximum resident set size= 440540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79143
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= 138
involuntary context switches= 2098


# summary of solver processes directly reported to runsolver:
#   pid: 42807
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3586.71
#   total CPU system time (s): 13.3376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5778 second user time and 32.8273 second system time

The end