Trace number 4516529

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? (TO) 3600.07 3609.7

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
MD5SUMd62b6d7ed7c7da9e25546add04a48ef7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.119834
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4001
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)252
Number of constraints which are nor clauses,nor cardinality constraints1748
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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-4516529-1751238479.opb
3600.05/3609.70	c 
3600.05/3609.70	c *** TERMINATED *** by signal 15
3600.05/3609.70	s UNKNOWN
3600.05/3609.70	c _____________________________________________________________________________
3600.05/3609.70	c std/band forms        : 2000,0
3600.05/3609.70	c 2cl/3cl ITE-codings   : 0,0
3600.05/3609.70	c BDD/srt/adr Max costs : 0,18,0
3600.05/3609.70	c BDDraw/bin/mul/srt/adr: 0,0,0,2000,0
3600.05/3609.70	c BDD nodes             : 0
3600.05/3609.70	c Es1/CC detections     : 0,0
3600.05/3609.70	c CC sort               : 2000
3600.05/3609.70	c SAT/UNSAT calls       : 0,0
3600.05/3609.70	c regenrated variables  : 0
3600.05/3609.70	c eliminated fixed lits : 0
3600.05/3609.70	c goal lit flips        : 0
3600.05/3609.70	c goal stages           : 0
3600.05/3609.70	c goal shrink           : 0
3600.05/3609.70	c goal coeff separations: 0
3600.05/3609.70	c restarts              : 0
3600.05/3609.70	c conflicts             : 0              (0 /sec)
3600.05/3609.70	c decisions             : 0              (0 /sec)
3600.05/3609.70	c propagations          : 0              (0 /sec)
3600.05/3609.70	c inspects              : 0              (0 /sec)
3600.05/3609.70	c CPU time (solving tm) : 3578 s        (3578 s, SAT 0 s, UNSAT 0 s)
3600.05/3609.70	c Time for Opt-base     : 0.002646 s
3600.05/3609.70	c Steps for Opt-base    : 0
3600.05/3609.70	c Time for BDD coding   : 0 s
3600.05/3609.70	c Time for srt coding   : 0.003322 s
3600.05/3609.70	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: 63708 MiB (62838 MiB free)
  memory of node 1: 64465 MiB (63600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516529-1751238479/watcher-4516529-1751238479 -o /tmp/evaluation-result-4516529-1751238479/solver-4516529-1751238479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751233190-32875 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4516529-1751238479.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=34582, runsolver pid=34579
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129467476/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=12692 memory=9412 CPUtime=0.08 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 3072 0 0 0 8 0 0 0 20 0 1 0 39524533 12996608 2353 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 3173 2353 544 696 0 2334 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 16884 KiB
Current children cumulated memory: 12228 KiB

[startup+0.205309 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129465460/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=12356 memory=9228 CPUtime=0.19 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 3398 0 0 0 19 0 0 0 20 0 1 0 39524533 12652544 2307 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 3089 2307 544 696 0 2250 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 16548 KiB
Current children cumulated memory: 12044 KiB

[startup+0.305264 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129455568/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=12424 memory=9896 CPUtime=0.29 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 3943 0 0 0 29 0 0 0 20 0 1 0 39524533 12722176 2474 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 3106 2474 544 696 0 2267 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 16616 KiB
Current children cumulated memory: 12712 KiB

[startup+0.700169 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129454812/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=15500 memory=12132 CPUtime=0.67 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 5270 0 0 0 67 0 0 0 20 0 1 0 39524533 15872000 3033 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 3875 3033 544 696 0 3036 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 19692 KiB
Current children cumulated memory: 14948 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129445612/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=15940 memory=12124 CPUtime=1.48 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 6866 0 0 0 147 1 0 0 20 0 1 0 39524533 16322560 3031 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 3985 3031 544 696 0 3146 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20132 KiB
Current children cumulated memory: 14940 KiB

[startup+3.10533 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 34586
/proc/meminfo: memFree=129413192/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=21064 memory=17200 CPUtime=3.08 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 8901 0 0 0 307 1 0 0 20 0 1 0 39524533 21569536 4300 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 5266 4300 544 696 0 4427 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25256 KiB
Current children cumulated memory: 20016 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 34586
/proc/meminfo: memFree=129481056/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=20024 memory=16328 CPUtime=6.27 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 14898 0 0 0 624 3 0 0 20 0 1 0 39524533 20504576 4082 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 5006 4082 544 696 0 4167 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 24216 KiB
Current children cumulated memory: 19144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 34586
/proc/meminfo: memFree=129459608/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=22076 memory=18064 CPUtime=12.65 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 33837 0 0 0 1258 7 0 0 20 0 1 0 39524533 22605824 4516 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 5519 4516 544 696 0 4680 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 20880 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 34588
/proc/meminfo: memFree=129434224/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=32316 memory=26688 CPUtime=25.41 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 68507 0 0 0 2528 13 0 0 20 0 1 0 39524533 33091584 6672 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 8079 6672 544 696 0 7240 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 36508 KiB
Current children cumulated memory: 29504 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 34588
/proc/meminfo: memFree=129483552/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=35200 memory=27676 CPUtime=50.96 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 139334 0 0 0 5063 33 0 0 20 0 1 0 39524533 36044800 6919 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 8800 6919 544 696 0 7961 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 30492 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 34590
/proc/meminfo: memFree=129413904/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=31100 memory=28132 CPUtime=102.02 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 269501 0 0 0 10127 75 0 0 20 0 1 0 39524533 31846400 7033 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 7775 7033 544 696 0 6936 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 35292 KiB
Current children cumulated memory: 30948 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 34592
/proc/meminfo: memFree=129469076/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=37372 memory=29796 CPUtime=161.86 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 365299 0 0 0 16070 116 0 0 20 0 1 0 39524533 38268928 7449 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 9343 7449 544 696 0 8504 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 32612 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 34594
/proc/meminfo: memFree=129442516/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=54012 memory=35968 CPUtime=221.71 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 402131 0 0 0 22032 139 0 0 20 0 1 0 39524533 55308288 8992 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 13503 8992 544 696 0 12664 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 38784 KiB

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

/proc/loadavg: 3.42 3.89 4.01 4/262 35195
/proc/meminfo: memFree=129564612/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=68992 memory=54420 CPUtime=3094.05 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4165734 0 0 0 307545 1860 0 0 20 0 1 0 39524533 70647808 13605 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 17248 13605 544 696 0 16409 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 73184 KiB
Current children cumulated memory: 57236 KiB

[startup+3162.3 s]
/proc/loadavg: 3.25 3.76 3.96 4/263 35198
/proc/meminfo: memFree=129491820/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=165244 memory=149384 CPUtime=3153.89 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4196291 0 0 0 313503 1886 0 0 20 0 1 0 39524533 169209856 37346 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 41311 37346 544 696 0 40472 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 169436 KiB
Current children cumulated memory: 152200 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.63 3.90 4/263 35215
/proc/meminfo: memFree=129473428/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=169344 memory=148304 CPUtime=3213.73 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4225192 0 0 0 319459 1914 0 0 20 0 1 0 39524533 173408256 37076 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 42336 37076 544 696 0 41497 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 173536 KiB
Current children cumulated memory: 151120 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.53 3.85 4/262 35217
/proc/meminfo: memFree=129557236/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=68992 memory=55180 CPUtime=3273.58 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4334217 0 0 0 325403 1955 0 0 20 0 1 0 39524533 70647808 13795 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 17248 13795 544 696 0 16409 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 73184 KiB
Current children cumulated memory: 57996 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.45 3.80 4/261 35219
/proc/meminfo: memFree=129534732/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=116096 memory=77904 CPUtime=3333.4 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4447905 0 0 0 331335 2005 0 0 20 0 1 0 39524533 118882304 19476 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 29024 19476 544 696 0 28185 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 120288 KiB
Current children cumulated memory: 80720 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.38 3.75 4/261 35221
/proc/meminfo: memFree=129527444/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=116096 memory=82000 CPUtime=3393.2 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4636153 0 0 0 337241 2079 0 0 20 0 1 0 39524533 118882304 20500 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 29024 20500 544 696 0 28185 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 120288 KiB
Current children cumulated memory: 84816 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.32 3.70 4/261 35224
/proc/meminfo: memFree=129451352/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=44416 memory=41680 CPUtime=3453.04 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4693735 0 0 0 343195 2109 0 0 20 0 1 0 39524533 45481984 10420 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 11104 10420 544 696 0 10265 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 48608 KiB
Current children cumulated memory: 44496 KiB

[startup+3522.3 s]
/proc/loadavg: 3.07 3.28 3.66 4/261 35228
/proc/meminfo: memFree=129504728/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=169344 memory=105052 CPUtime=3512.9 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4717948 0 0 0 349158 2132 0 0 20 0 1 0 39524533 173408256 26263 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 42336 26263 544 696 0 41497 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 173536 KiB
Current children cumulated memory: 107868 KiB

[startup+3582.3 s]
/proc/loadavg: 3.17 3.27 3.64 4/261 35234
/proc/meminfo: memFree=129571004/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=50556 memory=47368 CPUtime=3572.73 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4733657 0 0 0 355122 2151 0 0 20 0 1 0 39524533 51769344 11842 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 12639 11842 544 696 0 11800 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 54748 KiB
Current children cumulated memory: 50184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 3.18 3.26 3.62 4/261 35235
/proc/meminfo: memFree=129499768/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=165244 memory=122760 CPUtime=3600.05 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4741576 0 0 0 357844 2161 0 0 20 0 1 0 39524533 169209856 30690 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 41311 30690 544 696 0 40472 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 169436 KiB
Current children cumulated memory: 125576 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.7 s]
# the end of solver process 34582 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3578.45 s, system=21.618 s

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

[startup+3609.7 s]
/proc/loadavg: 3.18 3.26 3.62 4/261 35235
/proc/meminfo: memFree=129499768/131250000 swapFree=33010684/33010684
[pid=34582] ppid=34579 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/34582/stat : 34582 (naps-1.03a6.sh) S 34579 34582 32864 0 -1 4194304 230 207 0 0 0 0 0 0 20 0 1 0 39524532 4292608 704 18446744073709551615 94356497944576 94356498839109 140733853565856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356499078160 94356499125904 94356500901888 140733853567399 140733853567493 140733853567493 140733853573095 0
/proc/34582/statm: 1048 704 672 219 0 110 0
[pid=34586] ppid=34582 vsize=165244 memory=122760 CPUtime=3600.05 cores=4,6
/proc/34586/stat : 34586 (naps-1.03a6) R 34582 34582 32864 0 -1 4194304 4741576 0 0 0 357844 2161 0 0 20 0 1 0 39524533 169209856 30690 18446744073709551615 4198400 7047149 140731286644416 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33218560 140731286653300 140731286653414 140731286653414 140731286659017 0
/proc/34586/statm: 41311 30690 544 696 0 40472 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 169436 KiB
Current children cumulated memory: 125576 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3578.45
CPU system time (s): 21.618
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 431584
Max. memory (cumulated for all children) (KiB): 338768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.45
system time used= 21.618
maximum resident set size= 335952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4742025
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= 193
involuntary context switches= 4677


# summary of solver processes directly reported to runsolver:
#   pid: 34582
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3578.45
#   total CPU system time (s): 21.618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62533 second user time and 15.1599 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-06-30 01:07:59
IDJOB=4516529
IDBENCH=175651
IDSOLVER=3341
FILE ID=nodeC014/4516529-1751238479
RUNJOBID= nodeC014-1751233190-32875
SLURM_JOB_ID= 9587713
Free space on /tmp= 433000 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516529-1751238479/watcher-4516529-1751238479 -o /tmp/evaluation-result-4516529-1751238479/solver-4516529-1751238479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751233190-32875 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4516529-1751238479.opb

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

MD5SUM BENCH= d62b6d7ed7c7da9e25546add04a48ef7
RANDOM SEED=1218106404

nodeC014 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		: 3600.127
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	: 7000.23
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		: 3600.104
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	: 7000.23
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		: 3604.412
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	: 7000.23
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		: 3600.715
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	: 7000.23
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		: 3597.295
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	: 7000.23
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		: 3600.111
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	: 7000.23
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		: 3600.354
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	: 7000.23
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		: 3591.770
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129473776 kB
MemAvailable:   129552968 kB
Buffers:            3280 kB
Cached:           887636 kB
SwapCached:            0 kB
Active:           501888 kB
Inactive:         678168 kB
Active(anon):     307208 kB
Inactive(anon):        0 kB
Active(file):     194680 kB
Inactive(file):   678168 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5524 kB
Writeback:             0 kB
AnonPages:        281448 kB
Mapped:           110612 kB
Shmem:             18068 kB
KReclaimable:      91164 kB
Slab:             177964 kB
SReclaimable:      91164 kB
SUnreclaim:        86800 kB
KernelStack:        4284 kB
PageTables:         3768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     631036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC014 at 2025-06-30 02:08:09