Trace number 4452293

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) 3593.52 3700.06

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-948346.0.s.opb
MD5SUMfa44fc9c0c30a6a8030f0b23aafff6c8
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 variables57855
Total number of constraints1571
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)632
Number of constraints which are nor clauses,nor cardinality constraints894
Minimum length of a constraint5
Maximum length of a constraint57675
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 10000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 578713
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3593.46/3700.01	c Program interrupted by user.
3593.46/3700.01	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 (35070 MiB free)
  memory of node 1: 64473 MiB (47134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452293-1721837966/watcher-4452293-1721837966 -o /tmp/evaluation-result-4452293-1721837966/solver-4452293-1721837966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721829164-247675 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452293-1721837966 --seed=1448644062 HOME/instance-4452293-1721837966.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=253234, runsolver pid=253231

[startup+0.100093 s]*
/proc/loadavg: 4.32 4.18 4.12 5/260 253235
/proc/meminfo: memFree=84113240/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=89040 memory=66420 CPUtime=0.09 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 14084 0 0 0 8 1 0 0 20 0 1 0 20326021 91176960 16605 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 22260 16605 738 747 0 21323 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89040 KiB
Current children cumulated memory: 66420 KiB

[startup+0.205852 s]*
/proc/loadavg: 4.32 4.18 4.12 5/260 253235
/proc/meminfo: memFree=84093240/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=106456 memory=84492 CPUtime=0.2 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 18600 0 0 0 18 2 0 0 20 0 1 0 20326021 109010944 21123 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 26614 21123 770 747 0 25677 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 84492 KiB

[startup+0.305577 s]*
/proc/loadavg: 4.32 4.18 4.12 5/260 253235
/proc/meminfo: memFree=84079996/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=115324 memory=96044 CPUtime=0.3 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 20995 0 0 0 28 2 0 0 20 0 1 0 20326021 118091776 24011 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 28831 24011 770 747 0 27894 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115324 KiB
Current children cumulated memory: 96044 KiB

[startup+0.700212 s]
/proc/loadavg: 4.37 4.19 4.12 5/260 253235
/proc/meminfo: memFree=84074720/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=112248 memory=97684 CPUtime=0.69 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 21001 0 0 0 67 2 0 0 20 0 1 0 20326021 114941952 24421 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 28062 24421 770 747 0 27125 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112248 KiB
Current children cumulated memory: 97684 KiB

[startup+1.50021 s]
/proc/loadavg: 4.37 4.19 4.12 5/260 253235
/proc/meminfo: memFree=84050692/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=125188 memory=115336 CPUtime=1.49 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 21488 0 0 0 146 3 0 0 20 0 1 0 20326021 128192512 28834 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 31297 28834 834 747 0 30360 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 125188 KiB
Current children cumulated memory: 115336 KiB

[startup+3.10553 s]
/proc/loadavg: 4.37 4.19 4.12 5/260 253235
/proc/meminfo: memFree=83978600/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=147836 memory=135476 CPUtime=3.09 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 22322 0 0 0 305 4 0 0 20 0 1 0 20326021 151384064 33869 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 36959 33869 850 747 0 36022 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147836 KiB
Current children cumulated memory: 135476 KiB

[startup+6.30021 s]
/proc/loadavg: 4.34 4.19 4.12 5/260 253237
/proc/meminfo: memFree=83878224/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=187464 memory=176748 CPUtime=6.28 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 22888 0 0 0 622 6 0 0 20 0 1 0 20326021 191963136 44187 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 46866 44187 850 747 0 45929 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 187464 KiB
Current children cumulated memory: 176748 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.18 4.12 5/260 253237
/proc/meminfo: memFree=83677284/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=273096 memory=257972 CPUtime=12.66 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 26604 0 0 0 1255 11 0 0 20 0 1 0 20326021 279650304 64493 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 68274 64493 850 747 0 67337 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 273096 KiB
Current children cumulated memory: 257972 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.18 4.12 4/260 253240
/proc/meminfo: memFree=83271688/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=631004 memory=417916 CPUtime=25.43 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 34453 0 0 0 2518 25 0 0 20 0 1 0 20326021 646148096 104479 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 157751 104479 850 747 0 156814 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 631004 KiB
Current children cumulated memory: 417916 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.17 4.12 5/260 253243
/proc/meminfo: memFree=82402780/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=688220 memory=662352 CPUtime=50.95 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 48796 0 0 0 5057 38 0 0 20 0 1 0 20326021 704737280 165588 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 172055 165588 850 747 0 171118 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 688220 KiB
Current children cumulated memory: 662352 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/262 253258
/proc/meminfo: memFree=81106956/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=1143684 memory=948308 CPUtime=101.85 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 67159 0 0 0 10126 59 0 0 20 0 1 0 20326021 1171132416 237077 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 285921 237077 850 747 0 284984 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1143684 KiB
Current children cumulated memory: 948308 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/261 253270
/proc/meminfo: memFree=79588828/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=1811852 memory=1301976 CPUtime=161.52 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 76309 0 0 0 16063 89 0 0 20 0 1 0 20326021 1855336448 325494 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 34 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 452963 325494 850 747 0 452026 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 1811852 KiB
Current children cumulated memory: 1301976 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.11 4/260 253280
/proc/meminfo: memFree=78071604/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=1913024 memory=1633104 CPUtime=220.52 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 94236 0 0 0 21950 102 0 0 20 0 1 0 20326021 1958936576 408276 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 119 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 478256 408276 850 747 0 477319 0
Current children cumulated CPU time: 220.52 s
Current children cumulated vsize: 1913024 KiB
Current children cumulated memory: 1633104 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 253291
/proc/meminfo: memFree=76472120/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=3120732 memory=1975348 CPUtime=279.33 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 109628 0 0 0 27779 154 0 0 20 0 1 0 20326021 3195629568 493837 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 225 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 780183 493837 850 747 0 779246 0
Current children cumulated CPU time: 279.33 s
Current children cumulated vsize: 3120732 KiB
Current children cumulated memory: 1975348 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/260 253303
/proc/meminfo: memFree=75351316/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=3155360 memory=2040320 CPUtime=339.07 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 118271 0 0 0 33751 156 0 0 20 0 1 0 20326021 3231088640 510080 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 235 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 788840 510080 850 747 0 787903 0
Current children cumulated CPU time: 339.07 s
Current children cumulated vsize: 3155360 KiB
Current children cumulated memory: 2040320 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 253701
/proc/meminfo: memFree=73858556/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=3171872 memory=2384980 CPUtime=398.82 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 122440 0 0 0 39715 167 0 0 20 0 1 0 20326021 3247996928 596245 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 244 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 792968 596245 850 747 0 792031 0
Current children cumulated CPU time: 398.82 s
Current children cumulated vsize: 3171872 KiB
Current children cumulated memory: 2384980 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.17 4.11 6/260 253711
/proc/meminfo: memFree=72193904/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=3233124 memory=2741476 CPUtime=458.39 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) D 253231 253234 247663 0 -1 4194304 127980 0 0 0 45658 181 0 0 20 0 1 0 20326021 3310718976 685369 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 244 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 808281 685369 850 747 0 807344 0

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

