Trace number 4435100

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.02b5SAT (TO)30 3600.08 3612.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUM39a6e806d7aaba09f767f3cbd6afa1ec
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 benchmark6
Best CPU time to get the best result obtained on this benchmark3600.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4435100-1721094512.opb
3600.07/3612.40	o 1944
3600.07/3612.40	o 1239
3600.07/3612.40	o 824
3600.07/3612.40	o 542
3600.07/3612.40	o 349
3600.07/3612.40	o 209
3600.07/3612.40	o 131
3600.07/3612.40	o 80
3600.07/3612.40	o 50
3600.07/3612.40	o 30
3600.07/3612.40	c 
3600.07/3612.40	c *** TERMINATED *** by signal 15
3600.07/3612.40	s SATISFIABLE
3600.07/3612.40	c _____________________________________________________________________________
3600.07/3612.40	c 
3600.07/3612.40	c std/band forms        : 10,7
3600.07/3612.40	c 2cl/3cl ITE-codings   : 0,56317
3600.07/3612.40	c BDD/srt/adr Max costs : 9565,2355,0
3600.07/3612.40	c BDDraw/bin/mul/srt/adr: 0,0,7,10,0
3600.07/3612.40	c BDD nodes             : 59388
3600.07/3612.40	c Es1/CC detections     : 0,0
3600.07/3612.40	c SAT/UNSAT calls       : 10,0
3600.07/3612.40	c regenrated variables  : 639
3600.07/3612.40	c restarts              : 82
3600.07/3612.40	c conflicts             : 329539         (92 /sec)
3600.07/3612.40	c decisions             : 418092         (116 /sec)
3600.07/3612.40	c propagations          : 1046642533     (290812 /sec)
3600.07/3612.40	c inspects              : 0              (0 /sec)
3600.07/3612.40	c CPU time (solving tm) : 3599 s        (3599 s)
3600.07/3612.40	c Time for Opt-base     : 0.03692 s
3600.07/3612.40	c _____________________________________________________________________________
3600.07/3612.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 x149 x150 x151 -x152 x153 x154 x155 -x156 -x157 -x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 x167 x168 x169 x170 -x171 x172

Verifier Data 

