Trace number 4446963

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.07 3669.52

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
MD5SUM5599f1c242004f89302cb9020bac47d1
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5576
Total number of constraints5742
Number of constraints which are clauses5660
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 83
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3669.50	c Program interrupted by user.
3600.05/3669.50	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: 63931 MiB (55682 MiB free)
  memory of node 1: 64510 MiB (41168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446963-1721832418/watcher-4446963-1721832418 -o /tmp/evaluation-result-4446963-1721832418/solver-4446963-1721832418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721828681-199391 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4446963-1721832418 --seed=1300580487 HOME/instance-4446963-1721832418.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=201634, runsolver pid=201631
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.15 4.17 4.11 3/257 201635
/proc/meminfo: memFree=99173616/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) D 201631 201634 199378 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 19770415 25829376 619 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.205413 s]*
/proc/loadavg: 4.15 4.17 4.11 3/257 201635
/proc/meminfo: memFree=99172776/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) D 201631 201634 199378 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 19770415 25829376 619 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.304681 s]*
/proc/loadavg: 4.15 4.17 4.11 3/257 201635
/proc/meminfo: memFree=99171628/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) D 201631 201634 199378 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 19770415 25829376 619 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.700243 s]
/proc/loadavg: 4.14 4.16 4.11 3/257 201635
/proc/meminfo: memFree=99169500/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) D 201631 201634 199378 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 19770415 25829376 619 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.16 4.11 3/257 201635
/proc/meminfo: memFree=99161944/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=35384 memory=15500 CPUtime=0.32 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 2949 0 0 0 32 0 0 0 20 0 1 0 19770415 36233216 3875 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 8846 3875 850 747 0 7909 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 15500 KiB

[startup+3.10548 s]
/proc/loadavg: 4.14 4.16 4.11 4/257 201641
/proc/meminfo: memFree=126249476/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=38816 memory=27372 CPUtime=1.92 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 3824 0 0 0 191 1 0 0 20 0 1 0 19770415 39747584 6843 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 9704 6843 850 747 0 8767 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 27372 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 201658
/proc/meminfo: memFree=126131944/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=55372 memory=39380 CPUtime=5.11 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 5027 0 0 0 506 5 0 0 20 0 1 0 19770415 56700928 9845 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 13843 9845 850 747 0 12906 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 55372 KiB
Current children cumulated memory: 39380 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.11 6/263 201658
/proc/meminfo: memFree=125937852/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=57840 memory=45808 CPUtime=11.49 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 5644 0 0 0 1140 9 0 0 20 0 1 0 19770415 59228160 11452 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 14460 11452 850 747 0 13523 0
Current children cumulated CPU time: 11.49 s
Current children cumulated vsize: 57840 KiB
Current children cumulated memory: 45808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.17 4.11 5/262 201661
/proc/meminfo: memFree=125598732/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=63896 memory=53552 CPUtime=24.25 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 7103 0 0 0 2409 16 0 0 20 0 1 0 19770415 65429504 13388 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 15974 13388 850 747 0 15037 0
Current children cumulated CPU time: 24.25 s
Current children cumulated vsize: 63896 KiB
Current children cumulated memory: 53552 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.15 4.11 5/262 201664
/proc/meminfo: memFree=124973836/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=67680 memory=61508 CPUtime=49.38 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 8097 0 0 0 4908 30 0 0 20 0 1 0 19770415 69304320 15377 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 40 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 16920 15377 850 747 0 15983 0
Current children cumulated CPU time: 49.38 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 61508 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/263 201674
/proc/meminfo: memFree=123731200/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=72112 memory=65884 CPUtime=99.99 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 9235 0 0 0 9943 56 0 0 20 0 1 0 19770415 73842688 16471 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 18028 16471 850 747 0 17091 0
Current children cumulated CPU time: 99.99 s
Current children cumulated vsize: 72112 KiB
Current children cumulated memory: 65884 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/264 201687
/proc/meminfo: memFree=122450116/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=97924 memory=73464 CPUtime=159.31 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 10394 0 0 0 15847 84 0 0 20 0 1 0 19770415 100274176 18366 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 131 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 24481 18366 850 747 0 23544 0
Current children cumulated CPU time: 159.31 s
Current children cumulated vsize: 97924 KiB
Current children cumulated memory: 73464 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/265 201702
/proc/meminfo: memFree=121101800/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=99420 memory=74932 CPUtime=218.82 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 10784 0 0 0 21765 117 0 0 20 0 1 0 19770415 101806080 18733 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 164 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 24855 18733 850 747 0 23918 0
Current children cumulated CPU time: 218.82 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 74932 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 201713
/proc/meminfo: memFree=119894820/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=100808 memory=78420 CPUtime=278.29 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 11199 0 0 0 27690 139 0 0 20 0 1 0 19770415 103227392 19605 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 201 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 25202 19605 850 747 0 24265 0
Current children cumulated CPU time: 278.29 s
Current children cumulated vsize: 100808 KiB
Current children cumulated memory: 78420 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 201725
/proc/meminfo: memFree=118693620/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=102276 memory=79904 CPUtime=335.41 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 11575 0 0 0 33374 167 0 0 20 0 1 0 19770415 104730624 19976 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 472 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 25569 19976 850 747 0 24632 0
Current children cumulated CPU time: 335.41 s
Current children cumulated vsize: 102276 KiB
Current children cumulated memory: 79904 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/264 201736
/proc/meminfo: memFree=117479796/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=103292 memory=80836 CPUtime=394.72 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 11864 0 0 0 39276 196 0 0 20 0 1 0 19770415 105771008 20209 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 526 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 25823 20209 850 747 0 24886 0
Current children cumulated CPU time: 394.72 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 80836 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 201747
/proc/meminfo: memFree=116366780/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=105132 memory=82584 CPUtime=454.05 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 12330 0 0 0 45181 224 0 0 20 0 1 0 19770415 107655168 20646 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 578 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0

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

