Trace number 4457567

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.11 3608.71

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/
normalized-knapPI_5_2000_10000_5_-952740.opb
MD5SUMe208dfd6470fdaec043d153d73efd29c
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 benchmark-1487946
Best CPU time to get the best result obtained on this benchmark1.24185
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint10000
Maximum length of a constraint10000
Number of terms in the objective function 10000
Biggest coefficient in the objective function 11005
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 59628641
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 485650
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 59628641
Number of bits of the biggest sum of numbers26
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 solving HOME/instance-4457567-1721865128.opb (Picat 3.6#12)
85.43/85.66	o 0
361.35/362.19	o -17221

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100101 s]*
/proc/loadavg: 0.09 0.08 0.09 6/246 198228
/proc/meminfo: memFree=126610404/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2033608 memory=29096 CPUtime=0.1 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 799 0 0 0 9 1 0 0 20 0 1 0 22502106 2082414592 7274 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 508402 7274 1525 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 29096 KiB

[startup+0.216396 s]*
/proc/loadavg: 0.09 0.08 0.09 9/246 198228
/proc/meminfo: memFree=126586588/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2041424 memory=43432 CPUtime=0.22 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 846 0 0 0 20 2 0 0 20 0 1 0 22502106 2090418176 10858 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 510356 10858 1525 439 0 505785 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 43432 KiB

[startup+0.315693 s]*
/proc/loadavg: 0.09 0.08 0.09 9/246 198228
/proc/meminfo: memFree=126569536/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2041424 memory=51624 CPUtime=0.32 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 850 0 0 0 30 2 0 0 20 0 1 0 22502106 2090418176 12906 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 510356 12906 1525 439 0 505785 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 51624 KiB

[startup+0.700386 s]
/proc/loadavg: 0.09 0.08 0.09 9/246 198228
/proc/meminfo: memFree=126536584/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2041424 memory=77712 CPUtime=0.69 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 1061 0 0 0 66 3 0 0 20 0 1 0 22502106 2090418176 19428 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 510356 19428 1668 439 0 505785 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 77712 KiB

[startup+1.50037 s]
/proc/loadavg: 0.09 0.08 0.09 6/246 198228
/proc/meminfo: memFree=126384008/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2232592 memory=280184 CPUtime=1.48 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 10167 0 0 0 137 11 0 0 20 0 1 0 22502106 2286174208 70046 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 558148 70046 1716 439 0 553577 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2232592 KiB
Current children cumulated memory: 280184 KiB

[startup+3.11442 s]
/proc/loadavg: 0.09 0.08 0.09 6/246 198228
/proc/meminfo: memFree=126155308/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2376760 memory=373528 CPUtime=3.1 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 14952 0 0 0 295 15 0 0 20 0 1 0 22502106 2433802240 93382 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 594190 93382 1764 439 0 589619 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2376760 KiB
Current children cumulated memory: 373528 KiB

[startup+6.30032 s]
/proc/loadavg: 0.40 0.15 0.11 6/246 198230
/proc/meminfo: memFree=126143400/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2376760 memory=375576 CPUtime=6.27 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 14967 0 0 0 612 15 0 0 20 0 1 0 22502106 2433802240 93894 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 594190 93894 1764 439 0 589619 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2376760 KiB
Current children cumulated memory: 375576 KiB

[startup+12.7003 s]
/proc/loadavg: 0.69 0.21 0.13 6/246 198276
/proc/meminfo: memFree=126167980/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2376760 memory=375780 CPUtime=12.66 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 14995 0 0 0 1251 15 0 0 20 0 1 0 22502106 2433802240 93945 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 594190 93945 1780 439 0 589619 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2376760 KiB
Current children cumulated memory: 375780 KiB

[startup+25.5003 s]
/proc/loadavg: 1.50 0.41 0.20 6/246 198277
/proc/meminfo: memFree=126131920/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2376760 memory=375780 CPUtime=25.43 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 15034 0 0 0 2528 15 0 0 20 0 1 0 22502106 2433802240 93945 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 594190 93945 1780 439 0 589619 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2376760 KiB
Current children cumulated memory: 375780 KiB

[startup+51.1136 s]
/proc/loadavg: 2.35 0.70 0.30 6/246 198328
/proc/meminfo: memFree=126111908/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2376760 memory=381924 CPUtime=51.01 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 15126 0 0 0 5085 16 0 0 20 0 1 0 22502106 2433802240 95481 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 594190 95481 1780 439 0 589619 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2376760 KiB
Current children cumulated memory: 381924 KiB

