Trace number 4459278

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 NameAnswerobjective functionCPU timeWall clock time
NaPS 1.03? (MO) 1498.18 1502.62

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-rmine15.opb
MD5SUM8b0f0a056877f36e2c13e33d533276b3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-218422812
Best CPU time to get the best result obtained on this benchmark3558.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42438
Total number of constraints358395
Number of constraints which are clauses358365
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint2
Maximum length of a constraint6750
Number of terms in the objective function 42438
Biggest coefficient in the objective function 100528
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 500000100
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 74056307
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 500000100
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 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4459278-1721898464.opb
1495.83/1500.18	terminate called after throwing an instance of 'std::bad_alloc'
1495.83/1500.18	  what():  std::bad_alloc

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (42117 MiB free)
  memory of node 1: 64510 MiB (62701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459278-1721898464/watcher-4459278-1721898464 -o /tmp/evaluation-result-4459278-1721898464/solver-4459278-1721898464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721891213-227736 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4459278-1721898464.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=232074, runsolver pid=232071

[startup+0.100091 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107319068/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=18048 memory=16100 CPUtime=0.09 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 3875 0 0 0 9 0 0 0 20 0 1 0 26375673 18481152 4025 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 4512 4025 548 659 0 3716 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27980 KiB
Current children cumulated memory: 18840 KiB

[startup+0.205755 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107316532/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=20204 memory=18536 CPUtime=0.2 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 4719 0 0 0 20 0 0 0 20 0 1 0 26375673 20688896 4634 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 5051 4634 580 659 0 4255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30136 KiB
Current children cumulated memory: 21276 KiB

[startup+0.305647 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107315380/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=21468 memory=19852 CPUtime=0.3 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 5007 0 0 0 30 0 0 0 20 0 1 0 26375673 21983232 4963 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 5367 4963 580 659 0 4571 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31400 KiB
Current children cumulated memory: 22592 KiB

[startup+0.700204 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107309848/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=34420 memory=32424 CPUtime=0.69 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 8369 0 0 0 68 1 0 0 20 0 1 0 26375673 35246080 8106 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 8605 8106 580 659 0 7809 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44352 KiB
Current children cumulated memory: 35164 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 232079
/proc/meminfo: memFree=107295868/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=59812 memory=56028 CPUtime=1.48 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 14363 0 0 0 146 2 0 0 20 0 1 0 26375673 61247488 14007 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 14953 14007 580 659 0 14157 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69744 KiB
Current children cumulated memory: 58768 KiB

[startup+3.10466 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107235876/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=97232 memory=93252 CPUtime=3.09 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 23732 0 0 0 305 4 0 0 20 0 1 0 26375673 99565568 23313 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 24308 23313 580 659 0 23512 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107164 KiB
Current children cumulated memory: 95992 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 232080
/proc/meminfo: memFree=105969544/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=97232 memory=93252 CPUtime=6.28 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 23732 0 0 0 624 4 0 0 20 0 1 0 26375673 99565568 23313 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 24308 23313 580 659 0 23512 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 107164 KiB
Current children cumulated memory: 95992 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 232080
/proc/meminfo: memFree=105693672/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=599332 memory=595112 CPUtime=12.65 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 138139 0 0 0 1242 23 0 0 20 0 1 0 26375673 613715968 148778 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 149833 148778 596 659 0 149037 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 609264 KiB
Current children cumulated memory: 597852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 7/259 232083
/proc/meminfo: memFree=106241936/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=1069704 memory=1065408 CPUtime=25.42 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 242809 0 0 0 2496 46 0 0 20 0 1 0 26375673 1095376896 266352 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 267426 266352 596 659 0 266630 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1079636 KiB
Current children cumulated memory: 1068148 KiB

[startup+51.1052 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 232086
/proc/meminfo: memFree=105993008/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=1252688 memory=1226508 CPUtime=50.96 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 245042 0 0 0 5043 53 0 0 20 0 1 0 26375673 1282752512 306627 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 313172 306627 596 659 0 312376 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1262620 KiB
Current children cumulated memory: 1229248 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/260 232096
/proc/meminfo: memFree=103611960/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=3358260 memory=3284104 CPUtime=102.01 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 687409 0 0 0 10064 137 0 0 20 0 1 0 26375673 3438858240 821026 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 839565 821026 596 659 0 838769 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3368192 KiB
Current children cumulated memory: 3286844 KiB

[startup+162.3 s]
/proc/loadavg: 4.73 4.34 4.18 5/262 232111
/proc/meminfo: memFree=102672464/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=4347736 memory=4240872 CPUtime=161.83 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 813026 0 0 0 16007 176 0 0 20 0 1 0 26375673 4452081664 1060218 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 1086934 1060218 596 659 0 1086138 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 4357668 KiB
Current children cumulated memory: 4243612 KiB

[startup+222.3 s]
/proc/loadavg: 4.44 4.33 4.18 5/263 232123
/proc/meminfo: memFree=102255360/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=4397860 memory=4391464 CPUtime=221.65 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 826682 0 0 0 21979 186 0 0 20 0 1 0 26375673 4503408640 1097866 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 1099465 1097866 596 659 0 1098669 0
Current children cumulated CPU time: 221.65 s

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

/proc/meminfo: memFree=110514180/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=15729040 memory=15437388 CPUtime=1178.86 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2061371 0 0 0 117178 708 0 0 20 0 1 0 26375673 16106536960 3859347 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 3932260 3859347 596 659 0 3931464 0
Current children cumulated CPU time: 1178.86 s
Current children cumulated vsize: 15738972 KiB
Current children cumulated memory: 15440128 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/261 232958
/proc/meminfo: memFree=110337148/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=15729040 memory=15570508 CPUtime=1238.7 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2069707 0 0 0 123151 719 0 0 20 0 1 0 26375673 16106536960 3892627 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 3932260 3892627 596 659 0 3931464 0
Current children cumulated CPU time: 1238.7 s
Current children cumulated vsize: 15738972 KiB
Current children cumulated memory: 15573248 KiB

[startup+1302.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/261 232969
/proc/meminfo: memFree=109798064/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=16168732 memory=16094160 CPUtime=1298.54 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2184782 0 0 0 129107 747 0 0 20 0 1 0 26375673 16556781568 4023540 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 4042183 4023540 596 659 0 4041387 0
Current children cumulated CPU time: 1298.54 s
Current children cumulated vsize: 16178664 KiB
Current children cumulated memory: 16096900 KiB

[startup+1362.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 233038
/proc/meminfo: memFree=109792724/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=17365948 memory=16197464 CPUtime=1358.38 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2192208 0 0 0 135081 757 0 0 20 0 1 0 26375673 17782730752 4049366 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 4341487 4049366 596 659 0 4340691 0
Current children cumulated CPU time: 1358.38 s
Current children cumulated vsize: 17375880 KiB
Current children cumulated memory: 16200204 KiB

[startup+1422.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/262 233050
/proc/meminfo: memFree=109204880/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=17805640 memory=16749616 CPUtime=1418.2 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2307951 0 0 0 141035 785 0 0 20 0 1 0 26375673 18232975360 4187404 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 4451410 4187404 596 659 0 4450614 0
Current children cumulated CPU time: 1418.2 s
Current children cumulated vsize: 17815572 KiB
Current children cumulated memory: 16752356 KiB

[startup+1482.3 s]
/proc/loadavg: 4.33 4.17 4.12 5/262 233060
/proc/meminfo: memFree=105250580/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=22129248 memory=20685512 CPUtime=1478.05 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232074 232074 227724 0 -1 4194304 2362775 0 0 0 146887 918 0 0 20 0 1 0 26375673 22660349952 5171378 134679101440 4194304 6891213 140733922923984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 5532312 5171378 596 659 0 5531516 0
Current children cumulated CPU time: 1478.05 s
Current children cumulated vsize: 22139180 KiB
Current children cumulated memory: 20688252 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1500.2 s]
/proc/loadavg: 4.26 4.16 4.11 5/262 233064
/proc/meminfo: memFree=95957764/131524600 swapFree=131053920/131071996
[pid=232074] ppid=232071 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/232074/stat : 232074 (naps-1.03.sh) S 232071 232074 227724 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 26375672 10170368 685 134679101440 94114987749376 94114988828696 140732931839840 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94114990927152 94114990974340 94115010965504 140732931843044 140732931843169 140732931843169 140732931850184 0
/proc/232074/statm: 2483 685 608 264 0 134 0
[pid=232079] ppid=232074 vsize=31768928 memory=30334756 CPUtime=1495.9 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) S 232074 232074 227724 0 -1 4195840 2733654 0 0 0 148308 1282 0 0 20 0 1 0 26375673 32531382272 7583689 134679101440 4194304 6891213 140733922923984 140733922912000 6272572 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 7942232 7583689 596 659 0 7941436 0
Current children cumulated CPU time: 1495.9 s
Current children cumulated vsize: 31778860 KiB
Current children cumulated memory: 30337496 KiB

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

[startup+1500.2 s]
# the end of solver process 232074 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002332 s, system=0.000502 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1502.62 s]
# the end of solver process 232079 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1483.09 s, system=15.0949 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+1500.8 s]
/proc/loadavg: 4.26 4.16 4.11 5/262 233066
/proc/meminfo: memFree=95805884/131524600 swapFree=131053920/131071996
[pid=232079] ppid=232071 vsize=31768928 memory=30334756 CPUtime=1496.37 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232071 232074 227724 0 -1 4195840 2733655 0 0 0 148308 1329 0 0 20 0 1 0 26375673 32531382272 7583689 134679101440 4194304 6891213 140733922923984 140733922912000 6272572 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 7942232 7583689 596 659 0 7941436 0
Current cumulated CPU time of completed processes: 0.002834 s
Current children cumulated CPU time: 1496.37 s
Current children cumulated vsize: 31768928 KiB
Current children cumulated memory: 30334756 KiB

[startup+1501.6 s]
/proc/loadavg: 4.26 4.16 4.11 5/262 233066
/proc/meminfo: memFree=95290940/131524600 swapFree=131053920/131071996
[pid=232079] ppid=232071 vsize=31768928 memory=30334756 CPUtime=1497.17 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232071 232074 227724 0 -1 4195840 2733655 0 0 0 148308 1409 0 0 20 0 1 0 26375673 32531382272 7583689 134679101440 4194304 6891213 140733922923984 140733922912000 6272572 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 7942232 7583689 596 659 0 7941436 0
Current cumulated CPU time of completed processes: 0.002834 s
Current children cumulated CPU time: 1497.17 s
Current children cumulated vsize: 31768928 KiB
Current children cumulated memory: 30334756 KiB

[startup+1502 s]*
/proc/loadavg: 4.32 4.17 4.12 5/262 233066
/proc/meminfo: memFree=94195932/131524600 swapFree=131053920/131071996
[pid=232079] ppid=232071 vsize=31768928 memory=30334756 CPUtime=1497.57 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232071 232074 227724 0 -1 4195840 2733655 0 0 0 148308 1449 0 0 20 0 1 0 26375673 32531382272 7583689 134679101440 4194304 6891213 140733922923984 140733922912000 6272572 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 7942232 7583689 596 659 0 7941436 0
Current cumulated CPU time of completed processes: 0.002834 s
Current children cumulated CPU time: 1497.57 s
Current children cumulated vsize: 31768928 KiB
Current children cumulated memory: 30334756 KiB

[startup+1502.2 s]
/proc/loadavg: 4.32 4.17 4.12 5/262 233066
/proc/meminfo: memFree=94195932/131524600 swapFree=131053920/131071996
[pid=232079] ppid=232071 vsize=31768928 memory=30334756 CPUtime=1497.76 cores=1,3
/proc/232079/stat : 232079 (naps-1.03) R 232071 232074 227724 0 -1 4195840 2733655 0 0 0 148308 1468 0 0 20 0 1 0 26375673 32531382272 7583689 134679101440 4194304 6891213 140733922923984 140733922912000 6272572 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 37146624 140733922931701 140733922931813 140733922931813 140733922938827 0
/proc/232079/statm: 7942232 7583689 596 659 0 7941436 0
Current cumulated CPU time of completed processes: 0.002834 s
Current children cumulated CPU time: 1497.76 s
Current children cumulated vsize: 31768928 KiB
Current children cumulated memory: 30334756 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1502.62
CPU time (s): 1498.18
CPU user time (s): 1483.09
CPU system time (s): 15.0949
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 31778860
Max. memory (cumulated for all children) (KiB): 30337496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1483.09
system time used= 15.0949
maximum resident set size= 30334952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2734117
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= 157
involuntary context switches= 1282


# summary of solver processes directly reported to runsolver:
#   pid: 232074,232079
#   total CPU time (s): 1498.18
#   total CPU user time (s): 1483.09
#   total CPU system time (s): 15.0949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.1089 second user time and 7.5073 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-25 11:07:44
IDJOB=4459278
IDBENCH=178667
IDSOLVER=3063
FILE ID=nodeC023/4459278-1721898464
RUNJOBID= nodeC023-1721891213-227736
SLURM_JOB_ID= 8089348
Free space on /tmp= 889972 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-rmine15.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459278-1721898464/watcher-4459278-1721898464 -o /tmp/evaluation-result-4459278-1721898464/solver-4459278-1721898464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721891213-227736 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4459278-1721898464.opb

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

MD5SUM BENCH= 8b0f0a056877f36e2c13e33d533276b3
RANDOM SEED=902007425

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107334336 kB
MemAvailable:   110413512 kB
Buffers:          306948 kB
Cached:          3573624 kB
SwapCached:          208 kB
Active:          1656260 kB
Inactive:       21840108 kB
Active(anon):       2412 kB
Inactive(anon): 19665540 kB
Active(file):    1653848 kB
Inactive(file):  2174568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             23480 kB
Writeback:            40 kB
AnonPages:      19615416 kB
Mapped:           101752 kB
Shmem:             52148 kB
KReclaimable:     180812 kB
Slab:             298360 kB
SReclaimable:     180812 kB
SUnreclaim:       117548 kB
KernelStack:        4124 kB
PageTables:        47840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   23273760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10975232 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:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC023 at 2024-07-25 11:32:47