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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439624-1721230505/watcher-4439624-1721230505 -o /tmp/evaluation-result-4439624-1721230505/solver-4439624-1721230505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721230518-930674 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439624-1721230505.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=930705, runsolver pid=930701

[startup+0.100065 s]*
/proc/loadavg: 1.07 1.38 2.19 5/255 930737
/proc/meminfo: memFree=125784424/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=43256 memory=23200 CPUtime=0.09 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 6311 0 0 0 8 1 0 0 20 0 1 0 175217919 44294144 5800 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 10814 5800 842 2550 0 7769 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 23200 KiB

[startup+0.20608 s]*
/proc/loadavg: 1.07 1.38 2.19 5/255 930737
/proc/meminfo: memFree=125748276/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=56252 memory=36640 CPUtime=0.19 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 10171 0 0 0 18 1 0 0 20 0 1 0 175217919 57602048 9160 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 14063 9160 922 2550 0 11018 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56252 KiB
Current children cumulated memory: 36640 KiB

[startup+0.305331 s]*
/proc/loadavg: 1.07 1.38 2.19 5/255 930737
/proc/meminfo: memFree=125703444/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=74588 memory=65284 CPUtime=0.29 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 16163 0 0 0 27 2 0 0 20 0 1 0 175217919 76378112 16321 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 18647 16321 2442 2550 0 15602 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74588 KiB
Current children cumulated memory: 65284 KiB

[startup+0.700229 s]
/proc/loadavg: 1.07 1.38 2.19 5/255 930737
/proc/meminfo: memFree=125389660/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=135220 memory=124284 CPUtime=0.68 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 30301 0 0 0 64 4 0 0 20 0 1 0 175217919 138465280 31071 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 33805 31071 2570 2550 0 30760 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135220 KiB
Current children cumulated memory: 124284 KiB

[startup+1.50022 s]
/proc/loadavg: 1.07 1.38 2.19 5/255 930737
/proc/meminfo: memFree=125264420/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=142224 memory=128512 CPUtime=1.48 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 31334 0 0 0 144 4 0 0 20 0 1 0 175217919 145637376 32128 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 35556 32128 2650 2550 0 32511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142224 KiB
Current children cumulated memory: 128512 KiB

[startup+3.10531 s]
/proc/loadavg: 1.31 1.42 2.20 5/255 930737
/proc/meminfo: memFree=125258968/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=146736 memory=129564 CPUtime=3.08 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 31569 0 0 0 304 4 0 0 20 0 1 0 175217919 150257664 32391 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 36684 32391 2650 2550 0 33639 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146736 KiB
Current children cumulated memory: 129564 KiB

[startup+6.30018 s]
/proc/loadavg: 1.31 1.42 2.20 5/255 930739
/proc/meminfo: memFree=125256204/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=153976 memory=132464 CPUtime=6.26 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 32331 0 0 0 622 4 0 0 20 0 1 0 175217919 157671424 33116 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 38494 33116 2650 2550 0 35449 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 153976 KiB
Current children cumulated memory: 132464 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.51 2.22 5/255 930739
/proc/meminfo: memFree=124150224/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=160856 memory=132728 CPUtime=12.64 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 32357 0 0 0 1260 4 0 0 20 0 1 0 175217919 164716544 33182 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 40214 33182 2650 2550 0 37169 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 160856 KiB
Current children cumulated memory: 132728 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.59 2.24 5/255 930740
/proc/meminfo: memFree=122032040/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=196584 memory=139240 CPUtime=25.4 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 34030 0 0 0 2535 5 0 0 20 0 1 0 175217919 201302016 34810 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 49146 34810 2650 2550 0 46101 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 196584 KiB
Current children cumulated memory: 139240 KiB