[startup+102.3 s]
/proc/loadavg: 3.33 1.23 0.50 6/246 198336
/proc/meminfo: memFree=126018628/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2419540 memory=420040 CPUtime=102.1 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 21068 0 0 0 10187 23 0 0 20 0 1 0 22502106 2477608960 105010 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 604885 105010 1780 439 0 600314 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 2419540 KiB
Current children cumulated memory: 420040 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.75 0.73 6/246 198346
/proc/meminfo: memFree=126002608/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2419540 memory=428308 CPUtime=162.01 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 21196 0 0 0 16175 26 0 0 20 0 1 0 22502106 2477608960 107077 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 604885 107077 1780 439 0 600314 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 2419540 KiB
Current children cumulated memory: 428308 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 2.22 0.96 6/245 198742
/proc/meminfo: memFree=126013296/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2485076 memory=438380 CPUtime=221.87 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 37646 0 0 0 22146 41 0 0 20 0 1 0 22502106 2544717824 109595 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 621269 109595 1780 439 0 616698 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 2485076 KiB
Current children cumulated memory: 438380 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.58 1.16 6/245 198752
/proc/meminfo: memFree=126021640/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2419540 memory=426088 CPUtime=281.73 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 56542 0 0 0 28114 59 0 0 20 0 1 0 22502106 2477608960 106522 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 604885 106522 1780 439 0 600314 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 2419540 KiB
Current children cumulated memory: 426088 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 2.89 1.36 6/244 198763
/proc/meminfo: memFree=125964000/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2485076 memory=450668 CPUtime=341.58 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 69468 0 0 0 34087 71 0 0 20 0 1 0 22502106 2544717824 112667 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 621269 112667 1780 439 0 616698 0
Current children cumulated CPU time: 341.58 s
Current children cumulated vsize: 2485076 KiB
Current children cumulated memory: 450668 KiB

[startup+402.3 s]
/proc/loadavg: 6.17 3.70 1.73 6/245 198943
/proc/meminfo: memFree=126017248/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2419540 memory=424136 CPUtime=401.46 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 76716 0 0 0 40066 80 0 0 20 0 1 0 22502106 2477608960 106034 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 604885 106034 1780 439 0 600314 0
Current children cumulated CPU time: 401.46 s
Current children cumulated vsize: 2419540 KiB
Current children cumulated memory: 424136 KiB

[startup+462.3 s]
/proc/loadavg: 5.08 3.86 1.92 6/245 198953
/proc/meminfo: memFree=125950944/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2485076 memory=448616 CPUtime=461.35 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 80831 0 0 0 46050 85 0 0 20 0 1 0 22502106 2544717824 112154 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 621269 112154 1780 439 0 616698 0
Current children cumulated CPU time: 461.35 s

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

Current children cumulated memory: 759264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.14 4.02 6/245 200034
/proc/meminfo: memFree=125737156/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=620044 CPUtime=2915.4 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 331014 0 0 0 291110 430 0 0 20 0 1 0 22502106 2835009536 155011 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 155011 1780 439 0 687570 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 620044 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.11 4.01 6/245 200090
/proc/meminfo: memFree=125746312/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=636428 CPUtime=2975.25 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 332583 0 0 0 297091 434 0 0 20 0 1 0 22502106 2835009536 159107 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 159107 1780 439 0 687570 0
Current children cumulated CPU time: 2975.25 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 636428 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.02 6/245 200101
/proc/meminfo: memFree=125694420/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=652812 CPUtime=3035.1 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 333877 0 0 0 303072 438 0 0 20 0 1 0 22502106 2835009536 163203 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 163203 1780 439 0 687570 0
Current children cumulated CPU time: 3035.1 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 652812 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.02 6/244 200111
/proc/meminfo: memFree=125669676/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=669196 CPUtime=3094.94 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 337874 0 0 0 309050 444 0 0 20 0 1 0 22502106 2835009536 167299 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 167299 1780 439 0 687570 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 669196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.02 6/244 200121
/proc/meminfo: memFree=125661692/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=679436 CPUtime=3154.8 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 338401 0 0 0 315034 446 0 0 20 0 1 0 22502106 2835009536 169859 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 169859 1780 439 0 687570 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 679436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.03 6/241 200133
/proc/meminfo: memFree=125678712/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2637492 memory=622092 CPUtime=3214.65 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 338731 0 0 0 321017 448 0 0 20 0 1 0 22502106 2700791808 155523 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 659373 155523 1780 439 0 654802 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 2637492 KiB
Current children cumulated memory: 622092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.03 6/241 200143
/proc/meminfo: memFree=125733296/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2637492 memory=570884 CPUtime=3274.5 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 341262 0 0 0 326995 455 0 0 20 0 1 0 22502106 2700791808 142721 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 659373 142721 1780 439 0 654802 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 2637492 KiB
Current children cumulated memory: 570884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.16 4.04 6/241 200153
/proc/meminfo: memFree=125703036/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2637492 memory=583176 CPUtime=3334.35 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 346584 0 0 0 332969 466 0 0 20 0 1 0 22502106 2700791808 145794 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 659373 145794 1780 439 0 654802 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 2637492 KiB
Current children cumulated memory: 583176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.04 6/241 200163
/proc/meminfo: memFree=125546260/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2899636 memory=722440 CPUtime=3394.2 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 347748 0 0 0 338951 469 0 0 20 0 1 0 22502106 2969227264 180610 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 724909 180610 1780 439 0 720338 0
Current children cumulated CPU time: 3394.2 s
Current children cumulated vsize: 2899636 KiB
Current children cumulated memory: 722440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.04 6/241 200174
/proc/meminfo: memFree=125634000/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=630284 CPUtime=3454.05 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 348647 0 0 0 344933 472 0 0 20 0 1 0 22502106 2835009536 157571 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 157571 1780 439 0 687570 0
Current children cumulated CPU time: 3454.05 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 630284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.04 6/243 200189
/proc/meminfo: memFree=125660396/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=652812 CPUtime=3513.9 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 350137 0 0 0 350914 476 0 0 20 0 1 0 22502106 2835009536 163203 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 163203 1780 439 0 687570 0
Current children cumulated CPU time: 3513.9 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 652812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.05 6/243 200200
/proc/meminfo: memFree=125556204/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=699916 CPUtime=3573.75 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 353622 0 0 0 356890 485 0 0 20 0 1 0 22502106 2835009536 174979 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 174979 1780 439 0 687570 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 699916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.23 4.15 4.06 6/243 200205
/proc/meminfo: memFree=125657264/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=628172 CPUtime=3600.09 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 354892 0 0 0 359520 489 0 0 20 0 1 0 22502106 2835009536 157043 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 157043 1780 439 0 687570 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 628172 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.21 s, system=4.89535 s

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