Current children cumulated memory: 4797148 KiB

[startup+2922.3 s]
/proc/loadavg: 1.41 1.50 2.56 2/235 255068
/proc/meminfo: memFree=96275152/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5715624 memory=4797336 CPUtime=2834.32 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 263203 0 0 0 282658 774 0 0 20 0 1 0 20326021 5852798976 1199334 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 8124 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1428906 1199334 850 747 0 1427969 0
Current children cumulated CPU time: 2834.32 s
Current children cumulated vsize: 5715624 KiB
Current children cumulated memory: 4797336 KiB

[startup+2982.3 s]
/proc/loadavg: 1.21 1.43 2.46 2/234 255078
/proc/meminfo: memFree=96270708/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5717704 memory=4798832 CPUtime=2894.21 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 265234 0 0 0 288646 775 0 0 20 0 1 0 20326021 5854928896 1199708 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 8124 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1429426 1199708 850 747 0 1428489 0
Current children cumulated CPU time: 2894.21 s
Current children cumulated vsize: 5717704 KiB
Current children cumulated memory: 4798832 KiB

[startup+3042.3 s]
/proc/loadavg: 1.12 1.36 2.37 2/234 255089
/proc/meminfo: memFree=96248204/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5718192 memory=4799200 CPUtime=2954.09 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 267289 0 0 0 294632 777 0 0 20 0 1 0 20326021 5855428608 1199800 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 8124 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1429548 1199800 850 747 0 1428611 0
Current children cumulated CPU time: 2954.09 s
Current children cumulated vsize: 5718192 KiB
Current children cumulated memory: 4799200 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.31 2.29 2/238 255107
/proc/meminfo: memFree=96052824/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5718192 memory=4799200 CPUtime=3013.56 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 268780 0 0 0 300567 789 0 0 20 0 1 0 20326021 5855428608 1199800 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 8168 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1429548 1199800 850 747 0 1428611 0
Current children cumulated CPU time: 3013.56 s
Current children cumulated vsize: 5718192 KiB
Current children cumulated memory: 4799200 KiB

