Trace number 4485749

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
UWrMaxSat 2025-06-04? (TO) 3600.29 3611.87

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
3.18/3.28	c Converting 4201 PB-constraints to clauses...
3600.02/3611.60	c *** TERMINATED by signal 15 ***
3600.02/3611.60	c _______________________________________________________________________________
3600.02/3611.60	c 
3600.02/3611.60	c _______________________________________________________________________________
3600.02/3611.60	c 
3600.02/3611.60	c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3611.60	c Memory used            : 27627.00 MB
3600.02/3611.60	c CPU time               : 3522.76 s
3600.02/3611.60	c Constr Enc: Srt/BDD/Add: 1764 0 341
3600.02/3611.60	c Reused sorter inputs   : 558 of 2941520 inputs (0.02% in avg) in 94757 sorters
3600.02/3611.60	c _______________________________________________________________________________
3600.02/3611.60	c _______________________________________________________________________________
3600.02/3611.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485749-1751288602/watcher-4485749-1751288602 -o /tmp/evaluation-result-4485749-1751288602/solver-4485749-1751288602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37960 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4485749-1751288602.opb -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=38833, runsolver pid=38830

[startup+0.100071 s]*
/proc/loadavg: 4.22 4.12 4.10 5/251 38834
/proc/meminfo: memFree=128205984/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=12800 memory=11240 CPUtime=0.1 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 2830 0 0 0 9 1 0 0 20 0 1 0 44539679 13107200 2810 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 3200 2810 448 484 0 2611 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 12800 KiB
Current children cumulated memory: 11240 KiB

[startup+0.213774 s]*
/proc/loadavg: 4.22 4.12 4.10 5/251 38834
/proc/meminfo: memFree=128204220/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=20876 memory=19324 CPUtime=0.21 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 5202 0 0 0 20 1 0 0 20 0 1 0 44539679 21377024 4799 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5219 4799 448 484 0 4630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20876 KiB
Current children cumulated memory: 19324 KiB

[startup+0.313772 s]*
/proc/loadavg: 4.22 4.12 4.10 5/251 38834
/proc/meminfo: memFree=128182296/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=27772 memory=25852 CPUtime=0.31 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 6858 0 0 0 29 2 0 0 20 0 1 0 44539679 28438528 6463 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6943 6463 448 484 0 6354 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27772 KiB
Current children cumulated memory: 25852 KiB

[startup+0.700324 s]
/proc/loadavg: 4.22 4.12 4.10 5/251 38834
/proc/meminfo: memFree=128122504/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=54676 memory=51192 CPUtime=0.68 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 12438 0 0 0 64 4 0 0 20 0 1 0 44539679 55988224 12798 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 13669 12798 448 484 0 13080 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54676 KiB
Current children cumulated memory: 51192 KiB

[startup+1.50033 s]
/proc/loadavg: 4.22 4.12 4.10 5/251 38834
/proc/meminfo: memFree=127937012/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=101000 memory=96760 CPUtime=1.48 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 23810 0 0 0 142 6 0 0 20 0 1 0 44539679 103424000 24190 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 25286 24190 448 484 0 24697 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 96760 KiB

[startup+3.11292 s]
/proc/loadavg: 4.20 4.11 4.10 5/251 38834
/proc/meminfo: memFree=127463508/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=219316 memory=209288 CPUtime=3.08 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 49913 0 0 0 297 11 0 0 20 0 1 0 44539679 224579584 52322 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 54829 52322 448 484 0 54240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219316 KiB
Current children cumulated memory: 209288 KiB

