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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=49955, runsolver pid=49949

[startup+0.10006 s]*
/proc/loadavg: 0.89 2.03 3.17 4/267 49968
/proc/meminfo: memFree=129918940/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=27308 memory=17792 CPUtime=0.09 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 1968 0 0 0 9 0 0 0 20 0 1 0 53808891 27963392 4448 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 6 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 6827 4448 2720 3139 0 3115 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27308 KiB
Current children cumulated memory: 17792 KiB

[startup+0.205656 s]*
/proc/loadavg: 0.89 2.03 3.17 5/268 49976
/proc/meminfo: memFree=129916624/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=28624 memory=19204 CPUtime=0.19 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 2374 0 0 0 19 0 0 0 20 0 1 0 53808891 29310976 4801 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 7156 4801 2720 3139 0 3444 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28624 KiB
Current children cumulated memory: 19204 KiB

[startup+0.305634 s]*
/proc/loadavg: 0.89 2.03 3.17 4/263 49976
/proc/meminfo: memFree=129897228/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=29484 memory=19984 CPUtime=0.29 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 2947 0 0 0 29 0 0 0 20 0 1 0 53808891 30191616 4996 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 7371 4996 2720 3139 0 3659 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29484 KiB
Current children cumulated memory: 19984 KiB

[startup+0.700178 s]
/proc/loadavg: 0.89 2.03 3.17 3/261 49984
/proc/meminfo: memFree=129868708/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=31012 memory=21560 CPUtime=0.67 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 4359 0 0 0 67 0 0 0 20 0 1 0 53808891 31756288 5390 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 7753 5390 2720 3139 0 4041 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 31012 KiB
Current children cumulated memory: 21560 KiB

[startup+1.50019 s]
/proc/loadavg: 0.89 2.03 3.17 3/261 49984
/proc/meminfo: memFree=129770072/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=32608 memory=23152 CPUtime=1.47 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 5449 0 0 0 146 1 0 0 20 0 1 0 53808891 33390592 5788 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 8152 5788 2720 3139 0 4440 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 32608 KiB
Current children cumulated memory: 23152 KiB

[startup+3.1055 s]
/proc/loadavg: 0.89 2.03 3.17 5/269 50103
/proc/meminfo: memFree=129683788/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=35276 memory=25572 CPUtime=3.06 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 8575 0 0 0 304 2 0 0 20 0 1 0 53808891 36122624 6393 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 8819 6393 2720 3139 0 5107 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 25572 KiB

[startup+6.30018 s]
/proc/loadavg: 1.06 2.05 3.17 5/269 50148
/proc/meminfo: memFree=129356948/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=39828 memory=30296 CPUtime=6.25 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 11859 0 0 0 622 3 0 0 20 0 1 0 53808891 40783872 7574 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 9957 7574 2720 3139 0 6245 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 30296 KiB

[startup+12.7002 s]
/proc/loadavg: 1.29 2.08 3.17 5/269 50148
/proc/meminfo: memFree=129176472/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=45840 memory=36312 CPUtime=12.63 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 15470 0 0 0 1260 3 0 0 20 0 1 0 53808891 46940160 9078 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 11460 9078 2720 3139 0 7748 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 36312 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 2.18 3.19 5/269 50148
/proc/meminfo: memFree=129185576/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=48836 memory=39356 CPUtime=25.4 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 17327 0 0 0 2536 4 0 0 20 0 1 0 53808891 50008064 9839 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12209 9839 2720 3139 0 8497 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 48836 KiB
Current children cumulated memory: 39356 KiB

[startup+51.1056 s]
/proc/loadavg: 2.61 2.32 3.21 5/269 50149
/proc/meminfo: memFree=129137460/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=60276 memory=50824 CPUtime=50.93 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 21869 0 0 0 5088 5 0 0 20 0 1 0 53808891 61722624 12706 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 15069 12706 2720 3139 0 11357 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 60276 KiB
Current children cumulated memory: 50824 KiB

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

# cumulated CPU time of all completed processes:  user=64.3343 s, system=0.05836 s

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

[startup+51.2002 s]
/proc/loadavg: 2.61 2.32 3.21 5/269 50149
/proc/meminfo: memFree=129137460/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=60276 memory=50824 CPUtime=51.03 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 21869 0 0 0 5098 5 0 0 20 0 1 0 53808891 61722624 12706 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 15069 12706 2720 3139 0 11357 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 60276 KiB
Current children cumulated memory: 50824 KiB

