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: 63708 MiB (61676 MiB free)
  memory of node 1: 64465 MiB (62998 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518794-1751539552/watcher-4518794-1751539552 -o /tmp/evaluation-result-4518794-1751539552/solver-4518794-1751539552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751539325-73620 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4518794-1751539552.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 

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
solver pid=73731, runsolver pid=73728
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.03 3.10 3.22 5/265 73732
/proc/meminfo: memFree=127654808/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=31476 memory=21452 CPUtime=0.09 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 3046 0 0 0 9 0 0 0 20 0 1 0 69632689 32231424 5363 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 7869 5363 2720 3139 0 4157 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31476 KiB
Current children cumulated memory: 21452 KiB

[startup+0.205656 s]*
/proc/loadavg: 4.03 3.10 3.22 5/265 73732
/proc/meminfo: memFree=127646144/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=32112 memory=22180 CPUtime=0.2 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 3690 0 0 0 20 0 0 0 20 0 1 0 69632689 32882688 5545 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 8028 5545 2720 3139 0 4316 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32112 KiB
Current children cumulated memory: 22180 KiB

[startup+0.305488 s]*
/proc/loadavg: 4.03 3.10 3.22 5/265 73732
/proc/meminfo: memFree=127646144/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=32112 memory=22180 CPUtime=0.3 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 3691 0 0 0 30 0 0 0 20 0 1 0 69632689 32882688 5545 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 8028 5545 2720 3139 0 4316 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32112 KiB
Current children cumulated memory: 22180 KiB

[startup+0.700124 s]
/proc/loadavg: 4.03 3.10 3.22 5/265 73732
/proc/meminfo: memFree=127646144/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=36640 memory=26540 CPUtime=0.68 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 5204 0 0 0 68 0 0 0 20 0 1 0 69632689 37519360 6635 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 9160 6635 2720 3139 0 5448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36640 KiB
Current children cumulated memory: 26540 KiB

[startup+1.50018 s]
/proc/loadavg: 4.03 3.10 3.22 5/265 73732
/proc/meminfo: memFree=127643100/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=35604 memory=25564 CPUtime=1.49 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 6324 0 0 0 148 1 0 0 20 0 1 0 69632689 36458496 6391 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 8901 6391 2720 3139 0 5189 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35604 KiB
Current children cumulated memory: 25564 KiB

[startup+3.10535 s]
/proc/loadavg: 4.03 3.12 3.23 5/265 73732
/proc/meminfo: memFree=127635696/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=38420 memory=28532 CPUtime=3.09 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 9443 0 0 0 308 1 0 0 20 0 1 0 69632689 39342080 7133 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 9605 7133 2720 3139 0 5893 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 28532 KiB

[startup+6.30012 s]
/proc/loadavg: 4.03 3.12 3.23 5/265 73732
/proc/meminfo: memFree=127647656/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=44048 memory=34152 CPUtime=6.27 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 10348 0 0 0 626 1 0 0 20 0 1 0 69632689 45105152 8538 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 11012 8538 2720 3139 0 7300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 34152 KiB

[startup+12.7001 s]
/proc/loadavg: 4.02 3.13 3.23 5/265 73732
/proc/meminfo: memFree=127625692/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=58044 memory=48132 CPUtime=12.65 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 13881 0 0 0 1263 2 0 0 20 0 1 0 69632689 59437056 12033 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 14511 12033 2720 3139 0 10799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58044 KiB
Current children cumulated memory: 48132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 3.19 3.25 5/265 73732
/proc/meminfo: memFree=127638088/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=72348 memory=62396 CPUtime=25.42 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 15450 0 0 0 2539 3 0 0 20 0 1 0 69632689 74084352 15599 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 18087 15599 2720 3139 0 14375 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 72348 KiB
Current children cumulated memory: 62396 KiB

[startup+51.1054 s]
/proc/loadavg: 4.06 3.26 3.27 5/265 73733
/proc/meminfo: memFree=127608580/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=97996 memory=88192 CPUtime=50.96 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 21703 0 0 0 5089 7 0 0 20 0 1 0 69632689 100347904 22048 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 24499 22048 2720 3139 0 20787 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97996 KiB
Current children cumulated memory: 88192 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 3.37 3.31 5/264 73735
/proc/meminfo: memFree=127497684/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=96304 memory=86404 CPUtime=102.01 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 26199 0 0 0 10193 8 0 0 20 0 1 0 69632689 98615296 21601 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 24076 21601 2720 3139 0 20364 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 96304 KiB
Current children cumulated memory: 86404 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.52 3.37 5/263 73737
/proc/meminfo: memFree=127319756/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=153308 memory=143488 CPUtime=161.84 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 31322 0 0 0 16171 13 0 0 20 0 1 0 69632689 156987392 35872 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 38327 35872 2720 3139 0 34615 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 153308 KiB
Current children cumulated memory: 143488 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.63 3.41 5/264 73744
/proc/meminfo: memFree=127102212/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=157760 memory=147932 CPUtime=221.68 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 35933 0 0 0 22149 19 0 0 20 0 1 0 69632689 161546240 36983 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 39440 36983 2720 3139 0 35728 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 157760 KiB
Current children cumulated memory: 147932 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.71 3.46 5/264 73746
/proc/meminfo: memFree=126948884/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=157760 memory=147932 CPUtime=281.5 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 39225 0 0 0 28128 22 0 0 20 0 1 0 69632689 161546240 36983 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 39440 36983 2720 3139 0 35728 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 157760 KiB
Current children cumulated memory: 147932 KiB

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

# cumulated CPU time of all completed processes:  user=302.897 s, system=0.241719 s

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

[startup+294.4 s]
/proc/loadavg: 4.06 3.73 3.47 5/264 73746
/proc/meminfo: memFree=126920468/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=157760 memory=148060 CPUtime=293.56 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 39253 0 0 0 29334 22 0 0 20 0 1 0 69632689 161546240 37015 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 39440 37015 2720 3139 0 35728 0
Current children cumulated CPU time: 293.56 s
Current children cumulated vsize: 157760 KiB
Current children cumulated memory: 148060 KiB

[startup+300.8 s]
/proc/loadavg: 4.05 3.73 3.47 5/264 73746
/proc/meminfo: memFree=126904388/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=157760 memory=150364 CPUtime=299.94 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 39311 0 0 0 29972 22 0 0 20 0 1 0 69632689 161546240 37591 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 39440 37591 3296 3139 0 35728 0
Current children cumulated CPU time: 299.94 s
Current children cumulated vsize: 157760 KiB
Current children cumulated memory: 150364 KiB

[startup+302.4 s]
/proc/loadavg: 4.05 3.73 3.47 5/264 73747
/proc/meminfo: memFree=126896196/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=166904 memory=159068 CPUtime=301.53 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 41488 0 0 0 30131 22 0 0 20 0 1 0 69632689 170909696 39767 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 41726 39767 3296 3139 0 38014 0
Current children cumulated CPU time: 301.53 s
Current children cumulated vsize: 166904 KiB
Current children cumulated memory: 159068 KiB

[startup+303.2 s]
/proc/loadavg: 4.05 3.74 3.47 5/264 73747
/proc/meminfo: memFree=126880320/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=178692 memory=170204 CPUtime=302.33 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 44290 0 0 0 30211 22 0 0 20 0 1 0 69632689 182980608 42551 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 44673 42551 3296 3139 0 40961 0
Current children cumulated CPU time: 302.33 s
Current children cumulated vsize: 178692 KiB
Current children cumulated memory: 170204 KiB

[startup+303.6 s]
/proc/loadavg: 4.05 3.74 3.47 5/264 73747
/proc/meminfo: memFree=126880320/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=189784 memory=181340 CPUtime=302.73 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) R 73728 73731 73607 0 -1 4194304 47088 0 0 0 30250 23 0 0 20 0 1 0 69632689 194338816 45335 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 47446 45335 3296 3139 0 43734 0
Current children cumulated CPU time: 302.73 s
Current children cumulated vsize: 189784 KiB
Current children cumulated memory: 181340 KiB