[startup+6.3003 s]
/proc/loadavg: 4.20 4.11 4.10 5/251 38835
/proc/meminfo: memFree=127289920/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=244160 memory=233528 CPUtime=6.26 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 55491 0 0 0 614 12 0 0 20 0 1 0 44539679 250019840 58382 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 61040 58382 448 484 0 60451 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 244160 KiB
Current children cumulated memory: 233528 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.11 4.10 5/251 38835
/proc/meminfo: memFree=127184320/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=303676 memory=291940 CPUtime=12.64 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 58908 0 0 0 1250 14 0 0 20 0 1 0 44539679 310964224 72985 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 75919 72985 448 484 0 75330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 303676 KiB
Current children cumulated memory: 291940 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 38835
/proc/meminfo: memFree=126974936/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=491644 memory=477496 CPUtime=25.41 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 76150 0 0 0 2521 20 0 0 20 0 1 0 44539679 503443456 119374 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 122911 119374 448 484 0 122322 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 491644 KiB
Current children cumulated memory: 477496 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 38835
/proc/meminfo: memFree=126624924/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=925944 memory=820844 CPUtime=50.96 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 110520 0 0 0 5064 32 0 0 20 0 1 0 44539679 948166656 205211 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 231486 205211 448 484 0 230897 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 925944 KiB
Current children cumulated memory: 820844 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 38837
/proc/meminfo: memFree=126066552/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=1444916 memory=1376472 CPUtime=102.01 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 160021 0 0 0 10149 52 0 0 20 0 1 0 44539679 1479593984 344118 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 361229 344118 448 484 0 360640 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1444916 KiB
Current children cumulated memory: 1376472 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 38840
/proc/meminfo: memFree=125936120/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=1753584 memory=1516196 CPUtime=161.85 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 178931 0 0 0 16129 56 0 0 20 0 1 0 44539679 1795670016 379049 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 438396 379049 448 484 0 437807 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1753584 KiB
Current children cumulated memory: 1516196 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 38842
/proc/meminfo: memFree=111619868/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=2170808 memory=2007408 CPUtime=221.7 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 200243 0 0 0 22094 76 0 0 20 0 1 0 44539679 2222907392 501852 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 542702 501852 448 484 0 542113 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2170808 KiB
Current children cumulated memory: 2007408 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 38844
/proc/meminfo: memFree=104426056/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=2289604 memory=2236188 CPUtime=281.54 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 229685 0 0 0 28071 83 0 0 20 0 1 0 44539679 2344554496 559047 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 572401 559047 448 484 0 571812 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2289604 KiB
Current children cumulated memory: 2236188 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/250 38846
/proc/meminfo: memFree=103552936/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=2768024 memory=2476972 CPUtime=341.37 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 261563 0 0 0 34048 89 0 0 20 0 1 0 44539679 2834456576 619243 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 692006 619243 448 484 0 691417 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2768024 KiB
Current children cumulated memory: 2476972 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 38848
/proc/meminfo: memFree=104495624/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=2923916 memory=2786700 CPUtime=401.17 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 301125 0 0 0 40019 98 0 0 20 0 1 0 44539679 2994089984 696643 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 730979 696643 448 484 0 730390 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2923916 KiB
Current children cumulated memory: 2786700 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 38857
/proc/meminfo: memFree=104059008/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=4291008 memory=3764628 CPUtime=460.97 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 342680 0 0 0 45963 134 0 0 20 0 1 0 44539679 4393992192 941157 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 1072752 941157 448 484 0 1072163 0

################
# More data... #
################

/proc/38833/statm: 6644537 6178434 512 484 0 6643948 0
Current children cumulated CPU time: 2853.22 s
Current children cumulated vsize: 26578148 KiB
Current children cumulated memory: 24713736 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/251 38973
/proc/meminfo: memFree=81172600/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=24146512 memory=22249436 CPUtime=2913.02 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3082498 0 0 0 285132 6170 0 0 20 0 1 0 44539679 24726028288 5562359 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6036628 5562359 512 484 0 6036039 0
Current children cumulated CPU time: 2913.02 s
Current children cumulated vsize: 24146512 KiB
Current children cumulated memory: 22249436 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/251 38975
/proc/meminfo: memFree=82806532/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23797488 memory=21900412 CPUtime=2972.85 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3088719 0 0 0 291065 6220 0 0 20 0 1 0 44539679 24368627712 5475103 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5949372 5475103 512 484 0 5948783 0
Current children cumulated CPU time: 2972.85 s
Current children cumulated vsize: 23797488 KiB
Current children cumulated memory: 21900412 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/251 38977
/proc/meminfo: memFree=83301632/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23287232 memory=21402444 CPUtime=3032.67 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3095598 0 0 0 297026 6241 0 0 20 0 1 0 44539679 23846125568 5350611 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5821808 5350611 512 484 0 5821219 0
Current children cumulated CPU time: 3032.67 s
Current children cumulated vsize: 23287232 KiB
Current children cumulated memory: 21402444 KiB

[startup+3102.3 s]
/proc/loadavg: 4.64 4.30 4.19 5/251 38979
/proc/meminfo: memFree=82032400/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=24718056 memory=22831096 CPUtime=3092.48 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3116301 0 0 0 302746 6502 0 0 20 0 1 0 44539679 25311289344 5707774 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6179514 5707774 512 484 0 6178925 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 24718056 KiB
Current children cumulated memory: 22831096 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.30 4.19 5/250 38981
/proc/meminfo: memFree=81841128/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=24718056 memory=22859768 CPUtime=3152.29 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3129187 0 0 0 308604 6625 0 0 20 0 1 0 44539679 25311289344 5714942 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6179514 5714942 512 484 0 6178925 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 24718056 KiB
Current children cumulated memory: 22859768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.27 4.19 5/251 38984
/proc/meminfo: memFree=79357552/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=26568780 memory=25322956 CPUtime=3212.1 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3143235 0 0 0 314390 6820 0 0 20 0 1 0 44539679 27206430720 6330739 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6642195 6330739 512 484 0 6641606 0
Current children cumulated CPU time: 3212.1 s
Current children cumulated vsize: 26568780 KiB
Current children cumulated memory: 25322956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.30 4.20 5/251 38986
/proc/meminfo: memFree=82257088/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23790524 memory=21903688 CPUtime=3271.91 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3157832 0 0 0 320164 7027 0 0 20 0 1 0 44539679 24361496576 5475922 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5947631 5475922 512 484 0 5947042 0
Current children cumulated CPU time: 3271.91 s
Current children cumulated vsize: 23790524 KiB
Current children cumulated memory: 21903688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.71 4.41 4.25 5/251 38988
/proc/meminfo: memFree=82820148/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23281116 memory=21394324 CPUtime=3331.72 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3166812 0 0 0 326142 7030 0 0 20 0 1 0 44539679 23839862784 5348581 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5820279 5348581 512 484 0 5819690 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 23281116 KiB
Current children cumulated memory: 21394324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.37 4.24 5/251 38990
/proc/meminfo: memFree=82741664/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23280316 memory=21401672 CPUtime=3391.52 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3184757 0 0 0 331908 7244 0 0 20 0 1 0 44539679 23839043584 5350418 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5820079 5350418 512 484 0 5819490 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 23280316 KiB
Current children cumulated memory: 21401672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.31 4.23 5/251 39009
/proc/meminfo: memFree=82670524/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23279992 memory=21401348 CPUtime=3451.32 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3201107 0 0 0 337693 7439 0 0 20 0 1 0 44539679 23838711808 5350337 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5819998 5350337 512 484 0 5819409 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 23279992 KiB
Current children cumulated memory: 21401348 KiB

