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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515147-1751219831/watcher-4515147-1751219831 -o /tmp/evaluation-result-4515147-1751219831/solver-4515147-1751219831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30296 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4515147-1751219831.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32664, runsolver pid=32661
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.11 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104220432/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=36292 memory=26420 CPUtime=0.1 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 4657 0 0 0 8 2 0 0 20 0 1 0 37662322 37163008 6573 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 9073 6605 2688 3139 0 5361 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36292 KiB
Current children cumulated memory: 26420 KiB

[startup+0.213135 s]*
/proc/loadavg: 4.11 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104204808/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=49648 memory=39112 CPUtime=0.22 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 8561 0 0 0 19 3 0 0 20 0 1 0 37662322 50839552 9778 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 12412 9778 2688 3139 0 8700 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 49648 KiB
Current children cumulated memory: 39112 KiB

[startup+0.313052 s]*
/proc/loadavg: 4.11 4.17 4.16 6/250 32665
/proc/meminfo: memFree=104204808/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=49912 memory=39240 CPUtime=0.31 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 8620 0 0 0 28 3 0 0 20 0 1 0 37662322 51109888 9810 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 12478 9810 2688 3139 0 8766 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49912 KiB
Current children cumulated memory: 39240 KiB

[startup+0.700321 s]
/proc/loadavg: 4.11 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104202288/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=52380 memory=41844 CPUtime=0.68 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 9890 0 0 0 65 3 0 0 20 0 1 0 37662322 53637120 10461 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 13095 10461 2688 3139 0 9383 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52380 KiB
Current children cumulated memory: 41844 KiB

[startup+1.50032 s]
/proc/loadavg: 4.11 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104193216/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=62372 memory=51860 CPUtime=1.48 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 13896 0 0 0 144 4 0 0 20 0 1 0 37662322 63868928 12965 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 15593 12965 2720 3139 0 11881 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62372 KiB
Current children cumulated memory: 51860 KiB

[startup+3.11267 s]
/proc/loadavg: 4.10 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104195052/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=61896 memory=51888 CPUtime=3.09 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 16023 0 0 0 305 4 0 0 20 0 1 0 37662322 63381504 12972 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 15474 12972 2720 3139 0 11762 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 51888 KiB

[startup+6.30033 s]
/proc/loadavg: 4.10 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104164212/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=61896 memory=51888 CPUtime=6.27 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 16030 0 0 0 623 4 0 0 20 0 1 0 37662322 63381504 12972 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 15474 12972 2720 3139 0 11762 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 51888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.17 4.16 5/250 32665
/proc/meminfo: memFree=104148460/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=65656 memory=55488 CPUtime=12.65 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 18048 0 0 0 1260 5 0 0 20 0 1 0 37662322 67231744 13872 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 16414 13872 2720 3139 0 12702 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65656 KiB
Current children cumulated memory: 55488 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.17 4.16 5/250 32666
/proc/meminfo: memFree=104109080/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=61896 memory=51932 CPUtime=25.41 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 18909 0 0 0 2536 5 0 0 20 0 1 0 37662322 63381504 12983 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 15474 12983 2720 3139 0 11762 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 51932 KiB

[startup+51.1127 s]
/proc/loadavg: 4.09 4.16 4.16 5/250 32666
/proc/meminfo: memFree=104012936/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=69132 memory=58996 CPUtime=50.95 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 21285 0 0 0 5089 6 0 0 20 0 1 0 37662322 70791168 14749 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 17283 14749 2720 3139 0 13571 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 69132 KiB
Current children cumulated memory: 58996 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/250 32668
/proc/meminfo: memFree=103527232/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=76572 memory=66580 CPUtime=101.98 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 21662 0 0 0 10192 6 0 0 20 0 1 0 37662322 78409728 16645 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 19143 16645 2720 3139 0 15431 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 76572 KiB
Current children cumulated memory: 66580 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/250 32670
/proc/meminfo: memFree=103216688/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=90560 memory=80640 CPUtime=161.81 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 26306 0 0 0 16172 9 0 0 20 0 1 0 37662322 92733440 20160 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 22640 20160 2720 3139 0 18928 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 80640 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.17 4.16 5/251 32673
/proc/meminfo: memFree=103432416/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=91948 memory=81920 CPUtime=221.62 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 29762 0 0 0 22152 10 0 0 20 0 1 0 37662322 94154752 20480 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 22987 20480 2720 3139 0 19275 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 91948 KiB
Current children cumulated memory: 81920 KiB