[startup+3608.7 s]
/proc/loadavg: 4.23 4.15 4.06 6/243 200205
/proc/meminfo: memFree=125657264/131655788 swapFree=131056320/131071996
[pid=198223] ppid=198211 vsize=2768564 memory=628172 CPUtime=3600.09 cores=4,6
/proc/198223/stat : 198223 (pb_picat) R 198211 198223 198153 0 -1 4194304 354892 0 0 0 359520 489 0 0 20 0 1 0 22502106 2835009536 157043 134679101440 4194304 5989780 140723894823648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 32276480 140723894830105 140723894830181 140723894830181 140723894837196 0
/proc/198223/statm: 692141 157043 1780 439 0 687570 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2768564 KiB
Current children cumulated memory: 628172 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.71
CPU time (s): 3600.11
CPU user time (s): 3595.21
CPU system time (s): 4.89535
CPU usage (%): 99.7617
Max. virtual memory (cumulated for all children) (KiB): 3030708
Max. memory (cumulated for all children) (KiB): 935436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 4.89535
maximum resident set size= 935436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354892
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= 43
involuntary context switches= 3449


# summary of solver processes directly reported to runsolver:
#   pid: 198223
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3595.21
#   total CPU system time (s): 4.89535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1775 second user time and 36.7965 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-25 01:52:08
IDJOB=4457567
IDBENCH=176418
IDSOLVER=3068
FILE ID=nodeC006/4457567-1721865128
RUNJOBID= nodeC006-1721865128-198164
SLURM_JOB_ID= 8089207
Free space on /tmp= 723780 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457567-1721865128/watcher-4457567-1721865128 -o /tmp/evaluation-result-4457567-1721865128/solver-4457567-1721865128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198164 --watchdog 3760  pb_picat HOME/instance-4457567-1721865128.opb

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

MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c
RANDOM SEED=860290388

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		: 1206.507
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		: 1234.847
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		: 1217.455
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		: 1204.229
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		: 1218.839
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		: 1234.505
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		: 1226.260
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		: 1200.266
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:        126686636 kB
MemAvailable:   129805832 kB
Buffers:          294164 kB
Cached:          3435376 kB
SwapCached:          244 kB
Active:          1967132 kB
Inactive:        2081584 kB
Active(anon):       1656 kB
Inactive(anon):   362892 kB
Active(file):    1965476 kB
Inactive(file):  1718692 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:             14088 kB
Writeback:             0 kB
AnonPages:        319128 kB
Mapped:            91832 kB
Shmem:             45244 kB
KReclaimable:     496936 kB
Slab:             606760 kB
SReclaimable:     496936 kB
SUnreclaim:       109824 kB
KernelStack:        3776 kB
PageTables:         9724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     670876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 723768 MiB
End job on nodeC006 at 2024-07-25 02:52:17