Trace number 4452882

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18UNSAT 920.465 922.775

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
MD5SUM94622b8283878cd58e113c83df8c4b53
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.6419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables53655
Total number of constraints10732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints10724
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4452882-1721446708.opb (Picat 3.6#12)
920.38/922.76	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452882-1721446708/watcher-4452882-1721446708 -o /tmp/evaluation-result-4452882-1721446708/solver-4452882-1721446708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760 pb_picat HOME/instance-4452882-1721446708.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1049949, runsolver pid=1049946

[startup+0.100095 s]*
/proc/loadavg: 4.32 4.16 3.72 5/242 1049950
/proc/meminfo: memFree=121792980/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2033608 memory=45904 CPUtime=0.1 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 937 0 0 0 10 0 0 0 20 0 1 0 196829559 2082414592 11476 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 508402 11476 1508 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 45904 KiB

[startup+0.213119 s]*
/proc/loadavg: 4.32 4.16 3.72 5/242 1049950
/proc/meminfo: memFree=121775856/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2033608 memory=62516 CPUtime=0.21 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 994 0 0 0 20 1 0 0 20 0 1 0 196829559 2082414592 15629 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 508402 15629 1508 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 62516 KiB

[startup+0.312882 s]*
/proc/loadavg: 4.32 4.16 3.72 5/242 1049950
/proc/meminfo: memFree=121760904/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2033608 memory=76852 CPUtime=0.31 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 1022 0 0 0 30 1 0 0 20 0 1 0 196829559 2082414592 19213 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 508402 19213 1508 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 76852 KiB

[startup+0.700322 s]
/proc/loadavg: 4.32 4.16 3.72 5/242 1049950
/proc/meminfo: memFree=121738152/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2033608 memory=128496 CPUtime=0.69 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 1133 0 0 0 67 2 0 0 20 0 1 0 196829559 2082414592 32124 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 508402 32124 1508 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 128496 KiB

[startup+1.50034 s]
/proc/loadavg: 4.32 4.16 3.72 5/242 1049950
/proc/meminfo: memFree=121650988/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2262296 memory=319904 CPUtime=1.49 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 3914 0 0 0 142 7 0 0 20 0 1 0 196829559 2316591104 79976 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 565574 79976 1618 439 0 561003 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2262296 KiB
Current children cumulated memory: 319904 KiB

[startup+3.11266 s]
/proc/loadavg: 4.29 4.15 3.72 5/242 1049952
/proc/meminfo: memFree=121412808/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2415908 memory=511160 CPUtime=3.1 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 11601 0 0 0 298 12 0 0 20 0 1 0 196829559 2473889792 127790 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 603977 127790 1714 439 0 599406 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2415908 KiB
Current children cumulated memory: 511160 KiB

[startup+6.30031 s]
/proc/loadavg: 4.29 4.15 3.72 5/242 1049952
/proc/meminfo: memFree=121298356/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2570628 memory=606636 CPUtime=6.28 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 15503 0 0 0 588 40 0 0 20 0 1 0 196829559 2632323072 151659 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 642657 151659 1730 439 0 638086 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2570628 KiB
Current children cumulated memory: 606636 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.15 3.73 5/242 1049953
/proc/meminfo: memFree=121279780/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2593076 memory=633072 CPUtime=12.66 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 24463 0 0 0 1221 45 0 0 20 0 1 0 196829559 2655309824 158268 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 648269 158268 1730 439 0 643698 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2593076 KiB
Current children cumulated memory: 633072 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.16 3.74 5/242 1049955
/proc/meminfo: memFree=121326832/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2598408 memory=638264 CPUtime=25.43 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 31029 0 0 0 2491 52 0 0 20 0 1 0 196829559 2660769792 159566 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 649602 159566 1730 439 0 645031 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2598408 KiB
Current children cumulated memory: 638264 KiB

[startup+51.1129 s]
/proc/loadavg: 4.18 4.14 3.74 5/242 1049959
/proc/meminfo: memFree=121175832/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2599064 memory=655360 CPUtime=50.98 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 37394 0 0 0 5039 59 0 0 20 0 1 0 196829559 2661441536 163840 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 649766 163840 1730 439 0 645195 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2599064 KiB
Current children cumulated memory: 655360 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 3.76 5/242 1049969
/proc/meminfo: memFree=121187268/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2592676 memory=648644 CPUtime=102.03 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 43543 0 0 0 10138 65 0 0 20 0 1 0 196829559 2654900224 162161 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 648169 162161 1730 439 0 643598 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2592676 KiB
Current children cumulated memory: 648644 KiB

[startup+162.3 s]
/proc/loadavg: 4.87 4.34 3.86 5/245 1049984
/proc/meminfo: memFree=121248968/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2591584 memory=634100 CPUtime=161.88 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 52488 0 0 0 16113 75 0 0 20 0 1 0 196829559 2653782016 158525 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647896 158525 1730 439 0 643325 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2591584 KiB
Current children cumulated memory: 634100 KiB

[startup+222.3 s]
/proc/loadavg: 4.37 4.29 3.88 5/244 1049994
/proc/meminfo: memFree=121256084/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2526048 memory=613568 CPUtime=221.73 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 63446 0 0 0 22087 86 0 0 20 0 1 0 196829559 2586673152 153392 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 631512 153392 1730 439 0 626941 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2526048 KiB
Current children cumulated memory: 613568 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.27 3.90 5/244 1050005
/proc/meminfo: memFree=121249776/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2526048 memory=597148 CPUtime=281.57 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 73616 0 0 0 28063 94 0 0 20 0 1 0 196829559 2586673152 149287 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 631512 149287 1730 439 0 626941 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2526048 KiB
Current children cumulated memory: 597148 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.22 3.91 5/245 1050018
/proc/meminfo: memFree=121225108/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=625000 CPUtime=341.43 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 85688 0 0 0 34038 105 0 0 20 0 1 0 196829559 2652848128 156250 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 156250 1730 439 0 643097 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 625000 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.19 3.92 5/245 1050029
/proc/meminfo: memFree=121233080/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2525136 memory=614960 CPUtime=401.28 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 95375 0 0 0 40014 114 0 0 20 0 1 0 196829559 2585739264 153740 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 631284 153740 1730 439 0 626713 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2525136 KiB
Current children cumulated memory: 614960 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.18 3.94 5/242 1050040
/proc/meminfo: memFree=121212228/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=622952 CPUtime=461.13 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 104043 0 0 0 45992 121 0 0 20 0 1 0 196829559 2652848128 155738 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 155738 1730 439 0 643097 0

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

/proc/loadavg: 4.14 4.17 3.97 5/243 1050061
/proc/meminfo: memFree=121148716/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=627048 CPUtime=580.83 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 116585 0 0 0 57951 132 0 0 20 0 1 0 196829559 2652848128 156762 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 156762 1730 439 0 643097 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 627048 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 4.15 3.98 5/242 1050073
/proc/meminfo: memFree=121199380/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=629188 CPUtime=640.69 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 123404 0 0 0 63929 140 0 0 20 0 1 0 196829559 2652848128 157297 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 157297 1730 439 0 643097 0
Current children cumulated CPU time: 640.69 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 629188 KiB

[startup+702.3 s]
/proc/loadavg: 4.08 4.14 3.99 5/242 1050083
/proc/meminfo: memFree=121101864/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2475984 memory=565532 CPUtime=700.53 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 127720 0 0 0 69909 144 0 0 20 0 1 0 196829559 2535407616 141383 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 618996 141383 1730 439 0 614425 0
Current children cumulated CPU time: 700.53 s
Current children cumulated vsize: 2475984 KiB
Current children cumulated memory: 565532 KiB

[startup+762.3 s]
/proc/loadavg: 4.06 4.13 4.00 5/244 1050097
/proc/meminfo: memFree=121171144/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=633300 CPUtime=760.38 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 133642 0 0 0 75888 150 0 0 20 0 1 0 196829559 2652848128 158325 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 158325 1730 439 0 643097 0
Current children cumulated CPU time: 760.38 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 633300 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.13 4.01 5/244 1050107
/proc/meminfo: memFree=121278500/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=631108 CPUtime=820.23 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 139393 0 0 0 81866 157 0 0 20 0 1 0 196829559 2652848128 157777 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 157777 1730 439 0 643097 0
Current children cumulated CPU time: 820.23 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 631108 KiB

[startup+882.3 s]
/proc/loadavg: 4.33 4.18 4.03 5/243 1050118
/proc/meminfo: memFree=121097412/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=639444 CPUtime=880.08 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 140916 0 0 0 87849 159 0 0 20 0 1 0 196829559 2652848128 159861 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 159861 1730 439 0 643097 0
Current children cumulated CPU time: 880.08 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 639444 KiB

[startup+922.775 s]
# the end of solver process 1049949 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=918.83 s, system=1.63505 s

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

[startup+896 s]*
/proc/loadavg: 4.26 4.17 4.03 5/243 1050120
/proc/meminfo: memFree=121171528/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2590672 memory=637252 CPUtime=893.76 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 142353 0 0 0 89216 160 0 0 20 0 1 0 196829559 2652848128 159313 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647668 159313 1730 439 0 643097 0
Current children cumulated CPU time: 893.76 s
Current children cumulated vsize: 2590672 KiB
Current children cumulated memory: 637252 KiB

[startup+908.8 s]
/proc/loadavg: 4.22 4.17 4.03 5/243 1050122
/proc/meminfo: memFree=121170148/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2524292 memory=611976 CPUtime=906.52 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 143263 0 0 0 90491 161 0 0 20 0 1 0 196829559 2584875008 152994 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 631073 152994 1730 439 0 626502 0
Current children cumulated CPU time: 906.52 s
Current children cumulated vsize: 2524292 KiB
Current children cumulated memory: 611976 KiB

[startup+915.2 s]
/proc/loadavg: 4.18 4.16 4.03 5/243 1050124
/proc/meminfo: memFree=121095440/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=636408 CPUtime=912.9 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144694 0 0 0 91128 162 0 0 20 0 1 0 196829559 2651983872 159102 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 159102 1730 439 0 642886 0
Current children cumulated CPU time: 912.9 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 636408 KiB

[startup+918.4 s]
/proc/loadavg: 4.18 4.16 4.03 5/243 1050124
/proc/meminfo: memFree=121103992/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=638600 CPUtime=916.09 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144736 0 0 0 91447 162 0 0 20 0 1 0 196829559 2651983872 159650 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 159650 1730 439 0 642886 0
Current children cumulated CPU time: 916.09 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 638600 KiB

[startup+920 s]*
/proc/loadavg: 4.17 4.16 4.03 5/243 1050124
/proc/meminfo: memFree=121093376/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=640648 CPUtime=917.7 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144743 0 0 0 91608 162 0 0 20 0 1 0 196829559 2651983872 160162 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 160162 1730 439 0 642886 0
Current children cumulated CPU time: 917.7 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 640648 KiB

[startup+921.6 s]
/proc/loadavg: 4.17 4.16 4.03 5/243 1050124
/proc/meminfo: memFree=121093332/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=640648 CPUtime=919.28 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144743 0 0 0 91766 162 0 0 20 0 1 0 196829559 2651983872 160162 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 160162 1730 439 0 642886 0
Current children cumulated CPU time: 919.28 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 640648 KiB

[startup+922.4 s]
/proc/loadavg: 4.17 4.16 4.03 5/243 1050125
/proc/meminfo: memFree=121091932/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=640648 CPUtime=920.08 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144743 0 0 0 91846 162 0 0 20 0 1 0 196829559 2651983872 160162 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 160162 1730 439 0 642886 0
Current children cumulated CPU time: 920.08 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 640648 KiB

[startup+922.6 s]
/proc/loadavg: 4.17 4.16 4.03 5/243 1050125
/proc/meminfo: memFree=121091932/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=642696 CPUtime=920.28 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144744 0 0 0 91866 162 0 0 20 0 1 0 196829559 2651983872 160674 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 160674 1730 439 0 642886 0
Current children cumulated CPU time: 920.28 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 642696 KiB

[startup+922.7 s]
/proc/loadavg: 4.17 4.16 4.03 5/243 1050125
/proc/meminfo: memFree=121091932/131655788 swapFree=131071996/131071996
[pid=1049949] ppid=1049946 vsize=2589828 memory=642696 CPUtime=920.38 cores=4,6
/proc/1049949/stat : 1049949 (pb_picat) R 1049946 1049949 1048942 0 -1 4194304 144745 0 0 0 91876 162 0 0 20 0 1 0 196829559 2651983872 160674 134679101440 4194304 5989780 140736534223776 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16039936 140736534225943 140736534226019 140736534226019 140736534233036 0
/proc/1049949/statm: 647457 160674 1730 439 0 642886 0
Current children cumulated CPU time: 920.38 s
Current children cumulated vsize: 2589828 KiB
Current children cumulated memory: 642696 KiB

Child status: 0

Real time (s): 922.775
CPU time (s): 920.465
CPU user time (s): 918.83
CPU system time (s): 1.63505
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 2731160
Max. memory (cumulated for all children) (KiB): 683084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 918.83
system time used= 1.63505
maximum resident set size= 683084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144754
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= 4
involuntary context switches= 882


# summary of solver processes directly reported to runsolver:
#   pid: 1049949
#   total CPU time (s): 920.465
#   total CPU user time (s): 918.83
#   total CPU system time (s): 1.63505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.58858 second user time and 8.85964 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 05:38:40
IDJOB=4452882
IDBENCH=165345
IDSOLVER=3068
FILE ID=nodeC005/4452882-1721446708
RUNJOBID= nodeC005-1721445404-1048953
SLURM_JOB_ID= 7545666
Free space on /tmp= 723764 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452882-1721446708/watcher-4452882-1721446708 -o /tmp/evaluation-result-4452882-1721446708/solver-4452882-1721446708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760  pb_picat HOME/instance-4452882-1721446708.opb

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

MD5SUM BENCH= 94622b8283878cd58e113c83df8c4b53
RANDOM SEED=615696134

nodeC005.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		: 3662.243
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.53
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		: 3565.606
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.35
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.374
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.53
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.260
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.35
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		: 3491.806
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.53
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		: 3491.765
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.35
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.177
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.53
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.437
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121831576 kB
MemAvailable:   127449048 kB
Buffers:          554496 kB
Cached:          5842892 kB
SwapCached:            0 kB
Active:          1170156 kB
Inactive:        7945072 kB
Active(anon):       3472 kB
Inactive(anon):  2760240 kB
Active(file):    1166684 kB
Inactive(file):  5184832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5312 kB
Writeback:            28 kB
AnonPages:       2707336 kB
Mapped:           118912 kB
Shmem:             45896 kB
KReclaimable:     212312 kB
Slab:             332876 kB
SReclaimable:     212312 kB
SUnreclaim:       120564 kB
KernelStack:        3824 kB
PageTables:        15076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8953588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2312192 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC005 at 2024-07-20 05:54:02