[startup+3162.3 s]
/proc/loadavg: 1.09 1.27 2.21 2/238 255119
/proc/meminfo: memFree=95149620/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5721484 memory=4802336 CPUtime=3063.35 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 271538 0 0 0 305495 840 0 0 20 0 1 0 20326021 5858799616 1200584 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9180 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1430371 1200584 850 747 0 1429434 0
Current children cumulated CPU time: 3063.35 s
Current children cumulated vsize: 5721484 KiB
Current children cumulated memory: 4802336 KiB

[startup+3222.3 s]
/proc/loadavg: 1.07 1.23 2.14 2/238 255130
/proc/meminfo: memFree=95088396/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5728476 memory=4809344 CPUtime=3123.02 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 274756 0 0 0 311457 845 0 0 20 0 1 0 20326021 5865959424 1202336 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9201 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1432119 1202336 850 747 0 1431182 0
Current children cumulated CPU time: 3123.02 s
Current children cumulated vsize: 5728476 KiB
Current children cumulated memory: 4809344 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.22 2.08 2/238 255141
/proc/meminfo: memFree=95038900/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5740792 memory=4820532 CPUtime=3181.88 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 279237 0 0 0 317338 850 0 0 20 0 1 0 20326021 5878571008 1205133 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9305 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1435198 1205133 850 747 0 1434261 0
Current children cumulated CPU time: 3181.88 s
Current children cumulated vsize: 5740792 KiB
Current children cumulated memory: 4820532 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.20 2.02 2/238 255152
/proc/meminfo: memFree=94993008/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5752000 memory=4831260 CPUtime=3241.77 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 283744 0 0 0 323323 854 0 0 20 0 1 0 20326021 5890048000 1207815 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9305 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1438000 1207815 850 747 0 1437063 0
Current children cumulated CPU time: 3241.77 s
Current children cumulated vsize: 5752000 KiB
Current children cumulated memory: 4831260 KiB

[startup+3402.3 s]
/proc/loadavg: 1.19 1.21 1.97 2/236 255164
/proc/meminfo: memFree=94951540/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5759456 memory=4838036 CPUtime=3301.53 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 287124 0 0 0 329295 858 0 0 20 0 1 0 20326021 5897682944 1209509 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9317 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1439864 1209509 850 747 0 1438927 0
Current children cumulated CPU time: 3301.53 s
Current children cumulated vsize: 5759456 KiB
Current children cumulated memory: 4838036 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.19 1.91 2/236 255175
/proc/meminfo: memFree=94323572/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5760460 memory=4838848 CPUtime=3360.13 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 289340 0 0 0 335113 900 0 0 20 0 1 0 20326021 5898711040 1209712 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9447 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1440115 1209712 850 747 0 1439178 0
Current children cumulated CPU time: 3360.13 s
Current children cumulated vsize: 5760460 KiB
Current children cumulated memory: 4838848 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 1.18 1.86 2/236 255185
/proc/meminfo: memFree=93139412/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5763856 memory=4842124 CPUtime=3418.5 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 292357 0 0 0 340881 969 0 0 20 0 1 0 20326021 5902188544 1210531 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9600 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1440964 1210531 850 747 0 1440027 0
Current children cumulated CPU time: 3418.5 s
Current children cumulated vsize: 5763856 KiB
Current children cumulated memory: 4842124 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.16 1.81 2/237 255198
/proc/meminfo: memFree=93121412/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5763856 memory=4842124 CPUtime=3478.39 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 293608 0 0 0 346869 970 0 0 20 0 1 0 20326021 5902188544 1210531 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9600 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1440964 1210531 850 747 0 1440027 0
Current children cumulated CPU time: 3478.39 s
Current children cumulated vsize: 5763856 KiB
Current children cumulated memory: 4842124 KiB

