Trace number 4541698

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.06 3610.8

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-26array_diag_greater.opb
MD5SUMdba81c8b2aded5f1a3d2b088b53137dc
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.658617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3484
Total number of constraints3485
Number of constraints which are clauses2028
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1457
Minimum length of a constraint2
Maximum length of a constraint104
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 2251799813685248
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 9007199254740991
Number of bits of the biggest sum of numbers53
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.02	c Converting 4941 PB-constraints to clauses...
0.00/0.06	c ============================[ Encoding Statistics ]============================
0.00/0.06	c |  Number of variables:          6186                                         |
0.00/0.06	c |  Number of clauses:           22982                                         |
0.00/0.06	c ===============================================================================
3600.04/3610.80	c *** TERMINATED by signal 15 ***
3600.04/3610.80	c _______________________________________________________________________________
3600.04/3610.80	c 
3600.04/3610.80	c _______________________________________________________________________________
3600.04/3610.80	c 
3600.04/3610.80	c =======================[ UWrMaxSat resources usage ]===========================
3600.04/3610.80	c Memory used            : 203.00 MB
3600.04/3610.80	c CPU time               : 3599.33 s
3600.04/3610.80	c Constr Enc: Srt/BDD/Add: 1457 0 0
3600.04/3610.80	c _______________________________________________________________________________
3600.04/3610.80	c _______________________________________________________________________________
3600.04/3610.80	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 (62588 MiB free)
  memory of node 1: 64507 MiB (63587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541698-1753209881/watcher-4541698-1753209881 -o /tmp/evaluation-result-4541698-1753209881/solver-4541698-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163448 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4541698-1753209881.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=163504, runsolver pid=163488
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129178844/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=12988 memory=11876 CPUtime=0.1 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 2902 0 0 0 10 0 0 0 20 0 1 0 236665870 13299712 2969 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 3247 2969 544 484 0 2658 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 12988 KiB
Current children cumulated memory: 11876 KiB

[startup+0.204766 s]*
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129174560/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=13788 memory=12716 CPUtime=0.2 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 3933 0 0 0 20 0 0 0 20 0 1 0 236665870 14118912 3179 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 3447 3179 544 484 0 2858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13788 KiB
Current children cumulated memory: 12716 KiB

[startup+0.30462 s]*
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129178844/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=14580 memory=13316 CPUtime=0.3 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 4332 0 0 0 30 0 0 0 20 0 1 0 236665870 14929920 3329 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 3645 3329 544 484 0 3056 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14580 KiB
Current children cumulated memory: 13316 KiB

[startup+0.700123 s]
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129182372/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=16376 memory=15108 CPUtime=0.69 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 4781 0 0 0 69 0 0 0 20 0 1 0 236665870 16769024 3777 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 4094 3777 544 484 0 3505 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 16376 KiB
Current children cumulated memory: 15108 KiB

[startup+1.50013 s]
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129179348/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=16372 memory=15100 CPUtime=1.48 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 6300 0 0 0 148 0 0 0 20 0 1 0 236665870 16764928 3775 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 4093 3775 544 484 0 3504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 16372 KiB
Current children cumulated memory: 15100 KiB

[startup+3.10508 s]
/proc/loadavg: 0.83 1.14 2.08 6/264 163505
/proc/meminfo: memFree=129166480/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=15952 memory=14816 CPUtime=3.08 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 7382 0 0 0 308 0 0 0 20 0 1 0 236665870 16334848 3704 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 3988 3704 544 484 0 3399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 15952 KiB
Current children cumulated memory: 14816 KiB

[startup+6.30013 s]
/proc/loadavg: 1.08 1.18 2.09 6/264 163505
/proc/meminfo: memFree=129156636/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=20532 memory=19144 CPUtime=6.27 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 10930 0 0 0 626 1 0 0 20 0 1 0 236665870 21024768 4786 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 5133 4786 544 484 0 4544 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 20532 KiB
Current children cumulated memory: 19144 KiB

[startup+12.7001 s]
/proc/loadavg: 1.31 1.23 2.10 6/264 163505
/proc/meminfo: memFree=129148888/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=23900 memory=22600 CPUtime=12.65 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 13286 0 0 0 1264 1 0 0 20 0 1 0 236665870 24473600 5650 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 5975 5650 544 484 0 5386 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23900 KiB
Current children cumulated memory: 22600 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.37 2.13 6/264 163506
/proc/meminfo: memFree=129124108/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=32504 memory=31248 CPUtime=25.41 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 17604 0 0 0 2539 2 0 0 20 0 1 0 236665870 33284096 7812 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 8126 7812 544 484 0 7537 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 32504 KiB
Current children cumulated memory: 31248 KiB

[startup+51.1051 s]
/proc/loadavg: 2.62 1.58 2.18 6/264 163506
/proc/meminfo: memFree=129117036/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=31456 memory=30264 CPUtime=50.94 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 21646 0 0 0 5091 3 0 0 20 0 1 0 236665870 32210944 7566 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 7864 7566 544 484 0 7275 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 31456 KiB
Current children cumulated memory: 30264 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.97 2.28 6/264 163508
/proc/meminfo: memFree=129086948/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=35000 memory=33760 CPUtime=101.98 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 27126 0 0 0 10192 6 0 0 20 0 1 0 236665870 35840000 8440 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 8750 8440 544 484 0 8161 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 35000 KiB
Current children cumulated memory: 33760 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.36 2.40 6/264 163510
/proc/meminfo: memFree=129045860/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=49428 memory=48152 CPUtime=161.81 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 30753 0 0 0 16174 7 0 0 20 0 1 0 236665870 50614272 12038 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 12357 12038 544 484 0 11768 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 49428 KiB
Current children cumulated memory: 48152 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.69 2.51 6/265 163515
/proc/meminfo: memFree=128985028/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=48504 memory=47328 CPUtime=221.62 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 34206 0 0 0 22154 8 0 0 20 0 1 0 236665870 49668096 11832 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 12126 11832 544 484 0 11537 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 48504 KiB
Current children cumulated memory: 47328 KiB

[startup+282.3 s]
/proc/loadavg: 4.01 2.93 2.61 6/266 163522
/proc/meminfo: memFree=129000524/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=70112 memory=68892 CPUtime=281.44 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 38959 0 0 0 28134 10 0 0 20 0 1 0 236665870 71794688 17223 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 17528 17223 544 484 0 16939 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 70112 KiB
Current children cumulated memory: 68892 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.16 2.71 6/265 163524
/proc/meminfo: memFree=128955576/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=91004 memory=89768 CPUtime=341.27 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 41272 0 0 0 34115 12 0 0 20 0 1 0 236665870 93188096 22442 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 22751 22442 544 484 0 22162 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 91004 KiB
Current children cumulated memory: 89768 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.33 2.80 6/265 163526
/proc/meminfo: memFree=128963880/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=65784 memory=64544 CPUtime=401.09 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 42506 0 0 0 40097 12 0 0 20 0 1 0 236665870 67362816 16136 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 16446 16136 544 484 0 15857 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 65784 KiB
Current children cumulated memory: 64544 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.47 2.88 6/265 163528
/proc/meminfo: memFree=128911476/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=66380 memory=65184 CPUtime=460.92 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 47157 0 0 0 46079 13 0 0 20 0 1 0 236665870 67973120 16296 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 16595 16296 544 484 0 16006 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 148852 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.03 6/266 163654
/proc/meminfo: memFree=128630416/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=147096 memory=145948 CPUtime=2853.74 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 93133 0 0 0 285327 47 0 0 20 0 1 0 236665870 150626304 36487 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 36774 36487 544 484 0 36185 0
Current children cumulated CPU time: 2853.74 s
Current children cumulated vsize: 147096 KiB
Current children cumulated memory: 145948 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/268 163659
/proc/meminfo: memFree=128615712/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=147336 memory=146188 CPUtime=2913.57 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 94247 0 0 0 291307 50 0 0 20 0 1 0 236665870 150872064 36547 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 36834 36547 544 484 0 36245 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 147336 KiB
Current children cumulated memory: 146188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/267 163661
/proc/meminfo: memFree=128586660/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=150868 memory=149720 CPUtime=2973.39 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 96260 0 0 0 297287 52 0 0 20 0 1 0 236665870 154488832 37430 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 37717 37430 544 484 0 37128 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 150868 KiB
Current children cumulated memory: 149720 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/268 163664
/proc/meminfo: memFree=128573536/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=154516 memory=153368 CPUtime=3033.21 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 97994 0 0 0 303266 55 0 0 20 0 1 0 236665870 158224384 38342 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 38629 38342 544 484 0 38040 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 154516 KiB
Current children cumulated memory: 153368 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.04 6/268 163666
/proc/meminfo: memFree=128589736/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=147516 memory=146368 CPUtime=3093.03 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 100153 0 0 0 309245 58 0 0 20 0 1 0 236665870 151056384 36592 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 36879 36592 544 484 0 36290 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 147516 KiB
Current children cumulated memory: 146368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/268 163668
/proc/meminfo: memFree=128593704/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=148920 memory=147772 CPUtime=3152.86 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 102004 0 0 0 315226 60 0 0 20 0 1 0 236665870 152494080 36943 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 37230 36943 544 484 0 36641 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 148920 KiB
Current children cumulated memory: 147772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/264 163672
/proc/meminfo: memFree=128601040/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=148120 memory=146972 CPUtime=3212.68 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 103776 0 0 0 321206 62 0 0 20 0 1 0 236665870 151674880 36743 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 37030 36743 544 484 0 36441 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 148120 KiB
Current children cumulated memory: 146972 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.05 6/265 163679
/proc/meminfo: memFree=128574036/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=152024 memory=150876 CPUtime=3272.5 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 105712 0 0 0 327186 64 0 0 20 0 1 0 236665870 155672576 37719 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 38006 37719 544 484 0 37417 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 152024 KiB
Current children cumulated memory: 150876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.04 6/265 163682
/proc/meminfo: memFree=128593452/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=153092 memory=151944 CPUtime=3332.33 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 107268 0 0 0 333167 66 0 0 20 0 1 0 236665870 156766208 37986 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 38273 37986 544 484 0 37684 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 153092 KiB
Current children cumulated memory: 151944 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.05 6/265 163684
/proc/meminfo: memFree=128606140/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=151296 memory=150148 CPUtime=3392.16 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 109050 0 0 0 339148 68 0 0 20 0 1 0 236665870 154927104 37537 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 37824 37537 544 484 0 37235 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 151296 KiB
Current children cumulated memory: 150148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.05 6/265 163686
/proc/meminfo: memFree=128622312/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=113692 memory=112544 CPUtime=3451.97 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 109942 0 0 0 345129 68 0 0 20 0 1 0 236665870 116420608 28136 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 28423 28136 544 484 0 27834 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 113692 KiB
Current children cumulated memory: 112544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/265 163688
/proc/meminfo: memFree=128577032/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=154608 memory=153460 CPUtime=3511.8 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 110957 0 0 0 351110 70 0 0 20 0 1 0 236665870 158318592 38365 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 38652 38365 544 484 0 38063 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 154608 KiB
Current children cumulated memory: 153460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 6/264 163689
/proc/meminfo: memFree=128607532/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=113692 memory=112544 CPUtime=3571.63 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 111889 0 0 0 357092 71 0 0 20 0 1 0 236665870 116420608 28136 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 28423 28136 544 484 0 27834 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 113692 KiB
Current children cumulated memory: 112544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.13 4.10 4.05 5/261 163700
/proc/meminfo: memFree=128792668/131249996 swapFree=33010416/33010684
[pid=163504] ppid=163488 vsize=154868 memory=153720 CPUtime=3600.04 cores=5,7
/proc/163504/stat : 163504 (uwrmaxsat) R 163488 163504 163435 0 -1 4194304 113023 0 0 0 359932 72 0 0 20 0 1 0 236665870 158584832 38430 18446744073709551615 4198400 6176925 140735907222752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 17219584 140735907228008 140735907228135 140735907228135 140735907233739 0
/proc/163504/statm: 38717 38430 544 484 0 38128 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 154868 KiB
Current children cumulated memory: 153720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.33 s, system=0.727685 s

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

Child status: 0

Real time (s): 3610.8
CPU time (s): 3600.06
CPU user time (s): 3599.33
CPU system time (s): 0.727685
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 208688
Max. memory (cumulated for all children) (KiB): 207456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.727685
maximum resident set size= 207456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113023
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= 29
involuntary context switches= 18836


# summary of solver processes directly reported to runsolver:
#   pid: 163504
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.33
#   total CPU system time (s): 0.727685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79764 second user time and 15.8383 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-22 20:44:41
IDJOB=4541698
IDBENCH=163331
IDSOLVER=3372
FILE ID=nodeC017/4541698-1753209881
RUNJOBID= nodeC017-1753209881-163448
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/array_diag/normalized-26array_diag_greater.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541698-1753209881/watcher-4541698-1753209881 -o /tmp/evaluation-result-4541698-1753209881/solver-4541698-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163448 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4541698-1753209881.opb -mem-lim=31000

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

MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=942850719

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.320
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		: 3600.733
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.217
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		: 3600.171
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.488
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		: 3600.758
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.368
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		: 3600.150
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:        129216476 kB
MemAvailable:   129633036 kB
Buffers:            1688 kB
Cached:          1183884 kB
SwapCached:           32 kB
Active:          1045640 kB
Inactive:         210176 kB
Active(anon):      72376 kB
Inactive(anon):    24108 kB
Active(file):     973264 kB
Inactive(file):   186068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10376 kB
Writeback:             0 kB
AnonPages:         73272 kB
Mapped:           108088 kB
Shmem:             26240 kB
KReclaimable:     192536 kB
Slab:             286996 kB
SReclaimable:     192536 kB
SUnreclaim:        94460 kB
KernelStack:        4008 kB
PageTables:         2420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 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 21:44:52