OK	30

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 (62917 MiB free)
  memory of node 1: 64473 MiB (60101 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435100-1721094512/watcher-4435100-1721094512 -o /tmp/evaluation-result-4435100-1721094512/solver-4435100-1721094512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721094400-829442 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435100-1721094512.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=829986, runsolver pid=829983

[startup+0.100089 s]*
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125963876/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=13828 memory=8884 CPUtime=0.1 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 1934 0 0 0 10 0 0 0 20 0 1 0 161617856 14159872 2221 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 3457 2221 421 379 0 2991 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23760 KiB
Current children cumulated memory: 11644 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125962912/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=14640 memory=9600 CPUtime=0.2 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 2202 0 0 0 20 0 0 0 20 0 1 0 161617856 14991360 2400 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 3660 2400 421 379 0 3194 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24572 KiB
Current children cumulated memory: 12360 KiB

[startup+0.305564 s]*
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125961232/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=16336 memory=11300 CPUtime=0.3 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 2787 0 0 0 30 0 0 0 20 0 1 0 161617856 16728064 2825 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 4084 2825 421 379 0 3618 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 14060 KiB

[startup+0.700273 s]
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125937512/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=45712 memory=38496 CPUtime=0.68 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 9104 0 0 0 68 0 0 0 20 0 1 0 161617856 46809088 9624 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 11428 9624 421 379 0 10962 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55644 KiB
Current children cumulated memory: 41256 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125933480/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=46884 memory=41164 CPUtime=1.49 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 9720 0 0 0 148 1 0 0 20 0 1 0 161617856 48009216 10291 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 11721 10291 421 379 0 11255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 56816 KiB
Current children cumulated memory: 43924 KiB

[startup+3.10548 s]
/proc/loadavg: 4.08 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125927796/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=48036 memory=42264 CPUtime=3.08 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 10764 0 0 0 307 1 0 0 20 0 1 0 161617856 49188864 10566 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 12009 10566 421 379 0 11543 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57968 KiB
Current children cumulated memory: 45024 KiB

[startup+6.30025 s]
/proc/loadavg: 4.07 4.07 4.09 5/258 829991
/proc/meminfo: memFree=125918092/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=52608 memory=45964 CPUtime=6.26 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 11191 0 0 0 625 1 0 0 20 0 1 0 161617856 53870592 11491 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 13152 11491 421 379 0 12686 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62540 KiB
Current children cumulated memory: 48724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.07 4.09 5/258 829993
/proc/meminfo: memFree=125900360/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=53488 memory=46660 CPUtime=12.65 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 11594 0 0 0 1263 2 0 0 20 0 1 0 161617856 54771712 11665 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 13372 11665 421 379 0 12906 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63420 KiB
Current children cumulated memory: 49420 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.06 4.09 5/258 829995
/proc/meminfo: memFree=125837804/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=65288 memory=60996 CPUtime=25.4 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 12420 0 0 0 2537 3 0 0 20 0 1 0 161617856 66854912 15249 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 16322 15249 421 379 0 15856 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 63756 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.07 4.09 5/258 830000
/proc/meminfo: memFree=125859276/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=83964 memory=69216 CPUtime=50.92 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 12605 0 0 0 5088 4 0 0 20 0 1 0 161617856 85979136 17304 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 20991 17304 421 379 0 20525 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 93896 KiB
Current children cumulated memory: 71976 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/261 830013
/proc/meminfo: memFree=125740580/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=102816 memory=98204 CPUtime=101.95 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 13256 0 0 0 10190 5 0 0 20 0 1 0 161617856 105283584 24551 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 25704 24551 421 379 0 25238 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 112748 KiB
Current children cumulated memory: 100964 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/261 830023
/proc/meminfo: memFree=125656296/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=152136 memory=144744 CPUtime=161.75 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 14007 0 0 0 16168 7 0 0 20 0 1 0 161617856 155787264 36186 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 38034 36186 421 379 0 37568 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 162068 KiB
Current children cumulated memory: 147504 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/261 830034
/proc/meminfo: memFree=125645360/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=102816 memory=98672 CPUtime=221.55 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 14929 0 0 0 22147 8 0 0 20 0 1 0 161617856 105283584 24668 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 25704 24668 421 379 0 25238 0
Current children cumulated CPU time: 221.55 s

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

/proc/loadavg: 4.18 4.16 4.11 5/259 831716
/proc/meminfo: memFree=125288472/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=235388 memory=199292 CPUtime=3031.87 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 44627 0 0 0 303096 91 0 0 20 0 1 0 161617856 241037312 49823 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 58847 49823 421 379 0 58381 0
Current children cumulated CPU time: 3031.87 s
Current children cumulated vsize: 245320 KiB
Current children cumulated memory: 202052 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 831726
/proc/meminfo: memFree=125337008/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=235388 memory=230012 CPUtime=3091.68 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 44705 0 0 0 309076 92 0 0 20 0 1 0 161617856 241037312 57503 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 58847 57503 421 379 0 58381 0
Current children cumulated CPU time: 3091.68 s
Current children cumulated vsize: 245320 KiB
Current children cumulated memory: 232772 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 831742
/proc/meminfo: memFree=125280280/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=185300 memory=159252 CPUtime=3151.47 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 45787 0 0 0 315052 95 0 0 20 0 1 0 161617856 189747200 39813 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 46325 39813 421 379 0 45859 0
Current children cumulated CPU time: 3151.47 s
Current children cumulated vsize: 195232 KiB
Current children cumulated memory: 162012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/262 831752
/proc/meminfo: memFree=125237356/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=235388 memory=195212 CPUtime=3211.27 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 46109 0 0 0 321032 95 0 0 20 0 1 0 161617856 241037312 48803 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 58847 48803 421 379 0 58381 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 245320 KiB
Current children cumulated memory: 197972 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/262 831763
/proc/meminfo: memFree=125104324/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=235388 memory=228040 CPUtime=3271.07 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 46184 0 0 0 327011 96 0 0 20 0 1 0 161617856 241037312 57010 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 58847 57010 421 379 0 58381 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 245320 KiB
Current children cumulated memory: 230800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/262 831775
/proc/meminfo: memFree=125159516/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=322296 memory=260704 CPUtime=3330.88 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 47814 0 0 0 332990 98 0 0 20 0 1 0 161617856 330031104 65176 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 80574 65176 421 379 0 80108 0
Current children cumulated CPU time: 3330.88 s
Current children cumulated vsize: 332228 KiB
Current children cumulated memory: 263464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/262 831785
/proc/meminfo: memFree=125138748/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=240908 memory=190728 CPUtime=3390.68 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 48529 0 0 0 338968 100 0 0 20 0 1 0 161617856 246689792 47682 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 60227 47682 421 379 0 59761 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 250840 KiB
Current children cumulated memory: 193488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 831795
/proc/meminfo: memFree=125105144/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=240908 memory=225604 CPUtime=3450.48 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 48603 0 0 0 344948 100 0 0 20 0 1 0 161617856 246689792 56401 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 60227 56401 421 379 0 59761 0
Current children cumulated CPU time: 3450.48 s
Current children cumulated vsize: 250840 KiB
Current children cumulated memory: 228364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/259 832056
/proc/meminfo: memFree=129099068/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=322296 memory=259720 CPUtime=3510.28 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 49522 0 0 0 350926 102 0 0 20 0 1 0 161617856 330031104 64930 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 80574 64930 421 379 0 80108 0
Current children cumulated CPU time: 3510.28 s
Current children cumulated vsize: 332228 KiB
Current children cumulated memory: 262480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.19 4.13 5/259 832067
/proc/meminfo: memFree=128161716/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=191780 memory=176796 CPUtime=3570.07 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 50150 0 0 0 356903 104 0 0 20 0 1 0 161617856 196382720 44199 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 47945 44199 421 379 0 47479 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 201712 KiB
Current children cumulated memory: 179556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.39 4.22 4.14 5/259 832071
/proc/meminfo: memFree=128110448/131524600 swapFree=131071996/131071996
[pid=829986] ppid=829983 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/829986/stat : 829986 (naps-1.02b5.sh) S 829983 829986 829432 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 161617856 10170368 690 134679101440 94313351053312 94313352132632 140720940586272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94313354231088 94313354278276 94313356087296 140720940590048 140720940590175 140720940590175 140720940597190 0
/proc/829986/statm: 2483 690 612 264 0 134 0
[pid=829991] ppid=829986 vsize=241868 memory=194324 CPUtime=3600.07 cores=0,2
/proc/829991/stat : 829991 (naps-1.02b5) R 829986 829986 829432 0 -1 4194304 50461 0 0 0 359903 104 0 0 20 0 1 0 161617856 247672832 48581 134679101440 4194304 5746509 140736109123296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 24997888 140736109126639 140736109126753 140736109126753 140736109133769 0
/proc/829991/statm: 60467 48581 421 379 0 60001 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 251800 KiB
Current children cumulated memory: 197084 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3612.4 s]
# the end of solver process 829986 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.05164 s

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

