Trace number 4434066

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-GM 1.03? (exit code) 550.111 566.818

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
MD5SUMb6518815c856eaafc5c2f585e9c40549
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-157192
Best CPU time to get the best result obtained on this benchmark68193.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 170372
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 139771126
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 139771126
Number of bits of the biggest sum of numbers28
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 We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4434066-1721149518.opb
99.46/99.82	c single stage optimization mode
388.54/389.91	o 0
547.63/549.55	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/566.81	HOME/naps-1.03.sh: line 6: 865550 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62778 MiB free)
  memory of node 1: 64473 MiB (62458 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434066-1721149518/watcher-4434066-1721149518 -o /tmp/evaluation-result-4434066-1721149518/solver-4434066-1721149518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721149530-865470 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434066-1721149518.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
solver pid=865545, runsolver pid=865542
Current StackSize limit: 8192 KiB


[startup+0.100309 s]*
/proc/loadavg: 1.08 1.11 1.71 5/260 865550
/proc/meminfo: memFree=128184044/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=56780 memory=43648 CPUtime=0.09 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 10845 0 0 0 8 1 0 0 20 0 1 0 167120724 58142720 10912 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 14195 10912 375 659 0 13399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66712 KiB
Current children cumulated memory: 46260 KiB

[startup+0.205309 s]*
/proc/loadavg: 1.08 1.11 1.71 5/260 865550
/proc/meminfo: memFree=128141760/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=88504 memory=77912 CPUtime=0.18 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 18998 0 0 0 16 2 0 0 20 0 1 0 167120724 90628096 19478 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 22126 19478 391 659 0 21330 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 80524 KiB

[startup+0.304622 s]*
/proc/loadavg: 1.08 1.11 1.71 5/260 865550
/proc/meminfo: memFree=128092044/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=88504 memory=77912 CPUtime=0.28 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 18998 0 0 0 26 2 0 0 20 0 1 0 167120724 90628096 19478 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 22126 19478 391 659 0 21330 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 80524 KiB

[startup+0.700237 s]
/proc/loadavg: 1.08 1.11 1.71 5/260 865550
/proc/meminfo: memFree=127995356/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=99704 memory=91060 CPUtime=0.68 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 23326 0 0 0 65 3 0 0 20 0 1 0 167120724 102096896 22765 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 24926 22765 436 659 0 24130 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 93672 KiB

[startup+1.50025 s]
/proc/loadavg: 1.08 1.11 1.71 5/260 865550
/proc/meminfo: memFree=127821352/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=122600 memory=112424 CPUtime=1.47 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 27657 0 0 0 143 4 0 0 20 0 1 0 167120724 125542400 28106 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 30685 28106 436 659 0 29889 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132532 KiB
Current children cumulated memory: 115036 KiB

[startup+3.10559 s]
/proc/loadavg: 1.31 1.16 1.72 5/260 865550
/proc/meminfo: memFree=126945916/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=212044 memory=181704 CPUtime=3.07 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 43194 0 0 0 300 7 0 0 20 0 1 0 167120724 217133056 45426 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 53011 45426 436 659 0 52215 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 221976 KiB
Current children cumulated memory: 184316 KiB

[startup+6.30026 s]
/proc/loadavg: 1.31 1.16 1.72 5/260 865550
/proc/meminfo: memFree=124061832/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=444808 memory=409732 CPUtime=6.26 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 96488 0 0 0 609 17 0 0 20 0 1 0 167120724 455483392 102433 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 111202 102433 436 659 0 110406 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 454740 KiB
Current children cumulated memory: 412344 KiB

[startup+12.7003 s]
/proc/loadavg: 1.81 1.27 1.75 5/260 865552
/proc/meminfo: memFree=119946956/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=1230860 memory=1126764 CPUtime=12.64 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 159188 0 0 0 1224 40 0 0 20 0 1 0 167120724 1260400640 281691 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 307715 281691 468 659 0 306919 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1240792 KiB
Current children cumulated memory: 1129376 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 1.36 1.78 5/260 865553
/proc/meminfo: memFree=114085816/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=4143560 memory=3243680 CPUtime=25.4 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 344043 0 0 0 2438 102 0 0 20 0 1 0 167120724 4243005440 810920 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 1035890 810920 468 659 0 1035094 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4153492 KiB
Current children cumulated memory: 3246292 KiB

[startup+51.1056 s]
/proc/loadavg: 2.85 1.59 1.84 5/259 865558
/proc/meminfo: memFree=105625488/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=4807444 memory=4694328 CPUtime=50.92 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 591993 0 0 0 4927 165 0 0 20 0 1 0 167120724 4922822656 1173582 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 1201861 1173582 468 659 0 1201065 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4817376 KiB
Current children cumulated memory: 4696940 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.01 1.98 5/259 865566
/proc/meminfo: memFree=90359664/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=10632312 memory=9715824 CPUtime=101.95 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 930111 0 0 0 9878 317 0 0 20 0 1 0 167120724 10887487488 2428956 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 2658078 2428956 468 659 0 2657282 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 10642244 KiB
Current children cumulated memory: 9718436 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.39 2.11 5/260 865579
/proc/meminfo: memFree=89191988/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=11817320 memory=10725152 CPUtime=161.74 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1030943 0 0 0 15804 370 0 0 20 0 1 0 167120724 12100935680 2681288 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 2954330 2681288 468 659 0 2953534 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 11827252 KiB
Current children cumulated memory: 10727764 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.72 2.24 5/260 865589
/proc/meminfo: memFree=88996932/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=11817320 memory=10733340 CPUtime=221.52 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1032392 0 0 0 21779 373 0 0 20 0 1 0 167120724 12100935680 2683335 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 2954330 2683335 468 659 0 2953534 0
Current children cumulated CPU time: 221.52 s

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

/proc/loadavg: 4.23 3.25 2.50 5/262 865615
/proc/meminfo: memFree=88915004/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=11859068 memory=10770208 CPUtime=341.11 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1035459 0 0 0 33730 381 0 0 20 0 1 0 167120724 12143685632 2692552 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 2964767 2692552 468 659 0 2963971 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 11869000 KiB
Current children cumulated memory: 10772820 KiB

[startup+402.3 s]
/proc/loadavg: 4.50 3.51 2.64 5/262 865625
/proc/meminfo: memFree=88830080/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=11859992 memory=10798712 CPUtime=400.89 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1040323 0 0 0 39704 385 0 0 20 0 1 0 167120724 12144631808 2699678 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 2964998 2699678 468 659 0 2964202 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 11869924 KiB
Current children cumulated memory: 10801324 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 3.62 2.73 5/261 865636
/proc/meminfo: memFree=88608232/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=12022996 memory=11022208 CPUtime=460.69 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1083511 0 0 0 45673 396 0 0 20 0 1 0 167120724 12311547904 2755552 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 3005749 2755552 468 659 0 3004953 0
Current children cumulated CPU time: 460.69 s
Current children cumulated vsize: 12032928 KiB
Current children cumulated memory: 11024820 KiB

[startup+522.3 s]
/proc/loadavg: 4.20 3.72 2.82 5/261 865647
/proc/meminfo: memFree=80875136/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=20597180 memory=18823492 CPUtime=520.51 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 1832547 0 0 0 51433 618 0 0 20 0 1 0 167120724 21091512320 4705873 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 5149295 4705873 468 659 0 5148499 0
Current children cumulated CPU time: 520.51 s
Current children cumulated vsize: 20607112 KiB
Current children cumulated memory: 18826104 KiB

[startup+566.818 s]
# the end of solver process 865545 was just reported to runsolver
# Child status: 134

# cumulated CPU time of all completed processes:  user=538.93 s, system=11.1801 s

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

[startup+537.6 s]
/proc/loadavg: 4.16 3.73 2.84 5/261 865648
/proc/meminfo: memFree=75608452/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=27662668 memory=24178716 CPUtime=535.77 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4194304 2348134 0 0 0 52806 771 0 0 20 0 1 0 167120724 28326572032 6044679 134679101440 4194304 6891213 140730022919264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 6915667 6044679 468 659 0 6914871 0
Current children cumulated CPU time: 535.77 s
Current children cumulated vsize: 27672600 KiB
Current children cumulated memory: 24181328 KiB

[startup+550.4 s]
/proc/loadavg: 4.12 3.75 2.86 5/262 865655
/proc/meminfo: memFree=70944964/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=31538884 memory=28228396 CPUtime=548.42 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) R 865545 865545 865460 0 -1 4195840 2765873 0 0 0 53892 950 0 0 20 0 1 0 167120724 32295817216 7057099 134679101440 4194304 6891213 140730022919264 140730022840704 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 7884721 7057099 468 659 0 7883925 0
Current children cumulated CPU time: 548.42 s
Current children cumulated vsize: 31548816 KiB
Current children cumulated memory: 28231008 KiB

