Trace number 4446964

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.09 3654.82

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.06/3654.30	c Program interrupted by user.
3600.06/3654.30	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 (56811 MiB free)
  memory of node 1: 64510 MiB (57579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446964-1721832425/watcher-4446964-1721832425 -o /tmp/evaluation-result-4446964-1721832425/solver-4446964-1721832425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721832425-240015 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4446964-1721832425 --seed=653850731 HOME/instance-4446964-1721832425.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
Current StackSize limit: 8192 KiB

solver pid=240069, runsolver pid=240060

[startup+0.11027 s]*
/proc/loadavg: 0.49 1.25 2.23 8/245 240076
/proc/meminfo: memFree=117099860/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=34760 memory=12416 CPUtime=0.11 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 2565 0 0 0 10 1 0 0 20 0 1 0 19231866 35594240 3104 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 8690 3104 947 1006 0 7451 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 34760 KiB
Current children cumulated memory: 12416 KiB

[startup+0.215389 s]*
/proc/loadavg: 0.49 1.25 2.23 9/245 240076
/proc/meminfo: memFree=117082524/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=38828 memory=16916 CPUtime=0.21 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 3583 0 0 0 20 1 0 0 20 0 1 0 19231866 39759872 4229 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 9707 4229 1091 1006 0 8468 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 16916 KiB

[startup+0.315042 s]*
/proc/loadavg: 0.49 1.25 2.23 8/245 240076
/proc/meminfo: memFree=117064916/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=42844 memory=20672 CPUtime=0.31 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 4471 0 0 0 30 1 0 0 20 0 1 0 19231866 43872256 5168 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 10711 5168 1107 1006 0 9472 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42844 KiB
Current children cumulated memory: 20672 KiB

[startup+0.700289 s]
/proc/loadavg: 0.49 1.25 2.23 10/245 240076
/proc/meminfo: memFree=117061956/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=43316 memory=21464 CPUtime=0.68 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 4682 0 0 0 66 2 0 0 20 0 1 0 19231866 44355584 5366 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 10829 5366 1107 1006 0 9590 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43316 KiB
Current children cumulated memory: 21464 KiB

[startup+1.50029 s]
/proc/loadavg: 0.49 1.25 2.23 7/245 240076
/proc/meminfo: memFree=117059156/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=44248 memory=24624 CPUtime=1.47 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 4947 0 0 0 145 2 0 0 20 0 1 0 19231866 45309952 6156 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 11062 6156 1123 1006 0 9823 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 24624 KiB

[startup+3.11436 s]
/proc/loadavg: 0.49 1.25 2.23 7/245 240076
/proc/meminfo: memFree=116962044/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=47788 memory=36288 CPUtime=3.09 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 5837 0 0 0 305 4 0 0 20 0 1 0 19231866 48934912 9072 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 11947 9072 1139 1006 0 10708 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47788 KiB
Current children cumulated memory: 36288 KiB

[startup+6.30031 s]
/proc/loadavg: 0.77 1.30 2.24 7/245 240076
/proc/meminfo: memFree=116882460/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=50468 memory=41208 CPUtime=6.27 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 6550 0 0 0 620 7 0 0 20 0 1 0 19231866 51679232 10302 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 12617 10302 1139 1006 0 11378 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50468 KiB
Current children cumulated memory: 41208 KiB

[startup+12.7003 s]
/proc/loadavg: 1.03 1.34 2.25 7/245 240078
/proc/meminfo: memFree=116687696/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=67148 memory=58656 CPUtime=12.65 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 7528 0 0 0 1252 13 0 0 20 0 1 0 19231866 68759552 14664 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 16787 14664 1155 1006 0 15548 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67148 KiB
Current children cumulated memory: 58656 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 1.47 2.28 7/245 240079
/proc/meminfo: memFree=116350716/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=71084 memory=64584 CPUtime=25.42 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 8534 0 0 0 2521 21 0 0 20 0 1 0 19231866 72790016 16146 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 17771 16146 1155 1006 0 16532 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71084 KiB
Current children cumulated memory: 64584 KiB

[startup+51.1135 s]
/proc/loadavg: 2.54 1.69 2.33 7/245 240084
/proc/meminfo: memFree=115786052/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=75608 memory=68984 CPUtime=50.35 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 9643 0 0 0 4998 37 0 0 20 0 1 0 19231866 77422592 17246 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 59 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 18902 17246 1155 1006 0 17663 0
Current children cumulated CPU time: 50.35 s
Current children cumulated vsize: 75608 KiB
Current children cumulated memory: 68984 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.10 2.43 7/245 240093
/proc/meminfo: memFree=114796784/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=81788 memory=76240 CPUtime=99.9 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 11515 0 0 0 9918 72 0 0 20 0 1 0 19231866 83750912 19060 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 209 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 20447 19060 1155 1006 0 19208 0
Current children cumulated CPU time: 99.9 s
Current children cumulated vsize: 81788 KiB
Current children cumulated memory: 76240 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.51 2.56 7/246 240104
/proc/meminfo: memFree=113721904/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=84344 memory=78828 CPUtime=155.97 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 12190 0 0 0 15488 109 0 0 20 0 1 0 19231866 86368256 19707 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 584 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 21086 19707 1155 1006 0 19847 0
Current children cumulated CPU time: 155.97 s
Current children cumulated vsize: 84344 KiB
Current children cumulated memory: 78828 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.81 2.66 7/249 240119
/proc/meminfo: memFree=112431284/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=86164 memory=80580 CPUtime=215.1 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 12611 0 0 0 21357 153 0 0 20 0 1 0 19231866 88231936 20145 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 650 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 21541 20145 1155 1006 0 20302 0
Current children cumulated CPU time: 215.1 s
Current children cumulated vsize: 86164 KiB
Current children cumulated memory: 80580 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 3.08 2.76 7/249 240130
/proc/meminfo: memFree=111243012/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=89752 memory=84236 CPUtime=273.54 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 13384 0 0 0 27158 196 0 0 20 0 1 0 19231866 91906048 21059 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 787 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 22438 21059 1155 1006 0 21199 0
Current children cumulated CPU time: 273.54 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 84236 KiB

[startup+342.317 s]
/proc/loadavg: 4.19 3.28 2.85 7/248 240141
/proc/meminfo: memFree=110112576/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=113980 memory=90384 CPUtime=332.6 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 14266 0 0 0 33033 227 0 0 20 0 1 0 19231866 116715520 22596 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 865 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 28495 22596 1155 1006 0 27256 0
Current children cumulated CPU time: 332.6 s
Current children cumulated vsize: 113980 KiB
Current children cumulated memory: 90384 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.43 2.93 7/248 240151
/proc/meminfo: memFree=108988008/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=114824 memory=91044 CPUtime=392.13 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 14501 0 0 0 38949 264 0 0 20 0 1 0 19231866 117579776 22761 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 893 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 28706 22761 1155 1006 0 27467 0
Current children cumulated CPU time: 392.13 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 91044 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.56 3.01 7/248 240161
/proc/meminfo: memFree=107850364/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=115860 memory=92220 CPUtime=451.45 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 14796 0 0 0 44841 304 0 0 20 0 1 0 19231866 118640640 23055 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 942 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 28965 23055 1155 1006 0 27726 0

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

Current children cumulated memory: 121260 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.10 6/249 241867
/proc/meminfo: memFree=71528408/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=139864 memory=121260 CPUtime=2997.97 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 22383 0 0 0 297975 1822 0 0 20 0 1 0 19231866 143220736 30315 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3496 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 34966 30315 1200 1006 0 33727 0
Current children cumulated CPU time: 2997.97 s
Current children cumulated vsize: 139864 KiB
Current children cumulated memory: 121260 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.18 4.11 7/250 241878
/proc/meminfo: memFree=70249592/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=139864 memory=121260 CPUtime=3056 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 22435 0 0 0 303740 1860 0 0 20 0 1 0 19231866 143220736 30315 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3674 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 34966 30315 1200 1006 0 33727 0
Current children cumulated CPU time: 3056 s
Current children cumulated vsize: 139864 KiB
Current children cumulated memory: 121260 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.11 6/250 241889
/proc/meminfo: memFree=68922912/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=140288 memory=121624 CPUtime=3115.41 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 22594 0 0 0 309641 1900 0 0 20 0 1 0 19231866 143654912 30406 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3711 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35072 30406 1200 1006 0 33833 0
Current children cumulated CPU time: 3115.41 s
Current children cumulated vsize: 140288 KiB
Current children cumulated memory: 121624 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.10 6/251 241903
/proc/meminfo: memFree=67630444/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141464 memory=122860 CPUtime=3174.42 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 22936 0 0 0 315505 1937 0 0 20 0 1 0 19231866 144859136 30715 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3793 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35366 30715 1200 1006 0 34127 0
Current children cumulated CPU time: 3174.42 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 122860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.20 4.12 7/250 241915
/proc/meminfo: memFree=66371928/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141464 memory=122860 CPUtime=3233.96 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 22988 0 0 0 321421 1975 0 0 20 0 1 0 19231866 144859136 30715 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3818 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35366 30715 1200 1006 0 34127 0
Current children cumulated CPU time: 3233.96 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 122860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.12 6/248 241927
/proc/meminfo: memFree=65059928/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141464 memory=122860 CPUtime=3293.41 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23037 0 0 0 327326 2015 0 0 20 0 1 0 19231866 144859136 30715 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3855 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35366 30715 1200 1006 0 34127 0
Current children cumulated CPU time: 3293.41 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 122860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.12 6/246 241937
/proc/meminfo: memFree=63807820/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141464 memory=122860 CPUtime=3352.49 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23086 0 0 0 333195 2054 0 0 20 0 1 0 19231866 144859136 30715 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3928 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35366 30715 1200 1006 0 34127 0
Current children cumulated CPU time: 3352.49 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 122860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/248 241949
/proc/meminfo: memFree=62516324/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141464 memory=122860 CPUtime=3411.93 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23138 0 0 0 339094 2099 0 0 20 0 1 0 19231866 144859136 30715 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3964 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35366 30715 1200 1006 0 34127 0
Current children cumulated CPU time: 3411.93 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 122860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/246 241960
/proc/meminfo: memFree=61372644/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141748 memory=123056 CPUtime=3470.33 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23263 0 0 0 344896 2137 0 0 20 0 1 0 19231866 145149952 30764 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4107 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35437 30764 1200 1006 0 34198 0
Current children cumulated CPU time: 3470.33 s
Current children cumulated vsize: 141748 KiB
Current children cumulated memory: 123056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.21 4.13 6/247 241971
/proc/meminfo: memFree=60123508/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=141884 memory=123280 CPUtime=3528.87 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23352 0 0 0 350720 2167 0 0 20 0 1 0 19231866 145289216 30820 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4234 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35471 30820 1200 1006 0 34232 0
Current children cumulated CPU time: 3528.87 s
Current children cumulated vsize: 141884 KiB
Current children cumulated memory: 123280 KiB

[startup+3642.3 s]
/proc/loadavg: 4.16 4.19 4.13 6/247 241981
/proc/meminfo: memFree=58896836/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=142196 memory=123480 CPUtime=3588.1 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23488 0 0 0 356606 2204 0 0 20 0 1 0 19231866 145608704 30870 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4292 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35549 30870 1200 1006 0 34310 0
Current children cumulated CPU time: 3588.1 s
Current children cumulated vsize: 142196 KiB
Current children cumulated memory: 123480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3654.3 s]
/proc/loadavg: 4.13 4.18 4.13 6/247 241982
/proc/meminfo: memFree=58686764/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=142196 memory=123480 CPUtime=3600.06 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) R 240060 240069 240002 0 -1 4194304 23488 0 0 0 357790 2216 0 0 20 0 1 0 19231866 145608704 30870 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4292 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 35549 30870 1200 1006 0 34310 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 142196 KiB
Current children cumulated memory: 123480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.91 s, system=22.1746 s

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

