Trace number 4452336

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 2024-07-05UNSAT 1538.65 1543.46

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab69-40-100.0.s.opb
MD5SUMfa547ec471690bfe3f3bec5c78a945ae
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark289.378
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12622
Total number of constraints11909
Number of constraints which are clauses11786
Number of constraints which are cardinality constraints (but not clauses)122
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11786
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 1184903
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501184939
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1538.58/1543.44	s UNSATISFIABLE

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 (62464 MiB free)
  memory of node 1: 64510 MiB (60886 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452336-1721429972/watcher-4452336-1721429972 -o /tmp/evaluation-result-4452336-1721429972/solver-4452336-1721429972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721421163-1025544 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=588959630 HOME/instance-4452336-1721429972.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1031838, runsolver pid=1031835

[startup+0.100102 s]*
/proc/loadavg: 4.16 4.15 4.17 5/245 1031839
/proc/meminfo: memFree=126278836/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=57508 memory=37372 CPUtime=0.1 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 8973 0 0 0 9 1 0 0 20 0 1 0 195155204 58888192 9343 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 14377 9343 1060 1005 0 13140 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57508 KiB
Current children cumulated memory: 37372 KiB

[startup+0.21291 s]*
/proc/loadavg: 4.16 4.15 4.17 5/245 1031839
/proc/meminfo: memFree=126276972/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=60136 memory=38956 CPUtime=0.21 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 9337 0 0 0 20 1 0 0 20 0 1 0 195155204 61579264 9739 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 15034 9739 1060 1005 0 13797 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 38956 KiB

[startup+0.312768 s]*
/proc/loadavg: 4.16 4.15 4.17 5/245 1031839
/proc/meminfo: memFree=126276860/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=60136 memory=38956 CPUtime=0.31 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 9370 0 0 0 30 1 0 0 20 0 1 0 195155204 61579264 9739 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 15034 9739 1060 1005 0 13797 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 38956 KiB

[startup+0.700312 s]
/proc/loadavg: 4.16 4.15 4.17 5/245 1031839
/proc/meminfo: memFree=126276696/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=60136 memory=39220 CPUtime=0.69 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 9413 0 0 0 68 1 0 0 20 0 1 0 195155204 61579264 9805 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 15034 9805 1060 1005 0 13797 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 39220 KiB

[startup+1.50032 s]
/proc/loadavg: 4.16 4.15 4.17 5/245 1031839
/proc/meminfo: memFree=126273452/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=60796 memory=49160 CPUtime=1.49 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 9774 0 0 0 147 2 0 0 20 0 1 0 195155204 62255104 12290 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 15199 12290 1108 1005 0 13962 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60796 KiB
Current children cumulated memory: 49160 KiB

[startup+3.11265 s]
/proc/loadavg: 4.16 4.15 4.17 5/245 1031841
/proc/meminfo: memFree=126247552/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=74924 memory=69048 CPUtime=3.09 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 10391 0 0 0 307 2 0 0 20 0 1 0 195155204 76722176 17262 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 18731 17262 1108 1005 0 17494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 69048 KiB

[startup+6.3003 s]
/proc/loadavg: 4.14 4.15 4.17 5/245 1031841
/proc/meminfo: memFree=126206336/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=141760 memory=113756 CPUtime=6.26 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 13216 0 0 0 622 4 0 0 20 0 1 0 195155204 145162240 28439 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 35440 28439 1124 1005 0 34203 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141760 KiB
Current children cumulated memory: 113756 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.15 4.17 5/245 1031843
/proc/meminfo: memFree=126149968/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=223972 memory=166252 CPUtime=12.65 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 16838 0 0 0 1256 9 0 0 20 0 1 0 195155204 229347328 41563 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 55993 41563 1140 1005 0 54756 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223972 KiB
Current children cumulated memory: 166252 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.16 4.17 5/245 1031844
/proc/meminfo: memFree=126061004/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=360820 memory=249228 CPUtime=25.41 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 20924 0 0 0 2528 13 0 0 20 0 1 0 195155204 369479680 62307 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 90205 62307 1140 1005 0 88968 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 360820 KiB
Current children cumulated memory: 249228 KiB

[startup+51.1136 s]
/proc/loadavg: 4.20 4.16 4.17 5/245 1031847
/proc/meminfo: memFree=125882280/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=622480 memory=426252 CPUtime=50.94 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 32993 0 0 0 5068 26 0 0 20 0 1 0 195155204 637419520 106563 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 155620 106563 1140 1005 0 154383 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 622480 KiB
Current children cumulated memory: 426252 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 1031919
/proc/meminfo: memFree=124379988/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=679672 memory=580176 CPUtime=101.97 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 45727 0 0 0 10161 36 0 0 20 0 1 0 195155204 695984128 145044 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 169918 145044 1140 1005 0 168681 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 679672 KiB
Current children cumulated memory: 580176 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.18 6/243 1031974
/proc/meminfo: memFree=125141572/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1117356 memory=773548 CPUtime=161.79 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 61788 0 0 0 16122 57 0 0 20 0 1 0 195155204 1144172544 193387 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 279339 193387 1140 1005 0 278102 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1117356 KiB
Current children cumulated memory: 773548 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.18 6/243 1031985
/proc/meminfo: memFree=124993564/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1174292 memory=822788 CPUtime=221.6 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 74338 0 0 0 22096 64 0 0 20 0 1 0 195155204 1202475008 205697 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 293573 205697 1140 1005 0 292336 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1174292 KiB
Current children cumulated memory: 822788 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.18 6/242 1031996
/proc/meminfo: memFree=124860236/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1193608 memory=852216 CPUtime=281.42 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 79368 0 0 0 28070 72 0 0 20 0 1 0 195155204 1222254592 213054 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 298402 213054 1140 1005 0 297165 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1193608 KiB
Current children cumulated memory: 852216 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.18 6/242 1032007
/proc/meminfo: memFree=124787632/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1220592 memory=876008 CPUtime=341.24 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 85522 0 0 0 34045 79 0 0 20 0 1 0 195155204 1249886208 219002 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 305148 219002 1140 1005 0 303911 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1220592 KiB
Current children cumulated memory: 876008 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.17 6/241 1032019
/proc/meminfo: memFree=124721644/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1233844 memory=887904 CPUtime=401.05 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 88684 0 0 0 40020 85 0 0 20 0 1 0 195155204 1263456256 221976 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 308461 221976 1140 1005 0 307224 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1233844 KiB
Current children cumulated memory: 887904 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.17 6/241 1032029
/proc/meminfo: memFree=124673736/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1257872 memory=906980 CPUtime=460.87 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 93768 0 0 0 45990 97 0 0 20 0 1 0 195155204 1288060928 226745 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0

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

/proc/loadavg: 4.09 4.13 4.15 6/244 1032108
/proc/meminfo: memFree=124117672/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1519540 memory=1250308 CPUtime=879.51 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 150018 0 0 0 87794 157 0 0 20 0 1 0 195155204 1556008960 312577 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 379885 312577 1140 1005 0 378648 0
Current children cumulated CPU time: 879.51 s
Current children cumulated vsize: 1519540 KiB
Current children cumulated memory: 1250308 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.13 4.15 6/244 1032119
/proc/meminfo: memFree=124069624/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1520144 memory=1283624 CPUtime=939.32 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 150569 0 0 0 93768 164 0 0 20 0 1 0 195155204 1556627456 320906 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 380036 320906 1198 1005 0 378799 0
Current children cumulated CPU time: 939.32 s
Current children cumulated vsize: 1520144 KiB
Current children cumulated memory: 1283624 KiB

[startup+1002.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/242 1032131
/proc/meminfo: memFree=124001176/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1520144 memory=1288756 CPUtime=999.14 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 151114 0 0 0 99741 173 0 0 20 0 1 0 195155204 1556627456 322189 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 380036 322189 1198 1005 0 378799 0
Current children cumulated CPU time: 999.14 s
Current children cumulated vsize: 1520144 KiB
Current children cumulated memory: 1288756 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.11 4.14 6/241 1032141
/proc/meminfo: memFree=123987412/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1539028 memory=1300364 CPUtime=1058.96 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 154507 0 0 0 105715 181 0 0 20 0 1 0 195155204 1575964672 325091 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 384757 325091 1198 1005 0 383520 0
Current children cumulated CPU time: 1058.96 s
Current children cumulated vsize: 1539028 KiB
Current children cumulated memory: 1300364 KiB

[startup+1122.3 s]
/proc/loadavg: 4.14 4.12 4.14 6/241 1032151
/proc/meminfo: memFree=123978424/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1539656 memory=1301240 CPUtime=1118.77 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 155075 0 0 0 111689 188 0 0 20 0 1 0 195155204 1576607744 325310 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 384914 325310 1198 1005 0 383677 0
Current children cumulated CPU time: 1118.77 s
Current children cumulated vsize: 1539656 KiB
Current children cumulated memory: 1301240 KiB

[startup+1182.3 s]
/proc/loadavg: 4.54 4.23 4.18 6/241 1032162
/proc/meminfo: memFree=123950580/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1551968 memory=1312012 CPUtime=1178.59 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 158326 0 0 0 117665 194 0 0 20 0 1 0 195155204 1589215232 328003 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 387992 328003 1198 1005 0 386755 0
Current children cumulated CPU time: 1178.59 s
Current children cumulated vsize: 1551968 KiB
Current children cumulated memory: 1312012 KiB

[startup+1242.3 s]
/proc/loadavg: 4.50 4.30 4.20 6/241 1032172
/proc/meminfo: memFree=123880260/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1598708 memory=1342760 CPUtime=1238.41 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 166428 0 0 0 123639 202 0 0 20 0 1 0 195155204 1637076992 335690 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 399677 335690 1198 1005 0 398440 0
Current children cumulated CPU time: 1238.41 s
Current children cumulated vsize: 1598708 KiB
Current children cumulated memory: 1342760 KiB

[startup+1302.3 s]
/proc/loadavg: 4.35 4.29 4.20 6/243 1032186
/proc/meminfo: memFree=123869956/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1600264 memory=1344520 CPUtime=1298.22 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 167341 0 0 0 129612 210 0 0 20 0 1 0 195155204 1638670336 336130 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 400066 336130 1198 1005 0 398829 0
Current children cumulated CPU time: 1298.22 s
Current children cumulated vsize: 1600264 KiB
Current children cumulated memory: 1344520 KiB

[startup+1362.3 s]
/proc/loadavg: 4.24 4.27 4.20 6/243 1032196
/proc/meminfo: memFree=123824016/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1635728 memory=1370576 CPUtime=1358.05 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 174371 0 0 0 135588 217 0 0 20 0 1 0 195155204 1674985472 342644 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 408932 342644 1198 1005 0 407695 0
Current children cumulated CPU time: 1358.05 s
Current children cumulated vsize: 1635728 KiB
Current children cumulated memory: 1370576 KiB

[startup+1422.3 s]
/proc/loadavg: 4.15 4.23 4.19 6/243 1032209
/proc/meminfo: memFree=123810616/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1637908 memory=1372924 CPUtime=1417.85 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 175412 0 0 0 141562 223 0 0 20 0 1 0 195155204 1677217792 343231 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 409477 343231 1198 1005 0 408240 0
Current children cumulated CPU time: 1417.85 s
Current children cumulated vsize: 1637908 KiB
Current children cumulated memory: 1372924 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.20 4.18 6/245 1032223
/proc/meminfo: memFree=123793400/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1652504 memory=1382968 CPUtime=1477.67 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 178364 0 0 0 147539 228 0 0 20 0 1 0 195155204 1692164096 345742 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 413126 345742 1198 1005 0 411889 0
Current children cumulated CPU time: 1477.67 s
Current children cumulated vsize: 1652504 KiB
Current children cumulated memory: 1382968 KiB

[startup+1542.3 s]
/proc/loadavg: 4.13 4.19 4.18 6/245 1032234
/proc/meminfo: memFree=123735796/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1699140 memory=1424576 CPUtime=1537.48 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 189172 0 0 0 153515 233 0 0 20 0 1 0 195155204 1739919360 356144 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 424785 356144 1198 1005 0 423548 0
Current children cumulated CPU time: 1537.48 s
Current children cumulated vsize: 1699140 KiB
Current children cumulated memory: 1424576 KiB

[startup+1543.46 s]
# the end of solver process 1031838 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1536.31 s, system=2.34157 s

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

[startup+1542.4 s]
/proc/loadavg: 4.13 4.19 4.18 6/245 1032234
/proc/meminfo: memFree=123735796/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1699140 memory=1424576 CPUtime=1537.58 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 189172 0 0 0 153525 233 0 0 20 0 1 0 195155204 1739919360 356144 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 424785 356144 1198 1005 0 423548 0
Current children cumulated CPU time: 1537.58 s
Current children cumulated vsize: 1699140 KiB
Current children cumulated memory: 1424576 KiB

[startup+1543.2 s]
/proc/loadavg: 4.13 4.19 4.18 6/245 1032234
/proc/meminfo: memFree=123735672/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1699140 memory=1424576 CPUtime=1538.38 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 189193 0 0 0 153605 233 0 0 20 0 1 0 195155204 1739919360 356144 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 424785 356144 1198 1005 0 423548 0
Current children cumulated CPU time: 1538.38 s
Current children cumulated vsize: 1699140 KiB
Current children cumulated memory: 1424576 KiB

[startup+1543.4 s]
/proc/loadavg: 4.13 4.19 4.18 6/245 1032234
/proc/meminfo: memFree=123735672/131655788 swapFree=131071996/131071996
[pid=1031838] ppid=1031835 vsize=1699312 memory=1424576 CPUtime=1538.58 cores=0,2
/proc/1031838/stat : 1031838 (Exact) R 1031835 1031838 1025534 0 -1 4194304 189211 0 0 0 153625 233 0 0 20 0 1 0 195155204 1740095488 356144 134679101440 4194304 8309489 140725889178128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 14929920 140725889184701 140725889184870 140725889184870 140725889191887 0
/proc/1031838/statm: 424828 356144 1198 1005 0 423591 0
Current children cumulated CPU time: 1538.58 s
Current children cumulated vsize: 1699312 KiB
Current children cumulated memory: 1424576 KiB

Child status: 20

Real time (s): 1543.46
CPU time (s): 1538.65
CPU user time (s): 1536.31
CPU system time (s): 2.34157
CPU usage (%): 99.688
Max. virtual memory (cumulated for all children) (KiB): 1699312
Max. memory (cumulated for all children) (KiB): 1424576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1536.31
system time used= 2.34157
maximum resident set size= 1424576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 10573


# summary of solver processes directly reported to runsolver:
#   pid: 1031838
#   total CPU time (s): 1538.65
#   total CPU user time (s): 1536.31
#   total CPU system time (s): 2.34157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04525 second user time and 15.3123 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 00:59:44
IDJOB=4452336
IDBENCH=164235
IDSOLVER=3060
FILE ID=nodeC002/4452336-1721429972
RUNJOBID= nodeC002-1721421163-1025544
SLURM_JOB_ID= 7545493
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab69-40-100.0.s.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452336-1721429972/watcher-4452336-1721429972 -o /tmp/evaluation-result-4452336-1721429972/solver-4452336-1721429972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721421163-1025544 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=588959630 HOME/instance-4452336-1721429972.opb

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

MD5SUM BENCH= fa547ec471690bfe3f3bec5c78a945ae
RANDOM SEED=588959630

nodeC002.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		: 3491.702
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.38
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		: 3640.349
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.155
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.350
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.105
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.38
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		: 3643.786
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.368
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.163
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126312276 kB
MemAvailable:   128466036 kB
Buffers:          563652 kB
Cached:          2415540 kB
SwapCached:            0 kB
Active:          1028928 kB
Inactive:        3710852 kB
Active(anon):       2708 kB
Inactive(anon):  1803444 kB
Active(file):    1026220 kB
Inactive(file):  1907408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6796 kB
Writeback:             4 kB
AnonPages:       1759652 kB
Mapped:           120872 kB
Shmem:             45896 kB
KReclaimable:     120328 kB
Slab:             227208 kB
SReclaimable:     120328 kB
SUnreclaim:       106880 kB
KernelStack:        3900 kB
PageTables:        12672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2265868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62688 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1503232 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC002 at 2024-07-20 01:25:28