Trace number 4436278

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 3613.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUMa599905096c946af5176c07959aa4b57
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark225
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 488873
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 488873
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

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-4436278-1721090918.opb (Picat 3.6#12)
7.46/7.59	o 4630
10.85/10.94	o 2933
12.97/13.09	o 1832

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436278-1721090918/watcher-4436278-1721090918 -o /tmp/evaluation-result-4436278-1721090918/solver-4436278-1721090918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823650 --watchdog 3760 pb_picat HOME/instance-4436278-1721090918.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=825724, runsolver pid=825721

[startup+0.100752 s]*
/proc/loadavg: 4.20 4.23 4.18 5/242 825725
/proc/meminfo: memFree=128177608/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=27188 CPUtime=0.1 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 792 0 0 0 9 1 0 0 20 0 1 0 161251041 2082414592 6797 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 6797 1565 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 27188 KiB

[startup+0.213384 s]*
/proc/loadavg: 4.20 4.23 4.18 5/242 825725
/proc/meminfo: memFree=128116000/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=39476 CPUtime=0.21 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 798 0 0 0 20 1 0 0 20 0 1 0 161251041 2082414592 9869 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 9869 1565 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39476 KiB

[startup+0.31323 s]*
/proc/loadavg: 4.20 4.23 4.18 5/242 825725
/proc/meminfo: memFree=128056468/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=49716 CPUtime=0.31 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 803 0 0 0 30 1 0 0 20 0 1 0 161251041 2082414592 12429 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 12429 1565 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 49716 KiB

[startup+0.700317 s]
/proc/loadavg: 4.20 4.23 4.18 5/242 825725
/proc/meminfo: memFree=127951468/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=92724 CPUtime=0.68 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 824 0 0 0 66 2 0 0 20 0 1 0 161251041 2082414592 23181 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 23181 1565 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 92724 KiB

[startup+1.50031 s]
/proc/loadavg: 4.20 4.23 4.18 5/242 825725
/proc/meminfo: memFree=127650108/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=201276 CPUtime=1.48 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 877 0 0 0 144 4 0 0 20 0 1 0 161251041 2082414592 50319 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 50319 1565 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 201276 KiB

[startup+3.11337 s]
/proc/loadavg: 4.18 4.23 4.18 5/243 825727
/proc/meminfo: memFree=126357964/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2033608 memory=438844 CPUtime=3.09 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 1001 0 0 0 300 9 0 0 20 0 1 0 161251041 2082414592 109711 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 508402 109711 1565 439 0 503831 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 438844 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.23 4.18 5/243 825727
/proc/meminfo: memFree=125581736/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2250608 memory=1024968 CPUtime=6.27 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 7213 0 0 0 605 22 0 0 20 0 1 0 161251041 2304622592 256242 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 562652 256242 1785 439 0 558081 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2250608 KiB
Current children cumulated memory: 1024968 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.22 4.18 5/243 825729
/proc/meminfo: memFree=125451584/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2286052 memory=1074960 CPUtime=12.65 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 14425 0 0 0 1238 27 0 0 20 0 1 0 161251041 2340917248 268740 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 571513 268740 1785 439 0 566942 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2286052 KiB
Current children cumulated memory: 1074960 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.21 4.18 5/243 825731
/proc/meminfo: memFree=125432380/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2245596 memory=1038752 CPUtime=25.4 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 21504 0 0 0 2509 31 0 0 20 0 1 0 161251041 2299490304 259688 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 561399 259688 1785 439 0 556828 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2245596 KiB
Current children cumulated memory: 1038752 KiB

[startup+51.1136 s]
/proc/loadavg: 4.17 4.21 4.18 5/243 825734
/proc/meminfo: memFree=125407572/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2264448 memory=1046104 CPUtime=50.93 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 37183 0 0 0 5053 40 0 0 20 0 1 0 161251041 2318794752 261526 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 566112 261526 1785 439 0 561541 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2264448 KiB
Current children cumulated memory: 1046104 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/245 825748
/proc/meminfo: memFree=125327372/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2280832 memory=1069096 CPUtime=101.94 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 50958 0 0 0 10143 51 0 0 20 0 1 0 161251041 2335571968 267274 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 570208 267274 1785 439 0 565637 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2280832 KiB
Current children cumulated memory: 1069096 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/245 825758
/proc/meminfo: memFree=125314616/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2346368 memory=1107380 CPUtime=161.72 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 60429 0 0 0 16110 62 0 0 20 0 1 0 161251041 2402680832 276845 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 586592 276845 1785 439 0 582021 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2346368 KiB
Current children cumulated memory: 1107380 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/245 825769
/proc/meminfo: memFree=125308048/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2379136 memory=1118268 CPUtime=221.51 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 78204 0 0 0 22073 78 0 0 20 0 1 0 161251041 2436235264 279567 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 594784 279567 1785 439 0 590213 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2379136 KiB
Current children cumulated memory: 1118268 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/245 825779
/proc/meminfo: memFree=125170068/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2379136 memory=1144840 CPUtime=281.31 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 81706 0 0 0 28048 83 0 0 20 0 1 0 161251041 2436235264 286210 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 594784 286210 1785 439 0 590213 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2379136 KiB
Current children cumulated memory: 1144840 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 825790
/proc/meminfo: memFree=125172040/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2380872 memory=1123752 CPUtime=341.09 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 96859 0 0 0 34005 104 0 0 20 0 1 0 161251041 2438012928 280938 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 595218 280938 1785 439 0 590647 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 2380872 KiB
Current children cumulated memory: 1123752 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/243 826183
/proc/meminfo: memFree=125314736/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2315336 memory=1076712 CPUtime=400.87 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 109394 0 0 0 39969 118 0 0 20 0 1 0 161251041 2370904064 269178 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 578834 269178 1785 439 0 574263 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 2315336 KiB
Current children cumulated memory: 1076712 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/243 826195
/proc/meminfo: memFree=125419020/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2267092 memory=1061208 CPUtime=460.67 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 122890 0 0 0 45933 134 0 0 20 0 1 0 161251041 2321502208 265302 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 566773 265302 1785 439 0 562202 0

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

Current children cumulated memory: 1131964 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/241 827440
/proc/meminfo: memFree=124745660/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2319156 memory=1093000 CPUtime=2852.29 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 511538 0 0 0 284516 713 0 0 20 0 1 0 161251041 2374815744 273250 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 579789 273250 1785 439 0 575218 0
Current children cumulated CPU time: 2852.29 s
Current children cumulated vsize: 2319156 KiB
Current children cumulated memory: 1093000 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/241 827450
/proc/meminfo: memFree=124844580/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2302772 memory=1071228 CPUtime=2912.05 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 518566 0 0 0 290473 732 0 0 20 0 1 0 161251041 2358038528 267807 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 575693 267807 1785 439 0 571122 0
Current children cumulated CPU time: 2912.05 s
Current children cumulated vsize: 2302772 KiB
Current children cumulated memory: 1071228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/241 827460
/proc/meminfo: memFree=124644644/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2515764 memory=1226092 CPUtime=2971.81 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 529081 0 0 0 296432 749 0 0 20 0 1 0 161251041 2576142336 306523 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 628941 306523 1785 439 0 624370 0
Current children cumulated CPU time: 2971.81 s
Current children cumulated vsize: 2515764 KiB
Current children cumulated memory: 1226092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/241 827471
/proc/meminfo: memFree=125329540/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2319156 memory=1099336 CPUtime=3031.57 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 537535 0 0 0 302394 763 0 0 20 0 1 0 161251041 2374815744 274834 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 579789 274834 1785 439 0 575218 0
Current children cumulated CPU time: 3031.57 s
Current children cumulated vsize: 2319156 KiB
Current children cumulated memory: 1099336 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 827485
/proc/meminfo: memFree=125171384/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2302772 memory=1071088 CPUtime=3091.34 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 542334 0 0 0 308363 771 0 0 20 0 1 0 161251041 2358038528 267772 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 575693 267772 1785 439 0 571122 0
Current children cumulated CPU time: 3091.34 s
Current children cumulated vsize: 2302772 KiB
Current children cumulated memory: 1071088 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 827495
/proc/meminfo: memFree=125277492/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2270004 memory=1056892 CPUtime=3151.1 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 543642 0 0 0 314338 772 0 0 20 0 1 0 161251041 2324484096 264223 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 567501 264223 1785 439 0 562930 0
Current children cumulated CPU time: 3151.1 s
Current children cumulated vsize: 2270004 KiB
Current children cumulated memory: 1056892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 827506
/proc/meminfo: memFree=125061856/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2286388 memory=1072608 CPUtime=3210.87 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 545864 0 0 0 320314 773 0 0 20 0 1 0 161251041 2341261312 268152 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 571597 268152 1785 439 0 567026 0
Current children cumulated CPU time: 3210.87 s
Current children cumulated vsize: 2286388 KiB
Current children cumulated memory: 1072608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.15 4.16 5/244 827517
/proc/meminfo: memFree=124799388/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2499380 memory=1265800 CPUtime=3270.64 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 549497 0 0 0 326283 781 0 0 20 0 1 0 161251041 2559365120 316450 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 624845 316450 1785 439 0 620274 0
Current children cumulated CPU time: 3270.64 s
Current children cumulated vsize: 2499380 KiB
Current children cumulated memory: 1265800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/244 827528
/proc/meminfo: memFree=124727312/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2548532 memory=1225960 CPUtime=3330.4 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 558501 0 0 0 332243 797 0 0 20 0 1 0 161251041 2609696768 306490 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 637133 306490 1785 439 0 632562 0
Current children cumulated CPU time: 3330.4 s
Current children cumulated vsize: 2548532 KiB
Current children cumulated memory: 1225960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 827538
/proc/meminfo: memFree=124987472/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2384692 memory=1171020 CPUtime=3390.16 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 564357 0 0 0 338199 817 0 0 20 0 1 0 161251041 2441924608 292755 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 596173 292755 1785 439 0 591602 0
Current children cumulated CPU time: 3390.16 s
Current children cumulated vsize: 2384692 KiB
Current children cumulated memory: 1171020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/242 827549
/proc/meminfo: memFree=125001748/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2417460 memory=1129920 CPUtime=3449.93 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 572493 0 0 0 344159 834 0 0 20 0 1 0 161251041 2475479040 282480 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 604365 282480 1785 439 0 599794 0
Current children cumulated CPU time: 3449.93 s
Current children cumulated vsize: 2417460 KiB
Current children cumulated memory: 1129920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/242 827559
/proc/meminfo: memFree=125197192/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2515764 memory=1224268 CPUtime=3509.7 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 579370 0 0 0 350118 852 0 0 20 0 1 0 161251041 2576142336 306067 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 628941 306067 1785 439 0 624370 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 2515764 KiB
Current children cumulated memory: 1224268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 827569
/proc/meminfo: memFree=124887184/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2515764 memory=1280216 CPUtime=3569.46 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 586241 0 0 0 356079 867 0 0 20 0 1 0 161251041 2576142336 320054 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 628941 320054 1785 439 0 624370 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 2515764 KiB
Current children cumulated memory: 1280216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.15 4.12 4.14 5/241 827712
/proc/meminfo: memFree=126094480/131655788 swapFree=131071996/131071996
[pid=825724] ppid=825721 vsize=2777908 memory=1336736 CPUtime=3600.05 cores=0,2
/proc/825724/stat : 825724 (pb_picat) R 825721 825724 823640 0 -1 4194304 589760 0 0 0 359128 877 0 0 20 0 1 0 161251041 2844577792 334184 134679101440 4194304 5989780 140728159816560 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38707200 140728159818777 140728159818853 140728159818853 140728159825868 0
/proc/825724/statm: 694477 334184 1785 439 0 689906 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2777908 KiB
Current children cumulated memory: 1336736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.28 s, system=8.78227 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3613.02
CPU time (s): 3600.07
CPU user time (s): 3591.28
CPU system time (s): 8.78227
CPU usage (%): 99.6415
Max. virtual memory (cumulated for all children) (KiB): 3302196
Max. memory (cumulated for all children) (KiB): 1582492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.28
system time used= 8.78227
maximum resident set size= 1582492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589760
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= 8
involuntary context switches= 25236


# summary of solver processes directly reported to runsolver:
#   pid: 825724
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.28
#   total CPU system time (s): 8.78227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5696 second user time and 36.6133 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-16 02:48:49
IDJOB=4436278
IDBENCH=147556
IDSOLVER=3068
FILE ID=nodeC010/4436278-1721090918
RUNJOBID= nodeC010-1721087315-823650
SLURM_JOB_ID= 7505582
Free space on /tmp= 723704 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436278-1721090918/watcher-4436278-1721090918 -o /tmp/evaluation-result-4436278-1721090918/solver-4436278-1721090918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823650 --watchdog 3760  pb_picat HOME/instance-4436278-1721090918.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=463522621

nodeC010.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		: 3491.756
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.51
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		: 3660.532
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.193
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.51
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.284
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		: 3668.226
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.51
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.754
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.385
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.51
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.193
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:        128266752 kB
MemAvailable:   128578664 kB
Buffers:          390284 kB
Cached:           765088 kB
SwapCached:            0 kB
Active:           741456 kB
Inactive:        2127192 kB
Active(anon):       1464 kB
Inactive(anon):  1749196 kB
Active(file):     739992 kB
Inactive(file):   377996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             82092 kB
Writeback:             0 kB
AnonPages:       1713080 kB
Mapped:           112724 kB
Shmem:             37704 kB
KReclaimable:      67908 kB
Slab:             160844 kB
SReclaimable:      67908 kB
SUnreclaim:        92936 kB
KernelStack:        3900 kB
PageTables:        11968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6614604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51648 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1351680 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723640 MiB
End job on nodeC010 at 2024-07-16 03:49:03