Trace number 4525664

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 naps-1.03a6? (exit code) 759.723 776.88

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18_wcsp.wbo
MD5SUM7ac97bb2deff70454cbda9bb64710db6
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3263
Best CPU time to get the best result obtained on this benchmark234.422
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2210
Total number of constraints246592
Number of soft constraints246492
Number of constraints which are clauses246492
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Top cost 255184
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 44859114
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
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.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4525664-1751623976.wbo
0.00/0.01	c Initial goal by soft: 255183
56.12/56.30	c single stage optimization mode
758.56/761.07	terminate called after throwing an instance of 'std::bad_alloc'
758.56/761.07	  what():  std::bad_alloc
0.00/776.88	./naps-1.03a6.sh: line 6: 95475 Aborted                 (core dumped) ${self_dir}/naps-1.03a6 ${@}

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: 63665 MiB (62592 MiB free)
  memory of node 1: 64507 MiB (63750 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525664-1751623976/watcher-4525664-1751623976 -o /tmp/evaluation-result-4525664-1751623976/solver-4525664-1751623976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94634 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525664-1751623976.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=95471, runsolver pid=95468

[startup+0.100062 s]*
/proc/loadavg: 4.12 4.11 4.09 4/255 95476
/proc/meminfo: memFree=129341008/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=13792 memory=11792 CPUtime=0.08 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2839 0 0 0 8 0 0 0 20 0 1 0 78077912 14123008 2948 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 3448 2948 544 696 0 2609 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 17984 KiB
Current children cumulated memory: 14864 KiB

[startup+0.205364 s]*
/proc/loadavg: 4.12 4.11 4.09 5/261 95489
/proc/meminfo: memFree=129309580/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=24368 memory=21852 CPUtime=0.18 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 5219 0 0 0 18 0 0 0 20 0 1 0 78077912 24952832 5463 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 6092 5463 544 696 0 5253 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28560 KiB
Current children cumulated memory: 24924 KiB

[startup+0.305329 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 95501
/proc/meminfo: memFree=129284244/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872 memory=27868 CPUtime=0.28 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 6734 0 0 0 28 0 0 0 20 0 1 0 78077912 30588928 6967 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 7468 6967 544 696 0 6629 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34064 KiB
Current children cumulated memory: 30940 KiB

[startup+0.700133 s]
/proc/loadavg: 4.12 4.11 4.09 6/266 95501
/proc/meminfo: memFree=129214696/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=82660 memory=78108 CPUtime=0.68 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 16979 0 0 0 66 2 0 0 20 0 1 0 78077912 84643840 19527 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 20665 19527 544 696 0 19826 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86852 KiB
Current children cumulated memory: 81180 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 95501
/proc/meminfo: memFree=129009660/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=152008 memory=149076 CPUtime=1.48 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 31138 0 0 0 143 5 0 0 20 0 1 0 78077912 155656192 37269 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 38002 37269 544 696 0 37163 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156200 KiB
Current children cumulated memory: 152148 KiB

[startup+3.10531 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 95501
/proc/meminfo: memFree=128369892/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=283292 memory=280400 CPUtime=3.07 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 60909 0 0 0 297 10 0 0 20 0 1 0 78077912 290091008 70100 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 70823 70100 576 696 0 69984 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 287484 KiB
Current children cumulated memory: 283472 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 95501
/proc/meminfo: memFree=127702864/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=283292 memory=280400 CPUtime=6.26 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 60911 0 0 0 616 10 0 0 20 0 1 0 78077912 290091008 70100 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 70823 70100 576 696 0 69984 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 287484 KiB
Current children cumulated memory: 283472 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 95501
/proc/meminfo: memFree=124693236/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=1186300 memory=1166368 CPUtime=12.64 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 154888 0 0 0 1225 39 0 0 20 0 1 0 78077912 1214771200 291592 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 296575 291592 576 696 0 295736 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1190492 KiB
Current children cumulated memory: 1169440 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 95501
/proc/meminfo: memFree=114517416/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=4346784 memory=3985320 CPUtime=25.4 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 430375 0 0 0 2410 130 0 0 20 0 1 0 78077912 4451106816 996330 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 1086696 996330 576 696 0 1085857 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4350976 KiB
Current children cumulated memory: 3988392 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 95502
/proc/meminfo: memFree=79227904/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=16960092 memory=16279856 CPUtime=50.93 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 1520327 0 0 0 4510 583 0 0 20 0 1 0 78077912 17367134208 4069964 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 4240023 4069964 576 696 0 4239184 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 16964284 KiB
Current children cumulated memory: 16282928 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/266 95504
/proc/meminfo: memFree=71066744/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=22033476 memory=20917932 CPUtime=101.97 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 1921908 0 0 0 9424 773 0 0 20 0 1 0 78077912 22562279424 5229483 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 5508369 5229483 608 696 0 5507530 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 22037668 KiB
Current children cumulated memory: 20921004 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 95513
/proc/meminfo: memFree=66897784/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=23985080 memory=22612500 CPUtime=161.77 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2242095 0 0 0 15326 851 0 0 20 0 1 0 78077912 24560721920 5653125 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 5996270 5653125 608 696 0 5995431 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 23989272 KiB
Current children cumulated memory: 22615572 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 95515
/proc/meminfo: memFree=68239884/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=24104136 memory=22641728 CPUtime=221.57 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2255815 0 0 0 21277 880 0 0 20 0 1 0 78077912 24682635264 5660432 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 6026034 5660432 608 696 0 6025195 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 24108328 KiB

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

/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=25838984 memory=24531832 CPUtime=460.77 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2575044 0 0 0 45117 960 0 0 20 0 1 0 78077912 26459119616 6132958 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 6459746 6132958 608 696 0 6458907 0
Current children cumulated CPU time: 460.77 s
Current children cumulated vsize: 25843176 KiB
Current children cumulated memory: 24534904 KiB

[startup+522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 95525
/proc/meminfo: memFree=52838332/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=31406520 memory=30099460 CPUtime=520.58 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2594890 0 0 0 50835 1223 0 0 20 0 1 0 78077912 32160276480 7524865 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 7851630 7524865 608 696 0 7850791 0
Current children cumulated CPU time: 520.58 s
Current children cumulated vsize: 31410712 KiB
Current children cumulated memory: 30102532 KiB

[startup+582.3 s]
/proc/loadavg: 4.28 4.13 4.10 5/266 95527
/proc/meminfo: memFree=56139292/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=27410188 memory=26123720 CPUtime=580.38 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2640176 0 0 0 56701 1337 0 0 20 0 1 0 78077912 28068032512 6530930 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 6852547 6530930 608 696 0 6851708 0
Current children cumulated CPU time: 580.38 s
Current children cumulated vsize: 27414380 KiB
Current children cumulated memory: 26126792 KiB

[startup+642.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/266 95529
/proc/meminfo: memFree=57630896/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=26717336 memory=25430968 CPUtime=640.19 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2821214 0 0 0 62625 1394 0 0 20 0 1 0 78077912 27358552064 6357742 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 6679334 6357742 608 696 0 6678495 0
Current children cumulated CPU time: 640.19 s
Current children cumulated vsize: 26721528 KiB
Current children cumulated memory: 25434040 KiB

[startup+702.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/266 95531
/proc/meminfo: memFree=56933500/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=28211012 memory=26924764 CPUtime=700.01 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) R 95471 95471 94621 0 -1 4194304 2839439 0 0 0 68493 1508 0 0 20 0 1 0 78077912 28888076288 6731191 18446744073709551615 4198400 7047149 140723771637328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 0
/proc/95475/statm: 7052753 6731191 608 696 0 7051914 0
Current children cumulated CPU time: 700.01 s
Current children cumulated vsize: 28215204 KiB
Current children cumulated memory: 26927836 KiB

[startup+762.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/269 95542
/proc/meminfo: memFree=52849056/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

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

# cumulated CPU time of all completed processes:  user=742.873 s, system=16.85 s

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

[startup+768 s]*
/proc/loadavg: 4.11 4.13 4.10 5/268 95543
/proc/meminfo: memFree=57257168/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

[startup+771.2 s]
/proc/loadavg: 4.11 4.13 4.10 4/268 95543
/proc/meminfo: memFree=54858948/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

[startup+774.4 s]
/proc/loadavg: 4.18 4.14 4.10 4/268 95543
/proc/meminfo: memFree=54861248/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

[startup+776 s]*
/proc/loadavg: 4.18 4.14 4.10 4/268 95543
/proc/meminfo: memFree=54833144/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

[startup+776.4 s]
/proc/loadavg: 4.18 4.14 4.10 4/268 95543
/proc/meminfo: memFree=54833144/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
[pid=95475] ppid=95471 vsize=29872484 memory=28735924 CPUtime=759.3 cores=5,7
/proc/95475/stat : 95475 (naps-1.03a6) S 95471 95471 94621 0 -1 4195840 2998843 0 0 0 74287 1643 0 0 20 0 1 0 78077912 30589423616 7183981 18446744073709551615 4198400 7047149 140723771637328 140723771633856 6428412 0 0 0 17922 1 0 0 17 5 0 0 0 0 0 7573272 7623312 28762112 140723771644274 140723771644388 140723771644388 140723771649993 6
/proc/95475/statm: 7468121 7183981 704 696 0 7467282 0
Current children cumulated CPU time: 759.3 s
Current children cumulated vsize: 29876676 KiB
Current children cumulated memory: 28738996 KiB

[startup+776.8 s]
/proc/loadavg: 4.18 4.14 4.10 4/268 95543
/proc/meminfo: memFree=54833144/131250000 swapFree=33008100/33010684
[pid=95471] ppid=95468 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/95471/stat : 95471 (naps-1.03a6.sh) S 95468 95471 94621 0 -1 4194304 228 202 0 0 0 0 0 0 20 0 1 0 78077910 4292608 768 18446744073709551615 94105549029376 94105549923909 140722524074560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94105550162960 94105550210704 94105577009152 140722524076453 140722524076547 140722524076547 140722524082151 0
/proc/95471/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 134

Real time (s): 776.88
CPU time (s): 759.723
CPU user time (s): 742.873
CPU system time (s): 16.85
CPU usage (%): 97.7914
Max. virtual memory (cumulated for all children) (KiB): 31410712
Max. memory (cumulated for all children) (KiB): 30102532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 742.873
system time used= 16.85
maximum resident set size= 30099460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2999286
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= 173
involuntary context switches= 802


# summary of solver processes directly reported to runsolver:
#   pid: 95471
#   total CPU time (s): 759.723
#   total CPU user time (s): 742.873
#   total CPU system time (s): 16.85

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4657 second user time and 3.62309 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-04 12:12:57
IDJOB=4525664
IDBENCH=143872
IDSOLVER=3377
FILE ID=nodeC013/4525664-1751623976
RUNJOBID= nodeC013-1751616753-94634
SLURM_JOB_ID= 9598924
Free space on /tmp= 432608 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525664-1751623976/watcher-4525664-1751623976 -o /tmp/evaluation-result-4525664-1751623976/solver-4525664-1751623976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94634 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4525664-1751623976.wbo

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

MD5SUM BENCH= 7ac97bb2deff70454cbda9bb64710db6
RANDOM SEED=1857030052

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.072
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.833
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.020
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.003
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.845
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.051
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129421392 kB
MemAvailable:   129755772 kB
Buffers:            1668 kB
Cached:          1127996 kB
SwapCached:         1892 kB
Active:           452088 kB
Inactive:         763612 kB
Active(anon):      79792 kB
Inactive(anon):    17628 kB
Active(file):     372296 kB
Inactive(file):   745984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             65900 kB
Writeback:             0 kB
AnonPages:         87180 kB
Mapped:            99872 kB
Shmem:             11384 kB
KReclaimable:     110276 kB
Slab:             200116 kB
SReclaimable:     110276 kB
SUnreclaim:        89840 kB
KernelStack:        4176 kB
PageTables:         3108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432120 MiB
End job on nodeC013 at 2025-07-04 12:25:54