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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443930-1721313868/watcher-4443930-1721313868 -o /tmp/evaluation-result-4443930-1721313868/solver-4443930-1721313868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721306049-959013 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4443930-1721313868.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=964490, runsolver pid=964487

[startup+0.100211 s]*
/proc/loadavg: 4.19 4.17 4.17 5/244 964491
/proc/meminfo: memFree=113000160/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=42568 memory=23752 CPUtime=0.1 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 3677 0 0 0 9 1 0 0 20 0 1 0 183545606 43589632 5938 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 10642 5938 794 2550 0 7597 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42568 KiB
Current children cumulated memory: 23752 KiB

[startup+0.212963 s]*
/proc/loadavg: 4.19 4.17 4.17 5/244 964491
/proc/meminfo: memFree=112977052/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=54856 memory=29904 CPUtime=0.21 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 4712 0 0 0 20 1 0 0 20 0 1 0 183545606 56172544 7476 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 13714 7476 794 2550 0 10669 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54856 KiB
Current children cumulated memory: 29904 KiB

[startup+0.312807 s]*
/proc/loadavg: 4.19 4.17 4.17 5/244 964491
/proc/meminfo: memFree=112968724/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=87628 memory=54260 CPUtime=0.31 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 5237 0 0 0 29 2 0 0 20 0 1 0 183545606 89731072 13565 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 21907 13565 794 2550 0 18862 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87628 KiB
Current children cumulated memory: 54260 KiB

[startup+0.70034 s]
/proc/loadavg: 4.19 4.17 4.17 5/244 964491
/proc/meminfo: memFree=112954388/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=233088 memory=173856 CPUtime=0.69 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 10081 0 0 0 63 6 0 0 20 0 1 0 183545606 238682112 43464 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 58272 43464 794 2550 0 55227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 233088 KiB
Current children cumulated memory: 173856 KiB

[startup+1.50034 s]
/proc/loadavg: 4.18 4.16 4.17 5/244 964492
/proc/meminfo: memFree=112783436/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=226688 memory=177428 CPUtime=1.48 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 16701 0 0 0 140 8 0 0 20 0 1 0 183545606 232128512 44357 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 56672 44357 890 2550 0 53627 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 226688 KiB
Current children cumulated memory: 177428 KiB

[startup+3.11263 s]
/proc/loadavg: 4.18 4.16 4.17 5/244 964492
/proc/meminfo: memFree=112902204/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=529652 memory=471720 CPUtime=3.09 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 84101 0 0 0 288 21 0 0 20 0 1 0 183545606 542363648 117930 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 132413 117930 970 2550 0 129368 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 529652 KiB
Current children cumulated memory: 471720 KiB

[startup+6.30031 s]
/proc/loadavg: 4.16 4.16 4.17 5/244 964492
/proc/meminfo: memFree=112671316/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=743608 memory=670436 CPUtime=6.27 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 90678 0 0 0 600 27 0 0 20 0 1 0 183545606 761454592 167609 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 185902 167609 970 2550 0 182857 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 743608 KiB
Current children cumulated memory: 670436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 964540
/proc/meminfo: memFree=114381092/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=743608 memory=665672 CPUtime=12.65 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 90801 0 0 0 1237 28 0 0 20 0 1 0 183545606 761454592 166418 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 185902 166418 970 2550 0 182857 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 743608 KiB
Current children cumulated memory: 665672 KiB

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

# cumulated CPU time of all completed processes:  user=22.2522 s, system=0.332965 s

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

[startup+12.8003 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 964540
/proc/meminfo: memFree=114381092/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=743608 memory=665672 CPUtime=12.75 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 90801 0 0 0 1247 28 0 0 20 0 1 0 183545606 761454592 166418 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 185902 166418 970 2550 0 182857 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 743608 KiB
Current children cumulated memory: 665672 KiB

[startup+19.2003 s]
/proc/loadavg: 4.14 4.15 4.17 5/244 964540
/proc/meminfo: memFree=114108780/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=783656 memory=689232 CPUtime=19.13 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 92229 0 0 0 1883 30 0 0 20 0 1 0 183545606 802463744 172308 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 195914 172308 970 2550 0 192869 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 783656 KiB
Current children cumulated memory: 689232 KiB

[startup+20.8003 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 964554
/proc/meminfo: memFree=118972688/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=783656 memory=689232 CPUtime=20.73 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 92230 0 0 0 2043 30 0 0 20 0 1 0 183545606 802463744 172308 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 195914 172308 970 2550 0 192869 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 783656 KiB
Current children cumulated memory: 689232 KiB

[startup+21.6003 s]
/proc/loadavg: 4.12 4.15 4.17 5/242 964555
/proc/meminfo: memFree=118972576/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=783656 memory=691280 CPUtime=21.52 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 92238 0 0 0 2122 30 0 0 20 0 1 0 183545606 802463744 172820 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 195914 172820 970 2550 0 192869 0
Current children cumulated CPU time: 21.52 s
Current children cumulated vsize: 783656 KiB
Current children cumulated memory: 691280 KiB

[startup+22.4003 s]
/proc/loadavg: 4.12 4.15 4.17 5/242 964555
/proc/meminfo: memFree=118970520/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=832976 memory=691280 CPUtime=22.32 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 92249 0 0 0 2202 30 0 0 20 0 1 0 183545606 852967424 172820 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 208244 172820 970 2550 0 205199 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 832976 KiB
Current children cumulated memory: 691280 KiB

[startup+22.6003 s]
/proc/loadavg: 4.12 4.15 4.17 5/242 964555
/proc/meminfo: memFree=118970520/131655788 swapFree=131071996/131071996
[pid=964490] ppid=964487 vsize=752836 memory=675236 CPUtime=22.52 cores=0,2
/proc/964490/stat : 964490 (CASHWMaxSAT-Dis) R 964487 964490 959003 0 -1 4194304 92369 0 0 0 2221 31 0 0 20 0 1 0 183545606 770904064 168809 134679101440 4194304 14636349 140726903306016 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 46956544 140726903313378 140726903313494 140726903313494 140726903320510 0
/proc/964490/statm: 188209 168809 970 2550 0 185164 0
Current children cumulated CPU time: 22.52 s
Current children cumulated vsize: 752836 KiB
Current children cumulated memory: 675236 KiB

Child status: 30

Real time (s): 22.6594
CPU time (s): 22.5851
CPU user time (s): 22.2522
CPU system time (s): 0.332965
CPU usage (%): 99.6723
Max. virtual memory (cumulated for all children) (KiB): 832976
Max. memory (cumulated for all children) (KiB): 708768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.2522
system time used= 0.332965
maximum resident set size= 730640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95113
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= 1
involuntary context switches= 159


# summary of solver processes directly reported to runsolver:
#   pid: 964490
#   total CPU time (s): 22.5851
#   total CPU user time (s): 22.2522
#   total CPU system time (s): 0.332965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14311 second user time and 0.263834 second system time

The end