Trace number 4450913

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_no_SoPlex 2024-07-05? (TO) 3600.02 3686.08

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
MD5SUM02e0faaef515678e6aa0f4acf19b43a4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark402.364
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3686.00	c Program interrupted by user.
3600.01/3686.00	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: 63968 MiB (12180 MiB free)
  memory of node 1: 64473 MiB (52390 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450913-1721836617/watcher-4450913-1721836617 -o /tmp/evaluation-result-4450913-1721836617/solver-4450913-1721836617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721828994-189416 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450913-1721836617 --seed=326226823 HOME/instance-4450913-1721836617.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=194539, runsolver pid=194536

[startup+0.10009 s]*
/proc/loadavg: 4.18 4.18 4.18 5/262 194540
/proc/meminfo: memFree=66109664/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=32300 memory=11332 CPUtime=0.1 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 2783 0 0 0 10 0 0 0 20 0 1 0 20191444 33075200 2833 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8075 2833 850 747 0 7138 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 11332 KiB

[startup+0.205677 s]*
/proc/loadavg: 4.18 4.18 4.18 5/262 194540
/proc/meminfo: memFree=66102716/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=32432 memory=13904 CPUtime=0.2 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 2900 0 0 0 20 0 0 0 20 0 1 0 20191444 33210368 3476 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8108 3476 850 747 0 7171 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 13904 KiB

[startup+0.305495 s]*
/proc/loadavg: 4.18 4.18 4.18 5/262 194540
/proc/meminfo: memFree=66097948/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=32876 memory=14168 CPUtime=0.3 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 2980 0 0 0 30 0 0 0 20 0 1 0 20191444 33665024 3542 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8219 3542 850 747 0 7282 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32876 KiB
Current children cumulated memory: 14168 KiB

[startup+0.700224 s]
/proc/loadavg: 4.18 4.18 4.18 5/262 194540
/proc/meminfo: memFree=66089752/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=33144 memory=14432 CPUtime=0.68 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 3058 0 0 0 68 0 0 0 20 0 1 0 20191444 33939456 3608 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8286 3608 850 747 0 7349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33144 KiB
Current children cumulated memory: 14432 KiB

[startup+1.50022 s]
/proc/loadavg: 4.25 4.19 4.18 5/262 194540
/proc/meminfo: memFree=66064400/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=34000 memory=17268 CPUtime=1.48 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 3275 0 0 0 146 2 0 0 20 0 1 0 20191444 34816000 4317 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8500 4317 850 747 0 7563 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 17268 KiB

[startup+3.10581 s]
/proc/loadavg: 4.25 4.19 4.18 5/262 194542
/proc/meminfo: memFree=65985020/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=35276 memory=20624 CPUtime=3.08 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 3585 0 0 0 305 3 0 0 20 0 1 0 20191444 36122624 5156 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 8819 5156 850 747 0 7882 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 20624 KiB

[startup+6.30018 s]
/proc/loadavg: 4.31 4.20 4.19 5/262 194542
/proc/meminfo: memFree=65837744/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=36072 memory=23448 CPUtime=6.26 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 3788 0 0 0 622 4 0 0 20 0 1 0 20191444 36937728 5862 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 9018 5862 850 747 0 8081 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 23448 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.20 4.19 5/262 194543
/proc/meminfo: memFree=65671644/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=37584 memory=29088 CPUtime=12.63 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 4177 0 0 0 1256 7 0 0 20 0 1 0 20191444 38486016 7272 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 9396 7272 850 747 0 8459 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 37584 KiB
Current children cumulated memory: 29088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.19 4.18 5/262 194546
/proc/meminfo: memFree=65226020/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=39896 memory=31416 CPUtime=25.41 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 4741 0 0 0 2528 13 0 0 20 0 1 0 20191444 40853504 7854 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 9974 7854 850 747 0 9037 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 31416 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.19 4.18 6/263 194550
/proc/meminfo: memFree=64233264/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=54880 memory=37772 CPUtime=50.49 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 6071 0 0 0 5018 31 0 0 20 0 1 0 20191444 56197120 9443 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 43 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 13720 9443 850 747 0 12783 0
Current children cumulated CPU time: 50.49 s
Current children cumulated vsize: 54880 KiB
Current children cumulated memory: 37772 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/264 194730
/proc/meminfo: memFree=62462608/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=60868 memory=48008 CPUtime=100.53 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 7604 0 0 0 9989 64 0 0 20 0 1 0 20191444 62328832 12002 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 141 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 15217 12002 850 747 0 14280 0
Current children cumulated CPU time: 100.53 s
Current children cumulated vsize: 60868 KiB
Current children cumulated memory: 48008 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/264 194740
/proc/meminfo: memFree=60276444/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=64016 memory=51128 CPUtime=159.72 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 8401 0 0 0 15875 97 0 0 20 0 1 0 20191444 65552384 12782 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 206 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 16004 12782 850 747 0 15067 0
Current children cumulated CPU time: 159.72 s
Current children cumulated vsize: 64016 KiB
Current children cumulated memory: 51128 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.18 4.18 4/266 194756
/proc/meminfo: memFree=58121764/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=66728 memory=55996 CPUtime=218.74 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 9098 0 0 0 21746 128 0 0 20 0 1 0 20191444 68329472 13999 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 289 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 16682 13999 850 747 0 15745 0
Current children cumulated CPU time: 218.74 s
Current children cumulated vsize: 66728 KiB
Current children cumulated memory: 55996 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/265 194779
/proc/meminfo: memFree=55959912/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=69012 memory=58292 CPUtime=277.87 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 9687 0 0 0 27628 159 0 0 20 0 1 0 20191444 70668288 14573 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 361 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 17253 14573 850 747 0 16316 0
Current children cumulated CPU time: 277.87 s
Current children cumulated vsize: 69012 KiB
Current children cumulated memory: 58292 KiB

[startup+342.3 s]
/proc/loadavg: 4.60 4.26 4.20 5/263 194789
/proc/meminfo: memFree=53877024/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=70724 memory=63888 CPUtime=337.16 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 10145 0 0 0 33525 191 0 0 20 0 1 0 20191444 72421376 15972 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 417 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 17681 15972 850 747 0 16744 0
Current children cumulated CPU time: 337.16 s
Current children cumulated vsize: 70724 KiB
Current children cumulated memory: 63888 KiB

[startup+402.3 s]
/proc/loadavg: 5.14 4.48 4.29 5/263 194802
/proc/meminfo: memFree=51899524/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=73616 memory=66972 CPUtime=396.34 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 10875 0 0 0 39417 217 0 0 20 0 1 0 20191444 75382784 16743 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 483 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 18404 16743 850 747 0 17467 0
Current children cumulated CPU time: 396.34 s
Current children cumulated vsize: 73616 KiB
Current children cumulated memory: 66972 KiB

[startup+462.3 s]
/proc/loadavg: 4.77 4.50 4.30 6/263 194813
/proc/meminfo: memFree=49738328/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=76624 memory=69788 CPUtime=455.92 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 11649 0 0 0 45345 247 0 0 20 0 1 0 20191444 78462976 17447 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 510 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 19156 17447 850 747 0 18219 0

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

Current children cumulated memory: 112760 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/257 196224
/proc/meminfo: memFree=84910608/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=133468 memory=113880 CPUtime=2849.78 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30164 0 0 0 283454 1524 0 0 20 0 1 0 20191444 136671232 28470 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6451 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33367 28470 850 747 0 32430 0
Current children cumulated CPU time: 2849.78 s
Current children cumulated vsize: 133468 KiB
Current children cumulated memory: 113880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/257 196235
/proc/meminfo: memFree=83961500/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=134452 memory=114740 CPUtime=2909.23 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30439 0 0 0 289370 1553 0 0 20 0 1 0 20191444 137678848 28685 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6491 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33613 28685 850 747 0 32676 0
Current children cumulated CPU time: 2909.23 s
Current children cumulated vsize: 134452 KiB
Current children cumulated memory: 114740 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/257 196246
/proc/meminfo: memFree=83035576/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=134604 memory=115184 CPUtime=2968.48 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30548 0 0 0 295265 1583 0 0 20 0 1 0 20191444 137834496 28796 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6550 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33651 28796 850 747 0 32714 0
Current children cumulated CPU time: 2968.48 s
Current children cumulated vsize: 134604 KiB
Current children cumulated memory: 115184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.17 6/257 196257
/proc/meminfo: memFree=82027064/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=134956 memory=115352 CPUtime=3027.62 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30651 0 0 0 301144 1618 0 0 20 0 1 0 20191444 138194944 28838 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6622 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33739 28838 850 747 0 32802 0
Current children cumulated CPU time: 3027.62 s
Current children cumulated vsize: 134956 KiB
Current children cumulated memory: 115352 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.19 4.19 4/258 196269
/proc/meminfo: memFree=81180952/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=135148 memory=115616 CPUtime=3084.74 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) D 194536 194539 189405 0 -1 4194304 30744 0 0 0 306828 1646 0 0 20 0 1 0 20191444 138391552 28904 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6662 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33787 28904 850 747 0 32850 0
Current children cumulated CPU time: 3084.74 s
Current children cumulated vsize: 135148 KiB
Current children cumulated memory: 115616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.23 4.20 6/260 196283
/proc/meminfo: memFree=80222232/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=135724 memory=116192 CPUtime=3143.52 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30932 0 0 0 312677 1675 0 0 20 0 1 0 20191444 138981376 29048 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7000 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33931 29048 850 747 0 32994 0
Current children cumulated CPU time: 3143.52 s
Current children cumulated vsize: 135724 KiB
Current children cumulated memory: 116192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.22 4.19 5/260 196296
/proc/meminfo: memFree=79304156/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=135724 memory=116192 CPUtime=3202.96 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 30979 0 0 0 318594 1702 0 0 20 0 1 0 20191444 138981376 29048 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7040 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 33931 29048 850 747 0 32994 0
Current children cumulated CPU time: 3202.96 s
Current children cumulated vsize: 135724 KiB
Current children cumulated memory: 116192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.21 4.19 5/261 196307
/proc/meminfo: memFree=78383724/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=136732 memory=117200 CPUtime=3262.14 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31283 0 0 0 324482 1732 0 0 20 0 1 0 20191444 140013568 29300 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7108 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34183 29300 850 747 0 33246 0
Current children cumulated CPU time: 3262.14 s
Current children cumulated vsize: 136732 KiB
Current children cumulated memory: 117200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/261 196317
/proc/meminfo: memFree=77422180/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=136732 memory=117200 CPUtime=3321.11 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31333 0 0 0 330350 1761 0 0 20 0 1 0 20191444 140013568 29300 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7194 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34183 29300 850 747 0 33246 0
Current children cumulated CPU time: 3321.11 s
Current children cumulated vsize: 136732 KiB
Current children cumulated memory: 117200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/261 196329
/proc/meminfo: memFree=76565096/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=137580 memory=118112 CPUtime=3379.97 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31606 0 0 0 336209 1788 0 0 20 0 1 0 20191444 140881920 29528 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7293 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34395 29528 850 747 0 33458 0
Current children cumulated CPU time: 3379.97 s
Current children cumulated vsize: 137580 KiB
Current children cumulated memory: 118112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/261 196722
/proc/meminfo: memFree=75681060/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=137580 memory=118112 CPUtime=3438.52 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31654 0 0 0 342031 1821 0 0 20 0 1 0 20191444 140881920 29528 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7422 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34395 29528 850 747 0 33458 0
Current children cumulated CPU time: 3438.52 s
Current children cumulated vsize: 137580 KiB
Current children cumulated memory: 118112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/261 196732
/proc/meminfo: memFree=74783540/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=137580 memory=118176 CPUtime=3497.53 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31721 0 0 0 347904 1849 0 0 20 0 1 0 20191444 140881920 29544 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7506 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34395 29544 850 747 0 33458 0
Current children cumulated CPU time: 3497.53 s
Current children cumulated vsize: 137580 KiB
Current children cumulated memory: 118176 KiB

