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: 64059 MiB (61095 MiB free)
  memory of node 1: 64510 MiB (60163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458510-1721881584/watcher-4458510-1721881584 -o /tmp/evaluation-result-4458510-1721881584/solver-4458510-1721881584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214044 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458510-1721881584.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=216595, runsolver pid=216592

[startup+0.100485 s]*
/proc/loadavg: 4.27 4.31 4.22 5/243 216596
/proc/meminfo: memFree=124150384/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=38496 memory=29388 CPUtime=0.09 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 5137 0 0 0 8 1 0 0 20 0 1 0 24148135 39419904 7347 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 9624 7347 2526 2594 0 6517 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38496 KiB
Current children cumulated memory: 29388 KiB

[startup+0.212988 s]*
/proc/loadavg: 4.27 4.31 4.22 5/243 216596
/proc/meminfo: memFree=124142312/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=46328 memory=37152 CPUtime=0.21 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 6996 0 0 0 20 1 0 0 20 0 1 0 24148135 47439872 9288 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 11582 9288 2558 2594 0 8475 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46328 KiB
Current children cumulated memory: 37152 KiB

[startup+0.312929 s]*
/proc/loadavg: 4.27 4.31 4.22 5/243 216596
/proc/meminfo: memFree=124141304/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=47168 memory=37944 CPUtime=0.3 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 7211 0 0 0 29 1 0 0 20 0 1 0 24148135 48300032 9486 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 11792 9486 2558 2594 0 8685 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47168 KiB
Current children cumulated memory: 37944 KiB

[startup+0.700345 s]
/proc/loadavg: 4.27 4.31 4.22 5/243 216596
/proc/meminfo: memFree=124129712/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=63120 memory=52076 CPUtime=0.68 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 10974 0 0 0 66 2 0 0 20 0 1 0 24148135 64634880 13019 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 15780 13019 2670 2594 0 12673 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63120 KiB
Current children cumulated memory: 52076 KiB

[startup+1.50033 s]
/proc/loadavg: 4.27 4.31 4.22 5/243 216596
/proc/meminfo: memFree=124115600/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=78608 memory=65016 CPUtime=1.47 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 16332 0 0 0 145 2 0 0 20 0 1 0 24148135 80494592 16254 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 19652 16254 2670 2594 0 16545 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78608 KiB
Current children cumulated memory: 65016 KiB

[startup+3.11285 s]
/proc/loadavg: 4.25 4.31 4.22 6/243 216597
/proc/meminfo: memFree=124112856/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=85764 memory=66560 CPUtime=3.09 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 16703 0 0 0 306 3 0 0 20 0 1 0 24148135 87822336 16640 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 21441 16640 2670 2594 0 18334 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 85764 KiB
Current children cumulated memory: 66560 KiB

[startup+6.30033 s]
/proc/loadavg: 4.25 4.31 4.22 5/243 216597
/proc/meminfo: memFree=124095752/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=102720 memory=83456 CPUtime=6.27 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 20951 0 0 0 624 3 0 0 20 0 1 0 24148135 105185280 20864 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 25680 20864 2670 2594 0 22573 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102720 KiB
Current children cumulated memory: 83456 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.30 4.22 5/243 216599
/proc/meminfo: memFree=124081768/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=114556 memory=95632 CPUtime=12.64 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 27616 0 0 0 1260 4 0 0 20 0 1 0 24148135 117305344 23908 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 28639 23908 2670 2594 0 25532 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 114556 KiB
Current children cumulated memory: 95632 KiB

[startup+22.3462 s]
# the end of solver process 216595 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=22.1744 s, system=0.085706 s

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

[startup+12.8004 s]
/proc/loadavg: 4.21 4.30 4.22 5/243 216599
/proc/meminfo: memFree=124081768/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=114556 memory=95632 CPUtime=12.74 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 27616 0 0 0 1270 4 0 0 20 0 1 0 24148135 117305344 23908 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 28639 23908 2670 2594 0 25532 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 114556 KiB
Current children cumulated memory: 95632 KiB

[startup+19.2003 s]
/proc/loadavg: 4.19 4.29 4.22 5/243 216599
/proc/meminfo: memFree=124097108/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=114496 memory=95572 CPUtime=19.13 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 34965 0 0 0 1907 6 0 0 20 0 1 0 24148135 117243904 23893 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 28624 23893 2670 2594 0 25517 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 114496 KiB
Current children cumulated memory: 95572 KiB

[startup+20.8003 s]
/proc/loadavg: 4.19 4.29 4.22 5/243 216599
/proc/meminfo: memFree=124096724/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=119464 memory=100480 CPUtime=20.71 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 38453 0 0 0 2065 6 0 0 20 0 1 0 24148135 122331136 25120 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 29866 25120 2670 2594 0 26759 0
Current children cumulated CPU time: 20.71 s
Current children cumulated vsize: 119464 KiB
Current children cumulated memory: 100480 KiB

[startup+21.6003 s]
/proc/loadavg: 4.19 4.29 4.22 5/243 216599
/proc/meminfo: memFree=124091808/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=119204 memory=100280 CPUtime=21.51 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 40773 0 0 0 2144 7 0 0 20 0 1 0 24148135 122064896 25070 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 29801 25070 2670 2594 0 26694 0
Current children cumulated CPU time: 21.51 s
Current children cumulated vsize: 119204 KiB
Current children cumulated memory: 100280 KiB

[startup+22.0003 s]*
/proc/loadavg: 4.18 4.29 4.22 5/243 216600
/proc/meminfo: memFree=124090760/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=120556 memory=101628 CPUtime=21.92 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 41554 0 0 0 2185 7 0 0 20 0 1 0 24148135 123449344 25407 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 30139 25407 2670 2594 0 27032 0
Current children cumulated CPU time: 21.92 s
Current children cumulated vsize: 120556 KiB
Current children cumulated memory: 101628 KiB

[startup+22.2003 s]
/proc/loadavg: 4.18 4.29 4.22 5/243 216600
/proc/meminfo: memFree=124090760/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=120556 memory=101628 CPUtime=22.11 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 41554 0 0 0 2204 7 0 0 20 0 1 0 24148135 123449344 25407 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 30139 25407 2670 2594 0 27032 0
Current children cumulated CPU time: 22.11 s
Current children cumulated vsize: 120556 KiB
Current children cumulated memory: 101628 KiB

[startup+22.3003 s]
/proc/loadavg: 4.18 4.29 4.22 5/243 216600
/proc/meminfo: memFree=124090760/131655788 swapFree=131057052/131071996
[pid=216595] ppid=216592 vsize=121836 memory=102680 CPUtime=22.22 cores=4,6
/proc/216595/stat : 216595 (CASHWMaxSAT-Dis) R 216592 216595 214033 0 -1 4194304 41871 0 0 0 2214 8 0 0 20 0 1 0 24148135 124760064 25670 134679101440 4194304 14817773 140735912602976 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45699072 140735912604645 140735912604760 140735912604760 140735912611775 0
/proc/216595/statm: 30459 25670 2670 2594 0 27352 0
Current children cumulated CPU time: 22.22 s
Current children cumulated vsize: 121836 KiB
Current children cumulated memory: 102680 KiB

Child status: 30

Real time (s): 22.3463
CPU time (s): 22.2601
CPU user time (s): 22.1744
CPU system time (s): 0.085706
CPU usage (%): 99.6144
Max. virtual memory (cumulated for all children) (KiB): 121836
Max. memory (cumulated for all children) (KiB): 102680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.1744
system time used= 0.085706
maximum resident set size= 103608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41994
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= 3
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 216595
#   total CPU time (s): 22.2601
#   total CPU user time (s): 22.1744
#   total CPU system time (s): 0.085706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.204723 second user time and 0.205634 second system time

The end