Trace number 4452894

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
Exact_veripb2 2024-07-05? (TO) 3600.08 3631.75

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
MD5SUM94622b8283878cd58e113c83df8c4b53
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 benchmark12.6419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables53655
Total number of constraints10732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints10724
Minimum length of a constraint5
Maximum length of a constraint15
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3631.70	c Program interrupted by user.
3600.04/3631.70	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: 64059 MiB (28462 MiB free)
  memory of node 1: 64510 MiB (49285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452894-1721839511/watcher-4452894-1721839511 -o /tmp/evaluation-result-4452894-1721839511/solver-4452894-1721839511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721831780-189352 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452894-1721839511 --seed=1490523764 HOME/instance-4452894-1721839511.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=194541, runsolver pid=194538


[startup+0.100105 s]*
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79562980/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=77380 memory=56364 CPUtime=0.11 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 10125 0 0 0 9 2 0 0 20 0 1 0 19940152 79237120 14091 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 19345 14091 899 1006 0 18106 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 77380 KiB
Current children cumulated memory: 56364 KiB

[startup+0.213518 s]*
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79545932/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=88976 memory=68432 CPUtime=0.21 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 13461 0 0 0 19 2 0 0 20 0 1 0 19940152 91111424 17108 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 22244 17108 915 1006 0 21005 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88976 KiB
Current children cumulated memory: 68432 KiB

[startup+0.31366 s]*
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79522808/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=116784 memory=96752 CPUtime=0.31 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 21080 0 0 0 28 3 0 0 20 0 1 0 19940152 119586816 24188 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 29196 24188 1059 1006 0 27957 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 96752 KiB

[startup+0.700286 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79499820/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=130152 memory=109604 CPUtime=0.68 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 24224 0 0 0 64 4 0 0 20 0 1 0 19940152 133275648 27401 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 32538 27401 1107 1006 0 31299 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130152 KiB
Current children cumulated memory: 109604 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79486992/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=132576 memory=116452 CPUtime=1.49 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 24857 0 0 0 144 5 0 0 20 0 1 0 19940152 135757824 29113 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 33144 29113 1139 1006 0 31905 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132576 KiB
Current children cumulated memory: 116452 KiB

[startup+3.11306 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 194542
/proc/meminfo: memFree=79400100/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=135460 memory=119320 CPUtime=3.09 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 25587 0 0 0 304 5 0 0 20 0 1 0 19940152 138711040 29830 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 33865 29830 1139 1006 0 32626 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 135460 KiB
Current children cumulated memory: 119320 KiB

[startup+6.30028 s]
/proc/loadavg: 4.15 4.16 4.17 6/253 194544
/proc/meminfo: memFree=79316264/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=141256 memory=125092 CPUtime=6.28 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 27034 0 0 0 621 7 0 0 20 0 1 0 19940152 144646144 31273 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 35314 31273 1139 1006 0 34075 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 141256 KiB
Current children cumulated memory: 125092 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.16 4.17 5/253 194544
/proc/meminfo: memFree=79125116/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=147360 memory=130828 CPUtime=12.65 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 28531 0 0 0 1257 8 0 0 20 0 1 0 19940152 150896640 32707 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 36840 32707 1139 1006 0 35601 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 130828 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.17 4.17 8/253 194547
/proc/meminfo: memFree=78798308/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=158168 memory=141580 CPUtime=25.41 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 31231 0 0 0 2527 14 0 0 20 0 1 0 19940152 161964032 35395 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 39542 35395 1139 1006 0 38303 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158168 KiB
Current children cumulated memory: 141580 KiB

[startup+51.1136 s]
/proc/loadavg: 4.19 4.17 4.17 5/252 194550
/proc/meminfo: memFree=78033132/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=175668 memory=160772 CPUtime=49.74 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 35507 0 0 0 4954 20 0 0 20 0 1 0 19940152 179884032 40193 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 120 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 43917 40193 1155 1006 0 42678 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 175668 KiB
Current children cumulated memory: 160772 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/257 194813
/proc/meminfo: memFree=80318008/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=197112 memory=182576 CPUtime=100.39 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 40974 0 0 0 10000 39 0 0 20 0 1 0 19940152 201842688 45644 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 158 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 49278 45644 1155 1006 0 48039 0
Current children cumulated CPU time: 100.39 s
Current children cumulated vsize: 197112 KiB
Current children cumulated memory: 182576 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/265 195255
/proc/meminfo: memFree=79186584/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=220468 memory=205212 CPUtime=160.18 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 46685 0 0 0 15957 61 0 0 20 0 1 0 19940152 225759232 51303 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 163 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 55117 51303 1155 1006 0 53878 0
Current children cumulated CPU time: 160.18 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 205212 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/261 195266
/proc/meminfo: memFree=77726092/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=243656 memory=228656 CPUtime=219.84 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) D 194538 194541 189340 0 -1 4194304 52513 0 0 0 21904 80 0 0 20 0 1 0 19940152 249503744 57164 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 177 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 60914 57164 1155 1006 0 59675 0
Current children cumulated CPU time: 219.84 s
Current children cumulated vsize: 243656 KiB
Current children cumulated memory: 228656 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.16 6/262 195311
/proc/meminfo: memFree=76406848/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=270276 memory=256532 CPUtime=279.52 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 59017 0 0 0 27853 99 0 0 20 0 1 0 19940152 276762624 64133 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 193 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 67569 64133 1155 1006 0 66330 0
Current children cumulated CPU time: 279.52 s
Current children cumulated vsize: 270276 KiB
Current children cumulated memory: 256532 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/269 195344
/proc/meminfo: memFree=75136940/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=284364 memory=271216 CPUtime=337.92 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 62675 0 0 0 33677 115 0 0 20 0 1 0 19940152 291188736 67804 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 334 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 71091 67804 1155 1006 0 69852 0
Current children cumulated CPU time: 337.92 s
Current children cumulated vsize: 284364 KiB
Current children cumulated memory: 271216 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/269 195356
/proc/meminfo: memFree=73688616/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=296524 memory=284276 CPUtime=397.41 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 65733 0 0 0 39599 142 0 0 20 0 1 0 19940152 303640576 71069 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 360 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 74131 71069 1155 1006 0 72892 0
Current children cumulated CPU time: 397.41 s
Current children cumulated vsize: 296524 KiB
Current children cumulated memory: 284276 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/254 195367
/proc/meminfo: memFree=72323720/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=317248 memory=305828 CPUtime=456.87 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 70985 0 0 0 45525 162 0 0 20 0 1 0 19940152 324861952 76457 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 392 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 79312 76457 1155 1006 0 78073 0

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

Current children cumulated memory: 707700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.17 4.17 4/267 197123
/proc/meminfo: memFree=4429300/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=720136 memory=707700 CPUtime=2895.21 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 177431 0 0 0 288664 857 0 0 20 0 1 0 19940152 737419264 176925 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1890 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 180034 176925 1200 1006 0 178795 0
Current children cumulated CPU time: 2895.21 s
Current children cumulated vsize: 720136 KiB
Current children cumulated memory: 707700 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.18 4.18 6/266 197133
/proc/meminfo: memFree=2510176/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=720136 memory=707700 CPUtime=2955.04 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 177495 0 0 0 294624 880 0 0 20 0 1 0 19940152 737419264 176925 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1890 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 180034 176925 1200 1006 0 178795 0
Current children cumulated CPU time: 2955.04 s
Current children cumulated vsize: 720136 KiB
Current children cumulated memory: 707700 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 197145
/proc/meminfo: memFree=982708/131655788 swapFree=131063676/131071996
[pid=194541] ppid=194538 vsize=720724 memory=709572 CPUtime=3014.86 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 177624 0 0 0 300583 903 0 0 20 0 1 0 19940152 738021376 177393 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1890 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 180181 177393 1200 1006 0 178942 0
Current children cumulated CPU time: 3014.86 s
Current children cumulated vsize: 720724 KiB
Current children cumulated memory: 709572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/264 197157
/proc/meminfo: memFree=599336/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=721676 memory=712144 CPUtime=3074.69 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 178335 0 0 0 306552 917 0 0 20 0 1 0 19940152 738996224 178036 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1890 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 180419 178036 1200 1006 0 179180 0
Current children cumulated CPU time: 3074.69 s
Current children cumulated vsize: 721676 KiB
Current children cumulated memory: 712144 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/261 197167
/proc/meminfo: memFree=533344/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=751220 memory=742212 CPUtime=3134.22 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) D 194538 194541 189340 0 -1 4194304 185772 0 0 0 312486 936 0 0 20 0 1 0 19940152 769249280 185553 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1896 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 187805 185553 1200 1006 0 186566 0
Current children cumulated CPU time: 3134.22 s
Current children cumulated vsize: 751220 KiB
Current children cumulated memory: 742212 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/265 197188
/proc/meminfo: memFree=614604/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=769240 memory=760112 CPUtime=3193.72 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 190620 0 0 0 318414 958 0 0 20 0 1 0 19940152 787701760 190028 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1954 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 192310 190028 1200 1006 0 191071 0
Current children cumulated CPU time: 3193.72 s
Current children cumulated vsize: 769240 KiB
Current children cumulated memory: 760112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/263 197199
/proc/meminfo: memFree=649468/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=790620 memory=780380 CPUtime=3253.39 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 196055 0 0 0 324365 974 0 0 20 0 1 0 19940152 809594880 195095 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1970 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 197655 195095 1200 1006 0 196416 0
Current children cumulated CPU time: 3253.39 s
Current children cumulated vsize: 790620 KiB
Current children cumulated memory: 780380 KiB

[startup+3342.3 s]
/proc/loadavg: 5.07 4.40 4.25 5/267 197217
/proc/meminfo: memFree=542380/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=812408 memory=801968 CPUtime=3312.97 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 201780 0 0 0 330302 995 0 0 20 0 1 0 19940152 831905792 200492 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1995 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 203102 200492 1200 1006 0 201863 0
Current children cumulated CPU time: 3312.97 s
Current children cumulated vsize: 812408 KiB
Current children cumulated memory: 801968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.99 4.52 4.30 4/268 197231
/proc/meminfo: memFree=687300/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=826264 memory=815724 CPUtime=3372.59 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 205360 0 0 0 336244 1015 0 0 20 0 1 0 19940152 846094336 203931 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2015 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 206566 203931 1200 1006 0 205327 0
Current children cumulated CPU time: 3372.59 s
Current children cumulated vsize: 826264 KiB
Current children cumulated memory: 815724 KiB

[startup+3462.3 s]
/proc/loadavg: 3.93 4.31 4.24 4/263 197274
/proc/meminfo: memFree=56267352/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=833464 memory=823068 CPUtime=3432.08 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 207497 0 0 0 342179 1029 0 0 20 0 1 0 19940152 853467136 205767 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2050 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 208366 205767 1200 1006 0 207127 0
Current children cumulated CPU time: 3432.08 s
Current children cumulated vsize: 833464 KiB
Current children cumulated memory: 823068 KiB

[startup+3522.3 s]
/proc/loadavg: 3.34 4.07 4.16 4/263 197284
/proc/meminfo: memFree=55386012/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=840864 memory=830148 CPUtime=3491.35 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 209598 0 0 0 348090 1045 0 0 20 0 1 0 19940152 861044736 207537 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2108 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 210216 207537 1200 1006 0 208977 0
Current children cumulated CPU time: 3491.35 s
Current children cumulated vsize: 840864 KiB
Current children cumulated memory: 830148 KiB

[startup+3582.3 s]
/proc/loadavg: 3.26 3.92 4.10 4/259 197295
/proc/meminfo: memFree=54525512/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=851152 memory=840128 CPUtime=3550.91 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 212447 0 0 0 354033 1058 0 0 20 0 1 0 19940152 871579648 210032 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2138 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 212788 210032 1200 1006 0 211549 0
Current children cumulated CPU time: 3550.91 s
Current children cumulated vsize: 851152 KiB
Current children cumulated memory: 840128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631.7 s]
/proc/loadavg: 3.17 3.79 4.05 4/259 197303
/proc/meminfo: memFree=53899960/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=854388 memory=843372 CPUtime=3600.04 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 213594 0 0 0 358936 1068 0 0 20 0 1 0 19940152 874893312 210843 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2151 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 213597 210843 1200 1006 0 212358 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 854388 KiB
Current children cumulated memory: 843372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.39 s, system=10.6938 s

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

