Trace number 4452276

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-05? (TO) 3600.15 3611.08

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 

3600.07/3611.01	c Program interrupted by user.
3600.07/3611.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: 64059 MiB (62505 MiB free)
  memory of node 1: 64510 MiB (61170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452276-1721429935/watcher-4452276-1721429935 -o /tmp/evaluation-result-4452276-1721429935/solver-4452276-1721429935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036156 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=634119609 HOME/instance-4452276-1721429935.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1041598, runsolver pid=1041595

[startup+0.100707 s]*
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126604476/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=66192 memory=42148 CPUtime=0.1 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 7401 0 0 0 8 2 0 0 20 0 1 0 195150148 67780608 10537 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 16548 10537 837 1005 0 15311 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 42148 KiB

[startup+0.212785 s]*
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126581488/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=86976 memory=65800 CPUtime=0.21 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 13841 0 0 0 18 3 0 0 20 0 1 0 195150148 89063424 16450 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 21744 16450 884 1005 0 20507 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 86976 KiB
Current children cumulated memory: 65800 KiB

[startup+0.312537 s]*
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126574656/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=93852 memory=72664 CPUtime=0.31 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 15534 0 0 0 27 4 0 0 20 0 1 0 195150148 96104448 18166 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 23463 18166 884 1005 0 22226 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93852 KiB
Current children cumulated memory: 72664 KiB

[startup+0.700291 s]
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126571492/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=96864 memory=77876 CPUtime=0.68 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 16327 0 0 0 64 4 0 0 20 0 1 0 195150148 99188736 19469 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 24216 19469 884 1005 0 22979 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96864 KiB
Current children cumulated memory: 77876 KiB

[startup+1.50027 s]
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126524428/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=150872 memory=133000 CPUtime=1.48 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 27928 0 0 0 140 8 0 0 20 0 1 0 195150148 154492928 33250 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 37718 33250 1044 1005 0 36481 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150872 KiB
Current children cumulated memory: 133000 KiB

[startup+3.1127 s]
/proc/loadavg: 4.20 4.26 4.21 5/244 1041599
/proc/meminfo: memFree=126507432/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=154448 memory=138596 CPUtime=3.09 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 28798 0 0 0 301 8 0 0 20 0 1 0 195150148 158154752 34649 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 38612 34649 1092 1005 0 37375 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 154448 KiB
Current children cumulated memory: 138596 KiB

[startup+6.30029 s]
/proc/loadavg: 4.18 4.26 4.21 5/244 1041600
/proc/meminfo: memFree=126460680/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=190036 memory=177344 CPUtime=6.26 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 29380 0 0 0 616 10 0 0 20 0 1 0 195150148 194596864 44336 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 47509 44336 1108 1005 0 46272 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 190036 KiB
Current children cumulated memory: 177344 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.25 4.20 5/244 1041602
/proc/meminfo: memFree=126399656/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=299020 memory=241180 CPUtime=12.65 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 30639 0 0 0 1251 14 0 0 20 0 1 0 195150148 306196480 60295 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 74755 60295 1108 1005 0 73518 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 299020 KiB
Current children cumulated memory: 241180 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.24 4.20 5/244 1041603
/proc/meminfo: memFree=126262604/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=420388 memory=362584 CPUtime=25.4 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 31590 0 0 0 2521 19 0 0 20 0 1 0 195150148 430477312 90646 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 105097 90646 1108 1005 0 103860 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 420388 KiB
Current children cumulated memory: 362584 KiB

[startup+51.1127 s]
/proc/loadavg: 4.31 4.27 4.21 5/244 1041608
/proc/meminfo: memFree=125945712/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=636000 memory=596992 CPUtime=50.95 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 33457 0 0 0 5065 30 0 0 20 0 1 0 195150148 651264000 149248 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 159000 149248 1124 1005 0 157763 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 636000 KiB
Current children cumulated memory: 596992 KiB

[startup+102.3 s]
/proc/loadavg: 4.80 4.41 4.26 5/244 1041802
/proc/meminfo: memFree=125335056/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=1681520 memory=1033208 CPUtime=101.97 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 41693 0 0 0 10130 67 0 0 20 0 1 0 195150148 1721876480 258302 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 420380 258302 1140 1005 0 419143 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1681520 KiB
Current children cumulated memory: 1033208 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.35 4.25 5/244 1041872
/proc/meminfo: memFree=124813308/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=1695752 memory=1203272 CPUtime=161.79 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 45533 0 0 0 16107 72 0 0 20 0 1 0 195150148 1736450048 300818 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 423938 300818 1140 1005 0 422701 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1695752 KiB
Current children cumulated memory: 1203272 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.31 4.25 5/244 1041883
/proc/meminfo: memFree=124543172/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=1717436 memory=1371440 CPUtime=221.62 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 50789 0 0 0 22085 77 0 0 20 0 1 0 195150148 1758654464 342860 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 429359 342860 1140 1005 0 428122 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1717436 KiB
Current children cumulated memory: 1371440 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.27 4.24 5/244 1041893
/proc/meminfo: memFree=124045928/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=2932836 memory=1829348 CPUtime=281.43 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 69010 0 0 0 28025 118 0 0 20 0 1 0 195150148 3003224064 457337 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 733209 457337 1140 1005 0 731972 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2932836 KiB
Current children cumulated memory: 1829348 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.23 4.22 5/244 1041903
/proc/meminfo: memFree=123544332/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=2969056 memory=2147624 CPUtime=341.25 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 80751 0 0 0 33997 128 0 0 20 0 1 0 195150148 3040313344 536906 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 742264 536906 1140 1005 0 741027 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2969056 KiB
Current children cumulated memory: 2147624 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.22 4.22 5/242 1041915
/proc/meminfo: memFree=123076212/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=3030716 memory=2579840 CPUtime=401.06 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 93134 0 0 0 39968 138 0 0 20 0 1 0 195150148 3103453184 644960 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 757679 644960 1140 1005 0 756442 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 3030716 KiB
Current children cumulated memory: 2579840 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.19 4.21 5/242 1041971
/proc/meminfo: memFree=123222596/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=3239480 memory=2835084 CPUtime=460.86 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 137773 0 0 0 45937 149 0 0 20 0 1 0 195150148 3317227520 708771 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 809870 708771 1140 1005 0 808633 0

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

Current children cumulated memory: 5379132 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.13 5/242 1043019
/proc/meminfo: memFree=119564896/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6061148 memory=5379648 CPUtime=2853.6 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 386981 0 0 0 285036 324 0 0 20 0 1 0 195150148 6206615552 1344912 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1515287 1344912 1140 1005 0 1514050 0
Current children cumulated CPU time: 2853.6 s
Current children cumulated vsize: 6061148 KiB
Current children cumulated memory: 5379648 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/242 1043029
/proc/meminfo: memFree=119554276/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6067252 memory=5385212 CPUtime=2913.42 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 389976 0 0 0 291017 325 0 0 20 0 1 0 195150148 6212866048 1346303 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1516813 1346303 1140 1005 0 1515576 0
Current children cumulated CPU time: 2913.42 s
Current children cumulated vsize: 6067252 KiB
Current children cumulated memory: 5385212 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.12 5/243 1043040
/proc/meminfo: memFree=119531228/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6069840 memory=5387688 CPUtime=2973.24 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 393016 0 0 0 296998 326 0 0 20 0 1 0 195150148 6215516160 1346922 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1517460 1346922 1140 1005 0 1516223 0
Current children cumulated CPU time: 2973.24 s
Current children cumulated vsize: 6069840 KiB
Current children cumulated memory: 5387688 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 1043051
/proc/meminfo: memFree=119506372/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6080944 memory=5398756 CPUtime=3033.05 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 397061 0 0 0 302978 327 0 0 20 0 1 0 195150148 6226886656 1349689 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1520236 1349689 1140 1005 0 1518999 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 6080944 KiB
Current children cumulated memory: 5398756 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.12 5/246 1043066
/proc/meminfo: memFree=119243192/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6082548 memory=5400348 CPUtime=3092.88 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 399172 0 0 0 308960 328 0 0 20 0 1 0 195150148 6228529152 1350087 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1520637 1350087 1140 1005 0 1519400 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 6082548 KiB
Current children cumulated memory: 5400348 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.12 4.12 5/246 1043076
/proc/meminfo: memFree=119109788/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6093516 memory=5408896 CPUtime=3152.7 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 403139 0 0 0 314941 329 0 0 20 0 1 0 195150148 6239760384 1352224 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1523379 1352224 1140 1005 0 1522142 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 6093516 KiB
Current children cumulated memory: 5408896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.75 4.30 4.18 5/246 1043087
/proc/meminfo: memFree=119104920/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6098524 memory=5413320 CPUtime=3212.52 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 406516 0 0 0 320923 329 0 0 20 0 1 0 195150148 6244888576 1353330 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1524631 1353330 1140 1005 0 1523394 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 6098524 KiB
Current children cumulated memory: 5413320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.26 4.18 5/245 1043098
/proc/meminfo: memFree=119093440/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6107652 memory=5422096 CPUtime=3272.34 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 409903 0 0 0 326904 330 0 0 20 0 1 0 195150148 6254235648 1355524 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1526913 1355524 1140 1005 0 1525676 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 6107652 KiB
Current children cumulated memory: 5422096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.22 4.17 5/245 1043108
/proc/meminfo: memFree=119075632/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6116296 memory=5430012 CPUtime=3332.17 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 413251 0 0 0 332886 331 0 0 20 0 1 0 195150148 6263087104 1357503 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1529074 1357503 1140 1005 0 1527837 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 6116296 KiB
Current children cumulated memory: 5430012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.17 5/245 1043504
/proc/meminfo: memFree=119045808/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6143704 memory=5453432 CPUtime=3391.99 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 420651 0 0 0 338866 333 0 0 20 0 1 0 195150148 6291152896 1363358 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1535926 1363358 1140 1005 0 1534689 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 6143704 KiB
Current children cumulated memory: 5453432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/245 1043516
/proc/meminfo: memFree=119015944/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6144088 memory=5456264 CPUtime=3451.81 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 423012 0 0 0 344848 333 0 0 20 0 1 0 195150148 6291546112 1364066 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1536022 1364066 1140 1005 0 1534785 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 6144088 KiB
Current children cumulated memory: 5456264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/245 1043526
/proc/meminfo: memFree=118997480/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6146572 memory=5458688 CPUtime=3511.63 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 425102 0 0 0 350828 335 0 0 20 0 1 0 195150148 6294089728 1364672 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1536643 1364672 1140 1005 0 1535406 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 6146572 KiB
Current children cumulated memory: 5458688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/246 1043705
/proc/meminfo: memFree=118990464/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6146572 memory=5458704 CPUtime=3571.45 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 426721 0 0 0 356809 336 0 0 20 0 1 0 195150148 6294089728 1364676 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1536643 1364676 1140 1005 0 1535406 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 6146572 KiB
Current children cumulated memory: 5458704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.08 4.15 4.15 5/246 1043712
/proc/meminfo: memFree=118987228/131655788 swapFree=131071996/131071996
[pid=1041598] ppid=1041595 vsize=6150716 memory=5461876 CPUtime=3600.07 cores=0,2
/proc/1041598/stat : 1041598 (Exact) R 1041595 1041598 1036146 0 -1 4194304 428102 0 0 0 359671 336 0 0 20 0 1 0 195150148 6298333184 1365469 134679101440 4194304 8309489 140730228927056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39624704 140730228933565 140730228933734 140730228933734 140730228940751 0
/proc/1041598/statm: 1537679 1365469 1140 1005 0 1536442 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6150716 KiB
Current children cumulated memory: 5461876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.75 s, system=3.39806 s

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

Child status: 0

Real time (s): 3611.08
CPU time (s): 3600.15
CPU user time (s): 3596.75
CPU system time (s): 3.39806
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 8085920
Max. memory (cumulated for all children) (KiB): 5842920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.75
system time used= 3.39806
maximum resident set size= 6010856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428512
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= 85
involuntary context switches= 25267


# summary of solver processes directly reported to runsolver:
#   pid: 1041598
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3596.75
#   total CPU system time (s): 3.39806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.469 second user time and 34.6296 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 00:59:07
IDJOB=4452276
IDBENCH=164221
IDSOLVER=3060
FILE ID=nodeC007/4452276-1721429935
RUNJOBID= nodeC007-1721422714-1036156
SLURM_JOB_ID= 7545601
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.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-4452276-1721429935/watcher-4452276-1721429935 -o /tmp/evaluation-result-4452276-1721429935/solver-4452276-1721429935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036156 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=634119609 HOME/instance-4452276-1721429935.opb

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=634119609

nodeC007.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.632
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.25
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		: 3664.265
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.30
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.141
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.25
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.249
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.30
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		: 3659.488
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.25
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		: 3661.873
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.30
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.303
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.25
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.363
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126644060 kB
MemAvailable:   129465712 kB
Buffers:          535576 kB
Cached:          3122416 kB
SwapCached:            0 kB
Active:          1088996 kB
Inactive:        3349344 kB
Active(anon):       1484 kB
Inactive(anon):   824752 kB
Active(file):    1087512 kB
Inactive(file):  2524592 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18664 kB
Writeback:             0 kB
AnonPages:        778644 kB
Mapped:           121848 kB
Shmem:             45896 kB
KReclaimable:      99160 kB
Slab:             202272 kB
SReclaimable:      99160 kB
SUnreclaim:       103112 kB
KernelStack:        4016 kB
PageTables:        10436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1215276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC007 at 2024-07-20 01:59:19