Trace number 4456225

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-GM 1.03? (exit code) 380.802 393.628

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-0-100-0.wbo
MD5SUM7667e15f44a3012fd6e0dfec443bb7df
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.06653
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables16744
Total number of constraints52975
Number of soft constraints52975
Number of constraints which are clauses52611
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint72
Top cost 2678330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2678329
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 413
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4456225-1721718524.wbo
2.48/2.50	c single stage optimization mode
5.17/5.28	o 15540
268.54/269.68	o 75
376.04/377.54	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/393.62	HOME/naps-1.03.sh: line 6: 79796 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61419 MiB free)
  memory of node 1: 64473 MiB (58310 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456225-1721718524/watcher-4456225-1721718524 -o /tmp/evaluation-result-4456225-1721718524/solver-4456225-1721718524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79049 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456225-1721718524.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=79791, runsolver pid=79788

[startup+0.100818 s]*
/proc/loadavg: 3.46 2.00 1.84 5/248 79796
/proc/meminfo: memFree=122598176/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=13480 memory=9080 CPUtime=0.09 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 1481 0 0 0 9 0 0 0 20 0 1 0 7841369 13803520 2270 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 3370 2270 436 659 0 2574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 11732 KiB

[startup+0.213476 s]*
/proc/loadavg: 3.46 2.00 1.84 5/248 79796
/proc/meminfo: memFree=122588232/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=23484 memory=17800 CPUtime=0.2 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 3745 0 0 0 20 0 0 0 20 0 1 0 7841369 24047616 4450 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 5871 4450 436 659 0 5075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 20452 KiB

[startup+0.313552 s]*
/proc/loadavg: 3.46 2.00 1.84 5/248 79796
/proc/meminfo: memFree=122580364/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31500 memory=25256 CPUtime=0.31 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 5797 0 0 0 30 1 0 0 20 0 1 0 7841369 32256000 6314 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7875 6314 436 659 0 7079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41432 KiB
Current children cumulated memory: 27908 KiB

[startup+0.700395 s]
/proc/loadavg: 3.46 2.00 1.84 5/248 79796
/proc/meminfo: memFree=122563732/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=52940 memory=45996 CPUtime=0.68 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 11660 0 0 0 67 1 0 0 20 0 1 0 7841369 54210560 11499 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 13235 11499 468 659 0 12439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62872 KiB
Current children cumulated memory: 48648 KiB

[startup+1.50035 s]
/proc/loadavg: 3.46 2.00 1.84 5/248 79796
/proc/meminfo: memFree=122553540/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=71900 memory=63464 CPUtime=1.48 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 14427 0 0 0 146 2 0 0 20 0 1 0 7841369 73625600 15866 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 17975 15866 468 659 0 17179 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81832 KiB
Current children cumulated memory: 66116 KiB

[startup+3.11341 s]
/proc/loadavg: 3.58 2.05 1.86 5/248 79846
/proc/meminfo: memFree=122292000/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=365172 memory=335948 CPUtime=3.09 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 58940 0 0 0 299 10 0 0 20 0 1 0 7841369 373936128 83987 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 91293 83987 468 659 0 90497 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 375104 KiB
Current children cumulated memory: 338600 KiB

[startup+6.30041 s]
/proc/loadavg: 3.58 2.05 1.86 5/248 79896
/proc/meminfo: memFree=123060020/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=446756 memory=411804 CPUtime=6.26 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 77742 0 0 0 612 14 0 0 20 0 1 0 7841369 457478144 102951 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 111689 102951 468 659 0 110893 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 456688 KiB
Current children cumulated memory: 414456 KiB

[startup+12.7004 s]
/proc/loadavg: 3.80 2.15 1.89 5/248 79948
/proc/meminfo: memFree=121579720/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=1391460 memory=1353104 CPUtime=12.64 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 188998 0 0 0 1216 48 0 0 20 0 1 0 7841369 1424855040 338276 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 347865 338276 468 659 0 347069 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1401392 KiB
Current children cumulated memory: 1355756 KiB

[startup+25.5004 s]
/proc/loadavg: 3.83 2.21 1.92 5/248 79949
/proc/meminfo: memFree=111184404/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=4593920 memory=4298004 CPUtime=25.4 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 442410 0 0 0 2410 130 0 0 20 0 1 0 7841369 4704174080 1074501 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 1148480 1074501 468 659 0 1147684 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4603852 KiB
Current children cumulated memory: 4300656 KiB

[startup+51.1136 s]
/proc/loadavg: 3.97 2.37 1.98 5/248 79955
/proc/meminfo: memFree=91385092/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=14619672 memory=13298932 CPUtime=50.91 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 1315121 0 0 0 4708 383 0 0 20 0 1 0 7841369 14970544128 3324733 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 3654918 3324733 468 659 0 3654122 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 14629604 KiB
Current children cumulated memory: 13301584 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 2.72 2.12 5/248 79963
/proc/meminfo: memFree=74912068/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=19145964 memory=18036868 CPUtime=101.91 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 1830247 0 0 0 9650 541 0 0 20 0 1 0 7841369 19605467136 4509217 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 4786491 4509217 468 659 0 4785695 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 19155896 KiB
Current children cumulated memory: 18039520 KiB

[startup+162.3 s]
/proc/loadavg: 4.75 3.15 2.31 5/250 79977
/proc/meminfo: memFree=70101496/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=20301268 memory=18515004 CPUtime=161.67 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2017053 0 0 0 15515 652 0 0 20 0 1 0 7841369 20788498432 4628751 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 5075317 4628751 468 659 0 5074521 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 20311200 KiB
Current children cumulated memory: 18517656 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 3.34 2.42 5/250 79988
/proc/meminfo: memFree=67960632/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=21491860 memory=19562404 CPUtime=221.42 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2088245 0 0 0 21446 696 0 0 20 0 1 0 7841369 22007664640 4890601 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 5372965 4890601 468 659 0 5372169 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 21501792 KiB
Current children cumulated memory: 19565056 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 3.48 2.53 5/247 79999
/proc/meminfo: memFree=61398712/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=21759032 memory=20217920 CPUtime=281.2 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2161445 0 0 0 27342 778 0 0 20 0 1 0 7841369 22281248768 5054480 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 5439758 5054480 468 659 0 5438962 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 21768964 KiB
Current children cumulated memory: 20220572 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.59 2.63 5/247 80009
/proc/meminfo: memFree=45310560/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31327460 memory=27444796 CPUtime=340.97 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2903248 0 0 0 33094 1003 0 0 20 0 1 0 7841369 32079319040 6861199 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7831865 6861199 468 659 0 7831069 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 31337392 KiB
Current children cumulated memory: 27447448 KiB

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

# cumulated CPU time of all completed processes:  user=365.793 s, system=15.0092 s

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

[startup+358.4 s]
/proc/loadavg: 4.15 3.63 2.67 5/247 80011
/proc/meminfo: memFree=42383072/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31514288 memory=27895872 CPUtime=357.01 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2950853 0 0 0 34678 1023 0 0 20 0 1 0 7841369 32270630912 6973968 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7878572 6973968 468 659 0 7877776 0
Current children cumulated CPU time: 357.01 s
Current children cumulated vsize: 31524220 KiB
Current children cumulated memory: 27898524 KiB

[startup+371.2 s]
/proc/loadavg: 4.13 3.64 2.68 5/247 80015
/proc/meminfo: memFree=40842032/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31524056 memory=27918072 CPUtime=369.76 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) R 79791 79791 79038 0 -1 4194304 2953794 0 0 0 35948 1028 0 0 20 0 1 0 7841369 32280633344 6979518 134679101440 4194304 6891213 140732985750224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7881014 6979518 468 659 0 7880218 0
Current children cumulated CPU time: 369.76 s
Current children cumulated vsize: 31533988 KiB
Current children cumulated memory: 27920724 KiB

