Trace number 4436243

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 3610.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUM45d4d1161a77415ffbfc9841f6913b11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64210
Best CPU time to get the best result obtained on this benchmark72000.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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-4436243-1721072701.opb (Picat 3.6#12)
11.16/11.28	o 90033
24.23/24.34	o 89075

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436243-1721072701/watcher-4436243-1721072701 -o /tmp/evaluation-result-4436243-1721072701/solver-4436243-1721072701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721072715-835362 --watchdog 3760 pb_picat HOME/instance-4436243-1721072701.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=835421, runsolver pid=835418
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.15 1.48 2.50 5/257 835422
/proc/meminfo: memFree=123642436/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2033608 memory=39704 CPUtime=0.09 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 891 0 0 0 9 0 0 0 20 0 1 0 159437567 2082414592 9926 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 508402 9926 1553 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39704 KiB

[startup+0.205002 s]*
/proc/loadavg: 1.15 1.48 2.50 4/255 835422
/proc/meminfo: memFree=123615644/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2033608 memory=58136 CPUtime=0.2 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 900 0 0 0 20 0 0 0 20 0 1 0 159437567 2082414592 14534 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 508402 14534 1553 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 58136 KiB

[startup+0.305151 s]*
/proc/loadavg: 1.15 1.48 2.50 5/251 835422
/proc/meminfo: memFree=123585448/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2033608 memory=80664 CPUtime=0.3 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 911 0 0 0 29 1 0 0 20 0 1 0 159437567 2082414592 20166 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 508402 20166 1553 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 80664 KiB

[startup+0.700187 s]
/proc/loadavg: 1.15 1.48 2.50 4/251 835453
/proc/meminfo: memFree=123539196/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2041424 memory=162700 CPUtime=0.69 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 984 0 0 0 66 3 0 0 20 0 1 0 159437567 2090418176 40675 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 510356 40675 1553 439 0 505785 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 162700 KiB

[startup+1.50024 s]
/proc/loadavg: 1.15 1.48 2.50 5/257 835468
/proc/meminfo: memFree=123357760/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2135876 memory=370468 CPUtime=1.49 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 2952 0 0 0 140 9 0 0 20 0 1 0 159437567 2187137024 92617 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 533969 92617 1647 439 0 529398 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2135876 KiB
Current children cumulated memory: 370468 KiB

[startup+3.10538 s]
/proc/loadavg: 1.15 1.48 2.50 5/257 835468
/proc/meminfo: memFree=122986468/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2321388 memory=617908 CPUtime=3.09 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 8404 0 0 0 290 19 0 0 20 0 1 0 159437567 2377101312 154477 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 580347 154477 1743 439 0 575776 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2321388 KiB
Current children cumulated memory: 617908 KiB

[startup+6.3002 s]
/proc/loadavg: 1.38 1.53 2.51 5/257 835468
/proc/meminfo: memFree=122874880/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2517996 memory=720312 CPUtime=6.27 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 11083 0 0 0 591 36 0 0 20 0 1 0 159437567 2578427904 180078 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 629499 180078 1743 439 0 624928 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2517996 KiB
Current children cumulated memory: 720312 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.57 2.52 5/257 835470
/proc/meminfo: memFree=123028444/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2258284 memory=562068 CPUtime=12.66 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 11834 0 0 0 1221 45 0 0 20 0 1 0 159437567 2312482816 140517 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 564571 140517 1743 439 0 560000 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2258284 KiB
Current children cumulated memory: 562068 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.69 2.54 5/255 835471
/proc/meminfo: memFree=123008656/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2258284 memory=562744 CPUtime=25.43 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 15079 0 0 0 2466 77 0 0 20 0 1 0 159437567 2312482816 140686 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 564571 140686 1743 439 0 560000 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2258284 KiB
Current children cumulated memory: 562744 KiB

[startup+51.1055 s]
/proc/loadavg: 2.83 1.89 2.59 5/255 835476
/proc/meminfo: memFree=122843648/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2472180 memory=712992 CPUtime=50.96 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 21297 0 0 0 4984 112 0 0 20 0 1 0 159437567 2531512320 178248 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 618045 178248 1743 439 0 613474 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2472180 KiB
Current children cumulated memory: 712992 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.23 2.67 5/255 835485
/proc/meminfo: memFree=122784492/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2544776 memory=775880 CPUtime=102.02 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 29190 0 0 0 10082 120 0 0 20 0 1 0 159437567 2605850624 193970 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 636194 193970 1743 439 0 631623 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2544776 KiB
Current children cumulated memory: 775880 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.57 2.76 5/255 835496
/proc/meminfo: memFree=122902624/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=658940 CPUtime=161.86 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 34207 0 0 0 16061 125 0 0 20 0 1 0 159437567 2438078464 164735 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 164735 1743 439 0 590663 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 658940 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.87 2.85 5/255 835506
/proc/meminfo: memFree=122919372/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2315400 memory=618084 CPUtime=221.7 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 63699 0 0 0 22031 139 0 0 20 0 1 0 159437567 2370969600 154521 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 578850 154521 1743 439 0 574279 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2315400 KiB
Current children cumulated memory: 618084 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.09 2.93 5/255 835516
/proc/meminfo: memFree=122926388/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2315400 memory=614052 CPUtime=281.53 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 104291 0 0 0 28002 151 0 0 20 0 1 0 159437567 2370969600 153513 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 578850 153513 1743 439 0 574279 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2315400 KiB
Current children cumulated memory: 614052 KiB

[startup+342.3 s]
/proc/loadavg: 4.30 3.32 3.02 5/257 835532
/proc/meminfo: memFree=122905684/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2315400 memory=612012 CPUtime=341.37 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 135729 0 0 0 33975 162 0 0 20 0 1 0 159437567 2370969600 153003 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 578850 153003 1743 439 0 574279 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2315400 KiB
Current children cumulated memory: 612012 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.46 3.09 5/257 835542
/proc/meminfo: memFree=122910820/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2315400 memory=618148 CPUtime=401.19 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 164501 0 0 0 39946 173 0 0 20 0 1 0 159437567 2370969600 154537 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 578850 154537 1743 439 0 574279 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 2315400 KiB
Current children cumulated memory: 618148 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.58 3.16 5/257 835552
/proc/meminfo: memFree=122915384/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2315400 memory=611940 CPUtime=461.03 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 193591 0 0 0 45917 186 0 0 20 0 1 0 159437567 2370969600 152985 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 578850 152985 1743 439 0 574279 0

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

Current children cumulated memory: 687168 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.15 4.08 5/256 837178
/proc/meminfo: memFree=122657680/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=682792 CPUtime=2914.11 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 793155 0 0 0 290825 586 0 0 20 0 1 0 159437567 2438078464 170698 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 170698 1743 439 0 590663 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 682792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.08 5/256 837189
/proc/meminfo: memFree=122678812/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=660460 CPUtime=2973.96 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 810974 0 0 0 296797 599 0 0 20 0 1 0 159437567 2438078464 165115 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 165115 1743 439 0 590663 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 660460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.08 5/254 837199
/proc/meminfo: memFree=122675820/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=658576 CPUtime=3033.8 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 814529 0 0 0 302778 602 0 0 20 0 1 0 159437567 2438078464 164644 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 164644 1743 439 0 590663 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 658576 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/254 837209
/proc/meminfo: memFree=122682284/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=658576 CPUtime=3093.63 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 819351 0 0 0 308758 605 0 0 20 0 1 0 159437567 2438078464 164644 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 164644 1743 439 0 590663 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 658576 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/254 837220
/proc/meminfo: memFree=122661856/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=670812 CPUtime=3153.47 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 828776 0 0 0 314735 612 0 0 20 0 1 0 159437567 2438078464 167703 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 167703 1743 439 0 590663 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 670812 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 837231
/proc/meminfo: memFree=122634700/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2479240 memory=709728 CPUtime=3213.31 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 839368 0 0 0 320708 623 0 0 20 0 1 0 159437567 2538741760 177432 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 619810 177432 1743 439 0 615239 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 2479240 KiB
Current children cumulated memory: 709728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/255 837241
/proc/meminfo: memFree=122695676/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2331784 memory=640932 CPUtime=3273.15 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 847855 0 0 0 326683 632 0 0 20 0 1 0 159437567 2387746816 160233 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 582946 160233 1743 439 0 578375 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 2331784 KiB
Current children cumulated memory: 640932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 837256
/proc/meminfo: memFree=122644216/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2380936 memory=691344 CPUtime=3332.99 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 857900 0 0 0 332661 638 0 0 20 0 1 0 159437567 2438078464 172836 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 595234 172836 1743 439 0 590663 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 691344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 837266
/proc/meminfo: memFree=122658408/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2413708 memory=669052 CPUtime=3392.82 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 865223 0 0 0 338640 642 0 0 20 0 1 0 159437567 2471636992 167263 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 603427 167263 1743 439 0 598856 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 2413708 KiB
Current children cumulated memory: 669052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 837276
/proc/meminfo: memFree=122658412/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2413708 memory=677244 CPUtime=3452.65 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 866276 0 0 0 344622 643 0 0 20 0 1 0 159437567 2471636992 169311 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 603427 169311 1743 439 0 598856 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 2413708 KiB
Current children cumulated memory: 677244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 837287
/proc/meminfo: memFree=122635412/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2413708 memory=689640 CPUtime=3512.49 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 870231 0 0 0 350603 646 0 0 20 0 1 0 159437567 2471636992 172410 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 603427 172410 1743 439 0 598856 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 2413708 KiB
Current children cumulated memory: 689640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 837299
/proc/meminfo: memFree=122623744/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2413708 memory=708336 CPUtime=3572.33 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 880686 0 0 0 356577 656 0 0 20 0 1 0 159437567 2471636992 177084 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 603427 177084 1743 439 0 598856 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 2413708 KiB
Current children cumulated memory: 708336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.11 4.09 4/255 837396
/proc/meminfo: memFree=122718844/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2479244 memory=705960 CPUtime=3600.07 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 885014 0 0 0 359347 660 0 0 20 0 1 0 159437567 2538745856 176490 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 619811 176490 1743 439 0 615240 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2479244 KiB
Current children cumulated memory: 705960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.47 s, system=6.60636 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.11 4.09 4/255 837396
/proc/meminfo: memFree=122718844/131524600 swapFree=131071996/131071996
[pid=835421] ppid=835418 vsize=2479244 memory=705960 CPUtime=3600.07 cores=5,7
/proc/835421/stat : 835421 (pb_picat) R 835418 835421 835349 0 -1 4194304 885014 0 0 0 359347 660 0 0 20 0 1 0 159437567 2538745856 176490 134679101440 4194304 5989780 140729058986560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23080960 140729058993177 140729058993253 140729058993253 140729059000268 0
/proc/835421/statm: 619811 176490 1743 439 0 615240 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2479244 KiB
Current children cumulated memory: 705960 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.11
CPU time (s): 3600.08
CPU user time (s): 3593.47
CPU system time (s): 6.60636
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 2675848
Max. memory (cumulated for all children) (KiB): 822984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.47
system time used= 6.60636
maximum resident set size= 822984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885014
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= 15
involuntary context switches= 4617


# summary of solver processes directly reported to runsolver:
#   pid: 835421
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.47
#   total CPU system time (s): 6.60636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86913 second user time and 16.7466 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-15 21:45:15
IDJOB=4436243
IDBENCH=147023
IDSOLVER=3068
FILE ID=nodeC029/4436243-1721072701
RUNJOBID= nodeC029-1721072715-835362
SLURM_JOB_ID= 7505542
Free space on /tmp= 890052 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436243-1721072701/watcher-4436243-1721072701 -o /tmp/evaluation-result-4436243-1721072701/solver-4436243-1721072701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721072715-835362 --watchdog 3760  pb_picat HOME/instance-4436243-1721072701.opb

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=302413523

nodeC029.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		: 3647.279
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	: 7000.09
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		: 3639.545
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	: 7006.98
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		: 3636.625
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	: 7000.09
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		: 3661.031
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	: 7006.98
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		: 3643.654
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	: 7000.09
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		: 3664.346
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	: 7006.98
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		: 3642.443
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	: 7000.09
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		: 3655.128
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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123749532 kB
MemAvailable:   129666860 kB
Buffers:          370964 kB
Cached:          6311208 kB
SwapCached:            0 kB
Active:           672488 kB
Inactive:        6349140 kB
Active(anon):       1384 kB
Inactive(anon):   376112 kB
Active(file):     671104 kB
Inactive(file):  5973028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17900 kB
Writeback:            24 kB
AnonPages:        339912 kB
Mapped:           104076 kB
Shmem:             37720 kB
KReclaimable:     225688 kB
Slab:             346064 kB
SReclaimable:     225688 kB
SUnreclaim:       120376 kB
KernelStack:        3876 kB
PageTables:        10272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2577024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-15 22:45:25