Trace number 4441348

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
Exact_veripb2 2024-07-05? (TO) 3601.06 3627.85

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
MD5SUMb903151821b4588cc22205dcfedeb810
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 benchmark21601492
Best CPU time to get the best result obtained on this benchmark3600.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 312913647916
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 312913647916
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3626.87	c Program interrupted by user.
3600.07/3626.87	s UNKNOWN

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 (59661 MiB free)
  memory of node 1: 64473 MiB (60786 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441348-1721828333/watcher-4441348-1721828333 -o /tmp/evaluation-result-4441348-1721828333/solver-4441348-1721828333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721828332-200284 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441348-1721828333 --seed=989164830 HOME/instance-4441348-1721828333.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=200345, runsolver pid=200342

[startup+0.100449 s]*
/proc/loadavg: 0.73 1.84 3.05 6/255 200346
/proc/meminfo: memFree=122496740/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=281808 memory=257836 CPUtime=0.09 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 6007 0 0 0 4 5 0 0 20 0 1 0 19361769 288571392 64459 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 70452 64459 836 1006 0 69213 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 281808 KiB
Current children cumulated memory: 257836 KiB

[startup+0.205893 s]*
/proc/loadavg: 0.73 1.84 3.05 6/255 200346
/proc/meminfo: memFree=121770476/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=712588 memory=498116 CPUtime=0.19 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 8338 0 0 0 9 10 0 0 20 0 1 0 19361769 729690112 124529 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 178147 124529 852 1006 0 176908 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 712588 KiB
Current children cumulated memory: 498116 KiB

[startup+0.305962 s]*
/proc/loadavg: 0.73 1.84 3.05 6/255 200346
/proc/meminfo: memFree=120921220/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=909444 memory=824420 CPUtime=0.3 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 9132 0 0 0 13 17 0 0 20 0 1 0 19361769 931270656 206105 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 227361 206105 852 1006 0 226122 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 909444 KiB
Current children cumulated memory: 824420 KiB

[startup+0.700238 s]
/proc/loadavg: 0.73 1.84 3.05 6/255 200346
/proc/meminfo: memFree=120253616/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=1208132 memory=1171272 CPUtime=0.69 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 24022 0 0 0 42 27 0 0 20 0 1 0 19361769 1237127168 292818 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 302033 292818 852 1006 0 300794 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1208132 KiB
Current children cumulated memory: 1171272 KiB

[startup+1.50019 s]
/proc/loadavg: 0.73 1.84 3.05 6/255 200346
/proc/meminfo: memFree=119202296/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=1608540 memory=1583908 CPUtime=1.49 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 77594 0 0 0 107 42 0 0 20 0 1 0 19361769 1647144960 395977 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 402135 395977 899 1006 0 400896 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1608540 KiB
Current children cumulated memory: 1583908 KiB

[startup+3.10531 s]
/proc/loadavg: 1.00 1.87 3.05 5/255 200346
/proc/meminfo: memFree=116966104/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=2074216 memory=1998056 CPUtime=3.08 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 138294 0 0 0 250 58 0 0 20 0 1 0 19361769 2123997184 499514 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 518554 499514 899 1006 0 517315 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2074216 KiB
Current children cumulated memory: 1998056 KiB

[startup+6.30022 s]
/proc/loadavg: 1.00 1.87 3.05 6/255 200348
/proc/meminfo: memFree=114460612/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=3959064 memory=3346352 CPUtime=6.27 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 324408 0 0 0 522 105 0 0 20 0 1 0 19361769 4054081536 836588 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 989766 836588 899 1006 0 988527 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3959064 KiB
Current children cumulated memory: 3346352 KiB

[startup+12.7002 s]
/proc/loadavg: 1.46 1.95 3.07 5/255 200348
/proc/meminfo: memFree=110492968/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=4053532 memory=3611716 CPUtime=12.65 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 399291 0 0 0 1133 132 0 0 20 0 1 0 19361769 4150816768 902929 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1013383 902929 931 1006 0 1012144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4053532 KiB
Current children cumulated memory: 3611716 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 2.03 3.08 6/255 200349
/proc/meminfo: memFree=100554792/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=5823564 memory=5616520 CPUtime=25.42 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 536050 0 0 0 2271 271 0 0 20 0 1 0 19361769 5963329536 1404130 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1455891 1404130 1075 1006 0 1454652 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5823564 KiB
Current children cumulated memory: 5616520 KiB

[startup+51.1055 s]
/proc/loadavg: 2.77 2.22 3.12 5/255 200354
/proc/meminfo: memFree=100229656/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=7183244 memory=6796804 CPUtime=50.95 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 566069 0 0 0 4794 301 0 0 20 0 1 0 19361769 7355641856 1699201 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1795811 1699201 1139 1006 0 1794572 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7183244 KiB
Current children cumulated memory: 6796804 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.55 3.18 6/261 200371
/proc/meminfo: memFree=98572412/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=7328784 memory=7078356 CPUtime=101.12 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 603858 0 0 0 9797 315 0 0 20 0 1 0 19361769 7504674816 1769589 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 87 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1832196 1769589 1139 1006 0 1830957 0
Current children cumulated CPU time: 101.12 s
Current children cumulated vsize: 7328784 KiB
Current children cumulated memory: 7078356 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 2.94 3.28 3/261 200383
/proc/meminfo: memFree=96496812/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=8281968 memory=7376792 CPUtime=160.88 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 636287 0 0 0 15741 347 0 0 20 0 1 0 19361769 8480735232 1844198 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 95 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 2070492 1844198 1139 1006 0 2069253 0
Current children cumulated CPU time: 160.88 s
Current children cumulated vsize: 8281968 KiB
Current children cumulated memory: 7376792 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.14 3.32 6/261 200393
/proc/meminfo: memFree=93845608/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=8522780 memory=7802496 CPUtime=218.97 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 691751 0 0 0 21528 369 0 0 20 0 1 0 19361769 8727326720 1950624 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 272 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 2130695 1950624 1139 1006 0 2129456 0
Current children cumulated CPU time: 218.97 s
Current children cumulated vsize: 8522780 KiB
Current children cumulated memory: 7802496 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.33 3.38 6/262 200404
/proc/meminfo: memFree=90969752/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=8710744 memory=8048200 CPUtime=278.6 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 731083 0 0 0 27479 381 0 0 20 0 1 0 19361769 8919801856 2012050 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 294 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 2177686 2012050 1139 1006 0 2176447 0
Current children cumulated CPU time: 278.6 s
Current children cumulated vsize: 8710744 KiB
Current children cumulated memory: 8048200 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.47 3.43 6/261 200414
/proc/meminfo: memFree=88287372/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=9641152 memory=8405388 CPUtime=338.39 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 786576 0 0 0 33414 425 0 0 20 0 1 0 19361769 9872539648 2101347 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 300 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 2410288 2101347 1139 1006 0 2409049 0
Current children cumulated CPU time: 338.39 s
Current children cumulated vsize: 9641152 KiB
Current children cumulated memory: 8405388 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.58 3.47 6/261 200426
/proc/meminfo: memFree=85543692/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=9706192 memory=8596012 CPUtime=398.21 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 809274 0 0 0 39379 442 0 0 20 0 1 0 19361769 9939140608 2149003 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 300 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 2426548 2149003 1139 1006 0 2425309 0
Current children cumulated CPU time: 398.21 s
Current children cumulated vsize: 9706192 KiB
Current children cumulated memory: 8596012 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.68 3.51 6/265 200445
/proc/meminfo: memFree=83286328/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=10048540 memory=8991740 CPUtime=457.66 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 871371 0 0 0 45296 470 0 0 20 0 1 0 19361769 10289704960 2247935 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 339 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0

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

/proc/200345/statm: 3098672 2632466 1155 1006 0 3097433 0
Current children cumulated CPU time: 2960.07 s
Current children cumulated vsize: 12394688 KiB
Current children cumulated memory: 10529864 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/261 202057
/proc/meminfo: memFree=16897032/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12446480 memory=10581732 CPUtime=3019.87 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1186430 0 0 0 300986 1001 0 0 20 0 1 0 19361769 12745195520 2645433 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1421 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3111620 2645433 1155 1006 0 3110381 0
Current children cumulated CPU time: 3019.87 s
Current children cumulated vsize: 12446480 KiB
Current children cumulated memory: 10581732 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/265 202130
/proc/meminfo: memFree=15846956/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12446480 memory=10581732 CPUtime=3078.82 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1187525 0 0 0 306872 1010 0 0 20 0 1 0 19361769 12745195520 2645433 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1511 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3111620 2645433 1155 1006 0 3110381 0
Current children cumulated CPU time: 3078.82 s
Current children cumulated vsize: 12446480 KiB
Current children cumulated memory: 10581732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/264 202141
/proc/meminfo: memFree=12447844/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12462944 memory=10598196 CPUtime=3138.32 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1192574 0 0 0 312797 1035 0 0 20 0 1 0 19361769 12762054656 2649549 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1546 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3115736 2649549 1155 1006 0 3114497 0
Current children cumulated CPU time: 3138.32 s
Current children cumulated vsize: 12462944 KiB
Current children cumulated memory: 10598196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/266 202154
/proc/meminfo: memFree=9191572/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12510452 memory=10643308 CPUtime=3197.96 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1205025 0 0 0 318734 1062 0 0 20 0 1 0 19361769 12810702848 2660827 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1565 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3127613 2660827 1155 1006 0 3126374 0
Current children cumulated CPU time: 3197.96 s
Current children cumulated vsize: 12510452 KiB
Current children cumulated memory: 10643308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/265 202164
/proc/meminfo: memFree=6739208/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12510660 memory=10645560 CPUtime=3257.55 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1206574 0 0 0 324676 1079 0 0 20 0 1 0 19361769 12810915840 2661390 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1589 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3127665 2661390 1155 1006 0 3126426 0
Current children cumulated CPU time: 3257.55 s
Current children cumulated vsize: 12510660 KiB
Current children cumulated memory: 10645560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/265 202174
/proc/meminfo: memFree=3981060/131524600 swapFree=131070960/131071996
[pid=200345] ppid=200342 vsize=12511052 memory=10646340 CPUtime=3317.38 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1207627 0 0 0 330646 1092 0 0 20 0 1 0 19361769 12811317248 2661585 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1589 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3127763 2661585 1155 1006 0 3126524 0
Current children cumulated CPU time: 3317.38 s
Current children cumulated vsize: 12511052 KiB
Current children cumulated memory: 10646340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/258 202186
/proc/meminfo: memFree=1740176/131524600 swapFree=131062720/131071996
[pid=200345] ppid=200342 vsize=12537544 memory=10662992 CPUtime=3376.9 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1212771 0 0 0 336586 1104 0 0 20 0 1 0 19361769 12838445056 2665748 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1621 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3134386 2665748 1155 1006 0 3133147 0
Current children cumulated CPU time: 3376.9 s
Current children cumulated vsize: 12537544 KiB
Current children cumulated memory: 10662992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/260 202198
/proc/meminfo: memFree=524620/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=12537544 memory=10664580 CPUtime=3436.67 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1214051 0 0 0 342552 1115 0 0 20 0 1 0 19361769 12838445056 2666145 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1630 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3134386 2666145 1155 1006 0 3133147 0
Current children cumulated CPU time: 3436.67 s
Current children cumulated vsize: 12537544 KiB
Current children cumulated memory: 10664580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/259 202210
/proc/meminfo: memFree=546948/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=12537544 memory=10665952 CPUtime=3496.09 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1215270 0 0 0 348482 1127 0 0 20 0 1 0 19361769 12838445056 2666488 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1672 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3134386 2666488 1155 1006 0 3133147 0
Current children cumulated CPU time: 3496.09 s
Current children cumulated vsize: 12537544 KiB
Current children cumulated memory: 10665952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/258 202220
/proc/meminfo: memFree=624876/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=12537684 memory=10668160 CPUtime=3555.69 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1216817 0 0 0 354431 1138 0 0 20 0 1 0 19361769 12838588416 2667040 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1697 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3134421 2667040 1155 1006 0 3133182 0
Current children cumulated CPU time: 3555.69 s
Current children cumulated vsize: 12537684 KiB
Current children cumulated memory: 10668160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 202229
/proc/meminfo: memFree=589892/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=12537684 memory=10669672 CPUtime=3600.07 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1217906 0 0 0 358860 1147 0 0 20 0 1 0 19361769 12838588416 2667418 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1697 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 3134421 2667418 1155 1006 0 3133182 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 12537684 KiB
Current children cumulated memory: 10669672 KiB

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

[startup+3627.85 s]
# the end of solver process 200345 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3589.4 s, system=11.6594 s

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

[startup+3627.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 202229
/proc/meminfo: memFree=2273216/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=6616364 memory=5823916 CPUtime=3600.44 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1218467 0 1 0 358895 1149 0 0 20 0 1 0 19361769 6775156736 1455979 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1700 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1654091 1455979 1170 1006 0 1652852 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 6616364 KiB
Current children cumulated memory: 5823916 KiB

[startup+3627.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 202229
/proc/meminfo: memFree=2273216/131524600 swapFree=131061696/131071996
[pid=200345] ppid=200342 vsize=6501672 memory=5709224 CPUtime=3600.84 cores=1,3
/proc/200345/stat : 200345 (Exact_veripb2) R 200342 200345 200272 0 -1 4194304 1219595 0 1 0 358935 1149 0 0 20 0 1 0 19361769 6657712128 1427306 134679101440 4194304 8311665 140730861941984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1700 0 0 9173656 9252184 34058240 140730861945677 140730861945956 140730861945956 140730861952967 0
/proc/200345/statm: 1625418 1427306 1170 1006 0 1624179 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 6501672 KiB
Current children cumulated memory: 5709224 KiB

[startup+3627.81 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 202229
/proc/meminfo: memFree=6232620/131524600 swapFree=131061696/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3627.85
CPU time (s): 3601.06
CPU user time (s): 3589.4
CPU system time (s): 11.6594
CPU usage (%): 99.2614
Max. virtual memory (cumulated for all children) (KiB): 12984804
Max. memory (cumulated for all children) (KiB): 10747832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.4
system time used= 11.6594
maximum resident set size= 11046840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1219672
page faults= 1
swaps= 0
block input operations= 2824
block output operations= 18326176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 961
involuntary context switches= 4782


# summary of solver processes directly reported to runsolver:
#   pid: 200345
#   total CPU time (s): 3601.06
#   total CPU user time (s): 3589.4
#   total CPU system time (s): 11.6594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76658 second user time and 18.4495 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 15:38:54
IDJOB=4441348
IDBENCH=155753
IDSOLVER=3081
FILE ID=nodeC020/4441348-1721828333
RUNJOBID= nodeC020-1721828332-200284
SLURM_JOB_ID= 7891478
Free space on /tmp= 889320 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441348-1721828333/watcher-4441348-1721828333 -o /tmp/evaluation-result-4441348-1721828333/solver-4441348-1721828333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721828332-200284 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441348-1721828333 --seed=989164830 HOME/instance-4441348-1721828333.opb

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

MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=989164830

nodeC020.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		: 3659.081
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.31
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		: 3682.763
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.25
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		: 3660.869
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.31
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		: 3667.320
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.25
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		: 3652.979
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.31
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		: 3680.551
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.25
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		: 3662.603
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.31
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		: 3600.015
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123423956 kB
MemAvailable:   128992404 kB
Buffers:          253788 kB
Cached:          6098732 kB
SwapCached:           68 kB
Active:          2605700 kB
Inactive:        4796648 kB
Active(anon):       1484 kB
Inactive(anon):  1102380 kB
Active(file):    2604216 kB
Inactive(file):  3694268 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070960 kB
Dirty:            789476 kB
Writeback:             0 kB
AnonPages:       1049296 kB
Mapped:           117484 kB
Shmem:             53952 kB
KReclaimable:     219572 kB
Slab:             335148 kB
SReclaimable:     219572 kB
SUnreclaim:       115576 kB
KernelStack:        4000 kB
PageTables:        11616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1420088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889312 MiB
End job on nodeC020 at 2024-07-24 16:39:22