Trace number 4454094

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
Exact_veripb2 2024-07-05UNSAT 1912.38 1944.04

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
MD5SUMad731be7af81a11cebcddac40b738f1a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.61995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2688
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint2
Maximum length of a constraint84
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 2199023255552
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8796093022207
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1912.34/1943.91	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

-- time out --

VeriPB + CakePB


-- out of memory --

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454094-1721840011/watcher-4454094-1721840011 -o /tmp/evaluation-result-4454094-1721840011/solver-4454094-1721840011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238469 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454094-1721840011 --seed=748786511 HOME/instance-4454094-1721840011.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
Current StackSize limit: 8192 KiB

solver pid=243324, runsolver pid=243321

[startup+0.100248 s]*
/proc/loadavg: 4.08 4.11 4.14 5/251 243325
/proc/meminfo: memFree=108015600/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=35640 memory=13704 CPUtime=0.09 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 2555 0 0 0 9 0 0 0 20 0 1 0 19990468 36495360 3426 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 8910 3426 1155 1006 0 7671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35640 KiB
Current children cumulated memory: 13704 KiB

[startup+0.205798 s]*
/proc/loadavg: 4.08 4.11 4.14 5/251 243325
/proc/meminfo: memFree=108013388/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=35640 memory=13968 CPUtime=0.19 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 2631 0 0 0 19 0 0 0 20 0 1 0 19990468 36495360 3492 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 8910 3492 1155 1006 0 7671 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35640 KiB
Current children cumulated memory: 13968 KiB

[startup+0.305846 s]*
/proc/loadavg: 4.07 4.10 4.14 5/251 243325
/proc/meminfo: memFree=108009800/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=35788 memory=16276 CPUtime=0.29 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 2680 0 0 0 29 0 0 0 20 0 1 0 19990468 36646912 4069 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 8947 4069 1155 1006 0 7708 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35788 KiB
Current children cumulated memory: 16276 KiB

[startup+0.700257 s]
/proc/loadavg: 4.07 4.10 4.14 5/251 243325
/proc/meminfo: memFree=108006972/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=36452 memory=16804 CPUtime=0.68 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 2833 0 0 0 67 1 0 0 20 0 1 0 19990468 37326848 4201 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 9113 4201 1155 1006 0 7874 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36452 KiB
Current children cumulated memory: 16804 KiB

[startup+1.50034 s]
/proc/loadavg: 4.07 4.10 4.14 5/251 243325
/proc/meminfo: memFree=107997560/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=37536 memory=17860 CPUtime=1.48 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 3110 0 0 0 146 2 0 0 20 0 1 0 19990468 38436864 4465 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 9384 4465 1155 1006 0 8145 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37536 KiB
Current children cumulated memory: 17860 KiB

[startup+3.11417 s]
/proc/loadavg: 4.07 4.10 4.14 4/251 243326
/proc/meminfo: memFree=107949872/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=39732 memory=22008 CPUtime=3.09 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 3611 0 0 0 304 5 0 0 20 0 1 0 19990468 40685568 5502 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 9933 5502 1155 1006 0 8694 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39732 KiB
Current children cumulated memory: 22008 KiB

[startup+6.30031 s]
/proc/loadavg: 4.06 4.10 4.13 5/251 243326
/proc/meminfo: memFree=107900404/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=42112 memory=24112 CPUtime=6.26 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 4180 0 0 0 617 9 0 0 20 0 1 0 19990468 43122688 6028 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 10528 6028 1155 1006 0 9289 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 24112 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.10 4.13 5/251 243328
/proc/meminfo: memFree=107748764/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=49896 memory=35836 CPUtime=12.64 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 6036 0 0 0 1246 18 0 0 20 0 1 0 19990468 51093504 8959 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 12474 8959 1155 1006 0 11235 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 49896 KiB
Current children cumulated memory: 35836 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.10 4.13 5/251 243329
/proc/meminfo: memFree=107378896/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=53060 memory=40760 CPUtime=25.39 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 6817 0 0 0 2507 32 0 0 20 0 1 0 19990468 54333440 10190 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 13265 10190 1155 1006 0 12026 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 53060 KiB
Current children cumulated memory: 40760 KiB

