Trace number 4504150

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 NameAnswerobjective functionCPU timeWall clock time
NaPS naps-1.03a6? (exit code) 945.176 962.523

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
MD5SUM942f4c546294041bdb4c531ace867576
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5224547
Best CPU time to get the best result obtained on this benchmark2319.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 150568768
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 176505017008
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 150568768
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 176505017008
Number of bits of the biggest sum of numbers38
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.02	c NaPS 1.03a6.
0.00/0.02	c Input file name: HOME/instance-4504150-1751435142.opb
2.96/3.03	c single stage optimization mode
944.10/946.99	terminate called after throwing an instance of 'std::bad_alloc'
944.10/946.99	  what():  std::bad_alloc
0.00/962.52	./naps-1.03a6.sh: line 6: 62486 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: 63708 MiB (62509 MiB free)
  memory of node 1: 64465 MiB (63047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504150-1751435142/watcher-4504150-1751435142 -o /tmp/evaluation-result-4504150-1751435142/solver-4504150-1751435142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751435142-62430 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4504150-1751435142.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
Starting watchdog thread
solver pid=62474, runsolver pid=62468
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 1.19 2.55 2.90 5/269 62501
/proc/meminfo: memFree=128535272/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=16752 memory=14632 CPUtime=0.07 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 3589 0 0 0 7 0 0 0 20 0 1 0 59190823 17154048 3658 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 4188 3658 544 696 0 3349 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 20944 KiB
Current children cumulated memory: 17576 KiB

[startup+0.205507 s]*
/proc/loadavg: 1.19 2.55 2.90 5/269 62501
/proc/meminfo: memFree=128507048/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=24964 memory=22696 CPUtime=0.18 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 5618 0 0 0 17 1 0 0 20 0 1 0 59190823 25563136 5674 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 6241 5674 544 696 0 5402 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29156 KiB
Current children cumulated memory: 25640 KiB

[startup+0.305432 s]*
/proc/loadavg: 1.42 2.58 2.91 5/269 62501
/proc/meminfo: memFree=128463136/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=27520 memory=25256 CPUtime=0.28 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 6261 0 0 0 27 1 0 0 20 0 1 0 59190823 28180480 6314 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 6880 6314 544 696 0 6041 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 31712 KiB
Current children cumulated memory: 28200 KiB

[startup+0.700125 s]
/proc/loadavg: 1.42 2.58 2.91 5/269 62501
/proc/meminfo: memFree=128446504/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=38324 memory=35880 CPUtime=0.66 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 8860 0 0 0 65 1 0 0 20 0 1 0 59190823 39243776 8970 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 9581 8970 576 696 0 8742 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 38824 KiB

[startup+1.50013 s]
/proc/loadavg: 1.42 2.58 2.91 5/269 62501
/proc/meminfo: memFree=128258744/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=50016 memory=47808 CPUtime=1.46 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 11809 0 0 0 144 2 0 0 20 0 1 0 59190823 51216384 11952 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 12504 11952 576 696 0 11665 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 50752 KiB

[startup+3.10529 s]
/proc/loadavg: 1.42 2.58 2.91 5/269 62501
/proc/meminfo: memFree=127326932/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=592976 memory=570260 CPUtime=3.07 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 86743 0 0 0 287 20 0 0 20 0 1 0 59190823 607207424 142565 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 148244 142565 576 696 0 147405 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 597168 KiB
Current children cumulated memory: 573204 KiB

[startup+6.30012 s]
/proc/loadavg: 1.62 2.60 2.91 5/269 62501
/proc/meminfo: memFree=127200124/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=604980 memory=582152 CPUtime=6.25 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 88666 0 0 0 605 20 0 0 20 0 1 0 59190823 619499520 145538 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 151245 145538 608 696 0 150406 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 609172 KiB
Current children cumulated memory: 585096 KiB

[startup+12.7001 s]
/proc/loadavg: 1.89 2.64 2.92 5/269 62501
/proc/meminfo: memFree=127146276/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=604980 memory=582152 CPUtime=12.64 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 88680 0 0 0 1244 20 0 0 20 0 1 0 59190823 619499520 145538 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 151245 145538 608 696 0 150406 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 609172 KiB
Current children cumulated memory: 585096 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 2.69 2.94 5/269 62501
/proc/meminfo: memFree=125253216/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=604980 memory=582152 CPUtime=25.4 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 88681 0 0 0 2520 20 0 0 20 0 1 0 59190823 619499520 145538 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 151245 145538 608 696 0 150406 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 609172 KiB
Current children cumulated memory: 585096 KiB

[startup+51.1054 s]
/proc/loadavg: 2.92 2.81 2.97 6/269 62502
/proc/meminfo: memFree=114251552/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=2709132 memory=2552032 CPUtime=50.94 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 296997 0 0 0 5007 87 0 0 20 0 1 0 59190823 2774151168 638008 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 677283 638008 608 696 0 676444 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2713324 KiB
Current children cumulated memory: 2554976 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 3.03 3.04 5/269 62504
/proc/meminfo: memFree=84156280/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=14388932 memory=13720636 CPUtime=102 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1447352 0 0 0 9683 517 0 0 20 0 1 0 59190823 14734266368 3430159 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 3597233 3430159 608 696 0 3596394 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 14393124 KiB
Current children cumulated memory: 13723580 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.22 3.11 5/269 62506
/proc/meminfo: memFree=82538384/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=14147012 memory=13478740 CPUtime=161.8 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1451302 0 0 0 15623 557 0 0 20 0 1 0 59190823 14486540288 3369685 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 3536753 3369685 608 696 0 3535914 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 14151204 KiB
Current children cumulated memory: 13481684 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.38 3.17 5/268 62514
/proc/meminfo: memFree=76725584/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=16694848 memory=16026508 CPUtime=221.62 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1466442 0 0 0 21362 800 0 0 20 0 1 0 59190823 17095524352 4006627 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 4173712 4006627 608 696 0 4172873 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 16699040 KiB

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

/proc/loadavg: 4.05 4.00 3.61 5/267 62533
/proc/meminfo: memFree=75360868/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=16805156 memory=14378744 CPUtime=760.07 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1543519 0 0 0 74612 1395 0 0 20 0 1 0 59190823 17208479744 3594686 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 4201289 3594686 640 696 0 4200450 0
Current children cumulated CPU time: 760.07 s
Current children cumulated vsize: 16809348 KiB
Current children cumulated memory: 14381688 KiB

[startup+822.3 s]
/proc/loadavg: 4.06 4.01 3.65 5/268 62543
/proc/meminfo: memFree=75254668/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=16806500 memory=14417056 CPUtime=819.88 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1554978 0 0 0 80478 1510 0 0 20 0 1 0 59190823 17209856000 3604264 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 4201625 3604264 640 696 0 4200786 0
Current children cumulated CPU time: 819.88 s
Current children cumulated vsize: 16810692 KiB
Current children cumulated memory: 14420000 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.04 3.68 5/268 62545
/proc/meminfo: memFree=60548680/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=26795504 memory=25884748 CPUtime=879.7 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 1992882 0 0 0 86029 1941 0 0 20 0 1 0 59190823 27438596096 6471187 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 6698876 6471187 640 696 0 6698037 0
Current children cumulated CPU time: 879.7 s
Current children cumulated vsize: 26799696 KiB
Current children cumulated memory: 25887692 KiB

[startup+942.3 s]
/proc/loadavg: 4.17 4.08 3.72 5/268 62558
/proc/meminfo: memFree=59771124/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28245480 memory=27334652 CPUtime=939.52 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4194304 2000816 0 0 0 91938 2014 0 0 20 0 1 0 59190823 28923371520 6833663 18446744073709551615 4198400 7047149 140727522620928 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 0
/proc/62486/statm: 7061370 6833663 640 696 0 7060531 0
Current children cumulated CPU time: 939.52 s
Current children cumulated vsize: 28249672 KiB
Current children cumulated memory: 27337596 KiB

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

# cumulated CPU time of all completed processes:  user=923.956 s, system=21.22 s

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

[startup+947.2 s]
/proc/loadavg: 4.16 4.08 3.72 4/269 62560
/proc/meminfo: memFree=59307952/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.35 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) R 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2040 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.35 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+953.6 s]
/proc/loadavg: 4.15 4.07 3.72 5/269 62562
/proc/meminfo: memFree=56979172/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.91 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) S 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2096 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 1 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.91 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+956.8 s]
/proc/loadavg: 4.14 4.07 3.73 5/269 62562
/proc/meminfo: memFree=56837180/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.91 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) S 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2096 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 1 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.91 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+960 s]*
/proc/loadavg: 4.14 4.07 3.73 4/269 62562
/proc/meminfo: memFree=56793276/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.91 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) S 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2096 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 1 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.91 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+961.6 s]
/proc/loadavg: 4.20 4.09 3.73 4/269 62563
/proc/meminfo: memFree=58023100/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.91 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) S 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2096 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 1 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.91 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+962 s]*
/proc/loadavg: 4.20 4.09 3.73 4/270 62564
/proc/meminfo: memFree=58608132/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
[pid=62486] ppid=62474 vsize=28793516 memory=27883060 CPUtime=944.91 cores=4,6
/proc/62486/stat : 62486 (naps-1.03a6) S 62474 62474 62007 0 -1 4195840 2001452 0 0 0 92395 2096 0 0 20 0 1 0 59190823 29484560384 6970765 18446744073709551615 4198400 7047149 140727522620928 140727522617760 6428412 0 0 0 17922 1 0 0 17 6 0 0 0 0 0 7573272 7623312 26996736 140727522630004 140727522630118 140727522630118 140727522635721 6
/proc/62486/statm: 7198379 6970765 704 696 0 7197540 0
Current children cumulated CPU time: 944.91 s
Current children cumulated vsize: 28797708 KiB
Current children cumulated memory: 27886004 KiB