[startup+3654.4 s]
/proc/loadavg: 4.13 4.18 4.13 6/247 241982
/proc/meminfo: memFree=58686764/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=85468 memory=81120 CPUtime=3600.07 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) D 240060 240069 240002 0 -1 4194304 23488 0 0 0 357791 2216 0 0 20 0 1 0 19231866 87519232 20280 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4305 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 21367 20280 1200 1006 0 20128 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 85468 KiB
Current children cumulated memory: 81120 KiB

[startup+3654.8 s]
/proc/loadavg: 4.13 4.18 4.13 6/247 241982
/proc/meminfo: memFree=58686764/131655788 swapFree=131071472/131071996
[pid=240069] ppid=240060 vsize=85468 memory=81120 CPUtime=3600.08 cores=5,7
/proc/240069/stat : 240069 (Exact_veripb2) D 240060 240069 240002 0 -1 4194304 23488 0 0 0 357791 2217 0 0 20 0 1 0 19231866 87519232 20280 134679101440 4194304 8311665 140736638687024 0 0 0 0 0 8404994 0 0 0 17 7 0 0 4375 0 0 9173656 9252184 40873984 140736638694217 140736638694496 140736638694496 140736638701511 0
/proc/240069/statm: 21367 20280 1200 1006 0 20128 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 85468 KiB
Current children cumulated memory: 81120 KiB

