Trace number 4458698

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
Picat 2024-06-18? (TO) 3600.03 3610.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb
MD5SUMd2dd7745908f12227b75d48d6ed70af5
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 benchmark2300
Best CPU time to get the best result obtained on this benchmark0.376777
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9200
Total number of constraints9200
Number of constraints which are clauses9200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 9200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9200
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 9200
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c solving HOME/instance-4458698-1721872436.opb (Picat 3.6#12)
0.21/0.31	o 9200
0.41/0.47	o 9198
13.16/13.26	o 6128
339.72/340.69	o 4082

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: 64096 MiB (61210 MiB free)
  memory of node 1: 64473 MiB (62250 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458698-1721872436/watcher-4458698-1721872436 -o /tmp/evaluation-result-4458698-1721872436/solver-4458698-1721872436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198165 --watchdog 3760 pb_picat HOME/instance-4458698-1721872436.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=202531, runsolver pid=202528

[startup+0.100107 s]*
/proc/loadavg: 4.13 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126386732/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2041424 memory=44428 CPUtime=0.1 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 1547 0 0 0 10 0 0 0 20 0 1 0 23232903 2090418176 11107 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 510356 11107 1571 439 0 505785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 44428 KiB

[startup+0.21358 s]*
/proc/loadavg: 4.13 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126362336/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2051336 memory=68196 CPUtime=0.21 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 3551 0 0 0 20 1 0 0 20 0 1 0 23232903 2100568064 17049 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 512834 17049 1683 439 0 508263 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2051336 KiB
Current children cumulated memory: 68196 KiB

[startup+0.313227 s]*
/proc/loadavg: 4.13 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126347152/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2072132 memory=82204 CPUtime=0.31 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 6679 0 0 0 29 2 0 0 20 0 1 0 23232903 2121863168 20551 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 518033 20551 1731 439 0 513462 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2072132 KiB
Current children cumulated memory: 82204 KiB

[startup+0.700335 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126358892/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2083140 memory=92100 CPUtime=0.68 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 12344 0 0 0 65 3 0 0 20 0 1 0 23232903 2133135360 23025 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 520785 23025 1731 439 0 516214 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2083140 KiB
Current children cumulated memory: 92100 KiB

[startup+1.50033 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126332840/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2091332 memory=102180 CPUtime=1.49 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 12812 0 0 0 145 4 0 0 20 0 1 0 23232903 2141523968 25545 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 522833 25545 1747 439 0 518262 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2091332 KiB
Current children cumulated memory: 102180 KiB

[startup+3.11316 s]
/proc/loadavg: 4.12 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126326940/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2091332 memory=102180 CPUtime=3.1 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 12821 0 0 0 306 4 0 0 20 0 1 0 23232903 2141523968 25545 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 522833 25545 1747 439 0 518262 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2091332 KiB
Current children cumulated memory: 102180 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.12 4.16 5/245 202532
/proc/meminfo: memFree=126329568/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2091332 memory=102180 CPUtime=6.27 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 12830 0 0 0 623 4 0 0 20 0 1 0 23232903 2141523968 25545 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 522833 25545 1747 439 0 518262 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2091332 KiB
Current children cumulated memory: 102180 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.16 5/245 202533
/proc/meminfo: memFree=126323572/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2091332 memory=102356 CPUtime=12.66 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 12859 0 0 0 1262 4 0 0 20 0 1 0 23232903 2141523968 25589 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 522833 25589 1747 439 0 518262 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2091332 KiB
Current children cumulated memory: 102356 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.13 4.16 5/245 202536
/proc/meminfo: memFree=126311660/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2091264 memory=104364 CPUtime=25.42 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 15681 0 0 0 2537 5 0 0 20 0 1 0 23232903 2141454336 26091 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 522816 26091 1747 439 0 518245 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2091264 KiB
Current children cumulated memory: 104364 KiB

[startup+51.113 s]
/proc/loadavg: 4.11 4.12 4.16 5/245 202541
/proc/meminfo: memFree=126288212/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2107652 memory=121512 CPUtime=50.98 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 34710 0 0 0 5086 12 0 0 20 0 1 0 23232903 2158235648 30378 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 526913 30378 1747 439 0 522342 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2107652 KiB
Current children cumulated memory: 121512 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/243 202931
/proc/meminfo: memFree=126283452/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2107652 memory=123356 CPUtime=102.03 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 79048 0 0 0 10177 26 0 0 20 0 1 0 23232903 2158235648 30839 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 526913 30839 1747 439 0 522342 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2107652 KiB
Current children cumulated memory: 123356 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/243 202942
/proc/meminfo: memFree=126300280/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2124912 memory=119628 CPUtime=161.87 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 123141 0 0 0 16145 42 0 0 20 0 1 0 23232903 2175909888 29907 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 531228 29907 1747 439 0 526657 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2124912 KiB
Current children cumulated memory: 119628 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/243 202953
/proc/meminfo: memFree=126271848/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2127424 memory=124180 CPUtime=221.72 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 159821 0 0 0 22113 59 0 0 20 0 1 0 23232903 2178482176 31045 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 531856 31045 1747 439 0 527285 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2127424 KiB
Current children cumulated memory: 124180 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/245 203134
/proc/meminfo: memFree=126318008/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2128572 memory=133524 CPUtime=281.57 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 193308 0 0 0 28081 76 0 0 20 0 1 0 23232903 2179657728 33381 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 532143 33381 1747 439 0 527572 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2128572 KiB
Current children cumulated memory: 133524 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/245 203145
/proc/meminfo: memFree=126291792/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2097408 memory=108288 CPUtime=341.41 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 223707 0 0 0 34051 90 0 0 20 0 1 0 23232903 2147745792 27072 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 524352 27072 1747 439 0 519781 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2097408 KiB
Current children cumulated memory: 108288 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/244 203157
/proc/meminfo: memFree=126268104/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2113796 memory=127452 CPUtime=401.27 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 256724 0 0 0 40025 102 0 0 20 0 1 0 23232903 2164527104 31863 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 528449 31863 1747 439 0 523878 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2113796 KiB
Current children cumulated memory: 127452 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/245 203180
/proc/meminfo: memFree=126254760/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2098732 memory=103360 CPUtime=461.11 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 303224 0 0 0 45991 120 0 0 20 0 1 0 23232903 2149101568 25840 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 524683 25840 1747 439 0 520112 0

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

Current children cumulated memory: 233224 KiB

[startup+2922.3 s]
/proc/loadavg: 4.29 4.29 4.21 5/245 204240
/proc/meminfo: memFree=126085040/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=229128 CPUtime=2913.72 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 861649 0 0 0 290852 520 0 0 20 0 1 0 23232903 2331873280 57282 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 57282 1747 439 0 564734 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 229128 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.28 4.21 4/238 204281
/proc/meminfo: memFree=126142176/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=235272 CPUtime=2973.51 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 866816 0 0 0 296825 526 0 0 20 0 1 0 23232903 2331873280 58818 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 58818 1747 439 0 564734 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 235272 KiB

[startup+3042.3 s]
/proc/loadavg: 3.54 4.07 4.14 4/238 204292
/proc/meminfo: memFree=126123316/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2342756 memory=255624 CPUtime=3033.32 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 874963 0 0 0 302799 533 0 0 20 0 1 0 23232903 2398982144 63906 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 585689 63906 1747 439 0 581118 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 2342756 KiB
Current children cumulated memory: 255624 KiB

[startup+3102.3 s]
/proc/loadavg: 3.28 3.90 4.07 4/235 204302
/proc/meminfo: memFree=126113528/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2342756 memory=253708 CPUtime=3093.13 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 882480 0 0 0 308774 539 0 0 20 0 1 0 23232903 2398982144 63427 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 585689 63427 1747 439 0 581118 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 2342756 KiB
Current children cumulated memory: 253708 KiB

[startup+3162.3 s]
/proc/loadavg: 3.22 3.77 4.02 4/235 204313
/proc/meminfo: memFree=126127492/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=247560 CPUtime=3152.93 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 890653 0 0 0 314745 548 0 0 20 0 1 0 23232903 2331873280 61890 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 61890 1747 439 0 564734 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 247560 KiB

[startup+3222.3 s]
/proc/loadavg: 3.23 3.67 3.97 4/234 204323
/proc/meminfo: memFree=126093508/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2342756 memory=255756 CPUtime=3212.72 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 897546 0 0 0 320716 556 0 0 20 0 1 0 23232903 2398982144 63939 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 585689 63939 1747 439 0 581118 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 2342756 KiB
Current children cumulated memory: 255756 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.56 3.91 4/234 204334
/proc/meminfo: memFree=126132228/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=237320 CPUtime=3272.53 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 907370 0 0 0 326688 565 0 0 20 0 1 0 23232903 2331873280 59330 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 59330 1747 439 0 564734 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 237320 KiB

[startup+3342.3 s]
/proc/loadavg: 3.21 3.51 3.87 4/234 204346
/proc/meminfo: memFree=126144812/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2244452 memory=226556 CPUtime=3332.34 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 912249 0 0 0 332664 570 0 0 20 0 1 0 23232903 2298318848 56639 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 561113 56639 1747 439 0 556542 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 2244452 KiB
Current children cumulated memory: 226556 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.43 3.81 4/237 204361
/proc/meminfo: memFree=126119136/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=251656 CPUtime=3392.14 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 920511 0 0 0 338636 578 0 0 20 0 1 0 23232903 2331873280 62914 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 62914 1747 439 0 564734 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 251656 KiB

[startup+3462.3 s]
/proc/loadavg: 2.61 3.24 3.72 3/230 204404
/proc/meminfo: memFree=126337664/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=255752 CPUtime=3451.95 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 926382 0 0 0 344611 584 0 0 20 0 1 0 23232903 2331873280 63938 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 63938 1747 439 0 564734 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 255752 KiB

[startup+3522.3 s]
/proc/loadavg: 2.33 3.04 3.62 2/223 204445
/proc/meminfo: memFree=126387024/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=253684 CPUtime=3511.8 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 934493 0 0 0 350589 591 0 0 20 0 1 0 23232903 2331873280 63421 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 63421 1747 439 0 564734 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 253684 KiB

[startup+3582.3 s]
/proc/loadavg: 1.54 2.68 3.46 2/223 204458
/proc/meminfo: memFree=126364328/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2342756 memory=274184 CPUtime=3571.67 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 942464 0 0 0 356567 600 0 0 20 0 1 0 23232903 2398982144 68546 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 585689 68546 1747 439 0 581118 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 2342756 KiB
Current children cumulated memory: 274184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.45 2.55 3.39 2/223 204463
/proc/meminfo: memFree=126373904/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=264680 CPUtime=3600.02 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 942624 0 0 0 359401 601 0 0 20 0 1 0 23232903 2331873280 66170 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 66170 1747 439 0 564734 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 264680 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.7 s]
# the end of solver process 202531 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3594.01 s, system=6.01873 s

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

[startup+3610.7 s]
/proc/loadavg: 1.45 2.55 3.39 2/223 204463
/proc/meminfo: memFree=126373904/131655788 swapFree=131056320/131071996
[pid=202531] ppid=202528 vsize=2277220 memory=264680 CPUtime=3600.02 cores=1,3
/proc/202531/stat : 202531 (pb_picat) R 202528 202531 198153 0 -1 4194304 942624 0 0 0 359401 601 0 0 20 0 1 0 23232903 2331873280 66170 134679101440 4194304 5989780 140726429208688 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 34115584 140726429213721 140726429213797 140726429213797 140726429220812 0
/proc/202531/statm: 569305 66170 1747 439 0 564734 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 264680 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.03
CPU user time (s): 3594.01
CPU system time (s): 6.01873
CPU usage (%): 99.7045
Max. virtual memory (cumulated for all children) (KiB): 2342756
Max. memory (cumulated for all children) (KiB): 294648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.01
system time used= 6.01873
maximum resident set size= 325844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942624
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= 42
involuntary context switches= 4377


# summary of solver processes directly reported to runsolver:
#   pid: 202531
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3594.01
#   total CPU system time (s): 6.01873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6704 second user time and 33.3729 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-25 03:53:56
IDJOB=4458698
IDBENCH=178106
IDSOLVER=3068
FILE ID=nodeC006/4458698-1721872436
RUNJOBID= nodeC006-1721865128-198165
SLURM_JOB_ID= 8089207
Free space on /tmp= 723772 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458698-1721872436/watcher-4458698-1721872436 -o /tmp/evaluation-result-4458698-1721872436/solver-4458698-1721872436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198165 --watchdog 3760  pb_picat HOME/instance-4458698-1721872436.opb

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

MD5SUM BENCH= d2dd7745908f12227b75d48d6ed70af5
RANDOM SEED=1856542451

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3615.822
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3643.163
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.273
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.098
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.027
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.222
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.102
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.151
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126423372 kB
MemAvailable:   129584016 kB
Buffers:          299828 kB
Cached:          3471060 kB
SwapCached:          244 kB
Active:          1974640 kB
Inactive:        2337188 kB
Active(anon):       1736 kB
Inactive(anon):   584428 kB
Active(file):    1972904 kB
Inactive(file):  1752760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              4012 kB
Writeback:             0 kB
AnonPages:        539384 kB
Mapped:           102656 kB
Shmem:             45244 kB
KReclaimable:     496888 kB
Slab:             607304 kB
SReclaimable:     496888 kB
SUnreclaim:       110416 kB
KernelStack:        3952 kB
PageTables:        10596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6906148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC006 at 2024-07-25 04:54:07