[startup+384 s]*
/proc/loadavg: 4.10 3.66 2.70 5/248 80019
/proc/meminfo: memFree=38609104/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31524992 memory=27920888 CPUtime=379.37 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) S 79791 79791 79038 0 -1 4195840 2954439 0 0 0 36579 1358 0 0 20 0 1 0 7841369 32281591808 6980222 134679101440 4194304 6891213 140732985750224 140732985747616 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7881248 6980222 468 659 0 7880452 0
Current children cumulated CPU time: 379.37 s
Current children cumulated vsize: 31534924 KiB
Current children cumulated memory: 27923540 KiB

[startup+390.4 s]
/proc/loadavg: 4.33 3.72 2.73 4/248 80020
/proc/meminfo: memFree=39561340/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31524992 memory=27920888 CPUtime=379.37 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) S 79791 79791 79038 0 -1 4195840 2954439 0 0 0 36579 1358 0 0 20 0 1 0 7841369 32281591808 6980222 134679101440 4194304 6891213 140732985750224 140732985747616 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7881248 6980222 468 659 0 7880452 0
Current children cumulated CPU time: 379.37 s
Current children cumulated vsize: 31534924 KiB
Current children cumulated memory: 27923540 KiB

[startup+392 s]*
/proc/loadavg: 4.33 3.72 2.73 5/249 80021
/proc/meminfo: memFree=40665592/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
[pid=79796] ppid=79791 vsize=31524992 memory=27920888 CPUtime=379.37 cores=0,2
/proc/79796/stat : 79796 (naps-1.03) S 79791 79791 79038 0 -1 4195840 2954439 0 0 0 36579 1358 0 0 20 0 1 0 7841369 32281591808 6980222 134679101440 4194304 6891213 140732985750224 140732985747616 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11644928 140732985758704 140732985758820 140732985758820 140732985765835 0
/proc/79796/statm: 7881248 6980222 468 659 0 7880452 0
Current children cumulated CPU time: 379.37 s
Current children cumulated vsize: 31534924 KiB
Current children cumulated memory: 27923540 KiB

