Trace number 4436565

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

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
MD5SUM3f10ffbf957f8216a1934b9362956d36
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 benchmark32
Best CPU time to get the best result obtained on this benchmark1.65179
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11744
Total number of constraints798
Number of constraints which are clauses366
Number of constraints which are cardinality constraints (but not clauses)366
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint367
Number of terms in the objective function 32
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 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 133314
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 283127
Number of bits of the biggest sum of numbers19
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.01	c solving HOME/instance-4436565-1721174865.opb (Picat 3.6#12)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (63142 MiB free)
  memory of node 1: 64510 MiB (61437 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436565-1721174865/watcher-4436565-1721174865 -o /tmp/evaluation-result-4436565-1721174865/solver-4436565-1721174865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721174878-880360 --watchdog 3760 pb_picat HOME/instance-4436565-1721174865.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=880417, runsolver pid=880413

[startup+0.100277 s]*
/proc/loadavg: 3.89 4.09 4.15 4/240 880422
/proc/meminfo: memFree=127552428/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2033608 memory=28552 CPUtime=0.1 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 1187 0 0 0 9 1 0 0 20 0 1 0 169644576 2082414592 7138 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 508402 7138 1506 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 28552 KiB

[startup+0.213125 s]*
/proc/loadavg: 3.89 4.09 4.15 6/237 880446
/proc/meminfo: memFree=127537808/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2033608 memory=36744 CPUtime=0.21 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 1191 0 0 0 20 1 0 0 20 0 1 0 169644576 2082414592 9186 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 508402 9186 1506 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36744 KiB

[startup+0.313949 s]*
/proc/loadavg: 3.89 4.09 4.15 5/238 880450
/proc/meminfo: memFree=127522644/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2041424 memory=44936 CPUtime=0.31 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 1219 0 0 0 30 1 0 0 20 0 1 0 169644576 2090418176 11234 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 510356 11234 1506 439 0 505785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 44936 KiB

[startup+0.700387 s]
/proc/loadavg: 3.89 4.09 4.15 5/238 880502
/proc/meminfo: memFree=127502652/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2041424 memory=78088 CPUtime=0.68 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 1290 0 0 0 66 2 0 0 20 0 1 0 169644576 2090418176 19522 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 510356 19522 1554 439 0 505785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 78088 KiB

[startup+1.50031 s]
/proc/loadavg: 3.89 4.09 4.15 5/238 880550
/proc/meminfo: memFree=127419652/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2130972 memory=154380 CPUtime=1.48 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 10788 0 0 0 142 6 0 0 20 0 1 0 169644576 2182115328 38595 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 532743 38595 1728 439 0 528172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2130972 KiB
Current children cumulated memory: 154380 KiB

[startup+3.11207 s]
/proc/loadavg: 3.89 4.09 4.15 5/244 880652
/proc/meminfo: memFree=127355048/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2130972 memory=154564 CPUtime=3.09 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 10855 0 0 0 302 7 0 0 20 0 1 0 169644576 2182115328 38641 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 532743 38641 1744 439 0 528172 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2130972 KiB
Current children cumulated memory: 154564 KiB

[startup+6.30029 s]
/proc/loadavg: 3.90 4.09 4.15 5/237 880775
/proc/meminfo: memFree=127196012/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2130972 memory=156612 CPUtime=6.27 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 10966 0 0 0 619 8 0 0 20 0 1 0 169644576 2182115328 39153 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 532743 39153 1744 439 0 528172 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2130972 KiB
Current children cumulated memory: 156612 KiB

[startup+12.7003 s]
/proc/loadavg: 3.83 4.07 4.14 4/237 880777
/proc/meminfo: memFree=126779204/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2171364 memory=190428 CPUtime=12.65 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 17044 0 0 0 1254 11 0 0 20 0 1 0 169644576 2223476736 47607 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 542841 47607 1744 439 0 538270 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2171364 KiB
Current children cumulated memory: 190428 KiB

[startup+25.5003 s]
/proc/loadavg: 3.64 4.02 4.12 4/237 880778
/proc/meminfo: memFree=126787968/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2166752 memory=181280 CPUtime=25.41 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 27893 0 0 0 2524 17 0 0 20 0 1 0 169644576 2218754048 45320 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 541688 45320 1744 439 0 537117 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2166752 KiB
Current children cumulated memory: 181280 KiB

[startup+51.1125 s]
/proc/loadavg: 3.48 3.95 4.10 4/237 880783
/proc/meminfo: memFree=126779320/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2166752 memory=185384 CPUtime=50.94 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 41053 0 0 0 5070 24 0 0 20 0 1 0 169644576 2218754048 46346 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 541688 46346 1744 439 0 537117 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2166752 KiB
Current children cumulated memory: 185384 KiB

[startup+102.3 s]
/proc/loadavg: 2.64 3.65 3.98 3/230 880822
/proc/meminfo: memFree=126809564/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2119944 memory=161432 CPUtime=101.98 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 61104 0 0 0 10160 38 0 0 20 0 1 0 169644576 2170822656 40358 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 529986 40358 1744 439 0 525415 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2119944 KiB
Current children cumulated memory: 161432 KiB

[startup+162.3 s]
/proc/loadavg: 2.34 3.37 3.87 3/230 880832
/proc/meminfo: memFree=126798712/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2201864 memory=207132 CPUtime=161.84 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 77601 0 0 0 16132 52 0 0 20 0 1 0 169644576 2254708736 51783 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 550466 51783 1744 439 0 545895 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2201864 KiB
Current children cumulated memory: 207132 KiB

[startup+222.3 s]
/proc/loadavg: 2.18 3.14 3.75 3/231 880846
/proc/meminfo: memFree=126794076/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2201864 memory=223516 CPUtime=221.68 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 91499 0 0 0 22105 63 0 0 20 0 1 0 169644576 2254708736 55879 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 550466 55879 1744 439 0 545895 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2201864 KiB
Current children cumulated memory: 223516 KiB

[startup+282.3 s]
/proc/loadavg: 2.11 2.94 3.64 3/230 880858
/proc/meminfo: memFree=126778444/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2203128 memory=229076 CPUtime=281.54 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 103898 0 0 0 28081 73 0 0 20 0 1 0 169644576 2256003072 57269 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 550782 57269 1744 439 0 546211 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2203128 KiB
Current children cumulated memory: 229076 KiB

[startup+342.3 s]
/proc/loadavg: 2.18 2.80 3.55 3/229 880868
/proc/meminfo: memFree=126796556/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2170864 memory=209020 CPUtime=341.38 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 117477 0 0 0 34050 88 0 0 20 0 1 0 169644576 2222964736 52255 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 542716 52255 1744 439 0 538145 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2170864 KiB
Current children cumulated memory: 209020 KiB

[startup+402.3 s]
/proc/loadavg: 2.11 2.67 3.45 3/229 880881
/proc/meminfo: memFree=126755128/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2204456 memory=245172 CPUtime=401.23 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 129559 0 0 0 40023 100 0 0 20 0 1 0 169644576 2257362944 61293 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 551114 61293 1744 439 0 546543 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 2204456 KiB
Current children cumulated memory: 245172 KiB

[startup+462.3 s]
/proc/loadavg: 2.20 2.59 3.38 3/229 880892
/proc/meminfo: memFree=126799968/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2156128 memory=173528 CPUtime=461.08 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 142804 0 0 0 45995 113 0 0 20 0 1 0 169644576 2207875072 43382 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0

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

Current children cumulated memory: 335220 KiB

[startup+2922.3 s]
/proc/loadavg: 2.73 2.39 2.29 3/229 882354
/proc/meminfo: memFree=126606328/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2288888 memory=322956 CPUtime=2914.19 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 326579 0 0 0 290976 443 0 0 20 0 1 0 169644576 2343821312 80739 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 572222 80739 1744 439 0 567651 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 2288888 KiB
Current children cumulated memory: 322956 KiB

[startup+2982.3 s]
/proc/loadavg: 2.51 2.41 2.30 3/229 882364
/proc/meminfo: memFree=126310148/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2747640 memory=617960 CPUtime=2974.01 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 330827 0 0 0 296943 458 0 0 20 0 1 0 169644576 2813583360 154490 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 686910 154490 1744 439 0 682339 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 2747640 KiB
Current children cumulated memory: 617960 KiB

[startup+3042.3 s]
/proc/loadavg: 2.30 2.36 2.29 3/229 882375
/proc/meminfo: memFree=126654304/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=290324 CPUtime=3033.83 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 337510 0 0 0 302914 469 0 0 20 0 1 0 169644576 2410930176 72581 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 72581 1744 439 0 584035 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 290324 KiB

[startup+3102.3 s]
/proc/loadavg: 2.17 2.31 2.27 3/231 882556
/proc/meminfo: memFree=126632332/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=302612 CPUtime=3093.69 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 337600 0 0 0 308899 470 0 0 20 0 1 0 169644576 2410930176 75653 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 75653 1744 439 0 584035 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 302612 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.27 2.26 3/231 882567
/proc/meminfo: memFree=126661168/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=282040 CPUtime=3153.54 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 340960 0 0 0 314880 474 0 0 20 0 1 0 169644576 2410930176 70510 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 70510 1744 439 0 584035 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 282040 KiB

[startup+3222.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/231 882594
/proc/meminfo: memFree=126619084/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=339368 CPUtime=3213.4 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 341714 0 0 0 320862 478 0 0 20 0 1 0 169644576 2410930176 84842 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 84842 1744 439 0 584035 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 339368 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.23 2.25 3/231 882606
/proc/meminfo: memFree=126561760/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2419960 memory=396820 CPUtime=3273.26 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 348948 0 0 0 326831 495 0 0 20 0 1 0 169644576 2478039040 99205 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 604990 99205 1744 439 0 600419 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 2419960 KiB
Current children cumulated memory: 396820 KiB

[startup+3342.3 s]
/proc/loadavg: 2.16 2.21 2.24 3/231 882616
/proc/meminfo: memFree=126469724/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2485496 memory=470548 CPUtime=3333.1 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 352757 0 0 0 332799 511 0 0 20 0 1 0 169644576 2545147904 117637 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 621374 117637 1744 439 0 616803 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 2485496 KiB
Current children cumulated memory: 470548 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.19 2.23 3/229 882626
/proc/meminfo: memFree=126656100/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2288888 memory=279724 CPUtime=3392.97 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 360026 0 0 0 338765 532 0 0 20 0 1 0 169644576 2343821312 69931 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 572222 69931 1744 439 0 567651 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 2288888 KiB
Current children cumulated memory: 279724 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.18 2.22 3/229 882637
/proc/meminfo: memFree=126626840/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2288888 memory=296108 CPUtime=3452.81 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 366121 0 0 0 344733 548 0 0 20 0 1 0 169644576 2343821312 74027 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 572222 74027 1744 439 0 567651 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 2288888 KiB
Current children cumulated memory: 296108 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.18 2.22 3/228 882649
/proc/meminfo: memFree=126636424/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2288888 memory=294060 CPUtime=3512.67 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 371392 0 0 0 350711 556 0 0 20 0 1 0 169644576 2343821312 73515 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 572222 73515 1744 439 0 567651 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 2288888 KiB
Current children cumulated memory: 294060 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.16 2.21 3/228 882660
/proc/meminfo: memFree=126633772/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=304660 CPUtime=3572.54 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 372030 0 0 0 356696 558 0 0 20 0 1 0 169644576 2410930176 76165 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 76165 1744 439 0 584035 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 304660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.13 2.16 2.20 3/228 882666
/proc/meminfo: memFree=126614792/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=306708 CPUtime=3600.08 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 372038 0 0 0 359450 558 0 0 20 0 1 0 169644576 2410930176 76677 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 76677 1744 439 0 584035 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 306708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.5 s, system=5.58395 s

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

[startup+3609.9 s]
/proc/loadavg: 2.13 2.16 2.20 3/228 882666
/proc/meminfo: memFree=126614792/131655788 swapFree=131071996/131071996
[pid=880417] ppid=880413 vsize=2354424 memory=306708 CPUtime=3600.08 cores=4,6
/proc/880417/stat : 880417 (pb_picat) R 880413 880417 880349 0 -1 4194304 372038 0 0 0 359450 558 0 0 20 0 1 0 169644576 2410930176 76677 134679101440 4194304 5989780 140735032915152 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44314624 140735032919065 140735032919141 140735032919141 140735032926156 0
/proc/880417/statm: 588606 76677 1744 439 0 584035 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2354424 KiB
Current children cumulated memory: 306708 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.9
CPU time (s): 3600.09
CPU user time (s): 3594.5
CPU system time (s): 5.58395
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 2747640
Max. memory (cumulated for all children) (KiB): 620008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.5
system time used= 5.58395
maximum resident set size= 620008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372038
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= 46
involuntary context switches= 3746


# summary of solver processes directly reported to runsolver:
#   pid: 880417
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.5
#   total CPU system time (s): 5.58395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8451 second user time and 33.9356 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-17 02:07:58
IDJOB=4436565
IDBENCH=158625
IDSOLVER=3068
FILE ID=nodeC002/4436565-1721174865
RUNJOBID= nodeC002-1721174878-880360
SLURM_JOB_ID= 7505815
Free space on /tmp= 723776 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436565-1721174865/watcher-4436565-1721174865 -o /tmp/evaluation-result-4436565-1721174865/solver-4436565-1721174865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721174878-880360 --watchdog 3760  pb_picat HOME/instance-4436565-1721174865.opb

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=301076752

nodeC002.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		: 1197.164
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.38
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		: 1197.421
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.31
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.156
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.38
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.152
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.31
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		: 1197.151
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.38
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		: 3491.718
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.31
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.405
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.38
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.151
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127594192 kB
MemAvailable:   129890888 kB
Buffers:          457188 kB
Cached:          2654832 kB
SwapCached:            0 kB
Active:           759004 kB
Inactive:        2713012 kB
Active(anon):       2588 kB
Inactive(anon):   395468 kB
Active(file):     756416 kB
Inactive(file):  2317544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15308 kB
Writeback:            32 kB
AnonPages:        360532 kB
Mapped:           104288 kB
Shmem:             37704 kB
KReclaimable:     125536 kB
Slab:             228236 kB
SReclaimable:     125536 kB
SUnreclaim:       102700 kB
KernelStack:        3752 kB
PageTables:         9952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     834668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:      205640 kB
DirectMap2M:    21719040 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC002 at 2024-07-17 03:08:08