Trace number 4445302

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.09 3609.2

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
MD5SUMb3a7e12d93ab079a38c8d0bc0b1ef8cc
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 benchmark20800.4
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52
Total number of constraints2
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 constraints2
Minimum length of a constraint52
Maximum length of a constraint52
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 5842800
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 78219574
Number of bits of the biggest sum of numbers27
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-4445302-1721314994.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: 63931 MiB (59887 MiB free)
  memory of node 1: 64510 MiB (60701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445302-1721314994/watcher-4445302-1721314994 -o /tmp/evaluation-result-4445302-1721314994/solver-4445302-1721314994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760 pb_picat HOME/instance-4445302-1721314994.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=992745, runsolver pid=992742

[startup+0.100456 s]*
/proc/loadavg: 4.01 4.08 4.08 5/259 992746
/proc/meminfo: memFree=123469044/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2036556 memory=20512 CPUtime=0.09 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 1804 0 0 0 9 0 0 0 20 0 1 0 183664740 2085433344 5128 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509139 5128 1701 439 0 504568 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036556 KiB
Current children cumulated memory: 20512 KiB

[startup+0.205799 s]*
/proc/loadavg: 4.01 4.08 4.08 5/259 992748
/proc/meminfo: memFree=123469032/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2036556 memory=20340 CPUtime=0.19 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 1992 0 0 0 19 0 0 0 20 0 1 0 183664740 2085433344 5085 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509139 5085 1701 439 0 504568 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2036556 KiB
Current children cumulated memory: 20340 KiB

[startup+0.305648 s]*
/proc/loadavg: 4.01 4.08 4.08 5/259 992748
/proc/meminfo: memFree=123468868/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2036556 memory=20076 CPUtime=0.29 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 2087 0 0 0 29 0 0 0 20 0 1 0 183664740 2085433344 5019 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509139 5019 1701 439 0 504568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036556 KiB
Current children cumulated memory: 20076 KiB

[startup+0.700177 s]
/proc/loadavg: 4.01 4.08 4.08 5/259 992748
/proc/meminfo: memFree=123467048/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2037752 memory=20504 CPUtime=0.68 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 2479 0 0 0 68 0 0 0 20 0 1 0 183664740 2086658048 5126 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509438 5126 1701 439 0 504867 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2037752 KiB
Current children cumulated memory: 20504 KiB

[startup+1.50018 s]
/proc/loadavg: 4.01 4.08 4.08 6/259 992748
/proc/meminfo: memFree=123466336/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2037752 memory=20988 CPUtime=1.48 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 3375 0 0 0 148 0 0 0 20 0 1 0 183664740 2086658048 5247 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509438 5247 1701 439 0 504867 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037752 KiB
Current children cumulated memory: 20988 KiB

[startup+3.1048 s]
/proc/loadavg: 4.01 4.08 4.08 6/259 992748
/proc/meminfo: memFree=123461616/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2038776 memory=22580 CPUtime=3.08 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 5246 0 0 0 308 0 0 0 20 0 1 0 183664740 2087706624 5645 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 509694 5645 1701 439 0 505123 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2038776 KiB
Current children cumulated memory: 22580 KiB

[startup+6.30017 s]
/proc/loadavg: 4.01 4.07 4.08 6/258 992748
/proc/meminfo: memFree=123466828/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2041076 memory=23528 CPUtime=6.27 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 9793 0 0 0 626 1 0 0 20 0 1 0 183664740 2090061824 5882 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 510269 5882 1701 439 0 505698 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2041076 KiB
Current children cumulated memory: 23528 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.07 4.08 6/258 992749
/proc/meminfo: memFree=123459120/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2041232 memory=24184 CPUtime=12.65 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 16506 0 0 0 1262 3 0 0 20 0 1 0 183664740 2090221568 6046 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 510308 6046 1701 439 0 505737 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2041232 KiB
Current children cumulated memory: 24184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 6/258 992751
/proc/meminfo: memFree=123463512/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2044124 memory=26964 CPUtime=25.42 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 32112 0 0 0 2535 7 0 0 20 0 1 0 183664740 2093182976 6741 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 511031 6741 1701 439 0 506460 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2044124 KiB
Current children cumulated memory: 26964 KiB

[startup+51.1045 s]
/proc/loadavg: 4.05 4.08 4.08 6/258 992756
/proc/meminfo: memFree=123466252/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2042076 memory=24032 CPUtime=50.96 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 62480 0 0 0 5081 15 0 0 20 0 1 0 183664740 2091085824 6008 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 510519 6008 1701 439 0 505948 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2042076 KiB
Current children cumulated memory: 24032 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/257 992766
/proc/meminfo: memFree=123443112/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2049108 memory=32032 CPUtime=102.02 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 107008 0 0 0 10175 27 0 0 20 0 1 0 183664740 2098286592 8008 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 512277 8008 1701 439 0 507706 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2049108 KiB
Current children cumulated memory: 32032 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/255 992776
/proc/meminfo: memFree=123443136/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2053632 memory=33740 CPUtime=161.86 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 154372 0 0 0 16148 38 0 0 20 0 1 0 183664740 2102919168 8435 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 513408 8435 1701 439 0 508837 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2053632 KiB
Current children cumulated memory: 33740 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/257 992789
/proc/meminfo: memFree=123435280/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2047488 memory=29768 CPUtime=221.71 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 190674 0 0 0 22120 51 0 0 20 0 1 0 183664740 2096627712 7442 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 511872 7442 1701 439 0 507301 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2047488 KiB
Current children cumulated memory: 29768 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/257 992801
/proc/meminfo: memFree=123440768/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2049536 memory=32644 CPUtime=281.55 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 217222 0 0 0 28097 58 0 0 20 0 1 0 183664740 2098724864 8161 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 512384 8161 1701 439 0 507813 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2049536 KiB
Current children cumulated memory: 32644 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/257 992811
/proc/meminfo: memFree=123441264/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2049536 memory=32980 CPUtime=341.38 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 242957 0 0 0 34073 65 0 0 20 0 1 0 183664740 2098724864 8245 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 512384 8245 1701 439 0 507813 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2049536 KiB
Current children cumulated memory: 32980 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/257 992822
/proc/meminfo: memFree=123437388/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2061824 memory=37908 CPUtime=401.22 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 268664 0 0 0 40049 73 0 0 20 0 1 0 183664740 2111307776 9477 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 515456 9477 1701 439 0 510885 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2061824 KiB
Current children cumulated memory: 37908 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/260 992839
/proc/meminfo: memFree=123431432/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2053632 memory=34508 CPUtime=461.05 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 297056 0 0 0 46024 81 0 0 20 0 1 0 183664740 2102919168 8627 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 513408 8627 1701 439 0 508837 0

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

Current children cumulated memory: 71284 KiB

[startup+2862.3 s]
/proc/loadavg: 1.22 1.22 1.96 2/236 994087
/proc/meminfo: memFree=123567784/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2093352 memory=71284 CPUtime=2854.86 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 723089 0 0 0 285245 241 0 0 20 0 1 0 183664740 2143592448 17821 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523338 17821 1701 439 0 518767 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 2093352 KiB
Current children cumulated memory: 71284 KiB

[startup+2922.3 s]
/proc/loadavg: 1.08 1.17 1.90 2/236 994097
/proc/meminfo: memFree=123567288/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2093352 memory=71284 CPUtime=2914.73 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 731186 0 0 0 291229 244 0 0 20 0 1 0 183664740 2143592448 17821 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523338 17821 1701 439 0 518767 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 2093352 KiB
Current children cumulated memory: 71284 KiB

[startup+2982.3 s]
/proc/loadavg: 1.07 1.16 1.85 2/236 994108
/proc/meminfo: memFree=123566540/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2093352 memory=71284 CPUtime=2974.58 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 735086 0 0 0 297212 246 0 0 20 0 1 0 183664740 2143592448 17821 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523338 17821 1701 439 0 518767 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 2093352 KiB
Current children cumulated memory: 71284 KiB

[startup+3042.3 s]
/proc/loadavg: 1.12 1.16 1.80 2/236 994118
/proc/meminfo: memFree=123570200/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2093352 memory=66924 CPUtime=3034.44 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 739802 0 0 0 303197 247 0 0 20 0 1 0 183664740 2143592448 16731 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523338 16731 1701 439 0 518767 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 2093352 KiB
Current children cumulated memory: 66924 KiB

[startup+3102.3 s]
/proc/loadavg: 1.10 1.14 1.76 2/236 994130
/proc/meminfo: memFree=123564440/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3094.31 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 745350 0 0 0 309182 249 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB

[startup+3162.3 s]
/proc/loadavg: 1.11 1.13 1.71 2/236 994524
/proc/meminfo: memFree=123565132/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=69888 CPUtime=3154.17 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 750073 0 0 0 315166 251 0 0 20 0 1 0 183664740 2144288768 17472 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17472 1701 439 0 518937 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 69888 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.12 1.67 2/236 994535
/proc/meminfo: memFree=123567096/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=69916 CPUtime=3214.03 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 754798 0 0 0 321151 252 0 0 20 0 1 0 183664740 2144288768 17479 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17479 1701 439 0 518937 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 69916 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.11 1.63 2/236 994546
/proc/meminfo: memFree=123562132/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3273.89 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 761700 0 0 0 327134 255 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.12 1.60 2/238 994726
/proc/meminfo: memFree=123561056/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3333.75 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 767051 0 0 0 333118 257 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.11 1.57 2/238 994737
/proc/meminfo: memFree=123562504/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=74012 CPUtime=3393.61 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 771278 0 0 0 339102 259 0 0 20 0 1 0 183664740 2144288768 18503 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 18503 1701 439 0 518937 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 74012 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.54 2/239 994765
/proc/meminfo: memFree=123561568/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=69916 CPUtime=3453.49 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 776487 0 0 0 345088 261 0 0 20 0 1 0 183664740 2144288768 17479 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17479 1701 439 0 518937 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 69916 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.11 1.51 2/239 994776
/proc/meminfo: memFree=123558836/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3513.36 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 780689 0 0 0 351074 262 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.10 1.48 2/239 994787
/proc/meminfo: memFree=123558596/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3573.23 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 784881 0 0 0 357059 264 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 1.12 1.11 1.47 2/237 994790
/proc/meminfo: memFree=123558212/131524600 swapFree=131071996/131071996
[pid=992745] ppid=992742 vsize=2094032 memory=71964 CPUtime=3600.08 cores=1,3
/proc/992745/stat : 992745 (pb_picat) R 992742 992745 984416 0 -1 4194304 785955 0 0 0 359743 265 0 0 20 0 1 0 183664740 2144288768 17991 134679101440 4194304 5989780 140734099801664 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 45772800 140734099809304 140734099809380 140734099809380 140734099816396 0
/proc/992745/statm: 523508 17991 1701 439 0 518937 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2094032 KiB
Current children cumulated memory: 71964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.43 s, system=2.65294 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): 3609.2
CPU time (s): 3600.09
CPU user time (s): 3597.43
CPU system time (s): 2.65294
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (KiB): 2110416
Max. memory (cumulated for all children) (KiB): 81984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.43
system time used= 2.65294
maximum resident set size= 84812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785955
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= 18
involuntary context switches= 3755


