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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=73611, runsolver pid=73605

[startup+0.100061 s]*
/proc/loadavg: 1.76 3.44 3.92 5/268 73627
/proc/meminfo: memFree=127588408/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=36800 memory=27264 CPUtime=0.09 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 4372 0 0 0 9 0 0 0 20 0 1 0 67046841 37683200 6816 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 9200 6816 2720 3139 0 5488 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36800 KiB
Current children cumulated memory: 27264 KiB

[startup+0.205599 s]*
/proc/loadavg: 1.76 3.44 3.92 5/268 73627
/proc/meminfo: memFree=127543664/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=37020 memory=27264 CPUtime=0.2 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 4396 0 0 0 20 0 0 0 20 0 1 0 67046841 37908480 6816 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 9255 6816 2720 3139 0 5543 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 27264 KiB

[startup+0.305653 s]*
/proc/loadavg: 1.76 3.44 3.92 5/268 73627
/proc/meminfo: memFree=127528040/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=37520 memory=27776 CPUtime=0.3 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 4528 0 0 0 30 0 0 0 20 0 1 0 67046841 38420480 6944 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 9380 6944 2720 3139 0 5668 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37520 KiB
Current children cumulated memory: 27776 KiB

[startup+0.700134 s]
/proc/loadavg: 1.76 3.44 3.92 5/268 73627
/proc/meminfo: memFree=127479780/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=38828 memory=29268 CPUtime=0.68 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 6296 0 0 0 68 0 0 0 20 0 1 0 67046841 39759872 7317 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 9707 7317 2720 3139 0 5995 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 29268 KiB

[startup+1.50014 s]
/proc/loadavg: 1.94 3.45 3.92 5/268 73627
/proc/meminfo: memFree=127320956/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=40312 memory=30476 CPUtime=1.48 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 7311 0 0 0 148 0 0 0 20 0 1 0 67046841 41279488 7619 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 10078 7619 2720 3139 0 6366 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40312 KiB
Current children cumulated memory: 30476 KiB

[startup+3.10554 s]
/proc/loadavg: 1.94 3.45 3.92 5/268 73627
/proc/meminfo: memFree=126704168/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=43748 memory=34176 CPUtime=3.09 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 10251 0 0 0 308 1 0 0 20 0 1 0 67046841 44797952 8544 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 10937 8544 2720 3139 0 7225 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43748 KiB
Current children cumulated memory: 34176 KiB

[startup+6.30016 s]
/proc/loadavg: 2.11 3.46 3.92 5/268 73627
/proc/meminfo: memFree=125981720/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=51940 memory=42424 CPUtime=6.27 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 14105 0 0 0 625 2 0 0 20 0 1 0 67046841 53186560 10606 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 12985 10606 2720 3139 0 9273 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51940 KiB
Current children cumulated memory: 42424 KiB

[startup+12.7002 s]
/proc/loadavg: 2.26 3.47 3.92 5/269 73628
/proc/meminfo: memFree=124809356/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=68032 memory=58252 CPUtime=12.65 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 18555 0 0 0 1263 2 0 0 20 0 1 0 67046841 69664768 14563 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 17008 14563 2720 3139 0 13296 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68032 KiB
Current children cumulated memory: 58252 KiB

[startup+25.5002 s]
/proc/loadavg: 2.53 3.49 3.92 5/269 73629
/proc/meminfo: memFree=123242344/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=80320 memory=69848 CPUtime=25.41 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 21035 0 0 0 2538 3 0 0 20 0 1 0 67046841 82247680 17462 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 20080 17462 2720 3139 0 16368 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 80320 KiB
Current children cumulated memory: 69848 KiB

