Trace number 4435330

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-PB16 1.02b5? (TO) 3600.02 3611.5

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
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 benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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.02b5.
0.00/0.00	c Input file name: HOME/instance-4435330-1721154486.opb
3600.00/3611.50	c 
3600.00/3611.50	c *** TERMINATED *** by signal 15
3600.00/3611.50	s UNKNOWN
3600.00/3611.50	c _____________________________________________________________________________
3600.00/3611.50	c 
3600.00/3611.50	c std/band forms        : 1144,28
3600.00/3611.50	c 2cl/3cl ITE-codings   : 361338,23436
3600.00/3611.50	c BDD/srt/adr Max costs : 14255,0,0
3600.00/3611.50	c BDDraw/bin/mul/srt/adr: 1172,0,0,0,0
3600.00/3611.50	c BDD nodes             : 408731
3600.00/3611.50	c Es1/CC detections     : 0,0
3600.00/3611.50	c SAT/UNSAT calls       : 0,0
3600.00/3611.50	c regenrated variables  : 0
3600.00/3611.50	c restarts              : 0
3600.00/3611.50	c conflicts             : 0              (0 /sec)
3600.00/3611.50	c decisions             : 0              (0 /sec)
3600.00/3611.50	c propagations          : 0              (0 /sec)
3600.00/3611.50	c inspects              : 0              (0 /sec)
3600.00/3611.50	c CPU time (solving tm) : 3599 s        (3597 s)
3600.00/3611.50	c Time for Opt-base     : 0 s
3600.00/3611.50	c _____________________________________________________________________________

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435330-1721154486/watcher-4435330-1721154486 -o /tmp/evaluation-result-4435330-1721154486/solver-4435330-1721154486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721146884-859506 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435330-1721154486.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=864676, runsolver pid=864673

[startup+0.10006 s]*
/proc/loadavg: 4.29 4.21 4.17 5/261 864681
/proc/meminfo: memFree=122772716/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=12784 memory=7688 CPUtime=0.09 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 1587 0 0 0 9 0 0 0 20 0 1 0 167612751 13090816 1922 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 3196 1922 405 379 0 2730 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22716 KiB
Current children cumulated memory: 10348 KiB

[startup+0.20569 s]*
/proc/loadavg: 4.29 4.21 4.17 5/261 864681
/proc/meminfo: memFree=122769412/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=15888 memory=10888 CPUtime=0.2 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 2384 0 0 0 20 0 0 0 20 0 1 0 167612751 16269312 2722 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 3972 2722 405 379 0 3506 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25820 KiB
Current children cumulated memory: 13548 KiB

[startup+0.305672 s]*
/proc/loadavg: 4.29 4.21 4.17 5/261 864681
/proc/meminfo: memFree=122760536/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=24252 memory=19376 CPUtime=0.3 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 4607 0 0 0 29 1 0 0 20 0 1 0 167612751 24834048 4844 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 6063 4844 421 379 0 5597 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34184 KiB
Current children cumulated memory: 22036 KiB

[startup+0.70025 s]
/proc/loadavg: 4.29 4.21 4.17 5/261 864681
/proc/meminfo: memFree=122756320/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=29092 memory=24348 CPUtime=0.68 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 6411 0 0 0 67 1 0 0 20 0 1 0 167612751 29790208 6087 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 7273 6087 421 379 0 6807 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 27008 KiB

[startup+1.50022 s]
/proc/loadavg: 4.29 4.21 4.17 5/261 864681
/proc/meminfo: memFree=122749524/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=37856 memory=32388 CPUtime=1.48 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 8051 0 0 0 146 2 0 0 20 0 1 0 167612751 38764544 8097 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 9464 8097 421 379 0 8998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47788 KiB
Current children cumulated memory: 35048 KiB

[startup+3.10561 s]
/proc/loadavg: 4.27 4.20 4.17 5/261 864682
/proc/meminfo: memFree=122544488/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=276276 memory=244668 CPUtime=3.08 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 43604 0 0 0 300 8 0 0 20 0 1 0 167612751 282906624 61167 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 69069 61167 421 379 0 68603 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 286208 KiB
Current children cumulated memory: 247328 KiB

