Trace number 4450152

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-18? (TO) 3600.06 3611.8

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
MD5SUMc7ad59296e2e055fc86df3342558d493
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4329
Total number of constraints10136
Number of constraints which are clauses4785
Number of constraints which are cardinality constraints (but not clauses)5351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4450152-1721410756.opb (Picat 3.6#12)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450152-1721410756/watcher-4450152-1721410756 -o /tmp/evaluation-result-4450152-1721410756/solver-4450152-1721410756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027282 --watchdog 3760 pb_picat HOME/instance-4450152-1721410756.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1027483, runsolver pid=1027480

[startup+0.100605 s]*
/proc/loadavg: 1.48 3.05 3.67 5/256 1027484
/proc/meminfo: memFree=123602648/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2035148 memory=35644 CPUtime=0.09 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 1372 0 0 0 9 0 0 0 20 0 1 0 193246113 2083991552 8911 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 508787 8911 1572 439 0 504216 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035148 KiB
Current children cumulated memory: 35644 KiB

[startup+0.205758 s]*
/proc/loadavg: 1.48 3.05 3.67 5/256 1027484
/proc/meminfo: memFree=123601096/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2036056 memory=36956 CPUtime=0.19 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 1658 0 0 0 19 0 0 0 20 0 1 0 193246113 2084921344 9239 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509014 9239 1665 439 0 504443 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2036056 KiB
Current children cumulated memory: 36956 KiB

[startup+0.30465 s]*
/proc/loadavg: 1.68 3.06 3.68 5/256 1027484
/proc/meminfo: memFree=123600272/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2036312 memory=37132 CPUtime=0.29 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 2065 0 0 0 29 0 0 0 20 0 1 0 193246113 2085183488 9283 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509078 9283 1665 439 0 504507 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036312 KiB
Current children cumulated memory: 37132 KiB

[startup+0.70014 s]
/proc/loadavg: 1.68 3.06 3.68 5/256 1027484
/proc/meminfo: memFree=123599340/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2035856 memory=36940 CPUtime=0.68 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3019 0 0 0 68 0 0 0 20 0 1 0 193246113 2084716544 9235 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 508964 9235 1665 439 0 504393 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2035856 KiB
Current children cumulated memory: 36940 KiB

[startup+1.50014 s]
/proc/loadavg: 1.68 3.06 3.68 5/256 1027484
/proc/meminfo: memFree=123600148/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2036872 memory=37748 CPUtime=1.48 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 4384 0 0 0 147 1 0 0 20 0 1 0 193246113 2085756928 9437 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509218 9437 1665 439 0 504647 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036872 KiB
Current children cumulated memory: 37748 KiB

[startup+3.10539 s]
/proc/loadavg: 1.68 3.06 3.68 5/256 1027532
/proc/meminfo: memFree=123593140/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2037248 memory=37948 CPUtime=3.08 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 7354 0 0 0 307 1 0 0 20 0 1 0 193246113 2086141952 9487 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509312 9487 1665 439 0 504741 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037248 KiB
Current children cumulated memory: 37948 KiB

[startup+6.30014 s]
/proc/loadavg: 1.95 3.10 3.68 5/256 1027532
/proc/meminfo: memFree=123590208/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2038120 memory=38492 CPUtime=6.27 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 15264 0 0 0 625 2 0 0 20 0 1 0 193246113 2087034880 9623 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509530 9623 1665 439 0 504959 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2038120 KiB
Current children cumulated memory: 38492 KiB

[startup+12.7001 s]
/proc/loadavg: 2.11 3.11 3.68 5/256 1027532
/proc/meminfo: memFree=123585584/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2038880 memory=39436 CPUtime=12.65 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 37780 0 0 0 1259 6 0 0 20 0 1 0 193246113 2087813120 9859 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 509720 9859 1665 439 0 505149 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2038880 KiB
Current children cumulated memory: 39436 KiB

[startup+25.5002 s]
/proc/loadavg: 2.40 3.14 3.69 5/256 1027535
/proc/meminfo: memFree=123584012/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2042072 memory=41512 CPUtime=25.41 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 79892 0 0 0 2528 13 0 0 20 0 1 0 193246113 2091081728 10378 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 510518 10378 1665 439 0 505947 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2042072 KiB
Current children cumulated memory: 41512 KiB

[startup+51.1059 s]
/proc/loadavg: 3.11 3.24 3.71 5/255 1027538
/proc/meminfo: memFree=123575392/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2042072 memory=41436 CPUtime=50.95 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 143979 0 0 0 5072 23 0 0 20 0 1 0 193246113 2091081728 10359 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 510518 10359 1665 439 0 505947 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2042072 KiB
Current children cumulated memory: 41436 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 3.38 3.73 5/257 1027551
/proc/meminfo: memFree=123561300/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2042976 memory=43476 CPUtime=101.99 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 271063 0 0 0 10154 45 0 0 20 0 1 0 193246113 2092007424 10869 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 510744 10869 1665 439 0 506173 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2042976 KiB
Current children cumulated memory: 43476 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 3.51 3.75 5/257 1027561
/proc/meminfo: memFree=123559052/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2043136 memory=42768 CPUtime=161.81 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 412363 0 0 0 16114 67 0 0 20 0 1 0 193246113 2092171264 10692 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 510784 10692 1665 439 0 506213 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2043136 KiB
Current children cumulated memory: 42768 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.63 3.78 5/257 1027574
/proc/meminfo: memFree=123540956/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2049280 memory=47876 CPUtime=221.63 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 508083 0 0 0 22076 87 0 0 20 0 1 0 193246113 2098462720 11969 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 512320 11969 1665 439 0 507749 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2049280 KiB
Current children cumulated memory: 47876 KiB

[startup+282.3 s]
/proc/loadavg: 4.32 3.77 3.82 5/257 1027584
/proc/meminfo: memFree=123541736/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2049436 memory=47932 CPUtime=281.43 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 613662 0 0 0 28034 109 0 0 20 0 1 0 193246113 2098622464 11983 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 512359 11983 1665 439 0 507788 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2049436 KiB
Current children cumulated memory: 47932 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.85 3.85 5/256 1027594
/proc/meminfo: memFree=123538548/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2045352 memory=44576 CPUtime=341.24 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 722291 0 0 0 33995 129 0 0 20 0 1 0 193246113 2094440448 11144 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 511338 11144 1665 439 0 506767 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 2045352 KiB
Current children cumulated memory: 44576 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.91 3.87 5/255 1027606
/proc/meminfo: memFree=123528760/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2050656 memory=49964 CPUtime=401.04 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 802753 0 0 0 39959 145 0 0 20 0 1 0 193246113 2099871744 12491 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 512664 12491 1665 439 0 508093 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 2050656 KiB
Current children cumulated memory: 49964 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.96 3.89 5/255 1027616
/proc/meminfo: memFree=123527708/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2046852 memory=46500 CPUtime=460.84 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 892201 0 0 0 45920 164 0 0 20 0 1 0 193246113 2095976448 11625 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 511713 11625 1665 439 0 507142 0

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

Current children cumulated memory: 68712 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/254 1029101
/proc/meminfo: memFree=123434380/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2085304 memory=75732 CPUtime=2852.92 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3151827 0 0 0 284581 711 0 0 20 0 1 0 193246113 2135351296 18933 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 521326 18933 1665 439 0 516755 0
Current children cumulated CPU time: 2852.92 s
Current children cumulated vsize: 2085304 KiB
Current children cumulated memory: 75732 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/255 1029113
/proc/meminfo: memFree=123441756/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2056632 memory=58884 CPUtime=2912.73 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3171322 0 0 0 290554 719 0 0 20 0 1 0 193246113 2105991168 14721 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 514158 14721 1665 439 0 509587 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 2056632 KiB
Current children cumulated memory: 58884 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/257 1029293
/proc/meminfo: memFree=123422052/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2068920 memory=70916 CPUtime=2972.55 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3202967 0 0 0 296526 729 0 0 20 0 1 0 193246113 2118574080 17729 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517230 17729 1665 439 0 512659 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 2068920 KiB
Current children cumulated memory: 70916 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/257 1029303
/proc/meminfo: memFree=123415388/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2068920 memory=71316 CPUtime=3032.35 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3249476 0 0 0 302494 741 0 0 20 0 1 0 193246113 2118574080 17829 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517230 17829 1665 439 0 512659 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 2068920 KiB
Current children cumulated memory: 71316 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/261 1029374
/proc/meminfo: memFree=123443684/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2060728 memory=63904 CPUtime=3092.17 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3290459 0 0 0 308464 753 0 0 20 0 1 0 193246113 2110185472 15976 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 515182 15976 1665 439 0 510611 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 2060728 KiB
Current children cumulated memory: 63904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/261 1029384
/proc/meminfo: memFree=123437740/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2068920 memory=64044 CPUtime=3151.97 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3308471 0 0 0 314440 757 0 0 20 0 1 0 193246113 2118574080 16011 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517230 16011 1665 439 0 512659 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 2068920 KiB
Current children cumulated memory: 64044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.07 5/260 1029395
/proc/meminfo: memFree=123440196/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2093496 memory=76360 CPUtime=3211.78 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3327175 0 0 0 320414 764 0 0 20 0 1 0 193246113 2143739904 19090 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 523374 19090 1665 439 0 518803 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 2093496 KiB
Current children cumulated memory: 76360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/258 1029406
/proc/meminfo: memFree=123445236/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2085304 memory=72684 CPUtime=3271.59 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3372021 0 0 0 326383 776 0 0 20 0 1 0 193246113 2135351296 18171 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 521326 18171 1665 439 0 516755 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 2085304 KiB
Current children cumulated memory: 72684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/258 1029417
/proc/meminfo: memFree=123427772/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2077112 memory=72484 CPUtime=3331.4 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3424616 0 0 0 332348 792 0 0 20 0 1 0 193246113 2126962688 18121 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 519278 18121 1665 439 0 514707 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 2077112 KiB
Current children cumulated memory: 72484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/254 1029427
/proc/meminfo: memFree=123420604/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2069056 memory=66968 CPUtime=3391.2 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3462201 0 0 0 338316 804 0 0 20 0 1 0 193246113 2118713344 16742 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517264 16742 1665 439 0 512693 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 2069056 KiB
Current children cumulated memory: 66968 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.16 4.10 5/254 1029437
/proc/meminfo: memFree=123417520/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2060864 memory=63800 CPUtime=3451.02 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3480491 0 0 0 344292 810 0 0 20 0 1 0 193246113 2110324736 15950 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 515216 15950 1665 439 0 510645 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 2060864 KiB
Current children cumulated memory: 63800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.11 5/254 1029449
/proc/meminfo: memFree=123428400/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2056768 memory=58836 CPUtime=3510.83 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3498877 0 0 0 350266 817 0 0 20 0 1 0 193246113 2106130432 14709 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 514192 14709 1665 439 0 509621 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 2056768 KiB
Current children cumulated memory: 58836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/254 1029459
/proc/meminfo: memFree=123404460/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2069056 memory=69068 CPUtime=3570.64 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3554337 0 0 0 356231 833 0 0 20 0 1 0 193246113 2118713344 17267 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517264 17267 1665 439 0 512693 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 2069056 KiB
Current children cumulated memory: 69068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.14 4.17 4.11 5/249 1029639
/proc/meminfo: memFree=123529372/131524596 swapFree=131071996/131071996
[pid=1027483] ppid=1027480 vsize=2069056 memory=64260 CPUtime=3600.04 cores=0,2
/proc/1027483/stat : 1027483 (pb_picat) R 1027480 1027483 1027272 0 -1 4194304 3576356 0 0 0 359167 837 0 0 20 0 1 0 193246113 2118713344 16065 134679101440 4194304 5989780 140727022400688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21929984 140727022408727 140727022408803 140727022408803 140727022415820 0
/proc/1027483/statm: 517264 16065 1665 439 0 512693 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2069056 KiB
Current children cumulated memory: 64260 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.68 s, system=8.37534 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.8
CPU time (s): 3600.06
CPU user time (s): 3591.68
CPU system time (s): 8.37534
CPU usage (%): 99.6748
Max. virtual memory (cumulated for all children) (KiB): 2109880
Max. memory (cumulated for all children) (KiB): 87280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.68
system time used= 8.37534
maximum resident set size= 87280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3576356
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= 6
involuntary context switches= 24864


# summary of solver processes directly reported to runsolver:
#   pid: 1027483
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.68
#   total CPU system time (s): 8.37534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1261 second user time and 14.9664 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-19 19:39:28
IDJOB=4450152
IDBENCH=160408
IDSOLVER=3068
FILE ID=nodeC034/4450152-1721410756
RUNJOBID= nodeC034-1721410767-1027282
SLURM_JOB_ID= 7545473
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450152-1721410756/watcher-4450152-1721410756 -o /tmp/evaluation-result-4450152-1721410756/solver-4450152-1721410756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027282 --watchdog 3760  pb_picat HOME/instance-4450152-1721410756.opb

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

MD5SUM BENCH= c7ad59296e2e055fc86df3342558d493
RANDOM SEED=1430536446

nodeC034.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	: 0xb00002a
cpu MHz		: 3649.816
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.816
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3626.185
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.301
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.325
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.844
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3610.789
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.018
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123633508 kB
MemAvailable:   129531056 kB
Buffers:          519412 kB
Cached:          6151488 kB
SwapCached:            0 kB
Active:          1041248 kB
Inactive:        6074716 kB
Active(anon):       1524 kB
Inactive(anon):   489128 kB
Active(file):    1039724 kB
Inactive(file):  5585588 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15896 kB
Writeback:             0 kB
AnonPages:        444792 kB
Mapped:           115996 kB
Shmem:             45912 kB
KReclaimable:     224120 kB
Slab:             354788 kB
SReclaimable:     224120 kB
SUnreclaim:       130668 kB
KernelStack:        4160 kB
PageTables:        10272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6621588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73056 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-19 20:39:40