[startup+51.1132 s]
/proc/loadavg: 4.09 4.10 4.13 5/248 243333
/proc/meminfo: memFree=106796436/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=60192 memory=46800 CPUtime=50.42 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 8324 0 0 0 4979 63 0 0 20 0 1 0 19990468 61636608 11700 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 50 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 15048 11700 1155 1006 0 13809 0
Current children cumulated CPU time: 50.42 s
Current children cumulated vsize: 60192 KiB
Current children cumulated memory: 46800 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 4.16 4.15 5/249 243727
/proc/meminfo: memFree=106003996/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=67652 memory=54152 CPUtime=101.16 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 10164 0 0 0 9992 124 0 0 20 0 1 0 19990468 69275648 13538 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 80 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 16913 13538 1155 1006 0 15674 0
Current children cumulated CPU time: 101.16 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 54152 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.15 4.14 5/244 243737
/proc/meminfo: memFree=104936732/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=76944 memory=63360 CPUtime=160.58 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 12454 0 0 0 15863 195 0 0 20 0 1 0 19990468 78790656 15840 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 121 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 19236 15840 1155 1006 0 17997 0
Current children cumulated CPU time: 160.58 s
Current children cumulated vsize: 76944 KiB
Current children cumulated memory: 63360 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/244 243748
/proc/meminfo: memFree=103804216/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=88620 memory=74748 CPUtime=219.44 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 15290 0 0 0 21682 262 0 0 20 0 1 0 19990468 90746880 18687 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 218 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 22155 18687 1170 1006 0 20916 0
Current children cumulated CPU time: 219.44 s
Current children cumulated vsize: 88620 KiB
Current children cumulated memory: 74748 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.18 4.16 3/246 243929
/proc/meminfo: memFree=102925600/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=99312 memory=84764 CPUtime=278.21 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 17810 0 0 0 27486 335 0 0 20 0 1 0 19990468 101695488 21191 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 322 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 24828 21191 1170 1006 0 23589 0
Current children cumulated CPU time: 278.21 s
Current children cumulated vsize: 99312 KiB
Current children cumulated memory: 84764 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/246 243939
/proc/meminfo: memFree=101775896/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=103040 memory=88196 CPUtime=337.16 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 18673 0 0 0 33323 393 0 0 20 0 1 0 19990468 105512960 22049 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 405 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 25760 22049 1170 1006 0 24521 0
Current children cumulated CPU time: 337.16 s
Current children cumulated vsize: 103040 KiB
Current children cumulated memory: 88196 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/248 243953
/proc/meminfo: memFree=100728280/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=117936 memory=98280 CPUtime=395.57 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 19389 0 0 0 39108 449 0 0 20 0 1 0 19990468 120766464 24570 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 545 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 29484 24570 1170 1006 0 28245 0
Current children cumulated CPU time: 395.57 s
Current children cumulated vsize: 117936 KiB
Current children cumulated memory: 98280 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.15 6/247 243976
/proc/meminfo: memFree=99702688/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=124296 memory=103012 CPUtime=452.94 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 20590 0 0 0 44786 508 0 0 20 0 1 0 19990468 127279104 25753 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 791 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 31074 25753 1170 1006 0 29835 0

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

/proc/loadavg: 4.10 4.09 4.10 5/246 244169
/proc/meminfo: memFree=82854836/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=178452 memory=168012 CPUtime=1457.5 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 33757 0 0 0 144149 1601 0 0 20 0 1 0 19990468 182734848 42003 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1997 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 44613 42003 1170 1006 0 43374 0
Current children cumulated CPU time: 1457.5 s
Current children cumulated vsize: 178452 KiB
Current children cumulated memory: 168012 KiB

[startup+1542.3 s]
/proc/loadavg: 4.45 4.17 4.12 6/245 244179
/proc/meminfo: memFree=81909504/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=180340 memory=169748 CPUtime=1515.62 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 34211 0 0 0 149905 1657 0 0 20 0 1 0 19990468 184668160 42437 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2167 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 45085 42437 1170 1006 0 43846 0
Current children cumulated CPU time: 1515.62 s
Current children cumulated vsize: 180340 KiB
Current children cumulated memory: 169748 KiB

[startup+1602.3 s]
/proc/loadavg: 4.87 4.35 4.19 5/248 244195
/proc/meminfo: memFree=80812644/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=184496 memory=172920 CPUtime=1574.61 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 35071 0 0 0 155738 1723 0 0 20 0 1 0 19990468 188923904 43230 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2249 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 46124 43230 1170 1006 0 44885 0
Current children cumulated CPU time: 1574.61 s
Current children cumulated vsize: 184496 KiB
Current children cumulated memory: 172920 KiB