[startup+3642.3 s]
/proc/loadavg: 4.00 4.11 4.16 4/254 196774
/proc/meminfo: memFree=97105196/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=138464 memory=118920 CPUtime=3556.76 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 31915 0 0 0 353803 1873 0 0 20 0 1 0 20191444 141787136 29730 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7568 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34616 29730 850 747 0 33679 0
Current children cumulated CPU time: 3556.76 s
Current children cumulated vsize: 138464 KiB
Current children cumulated memory: 118920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3686 s]*
/proc/loadavg: 3.57 3.99 4.11 4/256 196951
/proc/meminfo: memFree=96786072/131524600 swapFree=131064476/131071996
[pid=194539] ppid=194536 vsize=138640 memory=118992 CPUtime=3600.01 cores=4,6
/proc/194539/stat : 194539 (Exact_veripb2_n) R 194536 194539 189405 0 -1 4194304 32007 0 0 0 358107 1894 0 0 20 0 1 0 20191444 141967360 29748 134679101440 4194304 7250417 140725488852608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7603 0 0 7950792 8015128 19111936 140725488853815 140725488854103 140725488854103 140725488861118 0
/proc/194539/statm: 34660 29748 850 747 0 33723 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 138640 KiB
Current children cumulated memory: 118992 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.08 s, system=18.9436 s

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

