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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=950737, runsolver pid=950734

[startup+0.100095 s]*
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128665952/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=35544 memory=21164 CPUtime=0.1 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 4541 0 0 0 10 0 0 0 20 0 1 0 183091262 36397056 5291 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 8886 5291 878 2594 0 5779 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35544 KiB
Current children cumulated memory: 21164 KiB

[startup+0.213347 s]*
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128648620/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=52476 memory=38060 CPUtime=0.22 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 8760 0 0 0 21 1 0 0 20 0 1 0 183091262 53735424 9515 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 13119 9515 878 2594 0 10012 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 52476 KiB
Current children cumulated memory: 38060 KiB

[startup+0.31338 s]*
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128633696/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=67308 memory=52844 CPUtime=0.32 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 12479 0 0 0 30 2 0 0 20 0 1 0 183091262 68923392 13211 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 16827 13211 878 2594 0 13720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 67308 KiB
Current children cumulated memory: 52844 KiB

[startup+0.700324 s]
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128604784/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=115040 memory=100252 CPUtime=0.68 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 24258 0 0 0 65 3 0 0 20 0 1 0 183091262 117800960 25063 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 28760 25063 990 2594 0 25653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115040 KiB
Current children cumulated memory: 100252 KiB

[startup+1.50035 s]
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128584384/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=119664 memory=104812 CPUtime=1.48 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 28272 0 0 0 144 4 0 0 20 0 1 0 183091262 122535936 26203 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 29916 26203 990 2594 0 26809 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119664 KiB
Current children cumulated memory: 104812 KiB

[startup+3.11338 s]
/proc/loadavg: 4.17 4.29 4.29 5/246 950738
/proc/meminfo: memFree=128578960/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=120524 memory=106084 CPUtime=3.09 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 30965 0 0 0 304 5 0 0 20 0 1 0 183091262 123416576 26521 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 30131 26521 990 2594 0 27024 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120524 KiB
Current children cumulated memory: 106084 KiB

[startup+6.30032 s]
/proc/loadavg: 4.16 4.28 4.28 5/246 950738
/proc/meminfo: memFree=128577036/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=127936 memory=113248 CPUtime=6.27 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 35651 0 0 0 620 7 0 0 20 0 1 0 183091262 131006464 28312 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 31984 28312 990 2594 0 28877 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127936 KiB
Current children cumulated memory: 113248 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.28 4.28 5/246 950740
/proc/meminfo: memFree=128578192/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=121412 memory=106088 CPUtime=12.65 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 38967 0 0 0 1257 8 0 0 20 0 1 0 183091262 124325888 26522 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 30353 26522 990 2594 0 27246 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 121412 KiB
Current children cumulated memory: 106088 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.26 4.28 5/246 950743
/proc/meminfo: memFree=128531636/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=135580 memory=121096 CPUtime=25.41 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 42515 0 0 0 2532 9 0 0 20 0 1 0 183091262 138833920 30274 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 33895 30274 990 2594 0 30788 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 135580 KiB
Current children cumulated memory: 121096 KiB

[startup+51.1134 s]
/proc/loadavg: 4.14 4.26 4.27 5/246 950748
/proc/meminfo: memFree=128527476/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=125728 memory=111456 CPUtime=50.93 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 48095 0 0 0 5081 12 0 0 20 0 1 0 183091262 128745472 27864 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 31432 27864 990 2594 0 28325 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 125728 KiB
Current children cumulated memory: 111456 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.23 4.26 5/247 950813
/proc/meminfo: memFree=128559896/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=151312 memory=137000 CPUtime=101.99 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 55081 0 0 0 10182 17 0 0 20 0 1 0 183091262 154943488 34250 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 37828 34250 990 2594 0 34721 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 151312 KiB
Current children cumulated memory: 137000 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.24 4.26 5/245 950823
/proc/meminfo: memFree=128511224/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=134772 memory=120984 CPUtime=161.85 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 58993 0 0 0 16164 21 0 0 20 0 1 0 183091262 138006528 30246 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 33693 30246 990 2594 0 30586 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 134772 KiB
Current children cumulated memory: 120984 KiB

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

# cumulated CPU time of all completed processes:  user=204.888 s, system=0.255143 s

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

[startup+179.2 s]
/proc/loadavg: 4.17 4.22 4.26 5/245 950826
/proc/meminfo: memFree=128464916/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=175132 memory=161112 CPUtime=178.71 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 60251 0 0 0 17849 22 0 0 20 0 1 0 183091262 179335168 40278 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 43783 40278 990 2594 0 40676 0
Current children cumulated CPU time: 178.71 s
Current children cumulated vsize: 175132 KiB
Current children cumulated memory: 161112 KiB

[startup+192 s]*
/proc/loadavg: 4.15 4.21 4.25 5/246 950830
/proc/meminfo: memFree=128503032/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=134712 memory=120840 CPUtime=191.49 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 61557 0 0 0 19125 24 0 0 20 0 1 0 183091262 137945088 30210 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 33678 30210 990 2594 0 30571 0
Current children cumulated CPU time: 191.49 s
Current children cumulated vsize: 134712 KiB
Current children cumulated memory: 120840 KiB

[startup+198.4 s]
/proc/loadavg: 4.14 4.21 4.25 5/246 950830
/proc/meminfo: memFree=128447476/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=197.86 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62830 0 0 0 19761 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 197.86 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

[startup+201.6 s]
/proc/loadavg: 4.12 4.20 4.25 5/246 950831
/proc/meminfo: memFree=128447392/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=201.05 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62831 0 0 0 20080 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 201.05 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

[startup+203.2 s]
/proc/loadavg: 4.12 4.20 4.25 5/246 950831
/proc/meminfo: memFree=128447392/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=202.65 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62843 0 0 0 20240 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 202.65 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

[startup+204.8 s]
/proc/loadavg: 4.19 4.22 4.25 5/246 950831
/proc/meminfo: memFree=128447392/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=204.24 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62843 0 0 0 20399 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 204.24 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

[startup+205.2 s]
/proc/loadavg: 4.19 4.22 4.25 5/246 950831
/proc/meminfo: memFree=128447384/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=204.64 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62843 0 0 0 20439 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 204.64 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

[startup+205.6 s]
/proc/loadavg: 4.19 4.22 4.25 5/246 950831
/proc/meminfo: memFree=128447384/131655788 swapFree=131071996/131071996
[pid=950737] ppid=950734 vsize=181128 memory=167260 CPUtime=205.04 cores=1,3
/proc/950737/stat : 950737 (CASHWMaxSAT-Dis) R 950734 950737 946528 0 -1 4194304 62843 0 0 0 20479 25 0 0 20 0 1 0 183091262 185475072 41815 134679101440 4194304 14817773 140726802037120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42905600 140726802043876 140726802043991 140726802043991 140726802051007 0
/proc/950737/statm: 45282 41815 990 2594 0 42175 0
Current children cumulated CPU time: 205.04 s
Current children cumulated vsize: 181128 KiB
Current children cumulated memory: 167260 KiB

Child status: 30

Real time (s): 205.691
CPU time (s): 205.143
CPU user time (s): 204.888
CPU system time (s): 0.255143
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 181128
Max. memory (cumulated for all children) (KiB): 167260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.888
system time used= 0.255143
maximum resident set size= 186232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62843
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= 42
involuntary context switches= 238


# summary of solver processes directly reported to runsolver:
#   pid: 950737
#   total CPU time (s): 205.143
#   total CPU user time (s): 204.888
#   total CPU system time (s): 0.255143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04334 second user time and 2.12081 second system time

The end