Current children cumulated memory: 111864 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/262 203413
/proc/meminfo: memFree=71022672/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=128380 memory=111876 CPUtime=2929.78 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 19577 0 0 0 291701 1277 0 0 20 0 1 0 19770415 131461120 27969 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4344 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32095 27969 850 747 0 31158 0
Current children cumulated CPU time: 2929.78 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 111876 KiB

[startup+3042.3 s]
/proc/loadavg: 4.53 4.24 4.15 5/263 203425
/proc/meminfo: memFree=69994176/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=128380 memory=111876 CPUtime=2985.39 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 19626 0 0 0 297238 1301 0 0 20 0 1 0 19770415 131461120 27969 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4761 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32095 27969 850 747 0 31158 0
Current children cumulated CPU time: 2985.39 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 111876 KiB

[startup+3102.3 s]
/proc/loadavg: 4.50 4.27 4.17 5/264 203576
/proc/meminfo: memFree=83491296/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=128652 memory=112180 CPUtime=3044.23 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 19739 0 0 0 303098 1325 0 0 20 0 1 0 19770415 131739648 28045 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4861 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32163 28045 850 747 0 31226 0
Current children cumulated CPU time: 3044.23 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 112180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.31 4.18 5/264 203589
/proc/meminfo: memFree=82438464/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=128652 memory=112368 CPUtime=3103.11 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 19785 0 0 0 308955 1356 0 0 20 0 1 0 19770415 131739648 28092 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4957 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32163 28092 850 747 0 31226 0
Current children cumulated CPU time: 3103.11 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 112368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/262 203604
/proc/meminfo: memFree=81431652/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=128788 memory=112504 CPUtime=3161.31 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 19884 0 0 0 314755 1376 0 0 20 0 1 0 19770415 131878912 28126 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5122 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32197 28126 850 747 0 31260 0
Current children cumulated CPU time: 3161.31 s
Current children cumulated vsize: 128788 KiB
Current children cumulated memory: 112504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/262 203615
/proc/meminfo: memFree=80450336/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=129196 memory=112856 CPUtime=3220.08 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20021 0 0 0 320613 1395 0 0 20 0 1 0 19770415 132296704 28214 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5230 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32299 28214 850 747 0 31362 0
Current children cumulated CPU time: 3220.08 s
Current children cumulated vsize: 129196 KiB
Current children cumulated memory: 112856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.23 4.18 6/262 203626
/proc/meminfo: memFree=79428952/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=129612 memory=113284 CPUtime=3278.64 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20164 0 0 0 326451 1413 0 0 20 0 1 0 19770415 132722688 28321 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5358 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32403 28321 850 747 0 31466 0
Current children cumulated CPU time: 3278.64 s
Current children cumulated vsize: 129612 KiB
Current children cumulated memory: 113284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.20 4.17 6/261 203636
/proc/meminfo: memFree=78456668/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=129812 memory=113620 CPUtime=3337.63 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20288 0 0 0 332333 1430 0 0 20 0 1 0 19770415 132927488 28405 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5444 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32453 28405 850 747 0 31516 0
Current children cumulated CPU time: 3337.63 s
Current children cumulated vsize: 129812 KiB
Current children cumulated memory: 113620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/260 203650
/proc/meminfo: memFree=77591420/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115020 CPUtime=3397.04 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20735 0 0 0 338256 1448 0 0 20 0 1 0 19770415 134676480 28755 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5488 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28755 850 747 0 31943 0
Current children cumulated CPU time: 3397.04 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/260 203660
/proc/meminfo: memFree=76687808/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115236 CPUtime=3456.31 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20779 0 0 0 344163 1468 0 0 20 0 1 0 19770415 134676480 28809 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5547 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28809 850 747 0 31943 0
Current children cumulated CPU time: 3456.31 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.00 4.14 4.15 5/259 203811
/proc/meminfo: memFree=91852492/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115236 CPUtime=3515.16 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20826 0 0 0 350028 1488 0 0 20 0 1 0 19770415 134676480 28809 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5648 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28809 850 747 0 31943 0
Current children cumulated CPU time: 3515.16 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115236 KiB