[startup+236.702 s]
# the end of solver process 32664 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=235.882 s, system=0.112513 s

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

[startup+230.4 s]
/proc/loadavg: 4.19 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103402868/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=95320 memory=85376 CPUtime=229.7 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30094 0 0 0 22960 10 0 0 20 0 1 0 37662322 97607680 21344 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 23830 21344 2720 3139 0 20118 0
Current children cumulated CPU time: 229.7 s
Current children cumulated vsize: 95320 KiB
Current children cumulated memory: 85376 KiB

[startup+233.6 s]
/proc/loadavg: 4.18 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103406256/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=95320 memory=85376 CPUtime=232.89 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30094 0 0 0 23279 10 0 0 20 0 1 0 37662322 97607680 21344 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 23830 21344 2720 3139 0 20118 0
Current children cumulated CPU time: 232.89 s
Current children cumulated vsize: 95320 KiB
Current children cumulated memory: 85376 KiB

[startup+235.2 s]
/proc/loadavg: 4.18 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103399428/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=98552 memory=88576 CPUtime=234.48 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30902 0 0 0 23438 10 0 0 20 0 1 0 37662322 100917248 22144 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 24638 22144 2720 3139 0 20926 0
Current children cumulated CPU time: 234.48 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 88576 KiB

[startup+236 s]*
/proc/loadavg: 4.18 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103387268/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=98552 memory=88576 CPUtime=235.29 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30902 0 0 0 23519 10 0 0 20 0 1 0 37662322 100917248 22144 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 24638 22144 2720 3139 0 20926 0
Current children cumulated CPU time: 235.29 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 88576 KiB

[startup+236.4 s]
/proc/loadavg: 4.18 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103387268/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=98552 memory=88576 CPUtime=235.68 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30902 0 0 0 23558 10 0 0 20 0 1 0 37662322 100917248 22144 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 24638 22144 2720 3139 0 20926 0
Current children cumulated CPU time: 235.68 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 88576 KiB

[startup+236.6 s]
/proc/loadavg: 4.18 4.16 4.16 5/251 32684
/proc/meminfo: memFree=103387268/131382116 swapFree=33010684/33010684
[pid=32664] ppid=32661 vsize=98552 memory=88576 CPUtime=235.88 cores=0,2
/proc/32664/stat : 32664 (uwrmaxsat-scip) R 32661 32664 30286 0 -1 4194304 30902 0 0 0 23578 10 0 0 20 0 1 0 37662322 100917248 22144 18446744073709551615 4198400 17051741 140724444218208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 32890880 140724444219706 140724444219876 140724444219876 140724444225478 0
/proc/32664/statm: 24638 22144 2720 3139 0 20926 0
Current children cumulated CPU time: 235.88 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 88576 KiB

Child status: 10

Real time (s): 236.702
CPU time (s): 235.994
CPU user time (s): 235.882
CPU system time (s): 0.112513
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 98552
Max. memory (cumulated for all children) (KiB): 88576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.882
system time used= 0.112513
maximum resident set size= 88576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30902
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= 2
involuntary context switches= 559


# summary of solver processes directly reported to runsolver:
#   pid: 32664
#   total CPU time (s): 235.994
#   total CPU user time (s): 235.882
#   total CPU system time (s): 0.112513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15548 second user time and 2.34499 second system time

The end