[startup+51.1053 s]
/proc/loadavg: 2.86 1.82 2.30 5/255 930791
/proc/meminfo: memFree=122688772/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=223956 memory=165932 CPUtime=50.91 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 40739 0 0 0 5085 6 0 0 20 0 1 0 175217919 229330944 41483 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 55989 41483 2650 2550 0 52944 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 223956 KiB
Current children cumulated memory: 165932 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.20 2.40 5/255 930799
/proc/meminfo: memFree=122583624/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=236528 memory=170412 CPUtime=101.93 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 41864 0 0 0 10187 6 0 0 20 0 1 0 175217919 242204672 42603 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 59132 42603 2650 2550 0 56087 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 236528 KiB
Current children cumulated memory: 170412 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.55 2.51 5/254 930810
/proc/meminfo: memFree=122536708/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294304 memory=210116 CPUtime=161.72 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 50831 0 0 0 16164 8 0 0 20 0 1 0 175217919 301367296 52529 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73576 52529 2650 2550 0 70531 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 294304 KiB
Current children cumulated memory: 210116 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.83 2.61 5/254 930820
/proc/meminfo: memFree=121693032/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=211696 CPUtime=221.52 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51273 0 0 0 22143 9 0 0 20 0 1 0 175217919 302018560 52924 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 52924 2650 2550 0 70690 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 211696 KiB

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

# cumulated CPU time of all completed processes:  user=233.326 s, system=0.102569 s

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

[startup+224 s]*
/proc/loadavg: 4.00 2.83 2.61 5/254 930820
/proc/meminfo: memFree=121691948/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212056 CPUtime=223.21 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51283 0 0 0 22312 9 0 0 20 0 1 0 175217919 302018560 53014 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53014 2650 2550 0 70690 0
Current children cumulated CPU time: 223.21 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212056 KiB

[startup+230.4 s]
/proc/loadavg: 4.00 2.85 2.62 5/254 930822
/proc/meminfo: memFree=121689708/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212056 CPUtime=229.59 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51289 0 0 0 22950 9 0 0 20 0 1 0 175217919 302018560 53014 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53014 2650 2550 0 70690 0
Current children cumulated CPU time: 229.59 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212056 KiB

[startup+232 s]*
/proc/loadavg: 4.00 2.87 2.63 5/254 930822
/proc/meminfo: memFree=121687700/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212056 CPUtime=231.19 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51289 0 0 0 23110 9 0 0 20 0 1 0 175217919 302018560 53014 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53014 2650 2550 0 70690 0
Current children cumulated CPU time: 231.19 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212056 KiB

[startup+233.6 s]
/proc/loadavg: 4.00 2.87 2.63 5/254 930822
/proc/meminfo: memFree=121687684/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212056 CPUtime=232.78 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51289 0 0 0 23269 9 0 0 20 0 1 0 175217919 302018560 53014 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53014 2650 2550 0 70690 0
Current children cumulated CPU time: 232.78 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212056 KiB

[startup+234 s]*
/proc/loadavg: 4.00 2.87 2.63 5/254 930822
/proc/meminfo: memFree=121685524/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212064 CPUtime=233.18 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51289 0 0 0 23309 9 0 0 20 0 1 0 175217919 302018560 53016 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53016 2650 2550 0 70690 0
Current children cumulated CPU time: 233.18 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212064 KiB

[startup+234.2 s]
/proc/loadavg: 4.00 2.87 2.63 5/254 930822
/proc/meminfo: memFree=121685524/131524600 swapFree=131071996/131071996
[pid=930705] ppid=930701 vsize=294940 memory=212064 CPUtime=233.37 cores=0,2
/proc/930705/stat : 930705 (CASHWMaxSAT-Dis) R 930701 930705 930664 0 -1 4194304 51289 0 0 0 23328 9 0 0 20 0 1 0 175217919 302018560 53016 134679101440 4194304 14636349 140727519194064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 31879168 140727519196130 140727519196246 140727519196246 140727519203262 0
/proc/930705/statm: 73735 53016 2650 2550 0 70690 0
Current children cumulated CPU time: 233.37 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 212064 KiB

Child status: 30

Real time (s): 234.258
CPU time (s): 233.429
CPU user time (s): 233.326
CPU system time (s): 0.102569
CPU usage (%): 99.6462
Max. virtual memory (cumulated for all children) (KiB): 294940
Max. memory (cumulated for all children) (KiB): 212064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.326
system time used= 0.102569
maximum resident set size= 216200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52323
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= 12
involuntary context switches= 1637


# summary of solver processes directly reported to runsolver:
#   pid: 930705
#   total CPU time (s): 233.429
#   total CPU user time (s): 233.326
#   total CPU system time (s): 0.102569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.489112 second user time and 1.02215 second system time

The end