Trace number 4542010

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 2025-06-04? (TO) 3600.09 3610.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
MD5SUM808e9faff4b516f7872d7344d1ed451f
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 benchmark1.23401
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1562
Total number of constraints1982
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints530
Minimum length of a constraint2
Maximum length of a constraint528
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 8796093022208
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 35184372088831
Number of bits of the biggest sum of numbers45
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.01	c Converting 2511 PB-constraints to clauses...
0.00/0.09	c ============================[ Encoding Statistics ]============================
0.00/0.09	c |  Number of variables:          6489                                         |
0.00/0.09	c |  Number of clauses:           31222                                         |
0.00/0.09	c ===============================================================================
3600.07/3610.40	c *** TERMINATED by signal 15 ***
3600.07/3610.40	c _______________________________________________________________________________
3600.07/3610.40	c 
3600.07/3610.40	c _______________________________________________________________________________
3600.07/3610.40	c 
3600.07/3610.40	c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3610.40	c Memory used            : 220.00 MB
3600.07/3610.40	c CPU time               : 3598.84 s
3600.07/3610.40	c Constr Enc: Srt/BDD/Add: 530 0 0
3600.07/3610.40	c _______________________________________________________________________________
3600.07/3610.40	c _______________________________________________________________________________
3600.07/3610.40	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: 63665 MiB (62634 MiB free)
  memory of node 1: 64507 MiB (63596 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542010-1753213494/watcher-4542010-1753213494 -o /tmp/evaluation-result-4542010-1753213494/solver-4542010-1753213494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163445 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4542010-1753213494.opb -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=163851, runsolver pid=163847
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.12 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129243296/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=12236 memory=11308 CPUtime=0.1 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 2726 0 0 0 10 0 0 0 20 0 1 0 237027179 12529664 2827 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 3059 2827 512 484 0 2470 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 12236 KiB
Current children cumulated memory: 11308 KiB

[startup+0.205483 s]*
/proc/loadavg: 4.12 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129215840/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=14400 memory=13100 CPUtime=0.2 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 3192 0 0 0 20 0 0 0 20 0 1 0 237027179 14745600 3275 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 3600 3275 512 484 0 3011 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 14400 KiB
Current children cumulated memory: 13100 KiB

[startup+0.305423 s]*
/proc/loadavg: 4.12 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129189316/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=14560 memory=13336 CPUtime=0.3 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 3547 0 0 0 30 0 0 0 20 0 1 0 237027179 14909440 3334 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 3640 3334 512 484 0 3051 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14560 KiB
Current children cumulated memory: 13336 KiB

[startup+0.700168 s]
/proc/loadavg: 4.12 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129144080/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=15436 memory=14232 CPUtime=0.69 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 4628 0 0 0 69 0 0 0 20 0 1 0 237027179 15806464 3558 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 3859 3558 512 484 0 3270 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 15436 KiB
Current children cumulated memory: 14232 KiB

[startup+1.50015 s]
/proc/loadavg: 4.12 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129095880/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=18120 memory=17124 CPUtime=1.48 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 5774 0 0 0 148 0 0 0 20 0 1 0 237027179 18554880 4281 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 4530 4281 512 484 0 3941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18120 KiB
Current children cumulated memory: 17124 KiB

[startup+3.10538 s]
/proc/loadavg: 4.11 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129092036/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=21188 memory=20196 CPUtime=3.09 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 7076 0 0 0 308 1 0 0 20 0 1 0 237027179 21696512 5049 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 5297 5049 512 484 0 4708 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 21188 KiB
Current children cumulated memory: 20196 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.09 4.05 6/266 163874
/proc/meminfo: memFree=129086852/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=22152 memory=21208 CPUtime=6.27 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 8814 0 0 0 626 1 0 0 20 0 1 0 237027179 22683648 5302 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 5538 5302 512 484 0 4949 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 22152 KiB
Current children cumulated memory: 21208 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.05 5/266 163874
/proc/meminfo: memFree=129077244/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=29104 memory=28036 CPUtime=12.66 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 10611 0 0 0 1264 2 0 0 20 0 1 0 237027179 29802496 7009 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 7276 7009 512 484 0 6687 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29104 KiB
Current children cumulated memory: 28036 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.08 4.05 5/266 163874
/proc/meminfo: memFree=129055624/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=28352 memory=27356 CPUtime=25.41 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 13122 0 0 0 2539 2 0 0 20 0 1 0 237027179 29032448 6839 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 7088 6839 512 484 0 6499 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 28352 KiB
Current children cumulated memory: 27356 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.09 4.05 5/265 163875
/proc/meminfo: memFree=129015060/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=41060 memory=40024 CPUtime=50.94 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 16669 0 0 0 5091 3 0 0 20 0 1 0 237027179 42045440 10006 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 10265 10006 512 484 0 9676 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 41060 KiB
Current children cumulated memory: 40024 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/265 163877
/proc/meminfo: memFree=128952500/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=53296 memory=52184 CPUtime=102 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 21995 0 0 0 10194 6 0 0 20 0 1 0 237027179 54575104 13046 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 13324 13046 512 484 0 12735 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 53296 KiB
Current children cumulated memory: 52184 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.05 5/265 163879
/proc/meminfo: memFree=128920900/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=59952 memory=58840 CPUtime=161.84 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 25103 0 0 0 16177 7 0 0 20 0 1 0 237027179 61390848 14710 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 14988 14710 512 484 0 14399 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 59952 KiB
Current children cumulated memory: 58840 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/266 163884
/proc/meminfo: memFree=128786684/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=57196 memory=56332 CPUtime=221.65 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 26967 0 0 0 22158 7 0 0 20 0 1 0 237027179 58568704 14083 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 14299 14083 512 484 0 13710 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 57196 KiB
Current children cumulated memory: 56332 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/267 163891
/proc/meminfo: memFree=128781988/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=73284 memory=72112 CPUtime=281.46 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 33691 0 0 0 28135 11 0 0 20 0 1 0 237027179 75042816 18028 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 18321 18028 512 484 0 17732 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 73284 KiB
Current children cumulated memory: 72112 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.06 6/265 163893
/proc/meminfo: memFree=128789160/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=84656 memory=83612 CPUtime=341.27 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 37191 0 0 0 34114 13 0 0 20 0 1 0 237027179 86687744 20903 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 21164 20903 512 484 0 20575 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 84656 KiB
Current children cumulated memory: 83612 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/265 163895
/proc/meminfo: memFree=128738636/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=100776 memory=99668 CPUtime=401.08 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 37667 0 0 0 40094 14 0 0 20 0 1 0 237027179 103194624 24917 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 25194 24917 512 484 0 24605 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 100776 KiB
Current children cumulated memory: 99668 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.06 6/265 163897
/proc/meminfo: memFree=128685140/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=99684 memory=98648 CPUtime=460.89 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 41387 0 0 0 46074 15 0 0 20 0 1 0 237027179 102076416 24662 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 24921 24662 512 484 0 24332 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 167076 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.14 4.10 6/266 164023
/proc/meminfo: memFree=128463032/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=162232 memory=161220 CPUtime=2854.09 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 99995 0 0 0 285316 93 0 0 20 0 1 0 237027179 166125568 40305 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 40558 40305 512 484 0 39969 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 162232 KiB
Current children cumulated memory: 161220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 164025
/proc/meminfo: memFree=128462976/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=160600 memory=159588 CPUtime=2913.91 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 101996 0 0 0 291296 95 0 0 20 0 1 0 237027179 164454400 39897 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 40150 39897 512 484 0 39561 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 160600 KiB
Current children cumulated memory: 159588 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/266 164027
/proc/meminfo: memFree=128460404/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=167872 memory=166860 CPUtime=2973.75 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 103445 0 0 0 297276 99 0 0 20 0 1 0 237027179 171900928 41715 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41968 41715 512 484 0 41379 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 167872 KiB
Current children cumulated memory: 166860 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 164029
/proc/meminfo: memFree=128440016/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=168540 memory=167528 CPUtime=3033.59 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 104481 0 0 0 303258 101 0 0 20 0 1 0 237027179 172584960 41882 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 42135 41882 512 484 0 41546 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 168540 KiB
Current children cumulated memory: 167528 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/265 164030
/proc/meminfo: memFree=128444792/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=165232 memory=164220 CPUtime=3093.42 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 106081 0 0 0 309239 103 0 0 20 0 1 0 237027179 169197568 41055 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41308 41055 512 484 0 40719 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 165232 KiB
Current children cumulated memory: 164220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 164032
/proc/meminfo: memFree=128459940/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=161632 memory=160620 CPUtime=3153.25 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 107663 0 0 0 315219 106 0 0 20 0 1 0 237027179 165511168 40155 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 40408 40155 512 484 0 39819 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 161632 KiB
Current children cumulated memory: 160620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 164036
/proc/meminfo: memFree=128463976/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=164340 memory=163328 CPUtime=3213.08 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 108857 0 0 0 321200 108 0 0 20 0 1 0 237027179 168284160 40832 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41085 40832 512 484 0 40496 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 164340 KiB
Current children cumulated memory: 163328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 164043
/proc/meminfo: memFree=128429112/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=172460 memory=171556 CPUtime=3272.92 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 110522 0 0 0 327181 111 0 0 20 0 1 0 237027179 176599040 42889 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 43115 42889 512 484 0 42526 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 172460 KiB
Current children cumulated memory: 171556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/265 164046
/proc/meminfo: memFree=128410404/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=170068 memory=169056 CPUtime=3332.75 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 111527 0 0 0 333162 113 0 0 20 0 1 0 237027179 174149632 42264 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 42517 42264 512 484 0 41928 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 170068 KiB
Current children cumulated memory: 169056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 164049
/proc/meminfo: memFree=128398636/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=164588 memory=163576 CPUtime=3392.57 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 112662 0 0 0 339143 114 0 0 20 0 1 0 237027179 168538112 40894 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41147 40894 512 484 0 40558 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 164588 KiB
Current children cumulated memory: 163576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/266 164051
/proc/meminfo: memFree=128400000/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=165136 memory=164124 CPUtime=3452.41 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 114090 0 0 0 345123 118 0 0 20 0 1 0 237027179 169099264 41031 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41284 41031 512 484 0 40695 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 165136 KiB
Current children cumulated memory: 164124 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 164053
/proc/meminfo: memFree=128401140/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=166148 memory=165136 CPUtime=3512.23 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 115480 0 0 0 351103 120 0 0 20 0 1 0 237027179 170135552 41284 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41537 41284 512 484 0 40948 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 166148 KiB
Current children cumulated memory: 165136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/265 164055
/proc/meminfo: memFree=128439464/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=166340 memory=165364 CPUtime=3572.06 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 117232 0 0 0 357083 123 0 0 20 0 1 0 237027179 170332160 41341 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 41585 41341 512 484 0 40996 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 165364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.07 4.09 4.09 4/261 164065
/proc/meminfo: memFree=128561828/131249996 swapFree=33010416/33010684
[pid=163851] ppid=163847 vsize=161916 memory=160904 CPUtime=3600.07 cores=0,2
/proc/163851/stat : 163851 (uwrmaxsat) R 163847 163851 163435 0 -1 4194304 117785 0 0 0 359883 124 0 0 20 0 1 0 237027179 165801984 40226 18446744073709551615 4198400 6176925 140729931534080 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 18554880 140729931536744 140729931536871 140729931536871 140729931542475 0
/proc/163851/statm: 40479 40226 512 484 0 39890 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 161916 KiB
Current children cumulated memory: 160904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.249 s

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

Child status: 0

Real time (s): 3610.4
CPU time (s): 3600.09
CPU user time (s): 3598.84
CPU system time (s): 1.249
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 225392
Max. memory (cumulated for all children) (KiB): 224308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.249
maximum resident set size= 224308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117785
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= 21
involuntary context switches= 4699


# summary of solver processes directly reported to runsolver:
#   pid: 163851
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44997 second user time and 17.0441 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-22 21:44:54
IDJOB=4542010
IDBENCH=163705
IDSOLVER=3372
FILE ID=nodeC017/4542010-1753213494
RUNJOBID= nodeC017-1753209881-163445
SLURM_JOB_ID= 9687774
Free space on /tmp= 433048 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-22diag_spec_greater.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542010-1753213494/watcher-4542010-1753213494 -o /tmp/evaluation-result-4542010-1753213494/solver-4542010-1753213494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163445 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4542010-1753213494.opb -mem-lim=31000

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

MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=684873033

nodeC017 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	: 0xb00002a
cpu MHz		: 3600.501
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3341.881
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.089
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 1527.417
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.131
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 1738.474
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.087
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 1208.950
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129267588 kB
MemAvailable:   129677860 kB
Buffers:            1688 kB
Cached:          1177660 kB
SwapCached:           32 kB
Active:          1045840 kB
Inactive:         203848 kB
Active(anon):      72556 kB
Inactive(anon):    24108 kB
Active(file):     973284 kB
Inactive(file):   179740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2804 kB
Writeback:            16 kB
AnonPages:         73068 kB
Mapped:           109024 kB
Shmem:             26240 kB
KReclaimable:     192572 kB
Slab:             287944 kB
SReclaimable:     192572 kB
SUnreclaim:        95372 kB
KernelStack:        4028 kB
PageTables:         3012 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC017 at 2025-07-22 22:45:05