Trace number 4442913

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_no_SoPlex 2024-07-05? (TO) 3600.09 3675.51

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
MD5SUM447851c4fd40c5c34c03bb94532f1e8d
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 benchmark3.26785
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints74305
Number of constraints which are clauses74305
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 constraint50
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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/3675.50	c Program interrupted by user.
3600.07/3675.50	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: 64059 MiB (25107 MiB free)
  memory of node 1: 64510 MiB (30069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442913-1721801554/watcher-4442913-1721801554 -o /tmp/evaluation-result-4442913-1721801554/solver-4442913-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721801550-170625 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442913-1721801554 --seed=1739421996 HOME/instance-4442913-1721801554.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=170857, runsolver pid=170850

[startup+0.100265 s]*
/proc/loadavg: 1.96 1.95 1.99 5/243 170869
/proc/meminfo: memFree=56471568/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=41560 memory=18332 CPUtime=0.1 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 3636 0 0 0 9 1 0 0 20 0 1 0 16144470 42557440 4583 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 10390 4583 738 747 0 9453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 18332 KiB

[startup+0.213759 s]*
/proc/loadavg: 1.96 1.95 1.99 4/247 170879
/proc/meminfo: memFree=56425516/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=55856 memory=27872 CPUtime=0.22 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 5787 0 0 0 20 2 0 0 20 0 1 0 16144470 57196544 6968 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 13964 6968 754 747 0 13027 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 55856 KiB
Current children cumulated memory: 27872 KiB

[startup+0.314109 s]*
/proc/loadavg: 1.96 1.95 1.99 5/244 170887
/proc/meminfo: memFree=56418060/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=55856 memory=30448 CPUtime=0.31 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 5934 0 0 0 29 2 0 0 20 0 1 0 16144470 57196544 7612 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 13964 7612 754 747 0 13027 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55856 KiB
Current children cumulated memory: 30448 KiB

[startup+0.700287 s]
/proc/loadavg: 1.96 1.95 1.99 4/244 170887
/proc/meminfo: memFree=56378408/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=41516 memory=24480 CPUtime=0.68 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 5941 0 0 0 66 2 0 0 20 0 1 0 16144470 42512384 6120 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 10379 6120 754 747 0 9442 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41516 KiB
Current children cumulated memory: 24480 KiB

[startup+1.50032 s]
/proc/loadavg: 1.96 1.95 1.99 6/246 170921
/proc/meminfo: memFree=56341460/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=41516 memory=28576 CPUtime=1.48 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 5943 0 0 0 145 3 0 0 20 0 1 0 16144470 42512384 7144 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 10379 7144 754 747 0 9442 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41516 KiB
Current children cumulated memory: 28576 KiB

[startup+3.11339 s]
/proc/loadavg: 2.21 2.00 2.01 5/249 170927
/proc/meminfo: memFree=56264788/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=62916 memory=53916 CPUtime=3.09 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 8896 0 0 0 304 5 0 0 20 0 1 0 16144470 64425984 13479 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 15729 13479 834 747 0 14792 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62916 KiB
Current children cumulated memory: 53916 KiB

[startup+6.30026 s]
/proc/loadavg: 2.21 2.00 2.01 5/249 170927
/proc/meminfo: memFree=56102636/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=102328 memory=89516 CPUtime=6.25 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 13603 0 0 0 618 7 0 0 20 0 1 0 16144470 104783872 22379 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 25582 22379 834 747 0 24645 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 102328 KiB
Current children cumulated memory: 89516 KiB

[startup+12.7003 s]
/proc/loadavg: 2.35 2.03 2.02 5/249 170928
/proc/meminfo: memFree=55808476/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=164832 memory=133976 CPUtime=12.63 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 19077 0 0 0 1251 12 0 0 20 0 1 0 16144470 168787968 33494 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 41208 33494 834 747 0 40271 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 164832 KiB
Current children cumulated memory: 133976 KiB

[startup+25.5003 s]
/proc/loadavg: 2.72 2.13 2.05 5/249 170930
/proc/meminfo: memFree=55342720/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=182508 memory=168152 CPUtime=25.25 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 23097 0 0 0 2503 22 0 0 20 0 1 0 16144470 186888192 42038 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 45627 42038 834 747 0 44690 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 182508 KiB
Current children cumulated memory: 168152 KiB

[startup+51.1129 s]
/proc/loadavg: 3.32 2.31 2.12 5/249 170934
/proc/meminfo: memFree=54505616/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=275420 memory=212420 CPUtime=50.38 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 28835 0 0 0 5002 36 0 0 20 0 1 0 16144470 282030080 53105 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 53 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 68855 53105 834 747 0 67918 0
Current children cumulated CPU time: 50.38 s
Current children cumulated vsize: 275420 KiB
Current children cumulated memory: 212420 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.59 2.22 5/247 171094
/proc/meminfo: memFree=53167792/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=307164 memory=266792 CPUtime=101.26 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 35867 0 0 0 10064 62 0 0 20 0 1 0 16144470 314535936 66698 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 65 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 76791 66698 834 747 0 75854 0
Current children cumulated CPU time: 101.26 s
Current children cumulated vsize: 307164 KiB
Current children cumulated memory: 266792 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.85 2.34 5/257 171143
/proc/meminfo: memFree=51105168/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=331424 memory=290064 CPUtime=160.76 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 41825 0 0 0 15976 100 0 0 20 0 1 0 16144470 339378176 72516 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 95 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 82856 72516 834 747 0 81919 0
Current children cumulated CPU time: 160.76 s
Current children cumulated vsize: 331424 KiB
Current children cumulated memory: 290064 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.09 2.45 5/256 171247
/proc/meminfo: memFree=51155164/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=346936 memory=304388 CPUtime=219.14 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 45482 0 0 0 21779 135 0 0 20 0 1 0 16144470 355262464 76097 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 236 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 86734 76097 834 747 0 85797 0
Current children cumulated CPU time: 219.14 s
Current children cumulated vsize: 346936 KiB
Current children cumulated memory: 304388 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.28 2.56 5/256 171304
/proc/meminfo: memFree=49771160/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=366660 memory=323276 CPUtime=277.57 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 50317 0 0 0 27584 173 0 0 20 0 1 0 16144470 375459840 80819 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 370 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 91665 80819 834 747 0 90728 0
Current children cumulated CPU time: 277.57 s
Current children cumulated vsize: 366660 KiB
Current children cumulated memory: 323276 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.43 2.66 5/255 171314
/proc/meminfo: memFree=48359032/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=381016 memory=337812 CPUtime=335.04 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 54096 0 0 0 33303 201 0 0 20 0 1 0 16144470 390160384 84453 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 604 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 95254 84453 834 747 0 94317 0
Current children cumulated CPU time: 335.04 s
Current children cumulated vsize: 381016 KiB
Current children cumulated memory: 337812 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.56 2.75 6/262 171364
/proc/meminfo: memFree=46539920/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=392452 memory=367464 CPUtime=391.91 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 57034 0 0 0 38956 235 0 0 20 0 1 0 16144470 401870848 91866 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 898 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 98113 91866 834 747 0 97176 0
Current children cumulated CPU time: 391.91 s
Current children cumulated vsize: 392452 KiB
Current children cumulated memory: 367464 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.64 2.84 6/261 171863
/proc/meminfo: memFree=45924188/131655788 swapFree=131069668/131071996
[pid=170857] ppid=170850 vsize=400600 memory=374824 CPUtime=450.86 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 59024 0 0 0 44830 256 0 0 20 0 1 0 16144470 410214400 93706 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 983 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 100150 93706 834 747 0 99213 0

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

Current children cumulated memory: 503088 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/253 173665
/proc/meminfo: memFree=628448/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=626592 memory=503088 CPUtime=2914.52 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 88531 0 0 0 289908 1544 0 0 20 0 1 0 16144470 641630208 125772 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5761 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 156648 125772 834 747 0 155711 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 626592 KiB
Current children cumulated memory: 503088 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/249 173675
/proc/meminfo: memFree=524252/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=626916 memory=503388 CPUtime=2973.84 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 88699 0 0 0 295809 1575 0 0 20 0 1 0 16144470 641961984 125847 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5811 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 156729 125847 834 747 0 155792 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 626916 KiB
Current children cumulated memory: 503388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/246 173687
/proc/meminfo: memFree=598584/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=627240 memory=503732 CPUtime=3032.66 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 89001 0 0 0 301669 1597 0 0 20 0 1 0 16144470 642293760 125933 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5906 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 156810 125933 834 747 0 155873 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 627240 KiB
Current children cumulated memory: 503732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/251 173703
/proc/meminfo: memFree=486620/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=627496 memory=504056 CPUtime=3092.02 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 89270 0 0 0 307576 1626 0 0 20 0 1 0 16144470 642555904 126014 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5950 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 156874 126014 834 747 0 155937 0
Current children cumulated CPU time: 3092.02 s
Current children cumulated vsize: 627496 KiB
Current children cumulated memory: 504056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/251 173713
/proc/meminfo: memFree=535332/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=628456 memory=504872 CPUtime=3151.51 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 89703 0 0 0 313495 1656 0 0 20 0 1 0 16144470 643538944 126218 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5982 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 157114 126218 834 747 0 156177 0
Current children cumulated CPU time: 3151.51 s
Current children cumulated vsize: 628456 KiB
Current children cumulated memory: 504872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/261 173733
/proc/meminfo: memFree=579680/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=631012 memory=507452 CPUtime=3211.28 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 90479 0 0 0 319450 1678 0 0 20 0 1 0 16144470 646156288 126863 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5986 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 157753 126863 834 747 0 156816 0
Current children cumulated CPU time: 3211.28 s
Current children cumulated vsize: 631012 KiB
Current children cumulated memory: 507452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 173744
/proc/meminfo: memFree=581712/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=631268 memory=507600 CPUtime=3270.83 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 91229 0 0 0 325373 1710 0 0 20 0 1 0 16144470 646418432 126900 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6009 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 157817 126900 834 747 0 156880 0
Current children cumulated CPU time: 3270.83 s
Current children cumulated vsize: 631268 KiB
Current children cumulated memory: 507600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.10 5/262 173755
/proc/meminfo: memFree=592564/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=631652 memory=508092 CPUtime=3329.93 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 91454 0 0 0 331240 1753 0 0 20 0 1 0 16144470 646811648 127023 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6079 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 157913 127023 834 747 0 156976 0
Current children cumulated CPU time: 3329.93 s
Current children cumulated vsize: 631652 KiB
Current children cumulated memory: 508092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.11 5/266 173777
/proc/meminfo: memFree=565668/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=632420 memory=508860 CPUtime=3388.79 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 92245 0 0 0 337088 1791 0 0 20 0 1 0 16144470 647598080 127215 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6174 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 158105 127215 834 747 0 157168 0
Current children cumulated CPU time: 3388.79 s
Current children cumulated vsize: 632420 KiB
Current children cumulated memory: 508860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/266 173789
/proc/meminfo: memFree=567320/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=633060 memory=509516 CPUtime=3448.27 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 92579 0 0 0 342996 1831 0 0 20 0 1 0 16144470 648253440 127379 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6203 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 158265 127379 834 747 0 157328 0
Current children cumulated CPU time: 3448.27 s
Current children cumulated vsize: 633060 KiB
Current children cumulated memory: 509516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.10 5/269 173811
/proc/meminfo: memFree=567760/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=633060 memory=509516 CPUtime=3507.55 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 93206 0 0 0 348883 1872 0 0 20 0 1 0 16144470 648253440 127379 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6255 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 158265 127379 834 747 0 157328 0
Current children cumulated CPU time: 3507.55 s
Current children cumulated vsize: 633060 KiB
Current children cumulated memory: 509516 KiB

[startup+3642.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/269 173821
/proc/meminfo: memFree=580116/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=637284 memory=512784 CPUtime=3567.35 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 94205 0 0 0 354835 1900 0 0 20 0 1 0 16144470 652578816 128196 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6255 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 159321 128196 834 747 0 158384 0
Current children cumulated CPU time: 3567.35 s
Current children cumulated vsize: 637284 KiB
Current children cumulated memory: 512784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3675.5 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 173873
/proc/meminfo: memFree=33548064/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=637284 memory=512784 CPUtime=3600.07 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 94454 0 0 0 358078 1929 0 0 20 0 1 0 16144470 652578816 128196 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6289 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 159321 128196 834 747 0 158384 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 637284 KiB
Current children cumulated memory: 512784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.79 s, system=19.2988 s

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

[startup+3675.5 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 173873
/proc/meminfo: memFree=33548064/131655788 swapFree=131063932/131071996
[pid=170857] ppid=170850 vsize=637284 memory=512784 CPUtime=3600.07 cores=0,2
/proc/170857/stat : 170857 (Exact_veripb2_n) R 170850 170857 170615 0 -1 4194304 94454 0 0 0 358078 1929 0 0 20 0 1 0 16144470 652578816 128196 134679101440 4194304 7250417 140735852644816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6289 0 0 7950792 8015128 41467904 140735852647222 140735852647511 140735852647511 140735852654526 0
/proc/170857/statm: 159321 128196 834 747 0 158384 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 637284 KiB
Current children cumulated memory: 512784 KiB

Child status: 0

Real time (s): 3675.51
CPU time (s): 3600.09
CPU user time (s): 3580.79
CPU system time (s): 19.2988
CPU usage (%): 97.948
Max. virtual memory (cumulated for all children) (KiB): 687636
Max. memory (cumulated for all children) (KiB): 526108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.79
system time used= 19.2988
maximum resident set size= 542492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52252880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 325
involuntary context switches= 25234


# summary of solver processes directly reported to runsolver:
#   pid: 170857
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3580.79
#   total CPU system time (s): 19.2988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7394 second user time and 35.4663 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 08:12:34
IDJOB=4442913
IDBENCH=147856
IDSOLVER=3080
FILE ID=nodeC003/4442913-1721801554
RUNJOBID= nodeC003-1721801550-170625
SLURM_JOB_ID= 7770695
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4442913-1721801554/watcher-4442913-1721801554 -o /tmp/evaluation-result-4442913-1721801554/solver-4442913-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721801550-170625 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442913-1721801554 --seed=1739421996 HOME/instance-4442913-1721801554.opb

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=1739421996

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.276
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.274
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.294
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	: 6984.09
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.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.273
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	: 6984.09
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.293
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.425
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	: 6984.09
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.284
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:        56500984 kB
MemAvailable:   129772660 kB
Buffers:          233236 kB
Cached:         73564272 kB
SwapCached:          480 kB
Active:          2547888 kB
Inactive:       71590200 kB
Active(anon):       2016 kB
Inactive(anon):   392012 kB
Active(file):    2545872 kB
Inactive(file): 71198188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069668 kB
Dirty:             31136 kB
Writeback:             4 kB
AnonPages:        340004 kB
Mapped:           117524 kB
Shmem:             53780 kB
KReclaimable:     589360 kB
Slab:             703748 kB
SReclaimable:     589360 kB
SUnreclaim:       114388 kB
KernelStack:        3796 kB
PageTables:         9688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     692912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-24 09:13:50