[startup+6.3002 s]
/proc/loadavg: 4.27 4.20 4.17 5/261 864682
/proc/meminfo: memFree=122506700/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=297556 memory=262132 CPUtime=6.27 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 48720 0 0 0 617 10 0 0 20 0 1 0 167612751 304697344 65533 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 74389 65533 421 379 0 73923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 307488 KiB
Current children cumulated memory: 264792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.20 4.17 5/261 864682
/proc/meminfo: memFree=122519380/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=299760 memory=264364 CPUtime=12.65 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 49289 0 0 0 1255 10 0 0 20 0 1 0 167612751 306954240 66091 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 74940 66091 421 379 0 74474 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 309692 KiB
Current children cumulated memory: 267024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.19 4.17 5/261 864685
/proc/meminfo: memFree=122516824/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=302252 memory=268824 CPUtime=25.4 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 49964 0 0 0 2530 10 0 0 20 0 1 0 167612751 309506048 67206 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 75563 67206 421 379 0 75097 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 312184 KiB
Current children cumulated memory: 271484 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.19 4.17 5/261 864688
/proc/meminfo: memFree=122508804/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=305208 memory=271844 CPUtime=50.93 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 51653 0 0 0 5081 12 0 0 20 0 1 0 167612751 312532992 67961 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 76302 67961 421 379 0 75836 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 315140 KiB
Current children cumulated memory: 274504 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.17 5/261 864697
/proc/meminfo: memFree=122495064/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=309708 memory=277680 CPUtime=101.95 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 53723 0 0 0 10182 13 0 0 20 0 1 0 167612751 317140992 69420 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 77427 69420 421 379 0 76961 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 319640 KiB
Current children cumulated memory: 280340 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.17 5/262 864766
/proc/meminfo: memFree=122441516/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=390556 memory=342856 CPUtime=161.75 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 54820 0 0 0 16159 16 0 0 20 0 1 0 167612751 399929344 85714 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 97639 85714 421 379 0 97173 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 400488 KiB
Current children cumulated memory: 345516 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.17 5/262 864776
/proc/meminfo: memFree=122438728/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=341236 memory=311784 CPUtime=221.56 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 55030 0 0 0 22139 17 0 0 20 0 1 0 167612751 349425664 77946 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 85309 77946 421 379 0 84843 0
Current children cumulated CPU time: 221.56 s

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

/proc/loadavg: 4.43 4.26 4.15 5/258 866009
/proc/meminfo: memFree=125966884/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=440124 memory=392856 CPUtime=3092.32 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 86411 0 0 0 309153 79 0 0 20 0 1 0 167612751 450686976 98214 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 110031 98214 421 379 0 109565 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 450056 KiB
Current children cumulated memory: 395516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/261 866025
/proc/meminfo: memFree=126004436/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=440400 memory=409468 CPUtime=3152.14 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 86625 0 0 0 315134 80 0 0 20 0 1 0 167612751 450969600 102367 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 110100 102367 421 379 0 109634 0
Current children cumulated CPU time: 3152.14 s
Current children cumulated vsize: 450332 KiB
Current children cumulated memory: 412128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.21 4.14 4/253 866066
/proc/meminfo: memFree=126333896/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=491912 memory=428368 CPUtime=3211.95 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 87895 0 0 0 321114 81 0 0 20 0 1 0 167612751 503717888 107092 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 122978 107092 421 379 0 122512 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 501844 KiB
Current children cumulated memory: 431028 KiB

[startup+3282.3 s]
/proc/loadavg: 3.55 4.02 4.08 4/253 866076
/proc/meminfo: memFree=126373028/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=441956 memory=406852 CPUtime=3271.77 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 88251 0 0 0 327094 83 0 0 20 0 1 0 167612751 452562944 101713 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 110489 101713 421 379 0 110023 0
Current children cumulated CPU time: 3271.77 s
Current children cumulated vsize: 451888 KiB
Current children cumulated memory: 409512 KiB

[startup+3342.3 s]
/proc/loadavg: 2.96 3.78 3.99 3/246 866117
/proc/meminfo: memFree=126787428/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=492860 memory=425120 CPUtime=3331.58 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 89403 0 0 0 333075 83 0 0 20 0 1 0 167612751 504688640 106280 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 123215 106280 421 379 0 122749 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 502792 KiB
Current children cumulated memory: 427780 KiB

[startup+3402.3 s]
/proc/loadavg: 2.48 3.50 3.88 3/246 866129
/proc/meminfo: memFree=126862984/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=443612 memory=405260 CPUtime=3391.41 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 89962 0 0 0 339056 85 0 0 20 0 1 0 167612751 454258688 101315 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 110903 101315 421 379 0 110437 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 453544 KiB
Current children cumulated memory: 407920 KiB

[startup+3462.3 s]
/proc/loadavg: 2.22 3.24 3.76 3/245 866524
/proc/meminfo: memFree=126803728/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=494548 memory=423000 CPUtime=3451.23 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 91020 0 0 0 345038 85 0 0 20 0 1 0 167612751 506417152 105750 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 123637 105750 421 379 0 123171 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 504480 KiB
Current children cumulated memory: 425660 KiB

