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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440016-1721227053/watcher-4440016-1721227053 -o /tmp/evaluation-result-4440016-1721227053/solver-4440016-1721227053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894681 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440016-1721227053.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=899847, runsolver pid=899844

[startup+0.100104 s]*
/proc/loadavg: 4.10 4.12 4.16 5/241 899848
/proc/meminfo: memFree=121733780/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=51908 memory=35080 CPUtime=0.1 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 7989 0 0 0 9 1 0 0 20 0 1 0 174861679 53153792 8770 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 12977 8770 1038 2417 0 10079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51908 KiB
Current children cumulated memory: 35080 KiB

[startup+0.212851 s]*
/proc/loadavg: 4.10 4.12 4.16 5/241 899848
/proc/meminfo: memFree=121721432/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=59896 memory=42964 CPUtime=0.21 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 10643 0 0 0 20 1 0 0 20 0 1 0 174861679 61333504 10741 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 14974 10741 1038 2417 0 12076 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59896 KiB
Current children cumulated memory: 42964 KiB

[startup+0.312865 s]*
/proc/loadavg: 4.10 4.12 4.16 5/241 899848
/proc/meminfo: memFree=121718688/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=64680 memory=45972 CPUtime=0.31 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 11844 0 0 0 30 1 0 0 20 0 1 0 174861679 66232320 11493 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 16170 11493 1038 2417 0 13272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64680 KiB
Current children cumulated memory: 45972 KiB

[startup+0.700341 s]
/proc/loadavg: 4.10 4.12 4.16 5/241 899848
/proc/meminfo: memFree=121641064/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=246328 memory=233916 CPUtime=0.69 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 57651 0 0 0 61 8 0 0 20 0 1 0 174861679 252239872 58479 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 61582 58479 2542 2417 0 58684 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 246328 KiB
Current children cumulated memory: 233916 KiB

[startup+1.50038 s]
/proc/loadavg: 4.10 4.12 4.16 5/241 899848
/proc/meminfo: memFree=121477852/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=392204 memory=375576 CPUtime=1.48 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 93039 0 0 0 135 13 0 0 20 0 1 0 174861679 401616896 93894 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 98051 93894 2590 2417 0 95153 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 392204 KiB
Current children cumulated memory: 375576 KiB

[startup+3.11263 s]
/proc/loadavg: 4.17 4.14 4.17 5/241 899848
/proc/meminfo: memFree=121388276/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=392204 memory=377424 CPUtime=3.1 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 93573 0 0 0 296 14 0 0 20 0 1 0 174861679 401616896 94356 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 98051 94356 2654 2417 0 95153 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 392204 KiB
Current children cumulated memory: 377424 KiB

[startup+6.30033 s]
/proc/loadavg: 4.17 4.14 4.17 5/241 899848
/proc/meminfo: memFree=121386236/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=392204 memory=377676 CPUtime=6.28 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 93589 0 0 0 614 14 0 0 20 0 1 0 174861679 401616896 94419 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 98051 94419 2654 2417 0 95153 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 392204 KiB
Current children cumulated memory: 377676 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.17 5/241 899850
/proc/meminfo: memFree=121374856/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=400456 memory=385852 CPUtime=12.66 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 95644 0 0 0 1252 14 0 0 20 0 1 0 174861679 410066944 96463 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 100114 96463 2654 2417 0 97216 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 400456 KiB
Current children cumulated memory: 385852 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.17 5/241 899851
/proc/meminfo: memFree=121358820/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=421856 memory=407212 CPUtime=25.42 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 101018 0 0 0 2527 15 0 0 20 0 1 0 174861679 431980544 101803 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 105464 101803 2654 2417 0 102566 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 421856 KiB
Current children cumulated memory: 407212 KiB

[startup+51.1126 s]
/proc/loadavg: 4.08 4.12 4.16 5/241 899856
/proc/meminfo: memFree=121313832/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=460088 memory=445216 CPUtime=50.97 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 110527 0 0 0 5079 18 0 0 20 0 1 0 174861679 471130112 111304 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 115022 111304 2654 2417 0 112124 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 460088 KiB
Current children cumulated memory: 445216 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/241 899865
/proc/meminfo: memFree=121255336/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=528060 memory=513248 CPUtime=102.02 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 127552 0 0 0 10181 21 0 0 20 0 1 0 174861679 540733440 128312 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 132015 128312 2654 2417 0 129117 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 528060 KiB
Current children cumulated memory: 513248 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/241 899875
/proc/meminfo: memFree=121159252/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=610208 memory=594844 CPUtime=161.86 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 147462 0 0 0 16162 24 0 0 20 0 1 0 174861679 624852992 148711 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 152552 148711 2654 2417 0 149654 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 610208 KiB
Current children cumulated memory: 594844 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/243 899889
/proc/meminfo: memFree=121106244/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=677088 memory=661032 CPUtime=221.71 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 160720 0 0 0 22143 28 0 0 20 0 1 0 174861679 693338112 165258 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 169272 165258 2654 2417 0 166374 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 677088 KiB
Current children cumulated memory: 661032 KiB

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