[startup+392.802 s]
/proc/loadavg: 4.33 3.72 2.73 5/249 80021
/proc/meminfo: memFree=40665592/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2652 KiB

[startup+393.2 s]
/proc/loadavg: 4.38 3.74 2.74 5/249 80027
/proc/meminfo: memFree=51658356/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2652 KiB

[startup+393.6 s]
/proc/loadavg: 4.38 3.74 2.74 5/249 80027
/proc/meminfo: memFree=51658356/131655788 swapFree=131071996/131071996
[pid=79791] ppid=79788 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/79791/stat : 79791 (naps-1.03.sh) S 79788 79791 79038 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 7841369 10170368 663 134679101440 94495869231104 94495870310424 140726580755152 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94495872408880 94495872456068 94495877595136 140726580757471 140726580757600 140726580757600 140726580764616 0
/proc/79791/statm: 2483 663 584 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2652 KiB

Child status: 134

Real time (s): 393.628
CPU time (s): 380.802
CPU user time (s): 365.793
CPU system time (s): 15.0092
CPU usage (%): 96.7417
Max. virtual memory (cumulated for all children) (KiB): 31534924
Max. memory (cumulated for all children) (KiB): 27923540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.793
system time used= 15.0092
maximum resident set size= 27921144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2954912
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= 70
involuntary context switches= 2704


# summary of solver processes directly reported to runsolver:
#   pid: 79791
#   total CPU time (s): 380.802
#   total CPU user time (s): 365.793
#   total CPU system time (s): 15.0092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04523 second user time and 4.32875 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-23 09:08:44
IDJOB=4456225
IDBENCH=143307
IDSOLVER=3042
FILE ID=nodeC004/4456225-1721718524
RUNJOBID= nodeC004-1721718430-79049
SLURM_JOB_ID= 7770415
Free space on /tmp= 723764 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j90/normalized-j9010_6-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456225-1721718524/watcher-4456225-1721718524 -o /tmp/evaluation-result-4456225-1721718524/solver-4456225-1721718524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79049 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4456225-1721718524.wbo

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

MD5SUM BENCH= 7667e15f44a3012fd6e0dfec443bb7df
RANDOM SEED=2000304349

nodeC004.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	: 0xb00001f
cpu MHz		: 3631.541
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 3657.763
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 1197.398
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 3664.732
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 3661.986
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.538
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 1197.438
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122604224 kB
MemAvailable:   126701028 kB
Buffers:          136084 kB
Cached:          4743772 kB
SwapCached:            0 kB
Active:           882592 kB
Inactive:        7577792 kB
Active(anon):       1488 kB
Inactive(anon):  3608532 kB
Active(file):     881104 kB
Inactive(file):  3969260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13016 kB
Writeback:            20 kB
AnonPages:       3579708 kB
Mapped:           104648 kB
Shmem:             29512 kB
KReclaimable:     173280 kB
Slab:             269680 kB
SReclaimable:     173280 kB
SUnreclaim:        96400 kB
KernelStack:        3904 kB
PageTables:        16180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4248644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1662976 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:      269128 kB
DirectMap2M:    20606976 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC004 at 2024-07-23 09:15:18