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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518886-1751539861/watcher-4518886-1751539861 -o /tmp/evaluation-result-4518886-1751539861/solver-4518886-1751539861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751539325-73620 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4518886-1751539861.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=73838, runsolver pid=73835
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=127002740/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=37816 memory=27936 CPUtime=0.09 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 5008 0 0 0 9 0 0 0 20 0 1 0 69663645 38723584 6984 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 9454 6984 2720 3139 0 5742 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37816 KiB
Current children cumulated memory: 27936 KiB

[startup+0.205344 s]*
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=127001732/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=37668 memory=27840 CPUtime=0.2 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 5591 0 0 0 20 0 0 0 20 0 1 0 69663645 38572032 6960 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 9417 6960 2720 3139 0 5705 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37668 KiB
Current children cumulated memory: 27840 KiB

[startup+0.305344 s]*
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=127001732/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=38076 memory=28180 CPUtime=0.29 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 5881 0 0 0 29 0 0 0 20 0 1 0 69663645 38989824 7045 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 9519 7045 2720 3139 0 5807 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38076 KiB
Current children cumulated memory: 28180 KiB

[startup+0.700132 s]
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=127001008/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=38708 memory=28840 CPUtime=0.68 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 6489 0 0 0 68 0 0 0 20 0 1 0 69663645 39636992 7210 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 9677 7210 2720 3139 0 5965 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38708 KiB
Current children cumulated memory: 28840 KiB

[startup+1.50015 s]
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=126992944/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=39920 memory=30016 CPUtime=1.49 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 7308 0 0 0 148 1 0 0 20 0 1 0 69663645 40878080 7504 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 9980 7504 2720 3139 0 6268 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 30016 KiB

[startup+3.10538 s]
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=126990684/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=40488 memory=30648 CPUtime=3.08 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 9849 0 0 0 307 1 0 0 20 0 1 0 69663645 41459712 7662 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 10122 7662 2720 3139 0 6410 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40488 KiB
Current children cumulated memory: 30648 KiB

[startup+6.30015 s]
/proc/loadavg: 4.04 3.74 3.48 5/265 73839
/proc/meminfo: memFree=126971100/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=44040 memory=34268 CPUtime=6.27 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 12291 0 0 0 625 2 0 0 20 0 1 0 69663645 45096960 8567 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 11010 8567 2720 3139 0 7298 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44040 KiB
Current children cumulated memory: 34268 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 3.77 3.49 5/265 73839
/proc/meminfo: memFree=126980716/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=43500 memory=33608 CPUtime=12.66 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 15196 0 0 0 1263 3 0 0 20 0 1 0 69663645 44544000 8402 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 10875 8402 2720 3139 0 7163 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 33608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 3.78 3.50 5/265 73839
/proc/meminfo: memFree=126901520/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=55024 memory=45272 CPUtime=25.41 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 19261 0 0 0 2538 3 0 0 20 0 1 0 69663645 56344576 11318 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 13756 11318 2720 3139 0 10044 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 55024 KiB
Current children cumulated memory: 45272 KiB

[startup+51.1054 s]
/proc/loadavg: 4.06 3.80 3.51 5/265 73840
/proc/meminfo: memFree=126841680/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=52484 memory=42796 CPUtime=50.95 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 25469 0 0 0 5090 5 0 0 20 0 1 0 69663645 53743616 10699 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 13121 10699 2720 3139 0 9409 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 52484 KiB
Current children cumulated memory: 42796 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 3.86 3.55 5/266 73843
/proc/meminfo: memFree=126665328/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=72944 memory=63308 CPUtime=102.01 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 35943 0 0 0 10192 9 0 0 20 0 1 0 69663645 74694656 15827 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 18236 15827 2720 3139 0 14524 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 72944 KiB
Current children cumulated memory: 63308 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.91 3.59 5/267 73848
/proc/meminfo: memFree=126507668/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=69440 memory=59932 CPUtime=161.83 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 44000 0 0 0 16170 13 0 0 20 0 1 0 69663645 71106560 14983 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 17360 14983 2720 3139 0 13648 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 69440 KiB
Current children cumulated memory: 59932 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.92 3.62 5/267 73850
/proc/meminfo: memFree=126346644/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=70672 memory=61164 CPUtime=221.66 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 52364 0 0 0 22149 17 0 0 20 0 1 0 69663645 72368128 15291 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 17668 15291 2720 3139 0 13956 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 70672 KiB
Current children cumulated memory: 61164 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.97 3.65 5/267 73852
/proc/meminfo: memFree=126194096/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=71140 memory=61632 CPUtime=281.49 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 57643 0 0 0 28129 20 0 0 20 0 1 0 69663645 72847360 15408 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 17785 15408 2720 3139 0 14073 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 71140 KiB
Current children cumulated memory: 61632 KiB

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

