Trace number 4426282

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) 451.906 461.945

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub0_wcsp.wbo
MD5SUMc1daaa37b7d013b8df922d639958f72d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark377.513
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables640
Total number of constraints123180
Number of soft constraints123164
Number of constraints which are clauses123164
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 45316
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 22402430
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.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-4426282-1720901806.wbo
1.18/1.20	c single stage optimization mode
1.28/1.30	o 19375
120.55/120.93	o 12630
170.10/170.60	o 8414
207.99/208.63	o 5609
249.86/250.64	o 3729
299.91/300.87	o 2465
358.93/360.08	o 1465
403.07/404.39	o 966
416.24/417.58	o 513
448.33/449.75	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/461.94	HOME/naps-1.03.sh: line 6: 716836 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: 64059 MiB (62701 MiB free)
  memory of node 1: 64510 MiB (61901 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426282-1720901806/watcher-4426282-1720901806 -o /tmp/evaluation-result-4426282-1720901806/solver-4426282-1720901806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720901807-716608 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426282-1720901806.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=716831, runsolver pid=716828

[startup+0.100106 s]*
/proc/loadavg: 0.69 0.21 0.13 5/245 716836
/proc/meminfo: memFree=127559544/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=16480 memory=11252 CPUtime=0.1 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2023 0 0 0 10 0 0 0 20 0 1 0 142336728 16875520 2813 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 4120 2813 436 659 0 3324 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26412 KiB
Current children cumulated memory: 14056 KiB

[startup+0.213457 s]*
/proc/loadavg: 0.69 0.21 0.13 5/245 716836
/proc/meminfo: memFree=127505628/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=24424 memory=18608 CPUtime=0.21 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 3958 0 0 0 20 1 0 0 20 0 1 0 142336728 25010176 4652 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 6106 4652 436 659 0 5310 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34356 KiB
Current children cumulated memory: 21412 KiB

[startup+0.313322 s]*
/proc/loadavg: 0.69 0.21 0.13 5/245 716836
/proc/meminfo: memFree=127442364/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=32628 memory=25932 CPUtime=0.31 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 5940 0 0 0 30 1 0 0 20 0 1 0 142336728 33411072 6483 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 8157 6483 436 659 0 7361 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42560 KiB
Current children cumulated memory: 28736 KiB

[startup+0.700379 s]
/proc/loadavg: 0.69 0.21 0.13 5/245 716836
/proc/meminfo: memFree=127328500/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=55820 memory=51832 CPUtime=0.68 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 12285 0 0 0 65 3 0 0 20 0 1 0 142336728 57159680 12958 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 13955 12958 436 659 0 13159 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 54636 KiB

[startup+1.50044 s]
/proc/loadavg: 0.69 0.21 0.13 5/245 716836
/proc/meminfo: memFree=127073776/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=122056 memory=104784 CPUtime=1.48 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 26976 0 0 0 143 5 0 0 20 0 1 0 142336728 124985344 26196 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 30514 26196 468 659 0 29718 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131988 KiB
Current children cumulated memory: 107588 KiB

[startup+3.11305 s]
/proc/loadavg: 0.95 0.28 0.15 5/245 716836
/proc/meminfo: memFree=126205700/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=137548 memory=120360 CPUtime=3.09 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 30829 0 0 0 304 5 0 0 20 0 1 0 142336728 140849152 30090 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 34387 30090 468 659 0 33591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147480 KiB
Current children cumulated memory: 123164 KiB

[startup+6.3004 s]
/proc/loadavg: 0.95 0.28 0.15 5/245 716836
/proc/meminfo: memFree=125035064/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=579448 memory=556976 CPUtime=6.27 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 82252 0 0 0 607 20 0 0 20 0 1 0 142336728 593354752 139244 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 144862 139244 468 659 0 144066 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 589380 KiB
Current children cumulated memory: 559780 KiB

[startup+12.7004 s]
/proc/loadavg: 1.20 0.34 0.17 5/245 716837
/proc/meminfo: memFree=123548328/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=2338052 memory=2192172 CPUtime=12.66 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 243962 0 0 0 1202 64 0 0 20 0 1 0 142336728 2394165248 548043 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 584513 548043 468 659 0 583717 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2347984 KiB
Current children cumulated memory: 2194976 KiB

[startup+25.5004 s]
/proc/loadavg: 1.82 0.52 0.24 5/245 716839
/proc/meminfo: memFree=117985716/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=8038588 memory=6906396 CPUtime=25.43 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 680742 0 0 0 2353 190 0 0 20 0 1 0 142336728 8231514112 1726599 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 2009647 1726599 468 659 0 2008851 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 8048520 KiB
Current children cumulated memory: 6909200 KiB

[startup+51.1136 s]
/proc/loadavg: 2.63 0.82 0.34 5/245 716843
/proc/meminfo: memFree=114144860/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=9885600 memory=8896284 CPUtime=50.97 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 868936 0 0 0 4846 251 0 0 20 0 1 0 142336728 10122854400 2224071 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 2471400 2224071 468 659 0 2470604 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 9895532 KiB
Current children cumulated memory: 8899088 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.33 0.54 5/245 716852
/proc/meminfo: memFree=111533980/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=10355860 memory=9437016 CPUtime=102.01 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 971380 0 0 0 9894 307 0 0 20 0 1 0 142336728 10604400640 2359254 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 2588965 2359254 468 659 0 2588169 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 10365792 KiB
Current children cumulated memory: 9439820 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.77 5/245 716863
/proc/meminfo: memFree=108236268/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=14883588 memory=12908880 CPUtime=161.84 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 1275526 0 0 0 15752 432 0 0 20 0 1 0 142336728 15240794112 3227220 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 3720897 3227220 468 659 0 3720101 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 14893520 KiB
Current children cumulated memory: 12911684 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.24 0.98 5/247 716877
/proc/meminfo: memFree=103533428/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=17796892 memory=16392152 CPUtime=221.65 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 1714061 0 0 0 21592 573 0 0 20 0 1 0 142336728 18224017408 4098038 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 4449223 4098038 468 659 0 4448427 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 17806824 KiB

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

Current children cumulated memory: 19478456 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.88 1.37 5/247 716899
/proc/meminfo: memFree=94713620/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=26185012 memory=23136120 CPUtime=341.28 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2417926 0 0 0 33298 830 0 0 20 0 1 0 142336728 26813452288 5784030 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 6546253 5784030 468 659 0 6545457 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 26194944 KiB
Current children cumulated memory: 23138924 KiB

[startup+402.3 s]
/proc/loadavg: 4.49 3.20 1.57 5/247 716909
/proc/meminfo: memFree=93027192/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=28696336 memory=24889316 CPUtime=401.09 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2664715 0 0 0 39174 935 0 0 20 0 1 0 142336728 29385048064 6222329 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7174084 6222329 468 659 0 7173288 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 28706268 KiB
Current children cumulated memory: 24892120 KiB

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

# cumulated CPU time of all completed processes:  user=438.205 s, system=13.7012 s

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

[startup+409.6 s]
/proc/loadavg: 4.80 3.31 1.63 5/247 716911
/proc/meminfo: memFree=92984324/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=28725260 memory=24958044 CPUtime=408.36 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2670982 0 0 0 39899 937 0 0 20 0 1 0 142336728 29414666240 6239511 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7181315 6239511 468 659 0 7180519 0
Current children cumulated CPU time: 408.36 s
Current children cumulated vsize: 28735192 KiB
Current children cumulated memory: 24960848 KiB

[startup+435.2 s]
/proc/loadavg: 4.87 3.44 1.72 5/247 716915
/proc/meminfo: memFree=90702928/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29679872 memory=27152876 CPUtime=433.88 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2908470 0 0 0 42382 1006 0 0 20 0 1 0 142336728 30392188928 6788219 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7419968 6788219 468 659 0 7419172 0
Current children cumulated CPU time: 433.88 s
Current children cumulated vsize: 29689804 KiB
Current children cumulated memory: 27155680 KiB

[startup+448 s]*
/proc/loadavg: 4.75 3.49 1.76 5/247 716918
/proc/meminfo: memFree=90330632/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29818740 memory=27476256 CPUtime=446.66 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) R 716831 716831 716595 0 -1 4194304 2944264 0 0 0 43647 1019 0 0 20 0 1 0 142336728 30534389760 6869064 134679101440 4194304 6891213 140734172393408 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7454685 6869064 468 659 0 7453889 0
Current children cumulated CPU time: 446.66 s
Current children cumulated vsize: 29828672 KiB
Current children cumulated memory: 27479060 KiB