[startup+3631.7 s]
/proc/loadavg: 3.17 3.79 4.05 4/259 197303
/proc/meminfo: memFree=53899960/131655788 swapFree=131062644/131071996
[pid=194541] ppid=194538 vsize=854388 memory=843372 CPUtime=3600.04 cores=1,3
/proc/194541/stat : 194541 (Exact_veripb2) R 194538 194541 189340 0 -1 4194304 213594 0 0 0 358936 1068 0 0 20 0 1 0 19940152 874893312 210843 134679101440 4194304 8311665 140730218707584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2151 0 0 9173656 9252184 37175296 140730218713928 140730218714208 140730218714208 140730218721223 0
/proc/194541/statm: 213597 210843 1200 1006 0 212358 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 854388 KiB
Current children cumulated memory: 843372 KiB

Child status: 0

Real time (s): 3631.75
CPU time (s): 3600.08
CPU user time (s): 3589.39
CPU system time (s): 10.6938
CPU usage (%): 99.1279
Max. virtual memory (cumulated for all children) (KiB): 854388
Max. memory (cumulated for all children) (KiB): 843372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.39
system time used= 10.6938
maximum resident set size= 843372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16813536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 432
involuntary context switches= 4750


# summary of solver processes directly reported to runsolver:
#   pid: 194541
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3589.39
#   total CPU system time (s): 10.6938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9169 second user time and 35.8576 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 18:45:11
IDJOB=4452894
IDBENCH=165345
IDSOLVER=3081
FILE ID=nodeC003/4452894-1721839511
RUNJOBID= nodeC003-1721831780-189352
SLURM_JOB_ID= 7891521
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452894-1721839511/watcher-4452894-1721839511 -o /tmp/evaluation-result-4452894-1721839511/solver-4452894-1721839511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721831780-189352 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452894-1721839511 --seed=1490523764 HOME/instance-4452894-1721839511.opb

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

MD5SUM BENCH= 94622b8283878cd58e113c83df8c4b53
RANDOM SEED=1490523764

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3684.834
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 3092.993
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.579
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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.274
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3684.938
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 3645.241
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.527
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 1197.515
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        79615584 kB
MemAvailable:   129168584 kB
Buffers:          271828 kB
Cached:         49808808 kB
SwapCached:          800 kB
Active:          2566208 kB
Inactive:       48447968 kB
Active(anon):       2084 kB
Inactive(anon):   984788 kB
Active(file):    2564124 kB
Inactive(file): 47463180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:            222552 kB
Writeback:            44 kB
AnonPages:        932728 kB
Mapped:           120588 kB
Shmem:             53532 kB
KReclaimable:     587440 kB
Slab:             708784 kB
SReclaimable:     587440 kB
SUnreclaim:       121344 kB
KernelStack:        4080 kB
PageTables:        11348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1351848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC003 at 2024-07-24 19:45:43