Trace number 4445932

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.03 3610.7

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
MD5SUM9baf2ba48863e92d1cef7cf6d2cd6be7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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-4445932-1721327500.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: 63968 MiB (62122 MiB free)
  memory of node 1: 64473 MiB (63304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445932-1721327500/watcher-4445932-1721327500 -o /tmp/evaluation-result-4445932-1721327500/solver-4445932-1721327500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976184 --watchdog 3760 pb_picat HOME/instance-4445932-1721327500.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=976936, runsolver pid=976933
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 1.54 1.36 2.21 5/259 976937
/proc/meminfo: memFree=128421524/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2035988 memory=22600 CPUtime=0.09 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1571 0 0 0 9 0 0 0 20 0 1 0 184916228 2084851712 5650 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 508997 5650 1762 439 0 504426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035988 KiB
Current children cumulated memory: 22600 KiB

[startup+0.205391 s]*
/proc/loadavg: 1.54 1.36 2.21 5/259 976937
/proc/meminfo: memFree=128421196/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2036500 memory=23076 CPUtime=0.2 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1684 0 0 0 20 0 0 0 20 0 1 0 184916228 2085376000 5769 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509125 5769 1762 439 0 504554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036500 KiB
Current children cumulated memory: 23076 KiB

[startup+0.304688 s]*
/proc/loadavg: 1.54 1.36 2.21 5/259 976937
/proc/meminfo: memFree=128422112/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2036040 memory=23156 CPUtime=0.3 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1782 0 0 0 30 0 0 0 20 0 1 0 184916228 2084904960 5789 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509010 5789 1762 439 0 504439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036040 KiB
Current children cumulated memory: 23156 KiB

[startup+0.700145 s]
/proc/loadavg: 1.54 1.36 2.21 5/259 976937
/proc/meminfo: memFree=128421356/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2036552 memory=22980 CPUtime=0.69 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 2736 0 0 0 69 0 0 0 20 0 1 0 184916228 2085429248 5745 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509138 5745 1762 439 0 504567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036552 KiB
Current children cumulated memory: 22980 KiB

[startup+1.50015 s]
/proc/loadavg: 1.54 1.36 2.21 5/259 976937
/proc/meminfo: memFree=128417260/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2037644 memory=23812 CPUtime=1.48 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 5080 0 0 0 148 0 0 0 20 0 1 0 184916228 2086547456 5953 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509411 5953 1762 439 0 504840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037644 KiB
Current children cumulated memory: 23812 KiB

[startup+3.10501 s]
/proc/loadavg: 1.74 1.41 2.22 5/259 976937
/proc/meminfo: memFree=128436844/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2037016 memory=24120 CPUtime=3.09 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 12153 0 0 0 308 1 0 0 20 0 1 0 184916228 2085904384 6030 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509254 6030 1762 439 0 504683 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2037016 KiB
Current children cumulated memory: 24120 KiB

[startup+6.30014 s]
/proc/loadavg: 1.74 1.41 2.22 5/259 976938
/proc/meminfo: memFree=128420704/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2036504 memory=23392 CPUtime=6.28 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 27188 0 0 0 625 3 0 0 20 0 1 0 184916228 2085380096 5848 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 509126 5848 1762 439 0 504555 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2036504 KiB
Current children cumulated memory: 23392 KiB

[startup+12.7001 s]
/proc/loadavg: 1.92 1.45 2.23 5/259 976938
/proc/meminfo: memFree=128414532/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2041484 memory=26084 CPUtime=12.66 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 49022 0 0 0 1260 6 0 0 20 0 1 0 184916228 2090479616 6521 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 510371 6521 1762 439 0 505800 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2041484 KiB
Current children cumulated memory: 26084 KiB

[startup+25.5002 s]
/proc/loadavg: 2.60 1.62 2.27 5/259 976987
/proc/meminfo: memFree=128570260/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2041624 memory=28048 CPUtime=25.42 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 108871 0 0 0 2528 14 0 0 20 0 1 0 184916228 2090622976 7012 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 510406 7012 1762 439 0 505835 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2041624 KiB
Current children cumulated memory: 28048 KiB

[startup+51.105 s]
/proc/loadavg: 3.15 1.83 2.33 5/259 977036
/proc/meminfo: memFree=128608040/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2041592 memory=25808 CPUtime=50.95 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 195681 0 0 0 5066 29 0 0 20 0 1 0 184916228 2090590208 6452 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 510398 6452 1762 439 0 505827 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2041592 KiB
Current children cumulated memory: 25808 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 2.18 2.42 5/259 977046
/proc/meminfo: memFree=128598972/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2043804 memory=29420 CPUtime=102 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 343634 0 0 0 10149 51 0 0 20 0 1 0 184916228 2092855296 7355 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 510951 7355 1762 439 0 506380 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2043804 KiB
Current children cumulated memory: 29420 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.53 2.53 5/258 977058
/proc/meminfo: memFree=128584152/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2048588 memory=32500 CPUtime=161.82 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 554751 0 0 0 16097 85 0 0 20 0 1 0 184916228 2097754112 8125 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 512147 8125 1762 439 0 507576 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2048588 KiB
Current children cumulated memory: 32500 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.83 2.63 5/255 977068
/proc/meminfo: memFree=128561828/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2052816 memory=34540 CPUtime=221.64 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 745986 0 0 0 22043 121 0 0 20 0 1 0 184916228 2102083584 8635 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 513204 8635 1762 439 0 508633 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2052816 KiB
Current children cumulated memory: 34540 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.08 2.73 5/255 977078
/proc/meminfo: memFree=128557056/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2048720 memory=35764 CPUtime=281.46 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 913299 0 0 0 27993 153 0 0 20 0 1 0 184916228 2097889280 8941 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 512180 8941 1762 439 0 507609 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2048720 KiB
Current children cumulated memory: 35764 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.26 2.82 5/254 977089
/proc/meminfo: memFree=128544564/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2052952 memory=36880 CPUtime=341.27 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1051174 0 0 0 33946 181 0 0 20 0 1 0 184916228 2102222848 9220 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 513238 9220 1762 439 0 508667 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 36880 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.42 2.90 5/254 977099
/proc/meminfo: memFree=128559940/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2052952 memory=36900 CPUtime=401.09 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1167744 0 0 0 39901 208 0 0 20 0 1 0 184916228 2102222848 9225 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 513238 9225 1762 439 0 508667 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 36900 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 3.56 2.98 5/254 977110
/proc/meminfo: memFree=128566572/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2048856 memory=33100 CPUtime=460.89 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 1332106 0 0 0 45845 244 0 0 20 0 1 0 184916228 2098028544 8275 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 512214 8275 1762 439 0 507643 0

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

Current children cumulated memory: 64072 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.18 4.07 5/258 978360
/proc/meminfo: memFree=128335312/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=64332 CPUtime=2913.52 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3786490 0 0 0 290441 911 0 0 20 0 1 0 184916228 2138427392 16083 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 16083 1762 439 0 517506 0
Current children cumulated CPU time: 2913.52 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 64332 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.07 5/258 978371
/proc/meminfo: memFree=128251916/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=65652 CPUtime=2973.36 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3795026 0 0 0 296423 913 0 0 20 0 1 0 184916228 2138427392 16413 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 16413 1762 439 0 517506 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 65652 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/259 978384
/proc/meminfo: memFree=128325824/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=70276 CPUtime=3033.2 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3827625 0 0 0 302396 924 0 0 20 0 1 0 184916228 2138427392 17569 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17569 1762 439 0 517506 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 70276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.07 5/259 978395
/proc/meminfo: memFree=128288760/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=65388 CPUtime=3093.02 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3873809 0 0 0 308363 939 0 0 20 0 1 0 184916228 2138427392 16347 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 16347 1762 439 0 517506 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 65388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.08 5/259 978406
/proc/meminfo: memFree=128275896/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=70276 CPUtime=3152.86 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3931176 0 0 0 314329 957 0 0 20 0 1 0 184916228 2138427392 17569 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17569 1762 439 0 517506 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 70276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.11 4.07 5/258 978800
/proc/meminfo: memFree=128277848/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=68228 CPUtime=3212.7 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 3988575 0 0 0 320295 975 0 0 20 0 1 0 184916228 2138427392 17057 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17057 1762 439 0 517506 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 68228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/258 978810
/proc/meminfo: memFree=128326480/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=70268 CPUtime=3272.53 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4003612 0 0 0 326273 980 0 0 20 0 1 0 184916228 2138427392 17567 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17567 1762 439 0 517506 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 70268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 978821
/proc/meminfo: memFree=128284900/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=65716 CPUtime=3332.36 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4012944 0 0 0 332253 983 0 0 20 0 1 0 184916228 2138427392 16429 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 16429 1762 439 0 517506 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 65716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 979001
/proc/meminfo: memFree=128341072/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=68292 CPUtime=3392.2 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4019698 0 0 0 338234 986 0 0 20 0 1 0 184916228 2138427392 17073 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17073 1762 439 0 517506 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 68292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 979011
/proc/meminfo: memFree=128341928/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=65716 CPUtime=3452.04 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4027179 0 0 0 344215 989 0 0 20 0 1 0 184916228 2138427392 16429 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 16429 1762 439 0 517506 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 65716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 979080
/proc/meminfo: memFree=128255380/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=70340 CPUtime=3511.88 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4064109 0 0 0 350187 1001 0 0 20 0 1 0 184916228 2138427392 17585 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17585 1762 439 0 517506 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 70340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 979091
/proc/meminfo: memFree=128228244/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=68292 CPUtime=3571.7 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4099859 0 0 0 356157 1013 0 0 20 0 1 0 184916228 2138427392 17073 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 17073 1762 439 0 517506 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 68292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.45 4.18 4.12 5/260 979143
/proc/meminfo: memFree=128674388/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=72388 CPUtime=3600.02 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4115525 0 0 0 358983 1019 0 0 20 0 1 0 184916228 2138427392 18097 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 18097 1762 439 0 517506 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 72388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.84 s, system=10.1957 s

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

[startup+3610.7 s]
/proc/loadavg: 4.45 4.18 4.12 5/260 979143
/proc/meminfo: memFree=128674388/131524600 swapFree=131071996/131071996
[pid=976936] ppid=976933 vsize=2088308 memory=72388 CPUtime=3600.02 cores=5,7
/proc/976936/stat : 976936 (pb_picat) R 976933 976936 976171 0 -1 4194304 4115525 0 0 0 358983 1019 0 0 20 0 1 0 184916228 2138427392 18097 134679101440 4194304 5989780 140732065861328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 19939328 140732065866776 140732065866852 140732065866852 140732065873868 0
/proc/976936/statm: 522077 18097 1762 439 0 517506 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2088308 KiB
Current children cumulated memory: 72388 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.03
CPU user time (s): 3589.84
CPU system time (s): 10.1957
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 2104692
Max. memory (cumulated for all children) (KiB): 76464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.84
system time used= 10.1957
maximum resident set size= 76464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4115525
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= 11
involuntary context switches= 4535


# summary of solver processes directly reported to runsolver:
#   pid: 976936
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3589.84
#   total CPU system time (s): 10.1957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7257 second user time and 15.6769 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 20:31:53
IDJOB=4445932
IDBENCH=155406
IDSOLVER=3068
FILE ID=nodeC026/4445932-1721327500
RUNJOBID= nodeC026-1721327502-976184
SLURM_JOB_ID= 7542685
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445932-1721327500/watcher-4445932-1721327500 -o /tmp/evaluation-result-4445932-1721327500/solver-4445932-1721327500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976184 --watchdog 3760  pb_picat HOME/instance-4445932-1721327500.opb

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

MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=1097450232

nodeC026.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		: 3670.883
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3668.052
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128440580 kB
MemAvailable:   129090232 kB
Buffers:          526368 kB
Cached:           959952 kB
SwapCached:            0 kB
Active:          1039228 kB
Inactive:        1432312 kB
Active(anon):       1564 kB
Inactive(anon):  1021376 kB
Active(file):    1037664 kB
Inactive(file):   410936 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22040 kB
Writeback:             0 kB
AnonPages:        980364 kB
Mapped:           116444 kB
Shmem:             37720 kB
KReclaimable:      81748 kB
Slab:             191880 kB
SReclaimable:      81748 kB
SUnreclaim:       110132 kB
KernelStack:        4176 kB
PageTables:        10888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7000832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    778240 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC026 at 2024-07-18 21:32:04