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: 63968 MiB (61239 MiB free)
  memory of node 1: 64473 MiB (62324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443601-1721309880/watcher-4443601-1721309880 -o /tmp/evaluation-result-4443601-1721309880/solver-4443601-1721309880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721306137-959056 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4443601-1721309880.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=961774, runsolver pid=961771

[startup+0.100752 s]*
/proc/loadavg: 4.20 4.12 4.10 5/255 961775
/proc/meminfo: memFree=126511708/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=39640 memory=21332 CPUtime=0.09 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 4687 0 0 0 9 0 0 0 20 0 1 0 183156937 40591360 5333 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 9910 5333 750 2417 0 7012 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39640 KiB
Current children cumulated memory: 21332 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.20 4.12 4.10 5/255 961775
/proc/meminfo: memFree=126493892/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=58080 memory=39352 CPUtime=0.2 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 9244 0 0 0 19 1 0 0 20 0 1 0 183156937 59473920 9838 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 14520 9838 750 2417 0 11622 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58080 KiB
Current children cumulated memory: 39352 KiB

[startup+0.305585 s]*
/proc/loadavg: 4.20 4.12 4.10 5/255 961775
/proc/meminfo: memFree=126474372/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=75436 memory=56776 CPUtime=0.29 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 13601 0 0 0 28 1 0 0 20 0 1 0 183156937 77246464 14194 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 18859 14194 750 2417 0 15961 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75436 KiB
Current children cumulated memory: 56776 KiB

[startup+0.700224 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 961775
/proc/meminfo: memFree=126439064/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=143480 memory=124728 CPUtime=0.69 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 30534 0 0 0 64 5 0 0 20 0 1 0 183156937 146923520 31182 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 35870 31182 750 2417 0 32972 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143480 KiB
Current children cumulated memory: 124728 KiB

[startup+1.50022 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 961775
/proc/meminfo: memFree=126353020/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=281852 memory=262276 CPUtime=1.49 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 64960 0 0 0 139 10 0 0 20 0 1 0 183156937 288616448 65569 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 70463 65569 750 2417 0 67565 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 281852 KiB
Current children cumulated memory: 262276 KiB

[startup+3.10556 s]
/proc/loadavg: 4.18 4.11 4.10 5/255 961775
/proc/meminfo: memFree=125970080/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=592980 memory=526920 CPUtime=3.09 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 99784 0 0 0 289 20 0 0 20 0 1 0 183156937 607211520 131730 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 148245 131730 798 2417 0 145347 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 592980 KiB
Current children cumulated memory: 526920 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.11 4.10 5/255 961821
/proc/meminfo: memFree=125785660/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=595712 memory=542788 CPUtime=6.28 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 100213 0 0 0 607 21 0 0 20 0 1 0 183156937 610009088 135697 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 148928 135697 798 2417 0 146030 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 595712 KiB
Current children cumulated memory: 542788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/253 961837
/proc/meminfo: memFree=125287024/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=598860 memory=547156 CPUtime=12.66 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 100963 0 0 0 1244 22 0 0 20 0 1 0 183156937 613232640 136789 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 149715 136789 798 2417 0 146817 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 598860 KiB
Current children cumulated memory: 547156 KiB

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

# cumulated CPU time of all completed processes:  user=19.7922 s, system=0.273367 s

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

[startup+12.8002 s]
/proc/loadavg: 4.15 4.11 4.09 5/253 961837
/proc/meminfo: memFree=125287024/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=598860 memory=547156 CPUtime=12.76 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 100963 0 0 0 1254 22 0 0 20 0 1 0 183156937 613232640 136789 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 149715 136789 798 2417 0 146817 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 598860 KiB
Current children cumulated memory: 547156 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.15 4.11 4.09 5/255 961869
/proc/meminfo: memFree=124096308/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=629680 memory=551680 CPUtime=15.96 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 102316 0 0 0 1572 24 0 0 20 0 1 0 183156937 644792320 137920 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 157420 137920 798 2417 0 154522 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 629680 KiB
Current children cumulated memory: 551680 KiB

[startup+17.6002 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 961869
/proc/meminfo: memFree=123748988/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=638300 memory=560976 CPUtime=17.55 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 103080 0 0 0 1731 24 0 0 20 0 1 0 183156937 653619200 140244 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 159575 140244 798 2417 0 156677 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 638300 KiB
Current children cumulated memory: 560976 KiB

[startup+19.2002 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 961870
/proc/meminfo: memFree=123102060/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=638300 memory=563024 CPUtime=19.14 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 103115 0 0 0 1890 24 0 0 20 0 1 0 183156937 653619200 140756 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 159575 140756 798 2417 0 156677 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 638300 KiB
Current children cumulated memory: 563024 KiB

[startup+19.6002 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 961870
/proc/meminfo: memFree=123102060/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=638300 memory=563024 CPUtime=19.54 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 103123 0 0 0 1930 24 0 0 20 0 1 0 183156937 653619200 140756 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 159575 140756 798 2417 0 156677 0
Current children cumulated CPU time: 19.54 s
Current children cumulated vsize: 638300 KiB
Current children cumulated memory: 563024 KiB

[startup+20.0002 s]*
/proc/loadavg: 4.14 4.11 4.09 5/255 961870
/proc/meminfo: memFree=122797812/131524600 swapFree=131071996/131071996
[pid=961774] ppid=961771 vsize=607480 memory=546752 CPUtime=19.95 cores=4,6
/proc/961774/stat : 961774 (CASHWMaxSAT-Dis) R 961771 961774 959045 0 -1 4194304 103658 0 0 0 1970 25 0 0 20 0 1 0 183156937 622059520 136688 134679101440 4194304 14093885 140726649221680 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29945856 140726649226212 140726649226327 140726649226327 140726649233343 0
/proc/961774/statm: 151870 136688 798 2417 0 148972 0
Current children cumulated CPU time: 19.95 s
Current children cumulated vsize: 607480 KiB
Current children cumulated memory: 546752 KiB

[startup+20.1055 s]*
/proc/loadavg: 4.14 4.11 4.09 5/255 961870
/proc/meminfo: memFree=122998020/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 20.1119
CPU time (s): 20.0656
CPU user time (s): 19.7922
CPU system time (s): 0.273367
CPU usage (%): 99.7698
Max. virtual memory (cumulated for all children) (KiB): 687620
Max. memory (cumulated for all children) (KiB): 584896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.7922
system time used= 0.273367
maximum resident set size= 601980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103658
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= 2
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 961774
#   total CPU time (s): 20.0656
#   total CPU user time (s): 19.7922
#   total CPU system time (s): 0.273367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047107 second user time and 0.121155 second system time

The end