Trace number 4449141

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-PB16 1.02b5? (TO) 3600.17 3609.09

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
MD5SUMeb6e6db1d5217c0fcba95884ddbb513a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.38144
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables542720
Total number of constraints4752
Number of constraints which are clauses2119
Number of constraints which are cardinality constraints (but not clauses)2119
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 758276
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1973311
Number of bits of the biggest sum of numbers21
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-4449141-1721367349.opb
3600.06/3609.00	c 
3600.06/3609.00	c *** TERMINATED *** by signal 15
3600.06/3609.00	s UNKNOWN
3600.06/3609.00	c _____________________________________________________________________________
3600.06/3609.00	c 
3600.06/3609.00	c std/band forms        : 379,0
3600.06/3609.00	c 2cl/3cl ITE-codings   : 0,0
3600.06/3609.00	c BDD/srt/adr Max costs : 1726988,756806,0
3600.06/3609.00	c BDDraw/bin/mul/srt/adr: 190,0,0,188,0
3600.06/3609.00	c BDD nodes             : 356568738
3600.06/3609.00	c Es1/CC detections     : 0,0
3600.06/3609.00	c SAT/UNSAT calls       : 0,0
3600.06/3609.00	c regenrated variables  : 0
3600.06/3609.00	c restarts              : 0
3600.06/3609.00	c conflicts             : 0              (0 /sec)
3600.06/3609.00	c decisions             : 0              (0 /sec)
3600.06/3609.00	c propagations          : 0              (0 /sec)
3600.06/3609.00	c inspects              : 0              (0 /sec)
3600.06/3609.00	c CPU time (solving tm) : 3596 s        (0 s)
3600.06/3609.00	c Time for Opt-base     : 136.2 s
3600.06/3609.00	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: 63968 MiB (62540 MiB free)
  memory of node 1: 64473 MiB (62074 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449141-1721367349/watcher-4449141-1721367349 -o /tmp/evaluation-result-4449141-1721367349/solver-4449141-1721367349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721367361-998007 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449141-1721367349.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=127555288/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=21240 memory=15464 CPUtime=0.09 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 3558 0 0 0 9 0 0 0 20 0 1 0 188899881 21749760 3866 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 5310 3866 405 379 0 4844 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31172 KiB
Current children cumulated memory: 18160 KiB

[startup+0.20546 s]*
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=127503072/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=36512 memory=29264 CPUtime=0.19 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 7146 0 0 0 19 0 0 0 20 0 1 0 188899881 37388288 7316 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 9128 7316 405 379 0 8662 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46444 KiB
Current children cumulated memory: 31960 KiB

[startup+0.305319 s]*
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=127449280/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=51200 memory=41304 CPUtime=0.3 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 10515 0 0 0 29 1 0 0 20 0 1 0 188899881 52428800 10326 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 12800 10326 405 379 0 12334 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 44000 KiB

[startup+0.700242 s]
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=127360180/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=105856 memory=82836 CPUtime=0.69 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 19983 0 0 0 66 3 0 0 20 0 1 0 188899881 108396544 20709 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 26464 20709 405 379 0 25998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115788 KiB
Current children cumulated memory: 85532 KiB

[startup+1.50024 s]
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=127124348/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=222068 memory=163932 CPUtime=1.48 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 38055 0 0 0 141 7 0 0 20 0 1 0 188899881 227397632 40983 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 55517 40983 405 379 0 55051 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232000 KiB
Current children cumulated memory: 166628 KiB

[startup+3.10553 s]
/proc/loadavg: 1.11 1.33 2.08 5/259 998085
/proc/meminfo: memFree=126461168/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=313156 memory=243312 CPUtime=3.08 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 57361 0 0 0 298 10 0 0 20 0 1 0 188899881 320671744 60828 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 78289 60828 405 379 0 77823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 323088 KiB
Current children cumulated memory: 246008 KiB

[startup+6.30024 s]
/proc/loadavg: 1.34 1.37 2.09 5/259 998087
/proc/meminfo: memFree=126036676/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=469248 memory=370204 CPUtime=6.27 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 89200 0 0 0 611 16 0 0 20 0 1 0 188899881 480509952 92551 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 117312 92551 421 379 0 116846 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 479180 KiB
Current children cumulated memory: 372900 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 1.41 2.10 5/259 998087
/proc/meminfo: memFree=124282748/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=914732 memory=815344 CPUtime=12.65 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 187271 0 0 0 1232 33 0 0 20 0 1 0 188899881 936685568 203836 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 228716 203836 421 379 0 228250 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 924664 KiB
Current children cumulated memory: 818040 KiB

[startup+25.5003 s]
/proc/loadavg: 2.10 1.54 2.13 5/259 998090
/proc/meminfo: memFree=120914344/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=1479096 memory=1377120 CPUtime=25.42 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 317637 0 0 0 2487 55 0 0 20 0 1 0 188899881 1514594304 344280 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 369774 344280 421 379 0 369308 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1489028 KiB
Current children cumulated memory: 1379816 KiB

[startup+51.1055 s]
/proc/loadavg: 2.81 1.76 2.19 5/259 998093
/proc/meminfo: memFree=120578948/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=1569968 memory=1484884 CPUtime=50.96 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 327013 0 0 0 5037 59 0 0 20 0 1 0 188899881 1607647232 371221 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 392492 371221 421 379 0 392026 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1579900 KiB
Current children cumulated memory: 1487580 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.12 2.29 5/259 998104
/proc/meminfo: memFree=119812896/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=1761808 memory=1683644 CPUtime=102.04 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 342840 0 0 0 10137 67 0 0 20 0 1 0 188899881 1804091392 420911 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 440452 420911 421 379 0 439986 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1771740 KiB
Current children cumulated memory: 1686340 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 2.54 2.43 5/259 998114
/proc/meminfo: memFree=119380676/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=1879408 memory=1804680 CPUtime=161.91 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 361235 0 0 0 16119 72 0 0 20 0 1 0 188899881 1924513792 451170 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 469852 451170 421 379 0 469386 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 1889340 KiB
Current children cumulated memory: 1807376 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.82 2.53 5/258 998124
/proc/meminfo: memFree=118326864/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=2103572 memory=2078324 CPUtime=221.76 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 375865 0 0 0 22093 83 0 0 20 0 1 0 188899881 2154057728 519581 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 525893 519581 421 379 0 525427 0
Current children cumulated CPU time: 221.76 s

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

/proc/998040/statm: 2150634 2108328 421 379 0 2150168 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 8612468 KiB
Current children cumulated memory: 8436008 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.04 5/261 999600
/proc/meminfo: memFree=94270956/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8637516 memory=8492920 CPUtime=3094.53 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1167890 0 0 0 309102 351 0 0 20 0 1 0 188899881 8844816384 2123230 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2159379 2123230 421 379 0 2158913 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 8647448 KiB
Current children cumulated memory: 8495616 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/263 999780
/proc/meminfo: memFree=93982752/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8692824 memory=8572884 CPUtime=3154.39 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1185399 0 0 0 315086 353 0 0 20 0 1 0 188899881 8901451776 2143221 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2173206 2143221 421 379 0 2172740 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 8702756 KiB
Current children cumulated memory: 8575580 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/263 999790
/proc/meminfo: memFree=93696488/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8746944 memory=8651612 CPUtime=3214.26 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1202664 0 0 0 321069 357 0 0 20 0 1 0 188899881 8956870656 2162903 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2186736 2162903 421 379 0 2186270 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 8756876 KiB
Current children cumulated memory: 8654308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/261 999856
/proc/meminfo: memFree=93438488/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8799876 memory=8729096 CPUtime=3274.11 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1219775 0 0 0 327051 360 0 0 20 0 1 0 188899881 9011073024 2182274 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2199969 2182274 421 379 0 2199503 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 8809808 KiB
Current children cumulated memory: 8731792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/261 999867
/proc/meminfo: memFree=93151708/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8855316 memory=8811092 CPUtime=3333.98 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1237591 0 0 0 333033 365 0 0 20 0 1 0 188899881 9067843584 2202773 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2213829 2202773 421 379 0 2213363 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 8865248 KiB
Current children cumulated memory: 8813788 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/261 999877
/proc/meminfo: memFree=92867360/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=8909436 memory=8890492 CPUtime=3393.84 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1255322 0 0 0 339016 368 0 0 20 0 1 0 188899881 9123262464 2222623 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2227359 2222623 421 379 0 2226893 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 8919368 KiB
Current children cumulated memory: 8893188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/260 999888
/proc/meminfo: memFree=92622752/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=9742428 memory=8950096 CPUtime=3453.7 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1268192 0 0 0 344998 372 0 0 20 0 1 0 188899881 9976246272 2237524 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2435607 2237524 421 379 0 2435141 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 9752360 KiB
Current children cumulated memory: 8952792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/260 999899
/proc/meminfo: memFree=92318400/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=9819648 memory=9060140 CPUtime=3513.56 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1291437 0 0 0 350980 376 0 0 20 0 1 0 188899881 10055319552 2265035 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2454912 2265035 421 379 0 2454446 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 9829580 KiB
Current children cumulated memory: 9062836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/258 999909
/proc/meminfo: memFree=92033288/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=9875088 memory=9142096 CPUtime=3573.43 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1308855 0 0 0 356963 380 0 0 20 0 1 0 188899881 10112090112 2285524 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2468772 2285524 421 379 0 2468306 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 9885020 KiB
Current children cumulated memory: 9144792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.11 4.09 4.05 5/259 999916
/proc/meminfo: memFree=91908076/131524600 swapFree=131070704/131071996
[pid=998035] ppid=998032 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/998035/stat : 998035 (naps-1.02b5.sh) S 998032 998035 997996 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 188899881 10170368 674 134679101440 94242878664704 94242879744024 140721338316800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94242881842480 94242881889668 94242900520960 140721338319839 140721338319966 140721338319966 140721338326982 0
/proc/998035/statm: 2483 674 596 264 0 134 0
[pid=998040] ppid=998035 vsize=9893172 memory=9168356 CPUtime=3600.06 cores=4,6
/proc/998040/stat : 998040 (naps-1.02b5) R 998035 998035 997996 0 -1 4194304 1315377 0 0 0 359625 381 0 0 20 0 1 0 188899881 10130608128 2292089 134679101440 4194304 5746509 140735668344400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 37236736 140735668351982 140735668352096 140735668352096 140735668359113 0
/proc/998040/statm: 2473293 2292089 421 379 0 2472827 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 9903104 KiB
Current children cumulated memory: 9171052 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000714 s, system=0.002012 s

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

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

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

Child status: 0

Real time (s): 3609.09
CPU time (s): 3600.17
CPU user time (s): 3596.26
CPU system time (s): 3.90663
CPU usage (%): 99.7527
Max. virtual memory (cumulated for all children) (KiB): 9903104
Max. memory (cumulated for all children) (KiB): 9171052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.26
system time used= 3.90663
maximum resident set size= 9168356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315835
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= 1267
involuntary context switches= 3320


# summary of solver processes directly reported to runsolver:
#   pid: 998035,998040
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3596.26
#   total CPU system time (s): 3.90663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32517 second user time and 16.9806 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-19 07:36:02
IDJOB=4449141
IDBENCH=160483
IDSOLVER=3065
FILE ID=nodeC023/4449141-1721367349
RUNJOBID= nodeC023-1721367361-998007
SLURM_JOB_ID= 7542809
Free space on /tmp= 889972 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449141-1721367349/watcher-4449141-1721367349 -o /tmp/evaluation-result-4449141-1721367349/solver-4449141-1721367349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721367361-998007 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4449141-1721367349.opb

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

MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=25058654

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127605904 kB
MemAvailable:   129761820 kB
Buffers:          545068 kB
Cached:          2439388 kB
SwapCached:           80 kB
Active:          1125408 kB
Inactive:        2226740 kB
Active(anon):       1512 kB
Inactive(anon):   403792 kB
Active(file):    1123896 kB
Inactive(file):  1822948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            121472 kB
Writeback:             0 kB
AnonPages:        367760 kB
Mapped:           105384 kB
Shmem:             37536 kB
KReclaimable:      97792 kB
Slab:             191084 kB
SReclaimable:      97792 kB
SUnreclaim:        93292 kB
KernelStack:        3888 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     685000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC023 at 2024-07-19 08:36:11