# cumulated CPU time of all completed processes:  user=300.096 s, system=0.22021 s

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

[startup+294.4 s]
/proc/loadavg: 4.09 3.97 3.66 5/267 73852
/proc/meminfo: memFree=126169468/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=74388 memory=64752 CPUtime=293.55 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 59558 0 0 0 29334 21 0 0 20 0 1 0 69663645 76173312 16188 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 18597 16188 2720 3139 0 14885 0
Current children cumulated CPU time: 293.55 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 64752 KiB

[startup+297.6 s]
/proc/loadavg: 4.09 3.97 3.66 5/267 73852
/proc/meminfo: memFree=126161420/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=77888 CPUtime=296.74 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60288 0 0 0 29653 21 0 0 20 0 1 0 69663645 89628672 19472 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19472 2720 3139 0 18170 0
Current children cumulated CPU time: 296.74 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 77888 KiB

[startup+299.2 s]
/proc/loadavg: 4.08 3.97 3.66 5/267 73852
/proc/meminfo: memFree=126160664/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=77888 CPUtime=298.34 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60288 0 0 0 29813 21 0 0 20 0 1 0 69663645 89628672 19472 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19472 2720 3139 0 18170 0
Current children cumulated CPU time: 298.34 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 77888 KiB

[startup+300 s]*
/proc/loadavg: 4.08 3.97 3.66 5/267 73852
/proc/meminfo: memFree=126160664/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=77888 CPUtime=299.14 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60288 0 0 0 29893 21 0 0 20 0 1 0 69663645 89628672 19472 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19472 2720 3139 0 18170 0
Current children cumulated CPU time: 299.14 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 77888 KiB

[startup+300.8 s]
/proc/loadavg: 4.08 3.97 3.66 5/267 73852
/proc/meminfo: memFree=126160664/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=77888 CPUtime=299.93 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60288 0 0 0 29972 21 0 0 20 0 1 0 69663645 89628672 19472 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19472 2720 3139 0 18170 0
Current children cumulated CPU time: 299.93 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 77888 KiB

[startup+301 s]*
/proc/loadavg: 4.08 3.97 3.66 5/267 73853
/proc/meminfo: memFree=126151916/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=77888 CPUtime=300.14 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60288 0 0 0 29993 21 0 0 20 0 1 0 69663645 89628672 19472 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19472 2720 3139 0 18170 0
Current children cumulated CPU time: 300.14 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 77888 KiB

[startup+301.106 s]
/proc/loadavg: 4.08 3.97 3.66 5/267 73853
/proc/meminfo: memFree=126151916/131250000 swapFree=33007332/33010684
[pid=73838] ppid=73835 vsize=87528 memory=79424 CPUtime=300.24 cores=0,2
/proc/73838/stat : 73838 (uwrmaxsat-scip) R 73835 73838 73607 0 -1 4194304 60315 0 0 0 30003 21 0 0 20 0 1 0 69663645 89628672 19856 18446744073709551615 4198400 17051741 140728312466992 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45379584 140728312473914 140728312474084 140728312474084 140728312479686 0
/proc/73838/statm: 21882 19856 3104 3139 0 18170 0
Current children cumulated CPU time: 300.24 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 79424 KiB

Child status: 30

Real time (s): 301.182
CPU time (s): 300.317
CPU user time (s): 300.096
CPU system time (s): 0.22021
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 95064
Max. memory (cumulated for all children) (KiB): 85312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.096
system time used= 0.22021
maximum resident set size= 97688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60458
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= 398


# summary of solver processes directly reported to runsolver:
#   pid: 73838
#   total CPU time (s): 300.317
#   total CPU user time (s): 300.096
#   total CPU system time (s): 0.22021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.588276 second user time and 1.32324 second system time

The end