# cumulated CPU time of all completed processes:  user=245.547 s, system=0.322987 s

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

[startup+230.4 s]
/proc/loadavg: 4.12 4.11 4.15 5/243 899891
/proc/meminfo: memFree=121099132/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=677916 memory=662352 CPUtime=229.79 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 161041 0 0 0 22951 28 0 0 20 0 1 0 174861679 694185984 165588 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 169479 165588 2654 2417 0 166581 0
Current children cumulated CPU time: 229.79 s
Current children cumulated vsize: 677916 KiB
Current children cumulated memory: 662352 KiB

[startup+236.8 s]
/proc/loadavg: 4.11 4.11 4.15 5/243 899891
/proc/meminfo: memFree=121091332/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=681220 memory=665496 CPUtime=236.17 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 161872 0 0 0 23589 28 0 0 20 0 1 0 174861679 697569280 166374 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 170305 166374 2654 2417 0 167407 0
Current children cumulated CPU time: 236.17 s
Current children cumulated vsize: 681220 KiB
Current children cumulated memory: 665496 KiB

[startup+243.2 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121098488/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=681952 memory=666288 CPUtime=242.55 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 162056 0 0 0 24227 28 0 0 20 0 1 0 174861679 698318848 166572 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 170488 166572 2654 2417 0 167590 0
Current children cumulated CPU time: 242.55 s
Current children cumulated vsize: 681952 KiB
Current children cumulated memory: 666288 KiB

[startup+244.8 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121095980/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=701588 memory=685308 CPUtime=244.15 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 166766 0 0 0 24386 29 0 0 20 0 1 0 174861679 718426112 171327 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 175397 171327 2766 2417 0 172499 0
Current children cumulated CPU time: 244.15 s
Current children cumulated vsize: 701588 KiB
Current children cumulated memory: 685308 KiB

[startup+245.6 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121076492/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=707540 memory=691692 CPUtime=244.94 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 168337 0 0 0 24465 29 0 0 20 0 1 0 174861679 724520960 172923 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 176885 172923 2782 2417 0 173987 0
Current children cumulated CPU time: 244.94 s
Current children cumulated vsize: 707540 KiB
Current children cumulated memory: 691692 KiB

[startup+246 s]*
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121067136/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=712052 memory=693804 CPUtime=245.35 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 168883 0 0 0 24506 29 0 0 20 0 1 0 174861679 729141248 173451 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 178013 173451 2782 2417 0 175115 0
Current children cumulated CPU time: 245.35 s
Current children cumulated vsize: 712052 KiB
Current children cumulated memory: 693804 KiB

[startup+246.4 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121067136/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=715360 memory=694596 CPUtime=245.74 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) R 899844 899847 894669 0 -1 4194304 169027 0 0 0 24545 29 0 0 20 0 1 0 174861679 732528640 173649 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 178840 173649 2782 2417 0 175942 0
Current children cumulated CPU time: 245.74 s
Current children cumulated vsize: 715360 KiB
Current children cumulated memory: 694596 KiB

[startup+246.5 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 899893
/proc/meminfo: memFree=121067136/131655788 swapFree=131071996/131071996
[pid=899847] ppid=899844 vsize=717072 memory=694860 CPUtime=245.83 cores=1,3
/proc/899847/stat : 899847 (CASHWMaxSAT-Dis) S 899844 899847 894669 0 -1 1077936128 169128 0 0 0 24554 29 0 0 20 0 1 0 174861679 734281728 173715 134679101440 4194304 14093885 140722273371856 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 15976432 16051504 29364224 140722273375204 140722273375319 140722273375319 140722273382335 0
/proc/899847/statm: 179268 173715 2782 2417 0 176370 0
Current children cumulated CPU time: 245.83 s
Current children cumulated vsize: 717072 KiB
Current children cumulated memory: 694860 KiB

Child status: 30

Real time (s): 246.527
CPU time (s): 245.87
CPU user time (s): 245.547
CPU system time (s): 0.322987
CPU usage (%): 99.7333
Max. virtual memory (cumulated for all children) (KiB): 717072
Max. memory (cumulated for all children) (KiB): 694860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.547
system time used= 0.322987
maximum resident set size= 695004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169128
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= 318


# summary of solver processes directly reported to runsolver:
#   pid: 899847
#   total CPU time (s): 245.87
#   total CPU user time (s): 245.547
#   total CPU system time (s): 0.322987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15277 second user time and 2.4416 second system time

The end