Child status: 10

Real time (s): 3612.4
CPU time (s): 3600.08
CPU user time (s): 3599.03
CPU system time (s): 1.05164
CPU usage (%): 99.659
Max. virtual memory (cumulated for all children) (KiB): 413328
Max. memory (cumulated for all children) (KiB): 348452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.05164
maximum resident set size= 345692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50940
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= 52
involuntary context switches= 25332


# summary of solver processes directly reported to runsolver:
#   pid: 829986
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.05164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89581 second user time and 17.3644 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-16 03:48:45
IDJOB=4435100
IDBENCH=147611
IDSOLVER=3065
FILE ID=nodeC027/4435100-1721094512
RUNJOBID= nodeC027-1721094400-829442
SLURM_JOB_ID= 7505601
Free space on /tmp= 890056 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435100-1721094512/watcher-4435100-1721094512 -o /tmp/evaluation-result-4435100-1721094512/solver-4435100-1721094512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721094400-829442 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435100-1721094512.opb

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

MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=572214593

nodeC027.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		: 3611.833
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	: 7000.36
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		: 3685.166
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.29
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		: 3651.445
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	: 7000.36
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.330
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.29
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		: 3656.151
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	: 7000.36
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		: 3685.248
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.29
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		: 3602.179
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	: 7000.36
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.403
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125971976 kB
MemAvailable:   126238060 kB
Buffers:          382488 kB
Cached:           727040 kB
SwapCached:            0 kB
Active:           663476 kB
Inactive:        4308508 kB
Active(anon):       1568 kB
Inactive(anon):  3898620 kB
Active(file):     661908 kB
Inactive(file):   409888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:       3860520 kB
Mapped:           108948 kB
Shmem:             37720 kB
KReclaimable:      68224 kB
Slab:             170000 kB
SReclaimable:      68224 kB
SUnreclaim:       101776 kB
KernelStack:        4144 kB
PageTables:        16552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4746512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60448 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1726464 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:      189140 kB
DirectMap2M:    13215744 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC027 at 2024-07-16 04:48:57