[startup+556.8 s]
/proc/loadavg: 4.11 3.75 2.87 4/262 865655
/proc/meminfo: memFree=67886896/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=31538884 memory=28228396 CPUtime=549.6 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) S 865545 865545 865460 0 -1 4195840 2765873 0 0 0 53892 1068 0 0 20 0 1 0 167120724 32295817216 7057099 134679101440 4194304 6891213 140730022919264 140730022840704 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 7884721 7057099 468 659 0 7883925 0
Current children cumulated CPU time: 549.6 s
Current children cumulated vsize: 31548816 KiB
Current children cumulated memory: 28231008 KiB

[startup+563.2 s]
/proc/loadavg: 4.18 3.78 2.89 4/262 865656
/proc/meminfo: memFree=67884636/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=31538884 memory=28228396 CPUtime=549.6 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) S 865545 865545 865460 0 -1 4195840 2765873 0 0 0 53892 1068 0 0 20 0 1 0 167120724 32295817216 7057099 134679101440 4194304 6891213 140730022919264 140730022840704 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 7884721 7057099 468 659 0 7883925 0
Current children cumulated CPU time: 549.6 s
Current children cumulated vsize: 31548816 KiB
Current children cumulated memory: 28231008 KiB

[startup+564.8 s]
/proc/loadavg: 4.18 3.78 2.89 4/262 865656
/proc/meminfo: memFree=67884560/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=31538884 memory=28228396 CPUtime=549.6 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) S 865545 865545 865460 0 -1 4195840 2765873 0 0 0 53892 1068 0 0 20 0 1 0 167120724 32295817216 7057099 134679101440 4194304 6891213 140730022919264 140730022840704 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 7884721 7057099 468 659 0 7883925 0
Current children cumulated CPU time: 549.6 s
Current children cumulated vsize: 31548816 KiB
Current children cumulated memory: 28231008 KiB

