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: 63665 MiB (55816 MiB free)
  memory of node 1: 64507 MiB (62800 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523675-1751601746/watcher-4523675-1751601746 -o /tmp/evaluation-result-4523675-1751601746/solver-4523675-1751601746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94076 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523675-1751601746.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=94288, runsolver pid=94285

[startup+0.100064 s]*
/proc/loadavg: 4.06 4.08 4.28 5/263 94289
/proc/meminfo: memFree=121451120/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=27456 memory=12800 CPUtime=0.09 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 2497 0 0 0 9 0 0 0 20 0 1 0 75852447 28114944 3200 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 6864 3200 864 2593 0 3757 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27456 KiB
Current children cumulated memory: 12800 KiB

[startup+0.20565 s]*
/proc/loadavg: 4.06 4.08 4.28 5/263 94289
/proc/meminfo: memFree=121451120/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=36100 memory=21248 CPUtime=0.2 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 4607 0 0 0 20 0 0 0 20 0 1 0 75852447 36966400 5312 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 9025 5312 864 2593 0 5918 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36100 KiB
Current children cumulated memory: 21248 KiB

[startup+0.305493 s]*
/proc/loadavg: 4.06 4.08 4.28 5/263 94289
/proc/meminfo: memFree=121443308/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=44472 memory=29440 CPUtime=0.3 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 6642 0 0 0 29 1 0 0 20 0 1 0 75852447 45539328 7360 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 11118 7360 864 2593 0 8011 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 29440 KiB

[startup+0.700166 s]
/proc/loadavg: 4.06 4.08 4.28 6/263 94289
/proc/meminfo: memFree=121426940/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=76420 memory=60928 CPUtime=0.69 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 14511 0 0 0 67 2 0 0 20 0 1 0 75852447 78254080 15232 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 19105 15232 864 2593 0 15998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76420 KiB
Current children cumulated memory: 60928 KiB

[startup+1.50017 s]
/proc/loadavg: 4.06 4.08 4.28 5/263 94289
/proc/meminfo: memFree=121366520/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=199548 memory=179320 CPUtime=1.48 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 30781 0 0 0 142 6 0 0 20 0 1 0 75852447 204337152 44830 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 49887 44830 896 2593 0 46780 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199548 KiB
Current children cumulated memory: 179320 KiB

[startup+3.10552 s]
/proc/loadavg: 4.06 4.08 4.27 5/263 94289
/proc/meminfo: memFree=121138684/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=325752 memory=295428 CPUtime=3.09 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 40500 0 0 0 299 10 0 0 20 0 1 0 75852447 333570048 73857 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 81438 73857 1152 2593 0 78331 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 325752 KiB
Current children cumulated memory: 295428 KiB

[startup+6.30015 s]
/proc/loadavg: 4.06 4.08 4.27 5/263 94289
/proc/meminfo: memFree=120841840/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=613468 memory=591332 CPUtime=6.27 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 63559 0 0 0 608 19 0 0 20 0 1 0 75852447 628191232 147833 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 153367 147833 1152 2593 0 150260 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 613468 KiB
Current children cumulated memory: 591332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.28 5/263 94289
/proc/meminfo: memFree=120328292/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=1159968 memory=1038168 CPUtime=12.65 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 94378 0 0 0 1230 35 0 0 20 0 1 0 75852447 1187807232 259542 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 289992 259542 1152 2593 0 286885 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1159968 KiB
Current children cumulated memory: 1038168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.27 5/263 94290
/proc/meminfo: memFree=116617236/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4778980 memory=4372172 CPUtime=25.41 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 515306 0 0 0 2379 162 0 0 20 0 1 0 75852447 4893675520 1093043 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1194745 1093043 1216 2593 0 1191638 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4778980 KiB
Current children cumulated memory: 4372172 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.08 4.27 5/263 94290
/proc/meminfo: memFree=116550048/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4853712 memory=4439820 CPUtime=50.94 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 525265 0 0 0 4930 164 0 0 20 0 1 0 75852447 4970201088 1109955 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1213428 1109955 1216 2593 0 1210321 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4853712 KiB
Current children cumulated memory: 4439820 KiB

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

# cumulated CPU time of all completed processes:  user=78.8611 s, system=1.80464 s

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

[startup+51.2002 s]
/proc/loadavg: 4.07 4.08 4.27 5/263 94290
/proc/meminfo: memFree=116550048/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4853712 memory=4439820 CPUtime=51.03 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 525265 0 0 0 4939 164 0 0 20 0 1 0 75852447 4970201088 1109955 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1213428 1109955 1216 2593 0 1210321 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 4853712 KiB
Current children cumulated memory: 4439820 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.12 4.09 4.27 5/263 94292
/proc/meminfo: memFree=116565092/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4861464 memory=4449796 CPUtime=63.8 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 527292 0 0 0 6215 165 0 0 20 0 1 0 75852447 4978139136 1112449 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1215366 1112449 1216 2593 0 1212259 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 4861464 KiB
Current children cumulated memory: 4449796 KiB

[startup+70.4001 s]
/proc/loadavg: 4.11 4.09 4.27 5/263 94292
/proc/meminfo: memFree=116591088/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4875620 memory=4461792 CPUtime=70.18 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 530741 0 0 0 6847 171 0 0 20 0 1 0 75852447 4992634880 1115448 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1218905 1115448 1216 2593 0 1215798 0
Current children cumulated CPU time: 70.18 s
Current children cumulated vsize: 4875620 KiB
Current children cumulated memory: 4461792 KiB

[startup+76.8002 s]
/proc/loadavg: 4.10 4.09 4.26 5/263 94292
/proc/meminfo: memFree=116617184/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4875620 memory=4462304 CPUtime=76.56 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 531012 0 0 0 7485 171 0 0 20 0 1 0 75852447 4992634880 1115576 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1218905 1115576 1216 2593 0 1215798 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 4875620 KiB
Current children cumulated memory: 4462304 KiB

[startup+78.4001 s]
/proc/loadavg: 4.09 4.09 4.26 5/263 94292
/proc/meminfo: memFree=116611040/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4879716 memory=4466364 CPUtime=78.15 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 531522 0 0 0 7644 171 0 0 20 0 1 0 75852447 4996829184 1116591 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1219929 1116591 1216 2593 0 1216822 0
Current children cumulated CPU time: 78.15 s
Current children cumulated vsize: 4879716 KiB
Current children cumulated memory: 4466364 KiB

[startup+80.0002 s]*
/proc/loadavg: 4.09 4.09 4.26 5/263 94292
/proc/meminfo: memFree=116611780/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4911488 memory=4496152 CPUtime=79.74 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 532827 0 0 0 7803 171 0 0 20 0 1 0 75852447 5029363712 1124038 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1227872 1124038 1216 2593 0 1224765 0
Current children cumulated CPU time: 79.74 s
Current children cumulated vsize: 4911488 KiB
Current children cumulated memory: 4496152 KiB

[startup+80.4001 s]
/proc/loadavg: 4.09 4.09 4.26 5/263 94292
/proc/meminfo: memFree=116611780/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4911488 memory=4496152 CPUtime=80.14 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 532835 0 0 0 7843 171 0 0 20 0 1 0 75852447 5029363712 1124038 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1227872 1124038 1216 2593 0 1224765 0
Current children cumulated CPU time: 80.14 s
Current children cumulated vsize: 4911488 KiB
Current children cumulated memory: 4496152 KiB

[startup+80.8001 s]
/proc/loadavg: 4.09 4.09 4.26 5/263 94292
/proc/meminfo: memFree=116611780/131250000 swapFree=33010416/33010684
[pid=94288] ppid=94285 vsize=4927872 memory=4513632 CPUtime=80.54 cores=0,2
/proc/94288/stat : 94288 (CASHWMaxSAT-Dis) R 94285 94288 94066 0 -1 4194304 533092 0 0 0 7882 172 0 0 20 0 1 0 75852447 5046140928 1128408 18446744073709551615 4198400 14817773 140735520489712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24043520 140735520491882 140735520491997 140735520491997 140735520497599 0
/proc/94288/statm: 1231968 1128408 1216 2593 0 1228861 0
Current children cumulated CPU time: 80.54 s
Current children cumulated vsize: 4927872 KiB
Current children cumulated memory: 4513632 KiB

[startup+80.9001 s]*
/proc/loadavg: 4.09 4.09 4.26 5/263 94292
/proc/meminfo: memFree=118744908/131250000 swapFree=33010416/33010684
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): 80.9167
CPU time (s): 80.6658
CPU user time (s): 78.8611
CPU system time (s): 1.80464
CPU usage (%): 99.6898
Max. virtual memory (cumulated for all children) (KiB): 5019712
Max. memory (cumulated for all children) (KiB): 4616196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.8611
system time used= 1.80464
maximum resident set size= 4696488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533092
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= 503


# summary of solver processes directly reported to runsolver:
#   pid: 94288
#   total CPU time (s): 80.6658
#   total CPU user time (s): 78.8611
#   total CPU system time (s): 1.80464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160386 second user time and 0.386839 second system time

The end