[startup+454.4 s]
/proc/loadavg: 4.77 3.51 1.78 5/248 716920
/proc/meminfo: memFree=87673944/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29818892 memory=27476320 CPUtime=450.84 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) S 716831 716831 716595 0 -1 4195840 2944566 0 0 0 43820 1264 0 0 20 0 1 0 142336728 30534545408 6869080 134679101440 4194304 6891213 140734172393408 140734172390800 6272572 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7454723 6869080 468 659 0 7453927 0
Current children cumulated CPU time: 450.84 s
Current children cumulated vsize: 29828824 KiB
Current children cumulated memory: 27479124 KiB

[startup+457.6 s]
/proc/loadavg: 4.77 3.51 1.78 4/248 716920
/proc/meminfo: memFree=87367596/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29818892 memory=27476320 CPUtime=450.84 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) S 716831 716831 716595 0 -1 4195840 2944566 0 0 0 43820 1264 0 0 20 0 1 0 142336728 30534545408 6869080 134679101440 4194304 6891213 140734172393408 140734172390800 6272572 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7454723 6869080 468 659 0 7453927 0
Current children cumulated CPU time: 450.84 s
Current children cumulated vsize: 29828824 KiB
Current children cumulated memory: 27479124 KiB

[startup+459.2 s]
/proc/loadavg: 4.70 3.52 1.79 4/248 716921
/proc/meminfo: memFree=87364412/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29818892 memory=27476320 CPUtime=450.84 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) S 716831 716831 716595 0 -1 4195840 2944566 0 0 0 43820 1264 0 0 20 0 1 0 142336728 30534545408 6869080 134679101440 4194304 6891213 140734172393408 140734172390800 6272572 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7454723 6869080 468 659 0 7453927 0
Current children cumulated CPU time: 450.84 s
Current children cumulated vsize: 29828824 KiB
Current children cumulated memory: 27479124 KiB

