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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442066-1721293930/watcher-4442066-1721293930 -o /tmp/evaluation-result-4442066-1721293930/solver-4442066-1721293930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721293773-937577 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4442066-1721293930.opb 3600 HOME 31000 

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=938597, runsolver pid=938594

[startup+0.10038 s]*
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127912448/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=24948 memory=10300 CPUtime=0.09 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 1887 0 0 0 9 0 0 0 20 0 1 0 181549446 25546752 2575 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 6237 2575 1034 2726 0 2985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43540 KiB
Current children cumulated memory: 14052 KiB

[startup+0.213891 s]*
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127908920/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=28072 memory=13888 CPUtime=0.21 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 2653 0 0 0 21 0 0 0 20 0 1 0 181549446 28745728 3472 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 7018 3472 1146 2726 0 3766 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46664 KiB
Current children cumulated memory: 17640 KiB

[startup+0.314037 s]*
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127908504/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=28072 memory=13888 CPUtime=0.3 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 2653 0 0 0 30 0 0 0 20 0 1 0 181549446 28745728 3472 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 7018 3472 1146 2726 0 3766 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46664 KiB
Current children cumulated memory: 17640 KiB

[startup+0.700486 s]
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127907348/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=28072 memory=13920 CPUtime=0.67 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 3364 0 0 0 67 0 0 0 20 0 1 0 181549446 28745728 3480 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 7018 3480 1146 2726 0 3766 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 46664 KiB
Current children cumulated memory: 17672 KiB

[startup+1.50048 s]
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127906236/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=30232 memory=16080 CPUtime=1.47 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 4448 0 0 0 147 0 0 0 20 0 1 0 181549446 30957568 4020 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 7558 4020 1146 2726 0 4306 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 19832 KiB

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

# cumulated CPU time of all completed processes:  user=1.77397 s, system=0.022001 s

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

[startup+1.60058 s]
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127906236/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=32632 memory=18452 CPUtime=1.58 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 5048 0 0 0 157 1 0 0 20 0 1 0 181549446 33415168 4613 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 8158 4613 1146 2726 0 4906 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 51224 KiB
Current children cumulated memory: 22204 KiB

[startup+1.80041 s]
/proc/loadavg: 4.52 2.64 2.11 5/256 938601
/proc/meminfo: memFree=127906236/131655788 swapFree=131071996/131071996
[pid=938597] ppid=938594 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/938597/stat : 938597 (Hybrid-CASHWMax) S 938594 938597 937566 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 181549445 10170368 681 134679101440 93842926587904 93842927667224 140734431667920 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93842929765680 93842929812868 93842935463936 140734431671245 140734431671404 140734431671404 140734431678420 0
/proc/938597/statm: 2483 681 588 264 0 134 0
[pid=938600] ppid=938597 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/938600/stat : 938600 (timeout) S 938597 938600 937566 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181549446 8867840 257 134679101440 93910164361216 93910164396232 140720365291744 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93910166493648 93910166495780 93910194167808 140720365298685 140720365298844 140720365298844 140720365305831 0
/proc/938600/statm: 2165 257 233 9 0 87 0
[pid=938601] ppid=938600 vsize=30232 memory=16080 CPUtime=1.78 cores=4,6
/proc/938601/stat : 938601 (CASHWMaxSAT-Dis) R 938600 938600 937566 0 -1 4194304 5048 0 0 0 177 1 0 0 20 0 1 0 181549446 30957568 4020 134679101440 4194304 15356333 140724450605808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50036736 140724450612226 140724450612372 140724450612372 140724450619359 0
/proc/938601/statm: 7558 4020 1146 2726 0 4306 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 19832 KiB

Child status: 0

Real time (s): 1.80605
CPU time (s): 1.79597
CPU user time (s): 1.77397
CPU system time (s): 0.022001
CPU usage (%): 99.4417
Max. virtual memory (cumulated for all children) (KiB): 51224
Max. memory (cumulated for all children) (KiB): 22204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.77397
system time used= 0.022001
maximum resident set size= 18452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 938597
#   total CPU time (s): 1.79597
#   total CPU user time (s): 1.77397
#   total CPU system time (s): 0.022001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039551 second user time and 0.076798 second system time

The end