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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521192-1751572276/watcher-4521192-1751572276 -o /tmp/evaluation-result-4521192-1751572276/solver-4521192-1751572276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80446 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521192-1751572276.opb -total-t=3600 -no-par -v0 

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=81546, runsolver pid=81543
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 81547
/proc/meminfo: memFree=125273492/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=29300 memory=10880 CPUtime=0.1 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 2093 0 0 0 10 0 0 0 20 0 1 0 72907336 30003200 2720 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 7325 2720 736 2416 0 4427 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29300 KiB
Current children cumulated memory: 10880 KiB

[startup+0.213189 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 81547
/proc/meminfo: memFree=125265428/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=35800 memory=17408 CPUtime=0.21 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 3721 0 0 0 20 1 0 0 20 0 1 0 72907336 36659200 4320 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 8950 4352 736 2416 0 6052 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35800 KiB
Current children cumulated memory: 17408 KiB

[startup+0.313004 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 81547
/proc/meminfo: memFree=125257364/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=41520 memory=23168 CPUtime=0.31 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 5165 0 0 0 30 1 0 0 20 0 1 0 72907336 42516480 5792 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 10380 5792 736 2416 0 7482 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 23168 KiB

[startup+0.700318 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 81547
/proc/meminfo: memFree=125249300/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=64908 memory=46464 CPUtime=0.68 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 11003 0 0 0 65 3 0 0 20 0 1 0 72907336 66465792 11616 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 16227 11616 736 2416 0 13329 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64908 KiB
Current children cumulated memory: 46464 KiB

[startup+1.50032 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 81547
/proc/meminfo: memFree=125208980/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=142564 memory=123648 CPUtime=1.48 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 30310 0 0 0 141 7 0 0 20 0 1 0 72907336 145985536 30912 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 35641 30912 736 2416 0 32743 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142564 KiB
Current children cumulated memory: 123648 KiB

[startup+3.11272 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 81547
/proc/meminfo: memFree=124954228/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=349696 memory=334024 CPUtime=3.09 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 83608 0 0 0 293 16 0 0 20 0 1 0 72907336 358088704 83506 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 87424 83506 768 2416 0 84526 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 349696 KiB
Current children cumulated memory: 334024 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 81547
/proc/meminfo: memFree=124285284/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1030672 memory=1014908 CPUtime=6.27 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 247777 0 0 0 584 43 0 0 20 0 1 0 72907336 1055408128 253727 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 257668 253727 2336 2416 0 254770 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1030672 KiB
Current children cumulated memory: 1014908 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 81549
/proc/meminfo: memFree=123322784/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2015056 memory=1913280 CPUtime=12.65 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 313293 0 0 0 1197 68 0 0 20 0 1 0 72907336 2063417344 478320 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 503764 478320 2464 2416 0 500866 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2015056 KiB
Current children cumulated memory: 1913280 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 81549
/proc/meminfo: memFree=123316908/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2015056 memory=1913920 CPUtime=25.41 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 313464 0 0 0 2473 68 0 0 20 0 1 0 72907336 2063417344 478480 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 503764 478480 2464 2416 0 500866 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2015056 KiB
Current children cumulated memory: 1913920 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 81549
/proc/meminfo: memFree=123343400/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2015056 memory=1918896 CPUtime=50.94 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 313683 0 0 0 5026 68 0 0 20 0 1 0 72907336 2063417344 479724 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 503764 479724 2464 2416 0 500866 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2015056 KiB
Current children cumulated memory: 1918896 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/252 81559
/proc/meminfo: memFree=123331604/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2019800 memory=1924784 CPUtime=101.97 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 314640 0 0 0 10128 69 0 0 20 0 1 0 72907336 2068275200 481196 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 504950 481196 2496 2416 0 502052 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2019800 KiB
Current children cumulated memory: 1924784 KiB

[startup+162.3 s]
/proc/loadavg: 4.61 4.28 4.16 5/252 81561
/proc/meminfo: memFree=123355476/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2019800 memory=1924784 CPUtime=161.79 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 314675 0 0 0 16110 69 0 0 20 0 1 0 72907336 2068275200 481196 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 504950 481196 2496 2416 0 502052 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2019800 KiB
Current children cumulated memory: 1924784 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.24 4.15 5/252 81608
/proc/meminfo: memFree=124073728/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2020480 memory=1925424 CPUtime=221.61 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 314879 0 0 0 22091 70 0 0 20 0 1 0 72907336 2068971520 481356 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 505120 481356 2496 2416 0 502222 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2020480 KiB
Current children cumulated memory: 1925424 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.21 4.15 5/252 81610
/proc/meminfo: memFree=123847032/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2023440 memory=1926960 CPUtime=281.43 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 315303 0 0 0 28073 70 0 0 20 0 1 0 72907336 2072002560 481740 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 505860 481740 2496 2416 0 502962 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2023440 KiB
Current children cumulated memory: 1926960 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/251 81612
/proc/meminfo: memFree=124488184/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2024848 memory=1928240 CPUtime=341.26 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 315652 0 0 0 34055 71 0 0 20 0 1 0 72907336 2073444352 482060 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 506212 482060 2496 2416 0 503314 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 2024848 KiB
Current children cumulated memory: 1928240 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/249 81614
/proc/meminfo: memFree=124456740/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2024848 memory=1928496 CPUtime=401.09 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 315742 0 0 0 40037 72 0 0 20 0 1 0 72907336 2073444352 482124 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 506212 482124 2496 2416 0 503314 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 2024848 KiB
Current children cumulated memory: 1928496 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/250 81617
/proc/meminfo: memFree=124458076/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=2024848 memory=1928880 CPUtime=460.92 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 315867 0 0 0 46020 72 0 0 20 0 1 0 72907336 2073444352 482220 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 506212 482220 2496 2416 0 503314 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 1579332 KiB

[startup+2922.3 s]
/proc/loadavg: 4.39 4.35 4.21 5/249 82015
/proc/meminfo: memFree=126276712/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=2913.92 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 415697 0 0 0 291297 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.30 4.20 5/249 82017
/proc/meminfo: memFree=126262096/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=2973.76 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 415813 0 0 0 297281 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.26 4.19 5/249 82019
/proc/meminfo: memFree=126264164/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3033.59 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 415905 0 0 0 303264 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/250 82022
/proc/meminfo: memFree=126264636/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3093.43 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416000 0 0 0 309248 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.19 4.17 5/250 82030
/proc/meminfo: memFree=126265908/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3153.26 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416048 0 0 0 315231 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/250 82032
/proc/meminfo: memFree=126265548/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3213.1 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416174 0 0 0 321215 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/250 82034
/proc/meminfo: memFree=126242632/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3272.94 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416285 0 0 0 327199 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/250 82036
/proc/meminfo: memFree=126227260/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3332.78 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416379 0 0 0 333183 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/249 82038
/proc/meminfo: memFree=126228032/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3392.62 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416446 0 0 0 339167 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.16 5/251 82086
/proc/meminfo: memFree=126809112/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3452.41 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416527 0 0 0 345146 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.72 4.31 4.21 5/251 82177
/proc/meminfo: memFree=126796656/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3512.19 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416645 0 0 0 351124 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/251 82225
/proc/meminfo: memFree=126892360/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3571.97 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416735 0 0 0 357102 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.23 4.24 4.19 5/251 82270
/proc/meminfo: memFree=126792620/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3600.06 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416763 0 0 0 359911 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=0.959363 s

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

[startup+3610.5 s]
/proc/loadavg: 4.23 4.24 4.19 5/251 82270
/proc/meminfo: memFree=126792620/131382112 swapFree=33010416/33010684
[pid=81546] ppid=81543 vsize=1587596 memory=1579332 CPUtime=3600.06 cores=4,6
/proc/81546/stat : 81546 (CASHWMaxSAT-Dis) R 81543 81546 80435 0 -1 4194304 416763 0 0 0 359911 95 0 0 20 0 1 0 72907336 1625698304 394833 18446744073709551615 4198400 14093885 140730406489344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32718848 140730406496618 140730406496733 140730406496733 140730406502335 0
/proc/81546/statm: 396899 394833 2528 2416 0 394001 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1587596 KiB
Current children cumulated memory: 1579332 KiB

Child status: 10

Real time (s): 3610.51
CPU time (s): 3600.08
CPU user time (s): 3599.12
CPU system time (s): 0.959363
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 2476464
Max. memory (cumulated for all children) (KiB): 2339708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.959363
maximum resident set size= 2339708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416796
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= 19
involuntary context switches= 1230


# summary of solver processes directly reported to runsolver:
#   pid: 81546
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 0.959363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8173 second user time and 34.9305 second system time

The end