Trace number 4427164

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-PB16 1.02b5? 449.298 450.692

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph13reducmore_wcsp.wbo
MD5SUM67fbd2e887926488e60ea47b7a4ad243
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5015
Best CPU time to get the best result obtained on this benchmark3601.46
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables13153
Total number of constraints970904
Number of soft constraints970450
Number of constraints which are clauses970450
Number of constraints which are cardinality constraints (but not clauses)454
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 10110
Min constraint cost 1
Max constraint cost 3670
Sum of constraints costs 307075871
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

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4427164-1720909360.wbo
448.89/450.32	c malloc failed in xmalloc
448.89/450.32	c 
448.89/450.32	c *** TERMINATED *** by signal 15
448.89/450.32	s UNKNOWN
448.89/450.32	c _____________________________________________________________________________
448.89/450.32	c 
448.89/450.32	c std/band forms        : 446,0
448.89/450.32	c 2cl/3cl ITE-codings   : 12245,0
448.89/450.32	c BDD/srt/adr Max costs : 85,0,0
448.89/450.32	c BDDraw/bin/mul/srt/adr: 446,0,0,0,0
448.89/450.32	c BDD nodes             : 25382
448.89/450.32	c Es1/CC detections     : 0,0
448.89/450.32	c SAT/UNSAT calls       : 0,0
448.89/450.32	c regenrated variables  : 0
448.89/450.32	c restarts              : 0
448.89/450.32	c conflicts             : 0              (0 /sec)
448.89/450.32	c decisions             : 0              (0 /sec)
448.89/450.32	c propagations          : 0              (0 /sec)
448.89/450.32	c inspects              : 0              (0 /sec)
448.89/450.32	c CPU time (solving tm) : 441.3 s        (0 s)
448.89/450.32	c Time for Opt-base     : 90.89 s
448.89/450.32	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (46924 MiB free)
  memory of node 1: 64510 MiB (55494 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427164-1720909360/watcher-4427164-1720909360 -o /tmp/evaluation-result-4427164-1720909360/solver-4427164-1720909360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720905553-724281 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427164-1720909360.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=728260, runsolver pid=728257

[startup+0.100092 s]*
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104868164/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=16508 memory=13124 CPUtime=0.1 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2573 0 0 0 10 0 0 0 20 0 1 0 143094798 16904192 3281 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4127 3281 405 379 0 3661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 15804 KiB

[startup+0.212962 s]*
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104859004/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=23512 memory=19580 CPUtime=0.21 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 4193 0 0 0 21 0 0 0 20 0 1 0 143094798 24076288 4895 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 5878 4895 405 379 0 5412 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 22260 KiB

[startup+0.313117 s]*
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104853160/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=31680 memory=26592 CPUtime=0.31 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 6146 0 0 0 30 1 0 0 20 0 1 0 143094798 32440320 6648 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 7920 6648 405 379 0 7454 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41612 KiB
Current children cumulated memory: 29272 KiB

[startup+0.700399 s]
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104837572/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=54288 memory=50200 CPUtime=0.68 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 11868 0 0 0 66 2 0 0 20 0 1 0 143094798 55590912 12550 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 13572 12550 405 379 0 13106 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64220 KiB
Current children cumulated memory: 52880 KiB

[startup+1.50039 s]
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104809900/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=111924 memory=103816 CPUtime=1.48 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 24028 0 0 0 143 5 0 0 20 0 1 0 143094798 114610176 25954 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 27981 25954 405 379 0 27515 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121856 KiB
Current children cumulated memory: 106496 KiB

[startup+3.11301 s]
/proc/loadavg: 4.08 4.16 4.17 5/247 728265
/proc/meminfo: memFree=104667760/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=239020 memory=212368 CPUtime=3.09 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 46007 0 0 0 299 10 0 0 20 0 1 0 143094798 244756480 53092 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 59755 53092 405 379 0 59289 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 248952 KiB
Current children cumulated memory: 215048 KiB

[startup+6.30036 s]
/proc/loadavg: 4.07 4.15 4.17 5/247 728265
/proc/meminfo: memFree=104465580/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=450520 memory=416288 CPUtime=6.27 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 78658 0 0 0 610 17 0 0 20 0 1 0 143094798 461332480 104072 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 112630 104072 405 379 0 112164 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 460452 KiB
Current children cumulated memory: 418968 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 4.15 4.17 5/247 728267
/proc/meminfo: memFree=103837840/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=1066212 memory=1036916 CPUtime=12.64 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 201650 0 0 0 1227 37 0 0 20 0 1 0 143094798 1091801088 259229 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 266553 259229 421 379 0 266087 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1076144 KiB
Current children cumulated memory: 1039596 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 4.16 5/247 728268
/proc/meminfo: memFree=104299152/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=1066212 memory=1037080 CPUtime=25.41 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 201669 0 0 0 2503 38 0 0 20 0 1 0 143094798 1091801088 259270 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 266553 259270 421 379 0 266087 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1076144 KiB
Current children cumulated memory: 1039760 KiB

[startup+51.1129 s]
/proc/loadavg: 4.21 4.18 4.18 5/247 728273
/proc/meminfo: memFree=103094060/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=1066212 memory=1037080 CPUtime=50.96 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 201703 0 0 0 5057 39 0 0 20 0 1 0 143094798 1091801088 259270 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 266553 259270 421 379 0 266087 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1076144 KiB
Current children cumulated memory: 1039760 KiB

[startup+102.3 s]
/proc/loadavg: 4.71 4.32 4.23 5/247 728282
/proc/meminfo: memFree=96608352/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=1192100 memory=1156088 CPUtime=102 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 202966 0 0 0 10158 42 0 0 20 0 1 0 143094798 1220710400 289022 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 298025 289022 421 379 0 297559 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1202032 KiB
Current children cumulated memory: 1158768 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 4.22 4.20 4/239 728324
/proc/meminfo: memFree=88404588/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=6880712 memory=6847752 CPUtime=161.82 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 721513 0 0 0 15931 251 0 0 20 0 1 0 143094798 7045849088 1711938 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 1720178 1711938 421 379 0 1719712 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 6890644 KiB
Current children cumulated memory: 6850432 KiB

[startup+222.3 s]
/proc/loadavg: 3.23 3.98 4.12 3/234 728760
/proc/meminfo: memFree=102233356/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=10183504 memory=9763944 CPUtime=221.63 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 1214601 0 0 0 21799 364 0 0 20 0 1 0 143094798 10427908096 2440986 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 2545876 2440986 421 379 0 2545410 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 10193436 KiB
Current children cumulated memory: 9766624 KiB

[startup+282.3 s]
/proc/loadavg: 2.61 3.67 4.00 3/234 728770
/proc/meminfo: memFree=98689308/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=13444952 memory=13299748 CPUtime=281.43 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 1362997 0 0 0 27618 525 0 0 20 0 1 0 143094798 13767630848 3324937 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 3361238 3324937 421 379 0 3360772 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 13454884 KiB
Current children cumulated memory: 13302428 KiB

[startup+342.3 s]
/proc/loadavg: 2.37 3.41 3.89 3/234 728780
/proc/meminfo: memFree=96404376/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=16182492 memory=15577000 CPUtime=341.25 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 1749128 0 0 0 33504 621 0 0 20 0 1 0 143094798 16570871808 3894250 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4045623 3894250 421 379 0 4045157 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 16192424 KiB
Current children cumulated memory: 15579680 KiB

[startup+402.3 s]
/proc/loadavg: 2.22 3.18 3.78 3/236 728961
/proc/meminfo: memFree=94843312/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=17237512 memory=17137592 CPUtime=401.04 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2017351 0 0 0 39414 690 0 0 20 0 1 0 143094798 17651212288 4284398 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4309378 4284398 421 379 0 4308912 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 17247444 KiB
Current children cumulated memory: 17140272 KiB

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

# cumulated CPU time of all completed processes:  user=441.308 s, system=7.98984 s

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

[startup+409.6 s]
/proc/loadavg: 2.19 3.14 3.76 3/236 728963
/proc/meminfo: memFree=94639524/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=19172580 memory=17343784 CPUtime=408.32 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2052570 0 0 0 40131 701 0 0 20 0 1 0 143094798 19632721920 4335946 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4793145 4335946 421 379 0 4792679 0
Current children cumulated CPU time: 408.32 s
Current children cumulated vsize: 19182512 KiB
Current children cumulated memory: 17346464 KiB

[startup+435.2 s]
/proc/loadavg: 2.12 3.05 3.71 3/236 728966
/proc/meminfo: memFree=93893976/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=19670128 memory=18085856 CPUtime=433.84 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2179967 0 0 0 42650 734 0 0 20 0 1 0 143094798 20142211072 4521464 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4917532 4521464 421 379 0 4917066 0
Current children cumulated CPU time: 433.84 s
Current children cumulated vsize: 19680060 KiB
Current children cumulated memory: 18088536 KiB

[startup+441.6 s]
/proc/loadavg: 2.11 3.03 3.70 3/236 728967
/proc/meminfo: memFree=93618904/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=19865060 memory=18374944 CPUtime=440.22 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2228752 0 0 0 43274 748 0 0 20 0 1 0 143094798 20341821440 4593736 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4966265 4593736 421 379 0 4965799 0
Current children cumulated CPU time: 440.22 s
Current children cumulated vsize: 19874992 KiB
Current children cumulated memory: 18377624 KiB

[startup+444.8 s]
/proc/loadavg: 2.18 3.03 3.70 3/236 728967
/proc/meminfo: memFree=93487664/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=19957488 memory=18512624 CPUtime=443.41 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2252277 0 0 0 43588 753 0 0 20 0 1 0 143094798 20436467712 4628156 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 4989372 4628156 421 379 0 4988906 0
Current children cumulated CPU time: 443.41 s
Current children cumulated vsize: 19967420 KiB
Current children cumulated memory: 18515304 KiB

[startup+448 s]*
/proc/loadavg: 2.18 3.03 3.70 3/236 728970
/proc/meminfo: memFree=93327844/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=20044388 memory=18640416 CPUtime=446.61 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2274507 0 0 0 43903 758 0 0 20 0 1 0 143094798 20525453312 4660104 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 5011097 4660104 421 379 0 5010631 0
Current children cumulated CPU time: 446.61 s
Current children cumulated vsize: 20054320 KiB
Current children cumulated memory: 18643096 KiB

[startup+449.6 s]
/proc/loadavg: 2.17 3.01 3.69 3/236 728970
/proc/meminfo: memFree=93290028/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
[pid=728265] ppid=728260 vsize=20083316 memory=18699696 CPUtime=448.2 cores=0,2
/proc/728265/stat : 728265 (naps-1.02b5) R 728260 728260 721865 0 -1 4194304 2284491 0 0 0 44060 760 0 0 20 0 1 0 143094798 20565315584 4674924 134679101440 4194304 5746509 140723892085072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36306944 140723892093883 140723892093997 140723892093997 140723892101065 0
/proc/728265/statm: 5020829 4674924 421 379 0 5020363 0
Current children cumulated CPU time: 448.2 s
Current children cumulated vsize: 20093248 KiB
Current children cumulated memory: 18702376 KiB

[startup+450.4 s]
/proc/loadavg: 2.17 3.01 3.69 3/236 728970
/proc/meminfo: memFree=93240792/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2680 KiB

[startup+450.6 s]
/proc/loadavg: 2.17 3.01 3.69 3/236 728970
/proc/meminfo: memFree=93240792/131655788 swapFree=131071996/131071996
[pid=728260] ppid=728257 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/728260/stat : 728260 (naps-1.02b5.sh) S 728257 728260 721865 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 143094797 10170368 670 134679101440 94040694984704 94040696064024 140726031412960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94040698162480 94040698209668 94040701034496 140726031418284 140726031418411 140726031418411 140726031425478 0
/proc/728260/statm: 2483 670 591 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2680 KiB

Child status: 0

Real time (s): 450.692
CPU time (s): 449.298
CPU user time (s): 441.308
CPU system time (s): 7.98984
CPU usage (%): 99.6906
Max. virtual memory (cumulated for all children) (KiB): 20119744
Max. memory (cumulated for all children) (KiB): 18741040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.308
system time used= 7.98984
maximum resident set size= 18739180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2291747
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= 12
involuntary context switches= 3079


# summary of solver processes directly reported to runsolver:
#   pid: 728260
#   total CPU time (s): 449.298
#   total CPU user time (s): 441.308
#   total CPU system time (s): 7.98984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29584 second user time and 4.33343 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-14 00:22:53
IDJOB=4427164
IDBENCH=144144
IDSOLVER=3045
FILE ID=nodeC006/4427164-1720909360
RUNJOBID= nodeC006-1720905553-724281
SLURM_JOB_ID= 7486072
Free space on /tmp= 723700 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph13reducmore_wcsp.wbo
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4427164-1720909360/watcher-4427164-1720909360 -o /tmp/evaluation-result-4427164-1720909360/solver-4427164-1720909360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720905553-724281 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4427164-1720909360.wbo

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

MD5SUM BENCH= 67fbd2e887926488e60ea47b7a4ad243
RANDOM SEED=2005861070

nodeC006.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		: 3491.972
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.94
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		: 3491.970
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.26
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.274
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.94
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.408
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.26
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		: 3491.971
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.94
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		: 3663.896
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.26
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.277
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.94
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.272
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        104877508 kB
MemAvailable:   107077720 kB
Buffers:          339428 kB
Cached:          2677780 kB
SwapCached:            0 kB
Active:           548416 kB
Inactive:       25615164 kB
Active(anon):       1492 kB
Inactive(anon): 23182632 kB
Active(file):     546924 kB
Inactive(file):  2432532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             34356 kB
Writeback:             0 kB
AnonPages:      23146452 kB
Mapped:           106324 kB
Shmem:             37704 kB
KReclaimable:     121576 kB
Slab:             219228 kB
SReclaimable:     121576 kB
SUnreclaim:        97652 kB
KernelStack:        3968 kB
PageTables:        54688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   25752680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9926656 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:      199496 kB
DirectMap2M:    18579456 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC006 at 2024-07-14 00:30:24