[startup+3642.3 s]
/proc/loadavg: 4.02 4.12 4.15 5/259 203962
/proc/meminfo: memFree=101609640/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115236 CPUtime=3573.19 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20874 0 0 0 355813 1506 0 0 20 0 1 0 19770415 134676480 28809 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5829 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28809 850 747 0 31943 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3669.5 s]
/proc/loadavg: 4.02 4.11 4.14 6/259 203967
/proc/meminfo: memFree=100072568/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115236 CPUtime=3600.05 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20876 0 0 0 358489 1516 0 0 20 0 1 0 19770415 134676480 28809 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5855 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28809 850 747 0 31943 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.9 s, system=15.1631 s

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

[startup+3669.5 s]
/proc/loadavg: 4.02 4.11 4.14 6/259 203967
/proc/meminfo: memFree=100072568/131524600 swapFree=131065036/131071996
[pid=201634] ppid=201631 vsize=131520 memory=115236 CPUtime=3600.05 cores=5,7
/proc/201634/stat : 201634 (Exact_veripb2_n) R 201631 201634 199378 0 -1 4194304 20876 0 0 0 358489 1516 0 0 20 0 1 0 19770415 134676480 28809 134679101440 4194304 7250417 140733512046352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5855 0 0 7950792 8015128 23183360 140733512049462 140733512049751 140733512049751 140733512056766 0
/proc/201634/statm: 32880 28809 850 747 0 31943 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 131520 KiB
Current children cumulated memory: 115236 KiB

Child status: 0

Real time (s): 3669.52
CPU time (s): 3600.07
CPU user time (s): 3584.9
CPU system time (s): 15.1631
CPU usage (%): 98.1074
Max. virtual memory (cumulated for all children) (KiB): 131520
Max. memory (cumulated for all children) (KiB): 115236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.9
system time used= 15.1631
maximum resident set size= 115236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39910576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336
involuntary context switches= 5305


# summary of solver processes directly reported to runsolver:
#   pid: 201634
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3584.9
#   total CPU system time (s): 15.1631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.771 second user time and 16.5648 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 16:46:58
IDJOB=4446963
IDBENCH=158340
IDSOLVER=3080
FILE ID=nodeC021/4446963-1721832418
RUNJOBID= nodeC021-1721828681-199391
SLURM_JOB_ID= 7891480
Free space on /tmp= 889960 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.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-4446963-1721832418/watcher-4446963-1721832418 -o /tmp/evaluation-result-4446963-1721832418/solver-4446963-1721832418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721828681-199391 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4446963-1721832418 --seed=1300580487 HOME/instance-4446963-1721832418.opb

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

MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=1300580487

nodeC021.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		: 3677.819
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	: 7000.35
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		: 1885.838
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	: 7007.41
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.449
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	: 7000.35
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		: 1374.580
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	: 7007.41
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		: 3677.835
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	: 7000.35
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		: 3545.723
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	: 7007.41
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.457
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	: 7000.35
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		: 3528.008
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        99175324 kB
MemAvailable:   129401948 kB
Buffers:          262904 kB
Cached:         30722928 kB
SwapCached:          240 kB
Active:          2685224 kB
Inactive:       28907524 kB
Active(anon):       1680 kB
Inactive(anon):   658760 kB
Active(file):    2683544 kB
Inactive(file): 28248764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131065036 kB
Dirty:            160244 kB
Writeback:             8 kB
AnonPages:        606500 kB
Mapped:           113684 kB
Shmem:             53464 kB
KReclaimable:     267928 kB
Slab:             395424 kB
SReclaimable:     267928 kB
SUnreclaim:       127496 kB
KernelStack:        4160 kB
PageTables:        10104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     993512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC021 at 2024-07-24 17:48:07