Trace number 4436217

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.08 3609.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM58d046e1e41ee9602d09224f38506b42
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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-4436217-1721076308.opb (Picat 3.6#12)
660.70/662.48	o 3176

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 (62563 MiB free)
  memory of node 1: 64510 MiB (58984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436217-1721076308/watcher-4436217-1721076308 -o /tmp/evaluation-result-4436217-1721076308/solver-4436217-1721076308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721076321-846576 --watchdog 3760 pb_picat HOME/instance-4436217-1721076308.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
solver pid=846629, runsolver pid=846621
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 1.14 1.36 2.08 4/255 846640
/proc/meminfo: memFree=124402340/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2041424 memory=36704 CPUtime=0.1 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 698 0 0 0 10 0 0 0 20 0 1 0 159796197 2090418176 9176 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 510356 9176 1509 439 0 505785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 36704 KiB

[startup+0.206373 s]*
/proc/loadavg: 1.14 1.36 2.08 4/253 846668
/proc/meminfo: memFree=124375600/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2051184 memory=57292 CPUtime=0.2 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 2879 0 0 0 20 0 0 0 20 0 1 0 159796197 2100412416 14323 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512796 14323 1667 439 0 508225 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2051184 KiB
Current children cumulated memory: 57292 KiB

[startup+0.305843 s]*
/proc/loadavg: 1.14 1.36 2.08 7/252 846691
/proc/meminfo: memFree=124365724/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2060784 memory=66168 CPUtime=0.3 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 4333 0 0 0 29 1 0 0 20 0 1 0 159796197 2110242816 16542 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 515196 16542 1715 439 0 510625 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2060784 KiB
Current children cumulated memory: 66168 KiB

[startup+0.700207 s]
/proc/loadavg: 1.14 1.36 2.08 6/259 846732
/proc/meminfo: memFree=124305140/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2061028 memory=67368 CPUtime=0.69 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 4702 0 0 0 68 1 0 0 20 0 1 0 159796197 2110492672 16842 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 515257 16842 1715 439 0 510686 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2061028 KiB
Current children cumulated memory: 67368 KiB

[startup+1.50019 s]
/proc/loadavg: 1.14 1.36 2.08 6/259 846732
/proc/meminfo: memFree=124302228/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2050592 memory=57476 CPUtime=1.48 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 5896 0 0 0 147 1 0 0 20 0 1 0 159796197 2099806208 14369 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512648 14369 1730 439 0 508077 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2050592 KiB
Current children cumulated memory: 57476 KiB

[startup+3.10571 s]
/proc/loadavg: 1.37 1.40 2.09 6/259 846732
/proc/meminfo: memFree=124307536/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2048332 memory=56948 CPUtime=3.08 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 8042 0 0 0 307 1 0 0 20 0 1 0 159796197 2097491968 14237 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512083 14237 1730 439 0 507512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048332 KiB
Current children cumulated memory: 56948 KiB

[startup+6.30015 s]
/proc/loadavg: 1.37 1.40 2.09 5/259 846780
/proc/meminfo: memFree=124324268/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2048296 memory=56376 CPUtime=6.27 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 10243 0 0 0 625 2 0 0 20 0 1 0 159796197 2097455104 14094 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512074 14094 1730 439 0 507503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048296 KiB
Current children cumulated memory: 56376 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.45 2.10 5/257 846826
/proc/meminfo: memFree=124316392/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2047204 memory=56044 CPUtime=12.66 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 14030 0 0 0 1263 3 0 0 20 0 1 0 159796197 2096336896 14011 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 511801 14011 1730 439 0 507230 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2047204 KiB
Current children cumulated memory: 56044 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 1.56 2.13 5/257 847472
/proc/meminfo: memFree=124307556/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2050256 memory=57080 CPUtime=25.42 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 25768 0 0 0 2538 4 0 0 20 0 1 0 159796197 2099462144 14270 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512564 14270 1730 439 0 507993 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2050256 KiB
Current children cumulated memory: 57080 KiB

[startup+51.1053 s]
/proc/loadavg: 2.71 1.75 2.18 5/257 847523
/proc/meminfo: memFree=124286232/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2047500 memory=55536 CPUtime=50.95 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 47356 0 0 0 5086 9 0 0 20 0 1 0 159796197 2096640000 13884 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 511875 13884 1730 439 0 507304 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2047500 KiB
Current children cumulated memory: 55536 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.12 2.28 5/257 847531
/proc/meminfo: memFree=124276308/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2052744 memory=59224 CPUtime=102 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 89682 0 0 0 10182 18 0 0 20 0 1 0 159796197 2102009856 14806 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 513186 14806 1730 439 0 508615 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2052744 KiB
Current children cumulated memory: 59224 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.48 2.40 5/257 847542
/proc/meminfo: memFree=124271376/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2057264 memory=63448 CPUtime=161.84 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 127426 0 0 0 16158 26 0 0 20 0 1 0 159796197 2106638336 15862 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 514316 15862 1730 439 0 509745 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2057264 KiB
Current children cumulated memory: 63448 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.79 2.51 5/257 847552
/proc/meminfo: memFree=124262900/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2062040 memory=64112 CPUtime=221.67 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 176857 0 0 0 22129 38 0 0 20 0 1 0 159796197 2111528960 16028 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 515510 16028 1730 439 0 510939 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2062040 KiB
Current children cumulated memory: 64112 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.03 2.61 5/257 847562
/proc/meminfo: memFree=124235456/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2055960 memory=69896 CPUtime=281.52 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 239136 0 0 0 28100 52 0 0 20 0 1 0 159796197 2105303040 17474 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 513990 17474 1730 439 0 509419 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2055960 KiB
Current children cumulated memory: 69896 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.22 2.71 5/257 847578
/proc/meminfo: memFree=124217820/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2051864 memory=65620 CPUtime=341.38 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 286439 0 0 0 34075 63 0 0 20 0 1 0 159796197 2101108736 16405 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 512966 16405 1730 439 0 508395 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2051864 KiB
Current children cumulated memory: 65620 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.38 2.80 5/257 847589
/proc/meminfo: memFree=124188168/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2052100 memory=65800 CPUtime=401.24 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 327571 0 0 0 40053 71 0 0 20 0 1 0 159796197 2101350400 16450 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 513025 16450 1730 439 0 508454 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2052100 KiB
Current children cumulated memory: 65800 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.51 2.88 5/257 847600
/proc/meminfo: memFree=124208984/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2056196 memory=70316 CPUtime=461.1 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 361453 0 0 0 46032 78 0 0 20 0 1 0 159796197 2105544704 17579 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 514049 17579 1730 439 0 509478 0

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

Current children cumulated memory: 82624 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.16 4.08 5/257 849232
/proc/meminfo: memFree=124039236/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2075116 memory=90228 CPUtime=2914.86 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1413138 0 0 0 291123 363 0 0 20 0 1 0 159796197 2124918784 22557 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 518779 22557 1730 439 0 514208 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 2075116 KiB
Current children cumulated memory: 90228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/257 849244
/proc/meminfo: memFree=124074552/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=94460 CPUtime=2974.69 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1424673 0 0 0 297103 366 0 0 20 0 1 0 159796197 2129113088 23615 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 23615 1730 439 0 515232 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 94460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/255 849255
/proc/meminfo: memFree=124043876/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=91272 CPUtime=3034.54 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1435100 0 0 0 303084 370 0 0 20 0 1 0 159796197 2129113088 22818 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22818 1730 439 0 515232 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 91272 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/255 849265
/proc/meminfo: memFree=124125152/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=88976 CPUtime=3094.39 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1450222 0 0 0 309064 375 0 0 20 0 1 0 159796197 2129113088 22244 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22244 1730 439 0 515232 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 88976 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/257 849281
/proc/meminfo: memFree=124057816/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=93860 CPUtime=3154.23 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1466795 0 0 0 315043 380 0 0 20 0 1 0 159796197 2129113088 23465 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 23465 1730 439 0 515232 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 93860 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/257 849291
/proc/meminfo: memFree=124040080/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=91444 CPUtime=3214.07 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1477184 0 0 0 321024 383 0 0 20 0 1 0 159796197 2129113088 22861 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22861 1730 439 0 515232 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 91444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/258 849302
/proc/meminfo: memFree=124054604/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=89400 CPUtime=3273.92 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1488782 0 0 0 327005 387 0 0 20 0 1 0 159796197 2129113088 22350 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22350 1730 439 0 515232 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 89400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/259 849317
/proc/meminfo: memFree=124054988/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2071020 memory=83236 CPUtime=3333.75 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1504467 0 0 0 332983 392 0 0 20 0 1 0 159796197 2120724480 20809 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 517755 20809 1730 439 0 513184 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 2071020 KiB
Current children cumulated memory: 83236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 849328
/proc/meminfo: memFree=124076764/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=91980 CPUtime=3393.6 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1520769 0 0 0 338963 397 0 0 20 0 1 0 159796197 2129113088 22995 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22995 1730 439 0 515232 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 91980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 849339
/proc/meminfo: memFree=124068388/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=93860 CPUtime=3453.45 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1534901 0 0 0 344943 402 0 0 20 0 1 0 159796197 2129113088 23465 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 23465 1730 439 0 515232 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 93860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 849349
/proc/meminfo: memFree=124053036/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=91092 CPUtime=3513.29 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1545347 0 0 0 350924 405 0 0 20 0 1 0 159796197 2129113088 22773 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22773 1730 439 0 515232 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 91092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 849361
/proc/meminfo: memFree=124015168/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2079212 memory=89704 CPUtime=3573.14 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1558361 0 0 0 356904 410 0 0 20 0 1 0 159796197 2129113088 22426 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 519803 22426 1730 439 0 515232 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 89704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 849367
/proc/meminfo: memFree=124067552/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2066924 memory=78824 CPUtime=3600.07 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1566810 0 0 0 359595 412 0 0 20 0 1 0 159796197 2116530176 19706 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 516731 19706 1730 439 0 512160 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2066924 KiB
Current children cumulated memory: 78824 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.96 s, system=4.12422 s

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

[startup+3609.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 849367
/proc/meminfo: memFree=124067552/131524600 swapFree=131071996/131071996
[pid=846629] ppid=846621 vsize=2066924 memory=78824 CPUtime=3600.07 cores=4,6
/proc/846629/stat : 846629 (pb_picat) R 846621 846629 846565 0 -1 4194304 1566810 0 0 0 359595 412 0 0 20 0 1 0 159796197 2116530176 19706 134679101440 4194304 5989780 140722216830656 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46071808 140722216834073 140722216834149 140722216834149 140722216841164 0
/proc/846629/statm: 516731 19706 1730 439 0 512160 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2066924 KiB
Current children cumulated memory: 78824 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.3
CPU time (s): 3600.08
CPU user time (s): 3595.96
CPU system time (s): 4.12422
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 2103788
Max. memory (cumulated for all children) (KiB): 102224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 4.12422
maximum resident set size= 102224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1566810
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= 12
involuntary context switches= 4674


# summary of solver processes directly reported to runsolver:
#   pid: 846629
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3595.96
#   total CPU system time (s): 4.12422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75117 second user time and 14.5658 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-15 22:45:21
IDJOB=4436217
IDBENCH=147102
IDSOLVER=3068
FILE ID=nodeC025/4436217-1721076308
RUNJOBID= nodeC025-1721076321-846576
SLURM_JOB_ID= 7505550
Free space on /tmp= 890032 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436217-1721076308/watcher-4436217-1721076308 -o /tmp/evaluation-result-4436217-1721076308/solver-4436217-1721076308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721076321-846576 --watchdog 3760  pb_picat HOME/instance-4436217-1721076308.opb

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

MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=679274616

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		: 3747.729
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		: 3663.319
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		: 3614.863
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		: 3618.205
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		: 3621.310
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		: 3744.854
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		: 3607.305
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		: 3747.729
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:        124466732 kB
MemAvailable:   129641096 kB
Buffers:          393412 kB
Cached:          5556216 kB
SwapCached:            0 kB
Active:           709552 kB
Inactive:        5618892 kB
Active(anon):       1424 kB
Inactive(anon):   415432 kB
Active(file):     708128 kB
Inactive(file):  5203460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14876 kB
Writeback:             0 kB
AnonPages:        376868 kB
Mapped:           103208 kB
Shmem:             37720 kB
KReclaimable:     204848 kB
Slab:             323816 kB
SReclaimable:     204848 kB
SUnreclaim:       118968 kB
KernelStack:        3888 kB
PageTables:         9848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     718796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      273108 kB
DirectMap2M:    36200448 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC025 at 2024-07-15 23:45:30