[startup+460.8 s]
/proc/loadavg: 4.70 3.52 1.79 4/248 716921
/proc/meminfo: memFree=87361636/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
[pid=716836] ppid=716831 vsize=29818892 memory=27476320 CPUtime=450.84 cores=5,7
/proc/716836/stat : 716836 (naps-1.03) S 716831 716831 716595 0 -1 4195840 2944566 0 0 0 43820 1264 0 0 20 0 1 0 142336728 30534545408 6869080 134679101440 4194304 6891213 140734172393408 140734172390800 6272572 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 34488320 140734172402621 140734172402737 140734172402737 140734172409803 0
/proc/716836/statm: 7454723 6869080 468 659 0 7453927 0
Current children cumulated CPU time: 450.84 s
Current children cumulated vsize: 29828824 KiB
Current children cumulated memory: 27479124 KiB

[startup+461.601 s]
/proc/loadavg: 4.70 3.52 1.79 5/248 716927
/proc/meminfo: memFree=91370332/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2804 KiB

[startup+461.8 s]
/proc/loadavg: 4.70 3.52 1.79 5/248 716927
/proc/meminfo: memFree=91370332/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2804 KiB

[startup+461.9 s]
/proc/loadavg: 4.70 3.52 1.79 5/248 716927
/proc/meminfo: memFree=91370332/131655788 swapFree=131071996/131071996
[pid=716831] ppid=716828 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/716831/stat : 716831 (naps-1.03.sh) S 716828 716831 716595 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142336727 10170368 701 134679101440 94379226460160 94379227539480 140726401047840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94379229637936 94379229685124 94379258806272 140726401049516 140726401049645 140726401049645 140726401056712 0
/proc/716831/statm: 2483 701 623 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2804 KiB

Child status: 134

Real time (s): 461.945
CPU time (s): 451.906
CPU user time (s): 438.205
CPU system time (s): 13.7012
CPU usage (%): 97.8269
Max. virtual memory (cumulated for all children) (KiB): 29828824
Max. memory (cumulated for all children) (KiB): 27479124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 438.205
system time used= 13.7012
maximum resident set size= 27476576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2945046
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= 26
involuntary context switches= 611


# summary of solver processes directly reported to runsolver:
#   pid: 716831
#   total CPU time (s): 451.906
#   total CPU user time (s): 438.205
#   total CPU system time (s): 13.7012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51748 second user time and 4.7779 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-13 22:16:58
IDJOB=4426282
IDBENCH=143891
IDSOLVER=3042
FILE ID=nodeC003/4426282-1720901806
RUNJOBID= nodeC003-1720901807-716608
SLURM_JOB_ID= 7486069
Free space on /tmp= 723752 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub0_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426282-1720901806/watcher-4426282-1720901806 -o /tmp/evaluation-result-4426282-1720901806/solver-4426282-1720901806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720901807-716608 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4426282-1720901806.wbo

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

MD5SUM BENCH= c1daaa37b7d013b8df922d639958f72d
RANDOM SEED=2039415004

nodeC003.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		: 3558.744
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	: 6983.76
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		: 3494.823
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.30
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.224
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	: 6983.76
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.319
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.30
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		: 3527.279
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	: 6983.76
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		: 3491.887
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.30
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.423
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	: 6983.76
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.223
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127590580 kB
MemAvailable:   127548508 kB
Buffers:          342768 kB
Cached:           463240 kB
SwapCached:            0 kB
Active:           514524 kB
Inactive:        3047288 kB
Active(anon):       1492 kB
Inactive(anon):  2792048 kB
Active(file):     513032 kB
Inactive(file):   255240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36164 kB
Writeback:            12 kB
AnonPages:       2755900 kB
Mapped:           107616 kB
Shmem:             37704 kB
KReclaimable:      59376 kB
Slab:             149544 kB
SReclaimable:      59376 kB
SUnreclaim:        90168 kB
KernelStack:        3916 kB
PageTables:        14136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3328260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46112 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1021952 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:      205640 kB
DirectMap2M:     8087552 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC003 at 2024-07-13 22:24:40