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: 63794 MiB (62679 MiB free)
  memory of node 1: 64507 MiB (62921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523584-1751601757/watcher-4523584-1751601757 -o /tmp/evaluation-result-4523584-1751601757/solver-4523584-1751601757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523584-1751601757.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=85103, runsolver pid=85100

[startup+0.100071 s]*
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128613864/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=25304 memory=6784 CPUtime=0.09 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 1084 0 0 0 9 0 0 0 20 0 1 0 75854603 25911296 1696 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 6326 1696 736 2416 0 3428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25304 KiB
Current children cumulated memory: 6784 KiB

[startup+0.214581 s]*
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128608320/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=28396 memory=9728 CPUtime=0.2 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 1842 0 0 0 20 0 0 0 20 0 1 0 75854603 29077504 2432 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 7099 2432 736 2416 0 4201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28396 KiB
Current children cumulated memory: 9728 KiB

[startup+0.312584 s]*
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128602272/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=31096 memory=12416 CPUtime=0.3 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 2504 0 0 0 29 1 0 0 20 0 1 0 75854603 31842304 3104 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 7774 3104 736 2416 0 4876 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31096 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700252 s]
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128582376/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=41476 memory=22656 CPUtime=0.67 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 5066 0 0 0 65 2 0 0 20 0 1 0 75854603 42471424 5664 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 10369 5664 736 2416 0 7471 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41476 KiB
Current children cumulated memory: 22656 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.12 4.11 5/250 85104
/proc/meminfo: memFree=128521896/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=75528 memory=54656 CPUtime=1.47 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 13048 0 0 0 141 6 0 0 20 0 1 0 75854603 77340672 13664 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 18882 13664 736 2416 0 15984 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75528 KiB
Current children cumulated memory: 54656 KiB

[startup+3.11296 s]
/proc/loadavg: 4.08 4.12 4.11 5/251 85135
/proc/meminfo: memFree=128002120/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=243724 memory=216604 CPUtime=3.08 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 35930 0 0 0 294 14 0 0 20 0 1 0 75854603 249573376 54151 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 60931 54151 992 2416 0 58033 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 243724 KiB
Current children cumulated memory: 216604 KiB

[startup+6.30032 s]
/proc/loadavg: 4.07 4.12 4.10 5/251 85135
/proc/meminfo: memFree=126596320/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=671964 memory=596812 CPUtime=6.25 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 56237 0 0 0 600 25 0 0 20 0 1 0 75854603 688091136 149203 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 167991 149203 992 2416 0 165093 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 671964 KiB
Current children cumulated memory: 596812 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.12 4.10 5/251 85135
/proc/meminfo: memFree=124517952/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=1309368 memory=1145424 CPUtime=12.63 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 88350 0 0 0 1223 40 0 0 20 0 1 0 75854603 1340792832 286356 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 327342 286356 992 2416 0 324444 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1309368 KiB
Current children cumulated memory: 1145424 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.11 5/252 85137
/proc/meminfo: memFree=112865972/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=3970424 memory=3433836 CPUtime=25.4 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 237789 0 0 0 2429 111 0 0 20 0 1 0 75854603 4065714176 858459 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 992606 858459 992 2416 0 989708 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3970424 KiB
Current children cumulated memory: 3433836 KiB

[startup+51.113 s]
/proc/loadavg: 4.14 4.13 4.11 5/252 85137
/proc/meminfo: memFree=111467836/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4183316 memory=3735808 CPUtime=50.93 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 252069 0 0 0 4974 119 0 0 20 0 1 0 75854603 4283715584 933952 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1045829 933952 992 2416 0 1042931 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4183316 KiB
Current children cumulated memory: 3735808 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/252 85139
/proc/meminfo: memFree=111462036/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3920936 CPUtime=101.95 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 299550 0 0 0 10030 165 0 0 20 0 1 0 75854603 4523266048 980234 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 980234 992 2416 0 1101415 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3920936 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/252 85141
/proc/meminfo: memFree=111241628/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3921064 CPUtime=161.76 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300165 0 0 0 16011 165 0 0 20 0 1 0 75854603 4523266048 980266 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 980266 1024 2416 0 1101415 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3921064 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/252 85147
/proc/meminfo: memFree=111185164/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3923224 CPUtime=221.57 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300289 0 0 0 21992 165 0 0 20 0 1 0 75854603 4523266048 980806 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 980806 1024 2416 0 1101415 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3923224 KiB

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

# cumulated CPU time of all completed processes:  user=269.19 s, system=1.72635 s

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

[startup+230.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/252 85147
/proc/meminfo: memFree=111187112/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3923224 CPUtime=229.64 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300291 0 0 0 22799 165 0 0 20 0 1 0 75854603 4523266048 980806 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 980806 1024 2416 0 1101415 0
Current children cumulated CPU time: 229.64 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3923224 KiB

[startup+256 s]*
/proc/loadavg: 4.10 4.11 4.09 5/252 85148
/proc/meminfo: memFree=111186120/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=255.17 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300383 0 0 0 25352 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 255.17 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+262.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 85148
/proc/meminfo: memFree=111185064/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=261.54 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300383 0 0 0 25989 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 261.54 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+265.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 85149
/proc/meminfo: memFree=111185064/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=264.73 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300383 0 0 0 26308 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 264.73 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+268.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/252 85149
/proc/meminfo: memFree=111185064/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=267.92 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300385 0 0 0 26627 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 267.92 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+270.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/252 85149
/proc/meminfo: memFree=111185180/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=269.51 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300385 0 0 0 26786 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 269.51 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+271.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 85149
/proc/meminfo: memFree=111185272/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=270.31 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300385 0 0 0 26866 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 270.31 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+271.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 85149
/proc/meminfo: memFree=111185272/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=270.71 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300385 0 0 0 26906 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 270.71 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

[startup+271.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 85149
/proc/meminfo: memFree=111185272/131382112 swapFree=33009904/33010684
[pid=85103] ppid=85100 vsize=4417252 memory=3925280 CPUtime=270.81 cores=5,7
/proc/85103/stat : 85103 (CASHWMaxSAT-Dis) R 85100 85103 84706 0 -1 4194304 300398 0 0 0 26916 165 0 0 20 0 1 0 75854603 4523266048 981320 18446744073709551615 4198400 14093885 140725166869056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50790400 140725166872938 140725166873053 140725166873053 140725166878655 0
/proc/85103/statm: 1104313 981320 1024 2416 0 1101415 0
Current children cumulated CPU time: 270.81 s
Current children cumulated vsize: 4417252 KiB
Current children cumulated memory: 3925280 KiB

Child status: 30

Real time (s): 271.794
CPU time (s): 270.917
CPU user time (s): 269.19
CPU system time (s): 1.72635
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 5492260
Max. memory (cumulated for all children) (KiB): 4783484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.19
system time used= 1.72635
maximum resident set size= 4783484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300401
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= 193


# summary of solver processes directly reported to runsolver:
#   pid: 85103
#   total CPU time (s): 270.917
#   total CPU user time (s): 269.19
#   total CPU system time (s): 1.72635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4207 second user time and 2.66835 second system time

The end