[startup+57.6002 s]
/proc/loadavg: 2.80 2.37 3.22 5/269 50149
/proc/meminfo: memFree=129121188/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=60668 memory=51384 CPUtime=57.4 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 22496 0 0 0 5735 5 0 0 20 0 1 0 53808891 62124032 12846 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 15167 12846 2720 3139 0 11455 0
Current children cumulated CPU time: 57.4 s
Current children cumulated vsize: 60668 KiB
Current children cumulated memory: 51384 KiB

[startup+60.8002 s]
/proc/loadavg: 2.90 2.40 3.22 5/269 50149
/proc/meminfo: memFree=129121496/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=60668 memory=51384 CPUtime=60.59 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 22496 0 0 0 6054 5 0 0 20 0 1 0 53808891 62124032 12846 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 15167 12846 2720 3139 0 11455 0
Current children cumulated CPU time: 60.59 s
Current children cumulated vsize: 60668 KiB
Current children cumulated memory: 51384 KiB

[startup+62.4002 s]
/proc/loadavg: 2.90 2.40 3.22 5/269 50149
/proc/meminfo: memFree=129101016/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=49276 memory=40080 CPUtime=62.18 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 23007 0 0 0 6213 5 0 0 20 0 1 0 53808891 50458624 10020 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12319 10020 2720 3139 0 8607 0
Current children cumulated CPU time: 62.18 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 40080 KiB

[startup+63.2002 s]
/proc/loadavg: 2.90 2.40 3.22 5/269 50149
/proc/meminfo: memFree=129101016/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=49276 memory=40080 CPUtime=62.98 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 23007 0 0 0 6293 5 0 0 20 0 1 0 53808891 50458624 10020 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12319 10020 2720 3139 0 8607 0
Current children cumulated CPU time: 62.98 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 40080 KiB

[startup+64.0002 s]*
/proc/loadavg: 2.99 2.42 3.23 5/269 50149
/proc/meminfo: memFree=129172284/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=49276 memory=40080 CPUtime=63.79 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 23007 0 0 0 6374 5 0 0 20 0 1 0 53808891 50458624 10020 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12319 10020 2720 3139 0 8607 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 40080 KiB

[startup+64.4002 s]
/proc/loadavg: 2.99 2.42 3.23 5/269 50149
/proc/meminfo: memFree=129172284/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=49040 memory=39716 CPUtime=64.18 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 23427 0 0 0 6413 5 0 0 20 0 1 0 53808891 50216960 9929 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12260 9929 2720 3139 0 8548 0
Current children cumulated CPU time: 64.18 s
Current children cumulated vsize: 49040 KiB
Current children cumulated memory: 39716 KiB

[startup+64.5002 s]
/proc/loadavg: 2.99 2.42 3.23 5/269 50149
/proc/meminfo: memFree=129172284/131249996 swapFree=33010416/33010684
[pid=49955] ppid=49949 vsize=49040 memory=39716 CPUtime=64.28 cores=4,6
/proc/49955/stat : 49955 (uwrmaxsat-scip) R 49949 49955 49899 0 -1 4194304 23427 0 0 0 6423 5 0 0 20 0 1 0 53808891 50216960 9929 18446744073709551615 4198400 17051741 140721111303216 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 56598528 140721111308602 140721111308772 140721111308772 140721111314374 0
/proc/49955/statm: 12260 9929 2720 3139 0 8548 0
Current children cumulated CPU time: 64.28 s
Current children cumulated vsize: 49040 KiB
Current children cumulated memory: 39716 KiB

Child status: 30

Real time (s): 64.6012
CPU time (s): 64.3926
CPU user time (s): 64.3343
CPU system time (s): 0.05836
CPU usage (%): 99.6771
Max. virtual memory (cumulated for all children) (KiB): 60668
Max. memory (cumulated for all children) (KiB): 51384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.3343
system time used= 0.05836
maximum resident set size= 57452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23427
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= 8
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 49955
#   total CPU time (s): 64.3926
#   total CPU user time (s): 64.3343
#   total CPU system time (s): 0.05836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177469 second user time and 0.275492 second system time

The end