[startup+3642.3 s]
/proc/loadavg: 1.09 1.14 1.76 2/237 255209
/proc/meminfo: memFree=93098540/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5765312 memory=4843620 CPUtime=3538.26 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 295451 0 0 0 352854 972 0 0 20 0 1 0 20326021 5903679488 1210905 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9602 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1441328 1210905 850 747 0 1440391 0
Current children cumulated CPU time: 3538.26 s
Current children cumulated vsize: 5765312 KiB
Current children cumulated memory: 4843620 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 1.08 1.13 1.72 2/240 255225
/proc/meminfo: memFree=93064904/131524600 swapFree=131071728/131071996
[pid=253234] ppid=253231 vsize=5768180 memory=4846468 CPUtime=3593.46 cores=1,3
/proc/253234/stat : 253234 (Exact_veripb2_n) R 253231 253234 247663 0 -1 4194304 297836 0 0 0 358370 976 0 0 20 0 1 0 20326021 5906616320 1211617 134679101440 4194304 7250417 140728274686592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9843 0 0 7950792 8015128 40771584 140728274690870 140728274691159 140728274691159 140728274698174 0
/proc/253234/statm: 1442045 1211617 850 747 0 1441108 0
Current children cumulated CPU time: 3593.46 s
Current children cumulated vsize: 5768180 KiB
Current children cumulated memory: 4846468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.74 s, system=9.78148 s

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

Child status: 0

Real time (s): 3700.06
CPU time (s): 3593.52
CPU user time (s): 3583.74
CPU system time (s): 9.78148
CPU usage (%): 97.1206
Max. virtual memory (cumulated for all children) (KiB): 7893916
Max. memory (cumulated for all children) (KiB): 5784416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.74
system time used= 9.78148
maximum resident set size= 5880672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27649512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 4803


# summary of solver processes directly reported to runsolver:
#   pid: 253234
#   total CPU time (s): 3593.52
#   total CPU user time (s): 3583.74
#   total CPU system time (s): 9.78148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77074 second user time and 17.237 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-24 18:19:26
IDJOB=4452293
IDBENCH=164221
IDSOLVER=3080
FILE ID=nodeC029/4452293-1721837966
RUNJOBID= nodeC029-1721829164-247675
SLURM_JOB_ID= 7891496
Free space on /tmp= 890048 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.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-4452293-1721837966/watcher-4452293-1721837966 -o /tmp/evaluation-result-4452293-1721837966/solver-4452293-1721837966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721829164-247675 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452293-1721837966 --seed=1448644062 HOME/instance-4452293-1721837966.opb

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=1448644062

nodeC029.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		: 3665.747
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.50
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		: 3674.887
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.34
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		: 3599.933
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.50
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		: 3658.334
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.34
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		: 3665.787
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.50
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		: 3672.045
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.34
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.224
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.50
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		: 3660.338
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        84178060 kB
MemAvailable:   129261800 kB
Buffers:          264544 kB
Cached:         45503732 kB
SwapCached:           44 kB
Active:          2697908 kB
Inactive:       43730228 kB
Active(anon):       1580 kB
Inactive(anon):   712680 kB
Active(file):    2696328 kB
Inactive(file): 43017548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            230860 kB
Writeback:             0 kB
AnonPages:        656280 kB
Mapped:           129432 kB
Shmem:             54012 kB
KReclaimable:     419376 kB
Slab:             556872 kB
SReclaimable:     419376 kB
SUnreclaim:       137496 kB
KernelStack:        4212 kB
PageTables:        10564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1133788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 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:      348884 kB
DirectMap2M:    44513280 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC029 at 2024-07-24 19:21:06