Trace number 4541621

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 NameAnswerCPU timeWall clock time
UWrMaxSat-SCIP 2025-06-04? (TO) 3600.08 3611.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
MD5SUM21d0ffe78b9aba15f7c4d4a17a4e20d2
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark0.454795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2170
Total number of constraints5893
Number of constraints which are clauses5859
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint1023
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2305843009213693952
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 9223372036854775807
Number of bits of the biggest sum of numbers63
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...
0.00/0.09	c Converting 3911 PB-constraints to clauses...
0.78/0.83	c ============================[ Encoding Statistics ]============================
0.78/0.83	c |  Number of variables:         13679                                         |
0.78/0.83	c |  Number of clauses:           76932                                         |
0.78/0.83	c ===============================================================================
3600.07/3611.20	c *** TERMINATED by signal 15 ***
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c 
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c 
3600.07/3611.20	c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3611.20	c Memory used            : 266.00 MB
3600.07/3611.20	c CPU time               : 3599.41 s
3600.07/3611.20	c Constr Enc: Srt/BDD/Add: 949 0 0
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	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: 63794 MiB (46256 MiB free)
  memory of node 1: 64507 MiB (50962 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541621-1753209881/watcher-4541621-1753209881 -o /tmp/evaluation-result-4541621-1753209881/solver-4541621-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4541621-1753209881.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=182387, runsolver pid=182381
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99529200/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=25168 memory=9472 CPUtime=0.1 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 1372 0 0 0 10 0 0 0 20 0 1 0 236667859 25772032 2368 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 6292 2368 1152 3139 0 2580 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25168 KiB
Current children cumulated memory: 9472 KiB

[startup+0.213848 s]*
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99518364/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=26300 memory=10832 CPUtime=0.21 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 1696 0 0 0 21 0 0 0 20 0 1 0 236667859 26931200 2708 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 6575 2708 1216 3139 0 2863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 10832 KiB

[startup+0.313063 s]*
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99511472/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=26300 memory=10832 CPUtime=0.31 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 1696 0 0 0 31 0 0 0 20 0 1 0 236667859 26931200 2708 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 6575 2708 1216 3139 0 2863 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 10832 KiB

[startup+0.700191 s]
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99508448/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=28756 memory=13136 CPUtime=0.68 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 2273 0 0 0 68 0 0 0 20 0 1 0 236667859 29446144 3284 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 7189 3284 1216 3139 0 3477 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28756 KiB
Current children cumulated memory: 13136 KiB

[startup+1.50033 s]
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99491816/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=47436 memory=30460 CPUtime=1.48 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 7889 0 0 0 146 2 0 0 20 0 1 0 236667859 48574464 7615 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 11859 7615 1216 3139 0 8147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47436 KiB
Current children cumulated memory: 30460 KiB

[startup+3.1128 s]
/proc/loadavg: 1.98 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99467588/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=65140 memory=48540 CPUtime=3.09 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 13728 0 0 0 305 4 0 0 20 0 1 0 236667859 66703360 12135 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 16285 12135 1248 3139 0 12573 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65140 KiB
Current children cumulated memory: 48540 KiB

[startup+6.30027 s]
/proc/loadavg: 2.14 3.58 4.00 5/251 182400
/proc/meminfo: memFree=99465672/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=66748 memory=50396 CPUtime=6.27 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 15744 0 0 0 623 4 0 0 20 0 1 0 236667859 68349952 12599 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 16687 12599 1248 3139 0 12975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66748 KiB
Current children cumulated memory: 50396 KiB

[startup+12.7003 s]
/proc/loadavg: 2.37 3.61 4.00 5/251 182400
/proc/meminfo: memFree=99448572/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=64648 memory=48860 CPUtime=12.65 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 16934 0 0 0 1260 5 0 0 20 0 1 0 236667859 66199552 12215 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 16162 12215 1248 3139 0 12450 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 48860 KiB

[startup+25.5003 s]
/proc/loadavg: 2.73 3.63 4.00 5/251 182401
/proc/meminfo: memFree=99450032/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=71592 memory=55664 CPUtime=25.41 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 18550 0 0 0 2536 5 0 0 20 0 1 0 236667859 73310208 13916 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 17898 13916 1248 3139 0 14186 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71592 KiB
Current children cumulated memory: 55664 KiB

[startup+51.1128 s]
/proc/loadavg: 3.25 3.68 4.01 5/252 182402
/proc/meminfo: memFree=99423852/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=73148 memory=56416 CPUtime=50.94 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 22588 0 0 0 5087 7 0 0 20 0 1 0 236667859 74903552 14104 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 18287 14104 1248 3139 0 14575 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 73148 KiB
Current children cumulated memory: 56416 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 3.74 4.01 5/252 182404
/proc/meminfo: memFree=99391272/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=81428 memory=65520 CPUtime=101.97 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 23861 0 0 0 10190 7 0 0 20 0 1 0 236667859 83382272 16380 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 20357 16380 1248 3139 0 16645 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 81428 KiB
Current children cumulated memory: 65520 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.82 4.01 5/252 182406
/proc/meminfo: memFree=99351624/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=75928 memory=60332 CPUtime=161.77 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 30894 0 0 0 16167 10 0 0 20 0 1 0 236667859 77750272 15083 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 18982 15083 1248 3139 0 15270 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 75928 KiB
Current children cumulated memory: 60332 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.87 4.01 5/252 182408
/proc/meminfo: memFree=99340436/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=85608 memory=69852 CPUtime=221.6 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 34974 0 0 0 22148 12 0 0 20 0 1 0 236667859 87662592 17463 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 21402 17463 1248 3139 0 17690 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 85608 KiB
Current children cumulated memory: 69852 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.91 4.01 5/251 182410
/proc/meminfo: memFree=99311280/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=87780 memory=70708 CPUtime=281.42 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 37224 0 0 0 28130 12 0 0 20 0 1 0 236667859 89886720 17677 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 21945 17677 1248 3139 0 18233 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 87780 KiB
Current children cumulated memory: 70708 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.95 4.01 5/250 182457
/proc/meminfo: memFree=99299744/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=96096 memory=79300 CPUtime=341.24 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 43027 0 0 0 34109 15 0 0 20 0 1 0 236667859 98402304 19825 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 24024 19825 1248 3139 0 20312 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 79300 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.97 4.01 5/250 182460
/proc/meminfo: memFree=99265516/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=109572 memory=93796 CPUtime=401.05 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 45589 0 0 0 40089 16 0 0 20 0 1 0 236667859 112201728 23449 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 27393 23449 1248 3139 0 23681 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 93796 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.00 4.02 5/250 182462
/proc/meminfo: memFree=99276292/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=115660 memory=99812 CPUtime=460.87 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 49133 0 0 0 46069 18 0 0 20 0 1 0 236667859 118435840 24953 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 28915 24953 1248 3139 0 25203 0
Current children cumulated CPU time: 460.87 s

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

Current children cumulated memory: 155228 KiB

[startup+2862.3 s]
/proc/loadavg: 4.30 4.15 4.15 5/250 182586
/proc/meminfo: memFree=98953708/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=176360 memory=160716 CPUtime=2853.44 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 86255 0 0 0 285298 46 0 0 20 0 1 0 236667859 180592640 40179 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 44090 40179 1248 3139 0 40378 0
Current children cumulated CPU time: 2853.44 s
Current children cumulated vsize: 176360 KiB
Current children cumulated memory: 160716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.65 4.29 4.20 5/250 182588
/proc/meminfo: memFree=98953320/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=142292 memory=126668 CPUtime=2913.26 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 87703 0 0 0 291279 47 0 0 20 0 1 0 236667859 145707008 31667 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 35573 31667 1248 3139 0 31861 0
Current children cumulated CPU time: 2913.26 s
Current children cumulated vsize: 142292 KiB
Current children cumulated memory: 126668 KiB

[startup+2982.3 s]
/proc/loadavg: 4.31 4.27 4.19 5/250 182597
/proc/meminfo: memFree=98931260/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=154680 memory=137324 CPUtime=2973.08 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 90516 0 0 0 297259 49 0 0 20 0 1 0 236667859 158392320 34331 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 38670 34331 1248 3139 0 34958 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 154680 KiB
Current children cumulated memory: 137324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.25 4.19 5/250 182599
/proc/meminfo: memFree=98879960/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=193960 memory=177356 CPUtime=3032.9 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 91864 0 0 0 303240 50 0 0 20 0 1 0 236667859 198615040 44339 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 48490 44339 1248 3139 0 44778 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 193960 KiB
Current children cumulated memory: 177356 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/250 182601
/proc/meminfo: memFree=98896192/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=193320 memory=176964 CPUtime=3092.72 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 92645 0 0 0 309220 52 0 0 20 0 1 0 236667859 197959680 44241 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 48330 44241 1248 3139 0 44618 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 193320 KiB
Current children cumulated memory: 176964 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/251 182604
/proc/meminfo: memFree=98890224/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=201364 memory=185068 CPUtime=3152.54 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 93775 0 0 0 315200 54 0 0 20 0 1 0 236667859 206196736 46267 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50341 46267 1248 3139 0 46629 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 201364 KiB
Current children cumulated memory: 185068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/251 182606
/proc/meminfo: memFree=98866828/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=196296 memory=180000 CPUtime=3212.36 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 94964 0 0 0 321180 56 0 0 20 0 1 0 236667859 201007104 45000 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 49074 45000 1248 3139 0 45362 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 196296 KiB
Current children cumulated memory: 180000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/250 182608
/proc/meminfo: memFree=98884128/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=200220 memory=183924 CPUtime=3272.17 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 95618 0 0 0 327160 57 0 0 20 0 1 0 236667859 205025280 45981 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50055 45981 1248 3139 0 46343 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 200220 KiB
Current children cumulated memory: 183924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/250 182610
/proc/meminfo: memFree=98892624/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=201736 memory=185440 CPUtime=3331.99 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 96913 0 0 0 333140 59 0 0 20 0 1 0 236667859 206577664 46360 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50434 46360 1248 3139 0 46722 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 201736 KiB
Current children cumulated memory: 185440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/250 182611
/proc/meminfo: memFree=98885120/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=201776 memory=185480 CPUtime=3391.8 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 98158 0 0 0 339119 61 0 0 20 0 1 0 236667859 206618624 46370 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50444 46370 1248 3139 0 46732 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 201776 KiB
Current children cumulated memory: 185480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/250 182613
/proc/meminfo: memFree=98890320/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=203304 memory=187008 CPUtime=3451.61 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 98561 0 0 0 345100 61 0 0 20 0 1 0 236667859 208183296 46752 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50826 46752 1248 3139 0 47114 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 203304 KiB
Current children cumulated memory: 187008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/250 182615
/proc/meminfo: memFree=98881656/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=207536 memory=191240 CPUtime=3511.43 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 100492 0 0 0 351079 64 0 0 20 0 1 0 236667859 212516864 47810 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 51884 47810 1248 3139 0 48172 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 207536 KiB
Current children cumulated memory: 191240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/251 182624
/proc/meminfo: memFree=98873860/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=202380 memory=186084 CPUtime=3571.25 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 101175 0 0 0 357060 65 0 0 20 0 1 0 236667859 207237120 46521 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 50595 46521 1248 3139 0 46883 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 202380 KiB
Current children cumulated memory: 186084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.09 4.10 4.13 5/251 182626
/proc/meminfo: memFree=98880828/131382116 swapFree=33010684/33010684
[pid=182387] ppid=182381 vsize=199252 memory=182956 CPUtime=3600.07 cores=0,2
/proc/182387/stat : 182387 (uwrmaxsat-scip) R 182381 182387 182330 0 -1 4194304 101587 0 0 0 359940 67 0 0 20 0 1 0 236667859 204034048 45739 18446744073709551615 4198400 17051741 140729304967568 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 27664384 140729304971576 140729304971746 140729304971746 140729304977350 0
/proc/182387/statm: 49813 45739 1248 3139 0 46101 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 199252 KiB
Current children cumulated memory: 182956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.671698 s

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

Child status: 0

Real time (s): 3611.2
CPU time (s): 3600.08
CPU user time (s): 3599.41
CPU system time (s): 0.671698
CPU usage (%): 99.692
Max. virtual memory (cumulated for all children) (KiB): 272580
Max. memory (cumulated for all children) (KiB): 256200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.671698
maximum resident set size= 256200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101587
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= 56
involuntary context switches= 7878


# summary of solver processes directly reported to runsolver:
#   pid: 182387
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.671698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5933 second user time and 34.1115 second system time

The end

Launcher Data

Begin job on nodeC011 at 2025-07-22 20:44:41
IDJOB=4541621
IDBENCH=163199
IDSOLVER=3373
FILE ID=nodeC011/4541621-1753209881
RUNJOBID= nodeC011-1753209881-182340
SLURM_JOB_ID= 9687771
Free space on /tmp= 432812 MiB

SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541621-1753209881/watcher-4541621-1753209881 -o /tmp/evaluation-result-4541621-1753209881/solver-4541621-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760  HOME/uwrmaxsat-scip HOME/instance-4541621-1753209881.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=942850719

nodeC011 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		: 1197.287
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	: 6984.20
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		: 1197.761
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	: 6984.20
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.851
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	: 6984.20
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.292
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	: 6984.20
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		: 3700.000
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	: 6984.20
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		: 1197.294
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	: 6984.20
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.295
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	: 6984.20
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		: 3700.000
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        99544764 kB
MemAvailable:   129865916 kB
Buffers:            3276 kB
Cached:         31091120 kB
SwapCached:            0 kB
Active:           587796 kB
Inactive:       30575444 kB
Active(anon):      92920 kB
Inactive(anon):     2076 kB
Active(file):     494876 kB
Inactive(file): 30573368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66416 kB
Writeback:             4 kB
AnonPages:         72028 kB
Mapped:           108472 kB
Shmem:             26152 kB
KReclaimable:     184688 kB
Slab:             278140 kB
SReclaimable:     184688 kB
SUnreclaim:        93452 kB
KernelStack:        3748 kB
PageTables:         2812 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     343536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432748 MiB
End job on nodeC011 at 2025-07-22 21:44:53