[startup+565.6 s]
/proc/loadavg: 4.18 3.78 2.89 4/262 865656
/proc/meminfo: memFree=67884588/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
[pid=865550] ppid=865545 vsize=31538884 memory=28228396 CPUtime=549.6 cores=0,2
/proc/865550/stat : 865550 (naps-1.03) S 865545 865545 865460 0 -1 4195840 2765873 0 0 0 53892 1068 0 0 20 0 1 0 167120724 32295817216 7057099 134679101440 4194304 6891213 140730022919264 140730022840704 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 15048704 140730022925297 140730022925413 140730022925413 140730022932427 0
/proc/865550/statm: 7884721 7057099 468 659 0 7883925 0
Current children cumulated CPU time: 549.6 s
Current children cumulated vsize: 31548816 KiB
Current children cumulated memory: 28231008 KiB

[startup+566.401 s]
/proc/loadavg: 4.18 3.78 2.89 4/262 865656
/proc/meminfo: memFree=67882428/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2612 KiB

[startup+566.8 s]
/proc/loadavg: 4.18 3.78 2.89 4/262 865656
/proc/meminfo: memFree=67882428/131524600 swapFree=131071996/131071996
[pid=865545] ppid=865542 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/865545/stat : 865545 (naps-1.03.sh) S 865542 865545 865460 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 167120724 10170368 653 134679101440 94836429541376 94836430620696 140723659070144 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94836432719152 94836432766340 94836464873472 140723659076576 140723659076705 140723659076705 140723659083720 0
/proc/865545/statm: 2483 653 574 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2612 KiB

Child status: 134

Real time (s): 566.818
CPU time (s): 550.111
CPU user time (s): 538.93
CPU system time (s): 11.1801
CPU usage (%): 97.0523
Max. virtual memory (cumulated for all children) (KiB): 31548816
Max. memory (cumulated for all children) (KiB): 28231008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 538.93
system time used= 11.1801
maximum resident set size= 28228768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2766352
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= 33
involuntary context switches= 3882


# summary of solver processes directly reported to runsolver:
#   pid: 865545
#   total CPU time (s): 550.111
#   total CPU user time (s): 538.93
#   total CPU system time (s): 11.1801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12662 second user time and 2.92009 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-16 19:05:30
IDJOB=4434066
IDBENCH=157239
IDSOLVER=3062
FILE ID=nodeC032/4434066-1721149518
RUNJOBID= nodeC032-1721149530-865470
SLURM_JOB_ID= 7505745
Free space on /tmp= 890008 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434066-1721149518/watcher-4434066-1721149518 -o /tmp/evaluation-result-4434066-1721149518/solver-4434066-1721149518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721149530-865470 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4434066-1721149518.opb

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

MD5SUM BENCH= b6518815c856eaafc5c2f585e9c40549
RANDOM SEED=635396930

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128248252 kB
MemAvailable:   129679696 kB
Buffers:          419740 kB
Cached:          1838380 kB
SwapCached:            0 kB
Active:           704816 kB
Inactive:        1952612 kB
Active(anon):       1532 kB
Inactive(anon):   435164 kB
Active(file):     703284 kB
Inactive(file):  1517448 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             83756 kB
Writeback:            12 kB
AnonPages:        399108 kB
Mapped:           108576 kB
Shmem:             37720 kB
KReclaimable:     101068 kB
Slab:             208544 kB
SReclaimable:     101068 kB
SUnreclaim:       107476 kB
KernelStack:        4076 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     858580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64480 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC032 at 2024-07-16 19:14:57