[startup+1662.3 s]
/proc/loadavg: 4.37 4.30 4.18 5/248 244205
/proc/meminfo: memFree=79530148/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=187028 memory=175032 CPUtime=1633.51 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 35697 0 0 0 161558 1793 0 0 20 0 1 0 19990468 191516672 43758 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2342 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 46757 43758 1170 1006 0 45518 0
Current children cumulated CPU time: 1633.51 s
Current children cumulated vsize: 187028 KiB
Current children cumulated memory: 175032 KiB

[startup+1722.3 s]
/proc/loadavg: 4.38 4.32 4.19 5/245 244216
/proc/meminfo: memFree=78567788/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=187028 memory=175220 CPUtime=1692.68 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 35761 0 0 0 167413 1855 0 0 20 0 1 0 19990468 191516672 43805 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2407 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 46757 43805 1170 1006 0 45518 0
Current children cumulated CPU time: 1692.68 s
Current children cumulated vsize: 187028 KiB
Current children cumulated memory: 175220 KiB

[startup+1782.3 s]
/proc/loadavg: 4.19 4.28 4.18 5/245 244228
/proc/meminfo: memFree=77569088/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=187028 memory=175220 CPUtime=1752.24 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 35825 0 0 0 173309 1915 0 0 20 0 1 0 19990468 191516672 43805 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2432 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 46757 43805 1170 1006 0 45518 0
Current children cumulated CPU time: 1752.24 s
Current children cumulated vsize: 187028 KiB
Current children cumulated memory: 175220 KiB

[startup+1842.3 s]
/proc/loadavg: 4.11 4.24 4.17 5/246 244239
/proc/meminfo: memFree=76332552/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=189016 memory=176908 CPUtime=1811.8 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 36344 0 0 0 179201 1979 0 0 20 0 1 0 19990468 193552384 44227 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2459 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 47254 44227 1170 1006 0 46015 0
Current children cumulated CPU time: 1811.8 s
Current children cumulated vsize: 189016 KiB
Current children cumulated memory: 176908 KiB

[startup+1902.3 s]
/proc/loadavg: 4.44 4.31 4.20 4/248 244633
/proc/meminfo: memFree=75380300/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=189400 memory=177188 CPUtime=1871.02 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 36504 0 0 0 185059 2043 0 0 20 0 1 0 19990468 193945600 44297 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2518 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 47350 44297 1170 1006 0 46111 0
Current children cumulated CPU time: 1871.02 s
Current children cumulated vsize: 189400 KiB
Current children cumulated memory: 177188 KiB

[startup+1944.04 s]
# the end of solver process 243324 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1891.49 s, system=20.8885 s

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

[startup+1920 s]*
/proc/loadavg: 4.34 4.30 4.20 5/245 244635
/proc/meminfo: memFree=75158620/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192184 memory=179828 CPUtime=1888.69 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37214 0 0 0 186806 2063 0 0 20 0 1 0 19990468 196796416 44957 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2518 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48046 44957 1170 1006 0 46807 0
Current children cumulated CPU time: 1888.69 s
Current children cumulated vsize: 192184 KiB
Current children cumulated memory: 179828 KiB

[startup+1932.8 s]
/proc/loadavg: 4.26 4.28 4.19 6/245 244639
/proc/meminfo: memFree=74903104/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192184 memory=179828 CPUtime=1901.28 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37214 0 0 0 188051 2077 0 0 20 0 1 0 19990468 196796416 44957 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2533 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48046 44957 1170 1006 0 46807 0
Current children cumulated CPU time: 1901.28 s
Current children cumulated vsize: 192184 KiB
Current children cumulated memory: 179828 KiB

[startup+1939.2 s]
/proc/loadavg: 4.32 4.29 4.20 5/245 244639
/proc/meminfo: memFree=74787340/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192184 memory=179828 CPUtime=1907.66 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37214 0 0 0 188683 2083 0 0 20 0 1 0 19990468 196796416 44957 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2533 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48046 44957 1170 1006 0 46807 0
Current children cumulated CPU time: 1907.66 s
Current children cumulated vsize: 192184 KiB
Current children cumulated memory: 179828 KiB