[startup+3522.3 s]
/proc/loadavg: 2.19 3.04 3.66 3/245 866534
/proc/meminfo: memFree=126811144/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=445568 memory=403036 CPUtime=3511.05 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 91709 0 0 0 351019 86 0 0 20 0 1 0 167612751 456261632 100759 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 111392 100759 421 379 0 110926 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 455500 KiB
Current children cumulated memory: 405696 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.86 3.56 3/245 866545
/proc/meminfo: memFree=126788244/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=445892 memory=421668 CPUtime=3570.89 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 91921 0 0 0 357002 87 0 0 20 0 1 0 167612751 456593408 105417 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 111473 105417 421 379 0 111007 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 455824 KiB
Current children cumulated memory: 424328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 2.14 2.80 3.51 3/246 866719
/proc/meminfo: memFree=126800152/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=496428 memory=429504 CPUtime=3600 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 92862 0 0 0 359913 87 0 0 20 0 1 0 167612751 508342272 107376 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 124107 107376 421 379 0 123641 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 506360 KiB
Current children cumulated memory: 432164 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.884098 s

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

[startup+3611.5 s]
/proc/loadavg: 2.14 2.80 3.51 3/246 866719
/proc/meminfo: memFree=126800152/131524600 swapFree=131071996/131071996
[pid=864676] ppid=864673 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/864676/stat : 864676 (naps-1.02b5.sh) S 864673 864676 859496 0 -1 4194304 216 242 0 0 0 0 0 0 20 0 1 0 167612751 10170368 665 134679101440 94052147515392 94052148594712 140729012984576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94052150693168 94052150740356 94052157190144 140729012986848 140729012986975 140729012986975 140729012993990 0
/proc/864676/statm: 2483 665 587 264 0 134 0
[pid=864681] ppid=864676 vsize=496428 memory=429504 CPUtime=3600 cores=0,2
/proc/864681/stat : 864681 (naps-1.02b5) R 864676 864676 859496 0 -1 4194304 92862 0 0 0 359913 87 0 0 20 0 1 0 167612751 508342272 107376 134679101440 4194304 5746509 140729433814048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 15597568 140729433822191 140729433822305 140729433822305 140729433829321 0
/proc/864681/statm: 124107 107376 421 379 0 123641 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 506360 KiB
Current children cumulated memory: 432164 KiB

Child status: 0

Real time (s): 3611.5
CPU time (s): 3600.02
CPU user time (s): 3599.14
CPU system time (s): 0.884098
CPU usage (%): 99.682
Max. virtual memory (cumulated for all children) (KiB): 585728
Max. memory (cumulated for all children) (KiB): 483256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.884098
maximum resident set size= 490836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93335
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= 126
involuntary context switches= 25254


# summary of solver processes directly reported to runsolver:
#   pid: 864676
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.884098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37134 second user time and 17.2691 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-16 20:28:19
IDJOB=4435330
IDBENCH=158396
IDSOLVER=3065
FILE ID=nodeC022/4435330-1721154486
RUNJOBID= nodeC022-1721146884-859506
SLURM_JOB_ID= 7505740
Free space on /tmp= 890040 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435330-1721154486/watcher-4435330-1721154486 -o /tmp/evaluation-result-4435330-1721154486/solver-4435330-1721154486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721146884-859506 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435330-1721154486.opb

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=1041746124

nodeC022.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		: 3656.509
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.66
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		: 3687.982
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	: 7006.96
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		: 3647.179
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.66
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.098
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	: 7006.96
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		: 3681.024
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.66
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		: 3688.015
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	: 7006.96
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		: 3682.724
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.66
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		: 3600.037
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	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122779380 kB
MemAvailable:   125135548 kB
Buffers:          408220 kB
Cached:          2761624 kB
SwapCached:            0 kB
Active:           709688 kB
Inactive:        7382072 kB
Active(anon):       1596 kB
Inactive(anon):  4958068 kB
Active(file):     708092 kB
Inactive(file):  2424004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5056 kB
Writeback:            16 kB
AnonPages:       4921292 kB
Mapped:           109244 kB
Shmem:             37720 kB
KReclaimable:     127436 kB
Slab:             237720 kB
SReclaimable:     127436 kB
SUnreclaim:       110284 kB
KernelStack:        4220 kB
PageTables:        19228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5679064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62208 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1411072 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:      240340 kB
DirectMap2M:    26796032 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-16 21:28:30