Child status: 0

Real time (s): 3654.82
CPU time (s): 3600.09
CPU user time (s): 3577.91
CPU system time (s): 22.1746
CPU usage (%): 98.5025
Max. virtual memory (cumulated for all children) (KiB): 142196
Max. memory (cumulated for all children) (KiB): 123480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.91
system time used= 22.1746
maximum resident set size= 123480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36377584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2393
involuntary context switches= 5396


# summary of solver processes directly reported to runsolver:
#   pid: 240069
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3577.91
#   total CPU system time (s): 22.1746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.088 second user time and 35.3412 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 16:47:05
IDJOB=4446964
IDBENCH=158340
IDSOLVER=3081
FILE ID=nodeC008/4446964-1721832425
RUNJOBID= nodeC008-1721832425-240015
SLURM_JOB_ID= 7891535
Free space on /tmp= 723768 MiB

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

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

MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=653850731

nodeC008.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		: 1197.124
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	: 6983.19
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		: 1197.125
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.33
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		: 1249.343
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	: 6983.19
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		: 1267.538
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.33
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		: 1241.013
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	: 6983.19
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		: 1271.917
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.33
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		: 1235.617
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	: 6983.19
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		: 1203.125
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117138464 kB
MemAvailable:   129866576 kB
Buffers:          274336 kB
Cached:         13225216 kB
SwapCached:           48 kB
Active:          2647260 kB
Inactive:       11184500 kB
Active(anon):       1312 kB
Inactive(anon):   385192 kB
Active(file):    2645948 kB
Inactive(file): 10799308 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             24932 kB
Writeback:             4 kB
AnonPages:        332164 kB
Mapped:           117820 kB
Shmem:             53976 kB
KReclaimable:     245776 kB
Slab:             364748 kB
SReclaimable:     245776 kB
SUnreclaim:       118972 kB
KernelStack:        3520 kB
PageTables:         9064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     713940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC008 at 2024-07-24 17:48:00