[startup+962.4 s]
/proc/loadavg: 4.20 4.09 3.73 4/270 62564
/proc/meminfo: memFree=58608132/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+962.5 s]
/proc/loadavg: 4.20 4.09 3.73 4/270 62564
/proc/meminfo: memFree=58608132/131250000 swapFree=33010672/33010684
[pid=62474] ppid=62468 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62474/stat : 62474 (naps-1.03a6.sh) S 62468 62474 62007 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 59190820 4292608 736 18446744073709551615 94034603511808 94034604406341 140736170593840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94034604645392 94034604693136 94034620211200 140736170600871 140736170600965 140736170600965 140736170606567 0
/proc/62474/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 134

Real time (s): 962.523
CPU time (s): 945.176
CPU user time (s): 923.956
CPU system time (s): 21.22
CPU usage (%): 98.1978
Max. virtual memory (cumulated for all children) (KiB): 28797708
Max. memory (cumulated for all children) (KiB): 27886004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.956
system time used= 21.22
maximum resident set size= 27883060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2001897
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= 293
involuntary context switches= 2052


# summary of solver processes directly reported to runsolver:
#   pid: 62474
#   total CPU time (s): 945.176
#   total CPU user time (s): 923.956
#   total CPU system time (s): 21.22

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42562 second user time and 4.8384 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 07:45:42
IDJOB=4504150
IDBENCH=155635
IDSOLVER=3341
FILE ID=nodeC014/4504150-1751435142
RUNJOBID= nodeC014-1751435142-62430
SLURM_JOB_ID= 9598380
Free space on /tmp= 432284 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat100_4_32_6.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504150-1751435142/watcher-4504150-1751435142 -o /tmp/evaluation-result-4504150-1751435142/solver-4504150-1751435142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751435142-62430 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4504150-1751435142.opb

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

MD5SUM BENCH= 942f4c546294041bdb4c531ace867576
RANDOM SEED=1046171937

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.186
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		: 1461.639
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		: 3600.188
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		: 1424.843
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		: 3600.249
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		: 1282.229
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		: 3599.849
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		: 1295.528
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:        128565264 kB
MemAvailable:   129750844 kB
Buffers:            2508 kB
Cached:          1982032 kB
SwapCached:            4 kB
Active:           541336 kB
Inactive:        1518644 kB
Active(anon):      89652 kB
Inactive(anon):     3852 kB
Active(file):     451684 kB
Inactive(file):  1514792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16524 kB
Writeback:             0 kB
AnonPages:         78612 kB
Mapped:           103756 kB
Shmem:             18064 kB
KReclaimable:     116688 kB
Slab:             206192 kB
SReclaimable:     116688 kB
SUnreclaim:        89504 kB
KernelStack:        4112 kB
PageTables:         2808 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 431828 MiB
End job on nodeC014 at 2025-07-02 08:01:45