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: 64096 MiB (55085 MiB free)
  memory of node 1: 64473 MiB (57253 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=964343, runsolver pid=964340

[startup+0.100098 s]*
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=115010728/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=46664 memory=26952 CPUtime=0.11 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 3466 0 0 0 10 1 0 0 20 0 1 0 183539858 47783936 6738 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 11666 6738 794 2550 0 8621 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 46664 KiB
Current children cumulated memory: 26952 KiB

[startup+0.213194 s]*
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=115004368/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=54856 memory=33100 CPUtime=0.21 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 3974 0 0 0 20 1 0 0 20 0 1 0 183539858 56172544 8275 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 13714 8275 794 2550 0 10669 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54856 KiB
Current children cumulated memory: 33100 KiB

[startup+0.312082 s]*
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=115002152/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=54856 memory=35396 CPUtime=0.31 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 4100 0 0 0 30 1 0 0 20 0 1 0 183539858 56172544 8849 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 13714 8849 794 2550 0 10669 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54856 KiB
Current children cumulated memory: 35396 KiB

[startup+0.700322 s]
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=114993820/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=71240 memory=51536 CPUtime=0.69 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 4504 0 0 0 67 2 0 0 20 0 1 0 183539858 72949760 12884 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 17810 12884 794 2550 0 14765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 51536 KiB

[startup+1.50033 s]
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=114817280/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=270324 memory=219752 CPUtime=1.49 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 15429 0 0 0 141 8 0 0 20 0 1 0 183539858 276811776 54938 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 67581 54938 842 2550 0 64536 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 270324 KiB
Current children cumulated memory: 219752 KiB

[startup+3.11272 s]
/proc/loadavg: 4.35 4.18 4.18 5/244 964344
/proc/meminfo: memFree=114637672/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=463732 memory=412428 CPUtime=3.1 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 74385 0 0 0 293 17 0 0 20 0 1 0 183539858 474861568 103107 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 115933 103107 938 2550 0 112888 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 463732 KiB
Current children cumulated memory: 412428 KiB

[startup+6.30032 s]
/proc/loadavg: 4.32 4.18 4.18 5/244 964344
/proc/meminfo: memFree=114348084/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=753332 memory=690580 CPUtime=6.27 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 92131 0 0 0 603 24 0 0 20 0 1 0 183539858 771411968 172645 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 188333 172645 970 2550 0 185288 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 753332 KiB
Current children cumulated memory: 690580 KiB

[startup+12.7003 s]
/proc/loadavg: 4.30 4.18 4.18 5/244 964346
/proc/meminfo: memFree=114325364/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=759408 memory=686584 CPUtime=12.65 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 93289 0 0 0 1240 25 0 0 20 0 1 0 183539858 777633792 171646 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 189852 171646 970 2550 0 186807 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 759408 KiB
Current children cumulated memory: 686584 KiB

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

# cumulated CPU time of all completed processes:  user=22.8376 s, system=0.301159 s

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

[startup+12.8004 s]
/proc/loadavg: 4.30 4.18 4.18 5/244 964346
/proc/meminfo: memFree=114325364/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=759408 memory=686584 CPUtime=12.75 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 93297 0 0 0 1250 25 0 0 20 0 1 0 183539858 777633792 171646 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 189852 171646 970 2550 0 186807 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 759408 KiB
Current children cumulated memory: 686584 KiB

[startup+19.2003 s]
/proc/loadavg: 4.25 4.17 4.18 5/244 964347
/proc/meminfo: memFree=114255672/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=798848 memory=712220 CPUtime=19.14 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95298 0 0 0 1887 27 0 0 20 0 1 0 183539858 818020352 178055 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 199712 178055 970 2550 0 196667 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 712220 KiB

[startup+20.8003 s]
/proc/loadavg: 4.25 4.17 4.18 5/244 964347
/proc/meminfo: memFree=114255364/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=798848 memory=714268 CPUtime=20.73 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95316 0 0 0 2046 27 0 0 20 0 1 0 183539858 818020352 178567 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 199712 178567 970 2550 0 196667 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 714268 KiB

[startup+22.4003 s]
/proc/loadavg: 4.25 4.17 4.18 5/244 964393
/proc/meminfo: memFree=114150676/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=798848 memory=714268 CPUtime=22.33 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95316 0 0 0 2206 27 0 0 20 0 1 0 183539858 818020352 178567 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 199712 178567 970 2550 0 196667 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 714268 KiB

[startup+22.8003 s]
/proc/loadavg: 4.25 4.17 4.18 5/244 964393
/proc/meminfo: memFree=114150676/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=798848 memory=714268 CPUtime=22.73 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95334 0 0 0 2246 27 0 0 20 0 1 0 183539858 818020352 178567 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 199712 178567 970 2550 0 196667 0
Current children cumulated CPU time: 22.73 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 714268 KiB

[startup+23.0003 s]*
/proc/loadavg: 4.25 4.17 4.18 5/244 964393
/proc/meminfo: memFree=114103856/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=848168 memory=738196 CPUtime=22.94 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95706 0 0 0 2267 27 0 0 20 0 1 0 183539858 868524032 184549 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 212042 184549 970 2550 0 208997 0
Current children cumulated CPU time: 22.94 s
Current children cumulated vsize: 848168 KiB
Current children cumulated memory: 738196 KiB

[startup+23.1129 s]
/proc/loadavg: 4.25 4.17 4.18 5/244 964393
/proc/meminfo: memFree=114103856/131655788 swapFree=131071996/131071996
[pid=964343] ppid=964340 vsize=768028 memory=698664 CPUtime=23.04 cores=5,7
/proc/964343/stat : 964343 (CASHWMaxSAT-Dis) R 964340 964343 959003 0 -1 4194304 95717 0 0 0 2276 28 0 0 20 0 1 0 183539858 786460672 174666 134679101440 4194304 14636349 140721648675984 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32702464 140721648677858 140721648677974 140721648677974 140721648684990 0
/proc/964343/statm: 192007 174666 970 2550 0 188962 0
Current children cumulated CPU time: 23.04 s
Current children cumulated vsize: 768028 KiB
Current children cumulated memory: 698664 KiB

Child status: 30

Real time (s): 23.2089
CPU time (s): 23.1388
CPU user time (s): 22.8376
CPU system time (s): 0.301159
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 848168
Max. memory (cumulated for all children) (KiB): 739548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8376
system time used= 0.301159
maximum resident set size= 756628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98492
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= 33


# summary of solver processes directly reported to runsolver:
#   pid: 964343
#   total CPU time (s): 23.1388
#   total CPU user time (s): 22.8376
#   total CPU system time (s): 0.301159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.129465 second user time and 0.292884 second system time

The end