[startup+304 s]*
/proc/loadavg: 4.05 3.74 3.47 4/264 73747
/proc/meminfo: memFree=126847172/131250000 swapFree=33007332/33010684
[pid=73731] ppid=73728 vsize=199256 memory=189404 CPUtime=303.12 cores=0,2
/proc/73731/stat : 73731 (uwrmaxsat-scip) S 73728 73731 73607 0 -1 4194304 49097 0 0 0 30289 23 0 0 20 0 1 0 69632689 204038144 47351 18446744073709551615 4198400 17051741 140723067945328 0 0 0 0 0 8416290 1 0 0 17 0 0 0 0 0 0 19288744 19393640 55443456 140723067947322 140723067947492 140723067947492 140723067953094 0
/proc/73731/statm: 49814 47351 3296 3139 0 46102 0
Current children cumulated CPU time: 303.12 s
Current children cumulated vsize: 199256 KiB
Current children cumulated memory: 189404 KiB

Child status: 30

Real time (s): 304.011
CPU time (s): 303.139
CPU user time (s): 302.897
CPU system time (s): 0.241719
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 199256
Max. memory (cumulated for all children) (KiB): 189404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 302.897
system time used= 0.241719
maximum resident set size= 189404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49097
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= 12
involuntary context switches= 390


# summary of solver processes directly reported to runsolver:
#   pid: 73731
#   total CPU time (s): 303.139
#   total CPU user time (s): 302.897
#   total CPU system time (s): 0.241719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.600548 second user time and 1.30528 second system time

The end