Trace number 4436496

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.07 3609.9

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4219117
Best CPU time to get the best result obtained on this benchmark1168.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c solving HOME/instance-4436496-1721133147.opb (Picat 3.6#12)
4.09/4.18	o 175065009
8.47/8.55	o 149456175
153.59/154.08	o 47399991
250.83/251.50	o 30705083
329.82/330.74	o 18224601
410.50/411.62	o 5837693

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436496-1721133147/watcher-4436496-1721133147 -o /tmp/evaluation-result-4436496-1721133147/solver-4436496-1721133147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843385 --watchdog 3760 pb_picat HOME/instance-4436496-1721133147.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=849358, runsolver pid=849355
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.11 4.17 4.18 5/245 849359
/proc/meminfo: memFree=124112468/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2033608 memory=30140 CPUtime=0.1 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 1593 0 0 0 10 0 0 0 20 0 1 0 165470837 2082414592 7535 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 508402 7535 1504 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 30140 KiB

[startup+0.213141 s]*
/proc/loadavg: 4.11 4.17 4.18 6/245 849359
/proc/meminfo: memFree=124103772/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2033608 memory=38332 CPUtime=0.22 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 1597 0 0 0 21 1 0 0 20 0 1 0 165470837 2082414592 9583 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 508402 9583 1504 439 0 503831 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 38332 KiB

[startup+0.312884 s]*
/proc/loadavg: 4.11 4.17 4.18 5/245 849359
/proc/meminfo: memFree=124094752/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2033608 memory=44476 CPUtime=0.31 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 1600 0 0 0 30 1 0 0 20 0 1 0 165470837 2082414592 11119 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 508402 11119 1504 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 44476 KiB

[startup+0.700328 s]
/proc/loadavg: 4.11 4.17 4.18 5/245 849359
/proc/meminfo: memFree=124073780/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2041424 memory=77244 CPUtime=0.68 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 1623 0 0 0 67 1 0 0 20 0 1 0 165470837 2090418176 19311 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 510356 19311 1504 439 0 505785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 77244 KiB

[startup+1.50032 s]
/proc/loadavg: 4.11 4.17 4.18 5/245 849359
/proc/meminfo: memFree=124008476/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2118908 memory=160340 CPUtime=1.49 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 9964 0 0 0 140 9 0 0 20 0 1 0 165470837 2169761792 40085 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 529727 40085 1727 439 0 525156 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2118908 KiB
Current children cumulated memory: 160340 KiB

[startup+3.11292 s]
/proc/loadavg: 4.10 4.16 4.17 5/245 849359
/proc/meminfo: memFree=123930680/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2152068 memory=174004 CPUtime=3.1 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 10887 0 0 0 299 11 0 0 20 0 1 0 165470837 2203717632 43501 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 538017 43501 1743 439 0 533446 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2152068 KiB
Current children cumulated memory: 174004 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.16 4.17 5/245 849359
/proc/meminfo: memFree=123977824/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2153864 memory=173924 CPUtime=6.28 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 20186 0 0 0 609 19 0 0 20 0 1 0 165470837 2205556736 43481 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 538466 43481 1743 439 0 533895 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2153864 KiB
Current children cumulated memory: 173924 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.18 4.18 5/245 849361
/proc/meminfo: memFree=123932428/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2122824 memory=166828 CPUtime=12.66 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 32861 0 0 0 1236 30 0 0 20 0 1 0 165470837 2173771776 41707 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 530706 41707 1743 439 0 526135 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2122824 KiB
Current children cumulated memory: 166828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.17 4.18 5/245 849362
/proc/meminfo: memFree=123981228/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2160512 memory=180152 CPUtime=25.42 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 40956 0 0 0 2510 32 0 0 20 0 1 0 165470837 2212364288 45038 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540128 45038 1743 439 0 535557 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2160512 KiB
Current children cumulated memory: 180152 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.16 4.17 5/244 849367
/proc/meminfo: memFree=123953212/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2163340 memory=187408 CPUtime=50.97 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 46137 0 0 0 5062 35 0 0 20 0 1 0 165470837 2215260160 46852 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540835 46852 1743 439 0 536264 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2163340 KiB
Current children cumulated memory: 187408 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/244 849375
/proc/meminfo: memFree=123954056/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2196108 memory=199908 CPUtime=102.02 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 54653 0 0 0 10163 39 0 0 20 0 1 0 165470837 2248814592 49977 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 549027 49977 1743 439 0 544456 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2196108 KiB
Current children cumulated memory: 199908 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 849386
/proc/meminfo: memFree=123966252/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2163340 memory=176868 CPUtime=161.86 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 67086 0 0 0 16135 51 0 0 20 0 1 0 165470837 2215260160 44217 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540835 44217 1743 439 0 536264 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2163340 KiB
Current children cumulated memory: 176868 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/241 849398
/proc/meminfo: memFree=123952356/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2130572 memory=177860 CPUtime=221.71 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 82695 0 0 0 22113 58 0 0 20 0 1 0 165470837 2181705728 44465 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 532643 44465 1743 439 0 528072 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2130572 KiB
Current children cumulated memory: 177860 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/241 849408
/proc/meminfo: memFree=123985376/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2130572 memory=167168 CPUtime=281.55 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 106947 0 0 0 28077 78 0 0 20 0 1 0 165470837 2181705728 41792 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 532643 41792 1743 439 0 528072 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2130572 KiB
Current children cumulated memory: 167168 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.12 4.16 5/241 849418
/proc/meminfo: memFree=123963608/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2130572 memory=175576 CPUtime=341.39 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 125111 0 0 0 34046 93 0 0 20 0 1 0 165470837 2181705728 43894 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 532643 43894 1743 439 0 528072 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2130572 KiB
Current children cumulated memory: 175576 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/241 849429
/proc/meminfo: memFree=123853528/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2114188 memory=158132 CPUtime=401.23 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 140963 0 0 0 40023 100 0 0 20 0 1 0 165470837 2164928512 39533 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 528547 39533 1743 439 0 523976 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 2114188 KiB
Current children cumulated memory: 158132 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/243 849443
/proc/meminfo: memFree=123884744/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2130572 memory=171480 CPUtime=461.07 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 164046 0 0 0 45994 113 0 0 20 0 1 0 165470837 2181705728 42870 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 532643 42870 1743 439 0 528072 0

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

Current children cumulated memory: 218592 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.36 3.09 3/229 850515
/proc/meminfo: memFree=127222600/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2163340 memory=187748 CPUtime=2914.17 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 560330 0 0 0 290840 577 0 0 20 0 1 0 165470837 2215260160 46937 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540835 46937 1743 439 0 536264 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 2163340 KiB
Current children cumulated memory: 187748 KiB

[startup+2982.3 s]
/proc/loadavg: 2.14 2.33 3.03 3/229 850525
/proc/meminfo: memFree=127146596/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2163340 memory=187972 CPUtime=2973.99 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 565542 0 0 0 296819 580 0 0 20 0 1 0 165470837 2215260160 46993 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540835 46993 1743 439 0 536264 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 2163340 KiB
Current children cumulated memory: 187972 KiB

[startup+3042.3 s]
/proc/loadavg: 1.77 2.20 2.94 2/222 850567
/proc/meminfo: memFree=127524832/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2228876 memory=224808 CPUtime=3033.81 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 568544 0 0 0 302797 584 0 0 20 0 1 0 165470837 2282369024 56202 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 557219 56202 1743 439 0 552648 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 2228876 KiB
Current children cumulated memory: 224808 KiB

[startup+3102.3 s]
/proc/loadavg: 1.38 2.01 2.83 2/222 850577
/proc/meminfo: memFree=127434940/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=315132 CPUtime=3093.67 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 578419 0 0 0 308767 600 0 0 20 0 1 0 165470837 2416586752 78783 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 78783 1743 439 0 585416 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 315132 KiB

[startup+3162.3 s]
/proc/loadavg: 1.23 1.85 2.72 2/221 850971
/proc/meminfo: memFree=127475460/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2228876 memory=276276 CPUtime=3153.54 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 591466 0 0 0 314734 620 0 0 20 0 1 0 165470837 2282369024 69069 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 557219 69069 1743 439 0 552648 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 2228876 KiB
Current children cumulated memory: 276276 KiB

[startup+3222.3 s]
/proc/loadavg: 1.13 1.71 2.62 2/221 850982
/proc/meminfo: memFree=127445108/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=306948 CPUtime=3213.41 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 603134 0 0 0 320705 636 0 0 20 0 1 0 165470837 2416586752 76737 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 76737 1743 439 0 585416 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 306948 KiB

[startup+3282.3 s]
/proc/loadavg: 1.16 1.61 2.52 2/221 850992
/proc/meminfo: memFree=127407896/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=339628 CPUtime=3273.27 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 613318 0 0 0 326672 655 0 0 20 0 1 0 165470837 2416586752 84907 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 84907 1743 439 0 585416 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 339628 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.51 2.43 2/222 851171
/proc/meminfo: memFree=127572332/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2163340 memory=175408 CPUtime=3333.11 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 622530 0 0 0 332645 666 0 0 20 0 1 0 165470837 2215260160 43852 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 540835 43852 1743 439 0 536264 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 2163340 KiB
Current children cumulated memory: 175408 KiB

[startup+3402.3 s]
/proc/loadavg: 1.04 1.42 2.34 2/222 851182
/proc/meminfo: memFree=127528348/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2228876 memory=218740 CPUtime=3392.97 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 625888 0 0 0 338628 669 0 0 20 0 1 0 165470837 2282369024 54685 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 557219 54685 1743 439 0 552648 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 2228876 KiB
Current children cumulated memory: 218740 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.37 2.26 2/225 851253
/proc/meminfo: memFree=127563584/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2130572 memory=183044 CPUtime=3452.82 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 632386 0 0 0 344607 675 0 0 20 0 1 0 165470837 2181705728 45761 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 532643 45761 1743 439 0 528072 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 2130572 KiB
Current children cumulated memory: 183044 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.31 2.18 2/224 851263
/proc/meminfo: memFree=127400540/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=349780 CPUtime=3512.67 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 642240 0 0 0 350575 692 0 0 20 0 1 0 165470837 2416586752 87445 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 87445 1743 439 0 585416 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 349780 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.27 2.11 2/224 851273
/proc/meminfo: memFree=127371436/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2392716 memory=378680 CPUtime=3572.52 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 650947 0 0 0 356542 710 0 0 20 0 1 0 165470837 2450141184 94670 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 598179 94670 1743 439 0 593608 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 2392716 KiB
Current children cumulated memory: 378680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 1.04 1.24 2.08 2/224 851279
/proc/meminfo: memFree=127404076/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=356088 CPUtime=3600.06 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 655537 0 0 0 359285 721 0 0 20 0 1 0 165470837 2416586752 89022 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 89022 1743 439 0 585416 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 356088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.85 s, system=7.21474 s

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

[startup+3609.9 s]
/proc/loadavg: 1.04 1.24 2.08 2/224 851279
/proc/meminfo: memFree=127404076/131655788 swapFree=131071996/131071996
[pid=849358] ppid=849355 vsize=2359948 memory=356088 CPUtime=3600.06 cores=4,6
/proc/849358/stat : 849358 (pb_picat) R 849355 849358 843374 0 -1 4194304 655537 0 0 0 359285 721 0 0 20 0 1 0 165470837 2416586752 89022 134679101440 4194304 5989780 140724862486848 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 46739456 140724862493721 140724862493797 140724862493797 140724862500812 0
/proc/849358/statm: 589987 89022 1743 439 0 585416 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2359948 KiB
Current children cumulated memory: 356088 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.9
CPU time (s): 3600.07
CPU user time (s): 3592.85
CPU system time (s): 7.21474
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 2622092
Max. memory (cumulated for all children) (KiB): 427804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.85
system time used= 7.21474
maximum resident set size= 429852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655537
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= 20
involuntary context switches= 4113


# summary of solver processes directly reported to runsolver:
#   pid: 849358
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3592.85
#   total CPU system time (s): 7.21474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5049 second user time and 33.471 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 14:32:39
IDJOB=4436496
IDBENCH=155605
IDSOLVER=3068
FILE ID=nodeC003/4436496-1721133147
RUNJOBID= nodeC003-1721124536-843385
SLURM_JOB_ID= 7505676
Free space on /tmp= 723700 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436496-1721133147/watcher-4436496-1721133147 -o /tmp/evaluation-result-4436496-1721133147/solver-4436496-1721133147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843385 --watchdog 3760  pb_picat HOME/instance-4436496-1721133147.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=667820115

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3561.230
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3642.245
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.374
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.382
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3275.121
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.189
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.219
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.354
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124137548 kB
MemAvailable:   126367228 kB
Buffers:          419600 kB
Cached:          2626964 kB
SwapCached:            0 kB
Active:           775868 kB
Inactive:        6154876 kB
Active(anon):       1452 kB
Inactive(anon):  3920424 kB
Active(file):     774416 kB
Inactive(file):  2234452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4228 kB
Writeback:            48 kB
AnonPages:       3875376 kB
Mapped:           114476 kB
Shmem:             37704 kB
KReclaimable:     121684 kB
Slab:             222144 kB
SReclaimable:     121684 kB
SUnreclaim:       100460 kB
KernelStack:        3952 kB
PageTables:        16952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7793404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52672 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3526656 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:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-16 15:32:49