# summary of solver processes directly reported to runsolver:
#   pid: 992745
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.43
#   total CPU system time (s): 2.65294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69828 second user time and 14.8887 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-18 17:03:26
IDJOB=4445302
IDBENCH=148106
IDSOLVER=3068
FILE ID=nodeC025/4445302-1721314994
RUNJOBID= nodeC025-1721306176-984428
SLURM_JOB_ID= 7542640
Free space on /tmp= 890020 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445302-1721314994/watcher-4445302-1721314994 -o /tmp/evaluation-result-4445302-1721314994/solver-4445302-1721314994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760  pb_picat HOME/instance-4445302-1721314994.opb

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

MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1398590368

nodeC025.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		: 3672.751
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.72
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		: 3655.256
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.141
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.72
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		: 3654.759
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	: 7007.09
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		: 3672.814
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.72
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		: 3675.118
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	: 7007.09
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		: 3600.087
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.72
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		: 3599.916
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123483736 kB
MemAvailable:   129440032 kB
Buffers:          516592 kB
Cached:          6202484 kB
SwapCached:            0 kB
Active:          1056716 kB
Inactive:        6212416 kB
Active(anon):       1552 kB
Inactive(anon):   585892 kB
Active(file):    1055164 kB
Inactive(file):  5626524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3628 kB
Writeback:            24 kB
AnonPages:        547672 kB
Mapped:           115652 kB
Shmem:             37720 kB
KReclaimable:     228512 kB
Slab:             356196 kB
SReclaimable:     228512 kB
SUnreclaim:       127684 kB
KernelStack:        4208 kB
PageTables:        10508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6903664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69632 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-18 18:03:36