[startup+1942.4 s]
/proc/loadavg: 4.30 4.29 4.20 5/245 244640
/proc/meminfo: memFree=74724628/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192452 memory=180092 CPUtime=1910.85 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37249 0 0 0 189000 2085 0 0 20 0 1 0 19990468 197070848 45023 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2533 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48113 45023 1170 1006 0 46874 0
Current children cumulated CPU time: 1910.85 s
Current children cumulated vsize: 192452 KiB
Current children cumulated memory: 180092 KiB

[startup+1943.2 s]
/proc/loadavg: 4.30 4.29 4.20 5/245 244640
/proc/meminfo: memFree=74709600/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192452 memory=180092 CPUtime=1911.64 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37249 0 0 0 189079 2085 0 0 20 0 1 0 19990468 197070848 45023 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2533 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48113 45023 1170 1006 0 46874 0
Current children cumulated CPU time: 1911.64 s
Current children cumulated vsize: 192452 KiB
Current children cumulated memory: 180092 KiB

[startup+1943.6 s]
/proc/loadavg: 4.30 4.29 4.20 5/245 244640
/proc/meminfo: memFree=74709600/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=192452 memory=180092 CPUtime=1912.04 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37249 0 0 0 189118 2086 0 0 20 0 1 0 19990468 197070848 45023 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2533 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 48113 45023 1170 1006 0 46874 0
Current children cumulated CPU time: 1912.04 s
Current children cumulated vsize: 192452 KiB
Current children cumulated memory: 180092 KiB

[startup+1944 s]*
/proc/loadavg: 4.30 4.29 4.20 5/245 244640
/proc/meminfo: memFree=74714712/131655788 swapFree=131061124/131071996
[pid=243324] ppid=243321 vsize=159780 memory=151580 CPUtime=1912.37 cores=5,7
/proc/243324/stat : 243324 (Exact_veripb2) R 243321 243324 238456 0 -1 4194304 37249 0 0 0 189149 2088 0 0 20 0 1 0 19990468 163614720 37895 134679101440 4194304 8311665 140736202808160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 2546 0 0 9173656 9252184 32538624 140736202810189 140736202810468 140736202810468 140736202817479 0
/proc/243324/statm: 39945 37895 1170 1006 0 38706 0
Current children cumulated CPU time: 1912.37 s
Current children cumulated vsize: 159780 KiB
Current children cumulated memory: 151580 KiB

Child status: 20

Real time (s): 1944.04
CPU time (s): 1912.38
CPU user time (s): 1891.49
CPU system time (s): 20.8885
CPU usage (%): 98.3715
Max. virtual memory (cumulated for all children) (KiB): 192452
Max. memory (cumulated for all children) (KiB): 180092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1891.49
system time used= 20.8885
maximum resident set size= 180092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25992032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 968
involuntary context switches= 2794


# summary of solver processes directly reported to runsolver:
#   pid: 243324
#   total CPU time (s): 1912.38
#   total CPU user time (s): 1891.49
#   total CPU system time (s): 20.8885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63607 second user time and 18.8385 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 18:53:31
IDJOB=4454094
IDBENCH=176041
IDSOLVER=3081
FILE ID=nodeC005/4454094-1721840011
RUNJOBID= nodeC005-1721831914-238469
SLURM_JOB_ID= 7891526
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.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-4454094-1721840011/watcher-4454094-1721840011 -o /tmp/evaluation-result-4454094-1721840011/solver-4454094-1721840011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238469 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454094-1721840011 --seed=748786511 HOME/instance-4454094-1721840011.opb

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

MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a
RANDOM SEED=748786511

nodeC005.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		: 3663.254
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.14
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		: 3637.062
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.284
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.14
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.120
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		: 3665.502
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.14
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		: 1197.116
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.304
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.14
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		: 3534.324
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:        108027092 kB
MemAvailable:   128930868 kB
Buffers:          265676 kB
Cached:         21409748 kB
SwapCached:          620 kB
Active:          2515856 kB
Inactive:       20437488 kB
Active(anon):       1616 kB
Inactive(anon):  1329352 kB
Active(file):    2514240 kB
Inactive(file): 19108136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:            278668 kB
Writeback:             0 kB
AnonPages:       1277308 kB
Mapped:           132032 kB
Shmem:             53264 kB
KReclaimable:     242860 kB
Slab:             362152 kB
SReclaimable:     242860 kB
SUnreclaim:       119292 kB
KernelStack:        4128 kB
PageTables:        11896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1749692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1021952 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-24 19:25:55