[startup+3522.3 s]
/proc/loadavg: 3.58 4.13 4.17 4/243 39041
/proc/meminfo: memFree=97602552/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=25462460 memory=23606276 CPUtime=3511.06 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3218547 0 0 0 343434 7672 0 0 20 0 1 0 44539679 26073559040 5901569 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 6365615 5901569 512 484 0 6365026 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 25462460 KiB
Current children cumulated memory: 23606276 KiB

[startup+3582.3 s]
/proc/loadavg: 3.28 3.94 4.10 4/243 39043
/proc/meminfo: memFree=99235092/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23788628 memory=21932512 CPUtime=3570.85 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3228197 0 0 0 349363 7722 0 0 20 0 1 0 44539679 24359555072 5483128 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5947157 5483128 512 484 0 5946568 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 23788628 KiB
Current children cumulated memory: 21932512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 3.25 3.86 4.07 4/241 39072
/proc/meminfo: memFree=108038968/131382116 swapFree=33010684/33010684
[pid=38833] ppid=38830 vsize=23279992 memory=21423920 CPUtime=3600.02 cores=1,3
/proc/38833/stat : 38833 (uwrmaxsat) R 38830 38833 37948 0 -1 4194304 3233016 0 0 0 352275 7727 0 0 20 0 1 0 44539679 23838711808 5355980 18446744073709551615 4198400 6176925 140725463713488 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24915968 140725463722346 140725463722473 140725463722473 140725463728075 0
/proc/38833/statm: 5819998 5355980 512 484 0 5819409 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 23279992 KiB
Current children cumulated memory: 21423920 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.87 s]
# the end of solver process 38833 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3522.76 s, system=77.5368 s

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

[startup+3611.81 s]
/proc/loadavg: 3.25 3.86 4.07 2/235 39102
/proc/meminfo: memFree=114588668/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.87
CPU time (s): 3600.29
CPU user time (s): 3522.76
CPU system time (s): 77.5368
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 28290564
Max. memory (cumulated for all children) (KiB): 27482692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3522.76
system time used= 77.5368
maximum resident set size= 27482692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3233016
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= 415
involuntary context switches= 20928


# summary of solver processes directly reported to runsolver:
#   pid: 38833
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3522.76
#   total CPU system time (s): 77.5368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4163 second user time and 34.0413 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 15:03:23
IDJOB=4485749
IDBENCH=146868
IDSOLVER=3372
FILE ID=nodeC010/4485749-1751288602
RUNJOBID= nodeC010-1751281373-37960
SLURM_JOB_ID= 9594236
Free space on /tmp= 432660 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485749-1751288602/watcher-4485749-1751288602 -o /tmp/evaluation-result-4485749-1751288602/solver-4485749-1751288602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37960 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4485749-1751288602.opb -mem-lim=31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=664927107

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.645
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.184
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.394
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.151
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.714
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1296.921
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.827
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.814
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128241404 kB
MemAvailable:   128548472 kB
Buffers:            3280 kB
Cached:          1115428 kB
SwapCached:            0 kB
Active:          1775296 kB
Inactive:         822912 kB
Active(anon):    1497468 kB
Inactive(anon):        0 kB
Active(file):     277828 kB
Inactive(file):   822912 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27696 kB
Writeback:             0 kB
AnonPages:       1482452 kB
Mapped:           109576 kB
Shmem:             17960 kB
KReclaimable:      91912 kB
Slab:             173836 kB
SReclaimable:      91912 kB
SUnreclaim:        81924 kB
KernelStack:        4096 kB
PageTables:         5928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1905256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432676 MiB
End job on nodeC010 at 2025-06-30 16:03:35