[startup+51.1055 s]
/proc/loadavg: 3.17 3.55 3.93 5/269 73629
/proc/meminfo: memFree=116104584/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=70272 memory=59832 CPUtime=50.95 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 24408 0 0 0 5091 4 0 0 20 0 1 0 67046841 71958528 14958 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 17568 14958 2720 3139 0 13856 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 70272 KiB
Current children cumulated memory: 59832 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 3.64 3.94 5/269 73631
/proc/meminfo: memFree=109482264/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=93844 memory=77756 CPUtime=101.99 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 33279 0 0 0 10192 7 0 0 20 0 1 0 67046841 96096256 19439 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 23461 19439 2720 3139 0 19749 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 93844 KiB
Current children cumulated memory: 77756 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.74 3.95 5/269 73633
/proc/meminfo: memFree=86902608/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=100856 memory=91208 CPUtime=161.81 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 36418 0 0 0 16173 8 0 0 20 0 1 0 67046841 103276544 22802 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 25214 22802 2720 3139 0 21502 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 100856 KiB
Current children cumulated memory: 91208 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.80 3.97 5/268 73680
/proc/meminfo: memFree=110863856/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=115548 memory=105936 CPUtime=221.63 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 44905 0 0 0 22151 12 0 0 20 0 1 0 67046841 118321152 26484 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 28887 26484 2720 3139 0 25175 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 105936 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 3.84 3.97 5/267 73686
/proc/meminfo: memFree=107950696/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=98888 memory=89296 CPUtime=281.46 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 46723 0 0 0 28133 13 0 0 20 0 1 0 67046841 101261312 22324 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 24722 22324 2720 3139 0 21010 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 98888 KiB
Current children cumulated memory: 89296 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.90 3.99 5/267 73691
/proc/meminfo: memFree=107355912/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=241284 memory=200784 CPUtime=341.28 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 71743 0 0 0 34111 17 0 0 20 0 1 0 67046841 247074816 50196 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 60321 50196 3296 3139 0 56609 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 241284 KiB
Current children cumulated memory: 200784 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.94 4.00 5/265 73693
/proc/meminfo: memFree=83874872/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=336492 memory=286192 CPUtime=401.11 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 84094 0 0 0 40091 20 0 0 20 0 1 0 67046841 344567808 71548 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 84123 71548 3296 3139 0 80411 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 336492 KiB
Current children cumulated memory: 286192 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.98 4.01 5/265 73739
/proc/meminfo: memFree=105290692/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=419252 memory=379100 CPUtime=460.93 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 93571 0 0 0 46071 22 0 0 20 0 1 0 67046841 429314048 94775 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 104813 94775 3328 3139 0 101101 0
Current children cumulated CPU time: 460.93 s
Current children cumulated vsize: 419252 KiB
Current children cumulated memory: 379100 KiB

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

# cumulated CPU time of all completed processes:  user=465.226 s, system=0.235249 s

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

[startup+464 s]*
/proc/loadavg: 4.11 3.98 4.01 5/265 73739
/proc/meminfo: memFree=105206332/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=433408 memory=391624 CPUtime=462.64 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 94934 0 0 0 46241 23 0 0 20 0 1 0 67046841 443809792 97906 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 108352 97906 3328 3139 0 104640 0
Current children cumulated CPU time: 462.64 s
Current children cumulated vsize: 433408 KiB
Current children cumulated memory: 391624 KiB

[startup+465.6 s]
/proc/loadavg: 4.11 3.98 4.01 5/265 73739
/proc/meminfo: memFree=105174076/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=433408 memory=391624 CPUtime=464.23 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 94934 0 0 0 46400 23 0 0 20 0 1 0 67046841 443809792 97906 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 108352 97906 3328 3139 0 104640 0
Current children cumulated CPU time: 464.23 s
Current children cumulated vsize: 433408 KiB
Current children cumulated memory: 391624 KiB

[startup+466.4 s]
/proc/loadavg: 4.10 3.98 4.01 5/265 73739
/proc/meminfo: memFree=105166012/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=433408 memory=391624 CPUtime=465.03 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 94934 0 0 0 46480 23 0 0 20 0 1 0 67046841 443809792 97906 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 108352 97906 3328 3139 0 104640 0
Current children cumulated CPU time: 465.03 s
Current children cumulated vsize: 433408 KiB
Current children cumulated memory: 391624 KiB

[startup+466.8 s]
/proc/loadavg: 4.10 3.98 4.01 5/265 73739
/proc/meminfo: memFree=105166012/131250000 swapFree=33010684/33010684
[pid=73611] ppid=73605 vsize=433408 memory=391624 CPUtime=465.43 cores=1,3
/proc/73611/stat : 73611 (uwrmaxsat-scip) R 73605 73611 73423 0 -1 4194304 94934 0 0 0 46520 23 0 0 20 0 1 0 67046841 443809792 97906 18446744073709551615 4198400 17051741 140725025726032 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 27267072 140725025732922 140725025733092 140725025733092 140725025738694 0
/proc/73611/statm: 108352 97906 3328 3139 0 104640 0
Current children cumulated CPU time: 465.43 s
Current children cumulated vsize: 433408 KiB
Current children cumulated memory: 391624 KiB

Child status: 30

Real time (s): 466.827
CPU time (s): 465.461
CPU user time (s): 465.226
CPU system time (s): 0.235249
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 433408
Max. memory (cumulated for all children) (KiB): 391624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 465.226
system time used= 0.235249
maximum resident set size= 391624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94946
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= 52
involuntary context switches= 888


# summary of solver processes directly reported to runsolver:
#   pid: 73611
#   total CPU time (s): 465.461
#   total CPU user time (s): 465.226
#   total CPU system time (s): 0.235249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.893568 second user time and 2.06686 second system time

The end