Child status: 0

Real time (s): 3686.08
CPU time (s): 3600.02
CPU user time (s): 3581.08
CPU system time (s): 18.9436
CPU usage (%): 97.6652
Max. virtual memory (cumulated for all children) (KiB): 138640
Max. memory (cumulated for all children) (KiB): 118992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.08
system time used= 18.9436
maximum resident set size= 124992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43926096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222
involuntary context switches= 5430


# summary of solver processes directly reported to runsolver:
#   pid: 194539
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3581.08
#   total CPU system time (s): 18.9436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00519 second user time and 17.0401 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 17:56:57
IDJOB=4450913
IDBENCH=162309
IDSOLVER=3080
FILE ID=nodeC033/4450913-1721836617
RUNJOBID= nodeC033-1721828994-189416
SLURM_JOB_ID= 7891491
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-8.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4450913-1721836617/watcher-4450913-1721836617 -o /tmp/evaluation-result-4450913-1721836617/solver-4450913-1721836617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721828994-189416 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450913-1721836617 --seed=326226823 HOME/instance-4450913-1721836617.opb

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

MD5SUM BENCH= 02e0faaef515678e6aa0f4acf19b43a4
RANDOM SEED=326226823

nodeC033.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	: 0xb00002a
cpu MHz		: 3660.015
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3686.331
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
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		: 3601.539
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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.335
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
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		: 3651.429
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3686.398
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
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		: 3635.566
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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.248
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        66121864 kB
MemAvailable:   129413604 kB
Buffers:          259880 kB
Cached:         63766916 kB
SwapCached:          796 kB
Active:          2426344 kB
Inactive:       62173356 kB
Active(anon):       1804 kB
Inactive(anon):   624424 kB
Active(file):    2424540 kB
Inactive(file): 61548932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:            505444 kB
Writeback:             4 kB
AnonPages:        570660 kB
Mapped:           120444 kB
Shmem:             53264 kB
KReclaimable:     316180 kB
Slab:             448724 kB
SReclaimable:     316180 kB
SUnreclaim:       132544 kB
KernelStack:        4176 kB
PageTables:        10212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1033044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 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:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-24 18:58:24