Trace number 4440894

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

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
MD5SUMa4b0cd988cdc47ea50384dbc6c682a43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3580.18/3700.00	c Program interrupted by user.
3580.18/3700.00	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 (3663 MiB free)
  memory of node 1: 64473 MiB (42797 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440894-1721807117/watcher-4440894-1721807117 -o /tmp/evaluation-result-4440894-1721807117/solver-4440894-1721807117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183921 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440894-1721807117 --seed=502583680 HOME/instance-4440894-1721807117.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=187583, runsolver pid=187580

[startup+0.100122 s]*
/proc/loadavg: 4.13 4.18 4.15 5/257 187584
/proc/meminfo: memFree=47415132/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=187964 memory=160664 CPUtime=0.09 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 15286 0 0 0 5 4 0 0 20 0 1 0 17240048 192475136 40166 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 46991 40166 738 747 0 46054 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 187964 KiB
Current children cumulated memory: 160664 KiB

[startup+0.205541 s]*
/proc/loadavg: 4.13 4.18 4.15 5/257 187584
/proc/meminfo: memFree=47387312/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=227868 memory=190768 CPUtime=0.19 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 21984 0 0 0 14 5 0 0 20 0 1 0 17240048 233336832 47692 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 56967 47692 770 747 0 56030 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 227868 KiB
Current children cumulated memory: 190768 KiB

[startup+0.305493 s]*
/proc/loadavg: 4.13 4.18 4.15 5/257 187584
/proc/meminfo: memFree=47354892/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=253028 memory=216944 CPUtime=0.29 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 25491 0 0 0 23 6 0 0 20 0 1 0 17240048 259100672 54236 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 63257 54236 770 747 0 62320 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 253028 KiB
Current children cumulated memory: 216944 KiB

[startup+0.700197 s]
/proc/loadavg: 4.13 4.18 4.15 5/257 187584
/proc/meminfo: memFree=47285636/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=340744 memory=320332 CPUtime=0.68 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 47764 0 0 0 58 10 0 0 20 0 1 0 17240048 348921856 80083 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 85186 80083 802 747 0 84249 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 340744 KiB
Current children cumulated memory: 320332 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.18 4.15 5/257 187584
/proc/meminfo: memFree=47231128/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=320224 memory=309460 CPUtime=1.48 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 50334 0 0 0 137 11 0 0 20 0 1 0 17240048 327909376 77365 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 80056 77365 834 747 0 79119 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 320224 KiB
Current children cumulated memory: 309460 KiB

[startup+3.10552 s]
/proc/loadavg: 4.13 4.18 4.15 5/257 187586
/proc/meminfo: memFree=47124552/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=374972 memory=338512 CPUtime=3.08 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 55975 0 0 0 294 14 0 0 20 0 1 0 17240048 383971328 84628 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 93743 84628 850 747 0 92806 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 374972 KiB
Current children cumulated memory: 338512 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.18 4.14 5/257 187586
/proc/meminfo: memFree=47008560/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=393136 memory=348364 CPUtime=6.27 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 57730 0 0 0 610 17 0 0 20 0 1 0 17240048 402571264 87091 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 98284 87091 850 747 0 97347 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 393136 KiB
Current children cumulated memory: 348364 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.17 4.14 5/257 187586
/proc/meminfo: memFree=46807428/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=401108 memory=358164 CPUtime=12.65 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 59830 0 0 0 1241 24 0 0 20 0 1 0 17240048 410734592 89541 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 100277 89541 850 747 0 99340 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 401108 KiB
Current children cumulated memory: 358164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.16 4.14 5/257 187589
/proc/meminfo: memFree=46327164/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=412236 memory=373652 CPUtime=25.41 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 62764 0 0 0 2507 34 0 0 20 0 1 0 17240048 422129664 93413 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 103059 93413 850 747 0 102122 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 412236 KiB
Current children cumulated memory: 373652 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.17 4.14 5/257 187593
/proc/meminfo: memFree=45214936/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=417348 memory=378784 CPUtime=50.38 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 64210 0 0 0 4982 56 0 0 20 0 1 0 17240048 427364352 94696 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 56 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 104337 94696 850 747 0 103400 0
Current children cumulated CPU time: 50.38 s
Current children cumulated vsize: 417348 KiB
Current children cumulated memory: 378784 KiB

[startup+102.3 s]
/proc/loadavg: 4.73 4.30 4.19 5/257 187647
/proc/meminfo: memFree=95246312/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=428916 memory=390484 CPUtime=100.88 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 67299 0 0 0 9989 99 0 0 20 0 1 0 17240048 439209984 97621 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 111 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 107229 97621 850 747 0 106292 0
Current children cumulated CPU time: 100.88 s
Current children cumulated vsize: 428916 KiB
Current children cumulated memory: 390484 KiB

[startup+162.3 s]
/proc/loadavg: 4.54 4.35 4.21 5/258 187658
/proc/meminfo: memFree=91537624/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=442144 memory=403612 CPUtime=160.02 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 70692 0 0 0 15853 149 0 0 20 0 1 0 17240048 452755456 100903 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 179 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 110536 100903 850 747 0 109599 0
Current children cumulated CPU time: 160.02 s
Current children cumulated vsize: 442144 KiB
Current children cumulated memory: 403612 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.30 4.20 5/258 187668
/proc/meminfo: memFree=89922268/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=451524 memory=415172 CPUtime=218.79 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 73116 0 0 0 21683 196 0 0 20 0 1 0 17240048 462360576 103793 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 284 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 112881 103793 850 747 0 111944 0
Current children cumulated CPU time: 218.79 s
Current children cumulated vsize: 451524 KiB
Current children cumulated memory: 415172 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.29 4.20 5/258 187680
/proc/meminfo: memFree=88173704/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=466640 memory=430244 CPUtime=277.61 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 76955 0 0 0 27516 245 0 0 20 0 1 0 17240048 477839360 107561 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 384 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 116660 107561 850 747 0 115723 0
Current children cumulated CPU time: 277.61 s
Current children cumulated vsize: 466640 KiB
Current children cumulated memory: 430244 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.25 4.19 5/259 187694
/proc/meminfo: memFree=86634168/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=473532 memory=437124 CPUtime=335.83 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 78747 0 0 0 33288 295 0 0 20 0 1 0 17240048 484896768 109281 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 546 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 118383 109281 850 747 0 117446 0
Current children cumulated CPU time: 335.83 s
Current children cumulated vsize: 473532 KiB
Current children cumulated memory: 437124 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/259 187705
/proc/meminfo: memFree=84956088/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=481624 memory=445332 CPUtime=395.07 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 80827 0 0 0 39165 342 0 0 20 0 1 0 17240048 493182976 111333 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 603 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 120406 111333 850 747 0 119469 0
Current children cumulated CPU time: 395.07 s
Current children cumulated vsize: 481624 KiB
Current children cumulated memory: 445332 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.22 4.18 5/258 187716
/proc/meminfo: memFree=83422484/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=486280 memory=449840 CPUtime=453.91 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 82052 0 0 0 45001 390 0 0 20 0 1 0 17240048 497950720 112460 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 700 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 121570 112460 850 747 0 120633 0

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


[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.17 4/257 189527
/proc/meminfo: memFree=35895564/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=729436 memory=671508 CPUtime=3065.19 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 134325 0 0 0 304088 2431 0 0 20 0 1 0 17240048 746942464 167877 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8797 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 182359 167877 850 747 0 181422 0
Current children cumulated CPU time: 3065.19 s
Current children cumulated vsize: 729436 KiB
Current children cumulated memory: 671508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/257 189538
/proc/meminfo: memFree=33677648/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=731244 memory=673316 CPUtime=3123.51 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 135037 0 0 0 309877 2474 0 0 20 0 1 0 17240048 748793856 168329 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8950 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 182811 168329 850 747 0 181874 0
Current children cumulated CPU time: 3123.51 s
Current children cumulated vsize: 731244 KiB
Current children cumulated memory: 673316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/258 189551
/proc/meminfo: memFree=31429364/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=733580 memory=675572 CPUtime=3182.25 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 135877 0 0 0 315709 2516 0 0 20 0 1 0 17240048 751185920 168893 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9058 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 183395 168893 850 747 0 182458 0
Current children cumulated CPU time: 3182.25 s
Current children cumulated vsize: 733580 KiB
Current children cumulated memory: 675572 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.18 5/260 189566
/proc/meminfo: memFree=28157412/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=735480 memory=677440 CPUtime=3239.65 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 136577 0 0 0 321409 2556 0 0 20 0 1 0 17240048 753131520 169360 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9301 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 183870 169360 850 747 0 182933 0
Current children cumulated CPU time: 3239.65 s
Current children cumulated vsize: 735480 KiB
Current children cumulated memory: 677440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/260 189577
/proc/meminfo: memFree=25807524/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=737012 memory=679048 CPUtime=3296.4 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 137218 0 0 0 327047 2593 0 0 20 0 1 0 17240048 754700288 169762 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9609 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 184253 169762 850 747 0 183316 0
Current children cumulated CPU time: 3296.4 s
Current children cumulated vsize: 737012 KiB
Current children cumulated memory: 679048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/259 189589
/proc/meminfo: memFree=22876308/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=738368 memory=680440 CPUtime=3353.81 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 137842 0 0 0 332742 2639 0 0 20 0 1 0 17240048 756088832 170110 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9850 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 184592 170110 850 747 0 183655 0
Current children cumulated CPU time: 3353.81 s
Current children cumulated vsize: 738368 KiB
Current children cumulated memory: 680440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/259 189599
/proc/meminfo: memFree=20847660/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=739520 memory=681588 CPUtime=3411.57 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 138530 0 0 0 338464 2693 0 0 20 0 1 0 17240048 757268480 170397 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10060 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 184880 170397 850 747 0 183943 0
Current children cumulated CPU time: 3411.57 s
Current children cumulated vsize: 739520 KiB
Current children cumulated memory: 681588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 4/258 189609
/proc/meminfo: memFree=17916288/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=742340 memory=684360 CPUtime=3469.61 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) D 187580 187583 183908 0 -1 4194304 139928 0 0 0 344219 2742 0 0 20 0 1 0 17240048 760156160 171090 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10168 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 185585 171090 850 747 0 184648 0
Current children cumulated CPU time: 3469.61 s
Current children cumulated vsize: 742340 KiB
Current children cumulated memory: 684360 KiB

[startup+3642.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/255 189620
/proc/meminfo: memFree=15312288/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=745268 memory=687196 CPUtime=3524.94 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 142262 0 0 0 349701 2793 0 0 20 0 1 0 17240048 763154432 171799 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10689 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 186317 171799 850 747 0 185380 0
Current children cumulated CPU time: 3524.94 s
Current children cumulated vsize: 745268 KiB
Current children cumulated memory: 687196 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.12 4.13 4.16 5/255 189630
/proc/meminfo: memFree=12908272/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=747872 memory=689856 CPUtime=3580.18 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 144793 0 0 0 355181 2837 0 0 20 0 1 0 17240048 765820928 172464 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10919 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 186968 172464 850 747 0 186031 0
Current children cumulated CPU time: 3580.18 s
Current children cumulated vsize: 747872 KiB
Current children cumulated memory: 689856 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.12 4.13 4.16 4/255 189630
/proc/meminfo: memFree=12977480/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=562392 memory=543508 CPUtime=3580.34 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) R 187580 187583 183908 0 -1 4194304 144880 0 0 0 355193 2841 0 0 20 0 1 0 17240048 575889408 135877 134679101440 4194304 7250417 140730065051776 0 0 256 0 0 8404994 0 0 0 17 5 0 0 11276 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 140598 135877 850 747 0 139661 0
??? kill 187583 sig 9
??? end of watcher thread

[startup+3702.19 s]
# the end of solver process 187583 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3551.94 s, system=28.4181 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.12 4.13 4.16 5/255 189630
/proc/meminfo: memFree=12908272/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=562392 memory=543508 CPUtime=3580.33 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) D 187580 187583 183908 0 -1 4194304 144880 0 0 0 355193 2840 0 0 20 0 1 0 17240048 575889408 135877 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11042 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 140598 135877 850 747 0 139661 0
Current children cumulated CPU time: 3580.33 s
Current children cumulated vsize: 562392 KiB
Current children cumulated memory: 543508 KiB

[startup+3701.6 s]
/proc/loadavg: 4.12 4.13 4.16 4/255 189630
/proc/meminfo: memFree=13013064/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=562392 memory=543508 CPUtime=3580.33 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) D 187580 187583 183908 0 -1 4194304 144880 0 0 0 355193 2840 0 0 20 0 1 0 17240048 575889408 135877 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11195 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 140598 135877 850 747 0 139661 0
Current children cumulated CPU time: 3580.33 s
Current children cumulated vsize: 562392 KiB
Current children cumulated memory: 543508 KiB

[startup+3702 s]*
/proc/loadavg: 4.12 4.13 4.16 4/255 189630
/proc/meminfo: memFree=12978168/131524600 swapFree=131071996/131071996
[pid=187583] ppid=187580 vsize=562392 memory=543508 CPUtime=3580.34 cores=5,7
/proc/187583/stat : 187583 (Exact_veripb2_n) D 187580 187583 183908 0 -1 4194304 144880 0 0 0 355193 2841 0 0 20 0 1 0 17240048 575889408 135877 134679101440 4194304 7250417 140730065051776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11273 0 0 7950792 8015128 28045312 140730065056571 140730065056859 140730065056859 140730065063870 0
/proc/187583/statm: 140598 135877 850 747 0 139661 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 562392 KiB
Current children cumulated memory: 543508 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3702.19
CPU time (s): 3580.35
CPU user time (s): 3551.94
CPU system time (s): 28.4181
CPU usage (%): 96.7092
Max. virtual memory (cumulated for all children) (KiB): 747872
Max. memory (cumulated for all children) (KiB): 689856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.94
system time used= 28.4181
maximum resident set size= 705868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 77872320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5179
involuntary context switches= 5095


# summary of solver processes directly reported to runsolver:
#   pid: 187583
#   total CPU time (s): 3580.35
#   total CPU user time (s): 3551.94
#   total CPU system time (s): 28.4181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20022 second user time and 16.9206 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 09:45:17
IDJOB=4440894
IDBENCH=155358
IDSOLVER=3080
FILE ID=nodeC020/4440894-1721807117
RUNJOBID= nodeC020-1721801546-183921
SLURM_JOB_ID= 7770683
Free space on /tmp= 890016 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-stp3d.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-4440894-1721807117/watcher-4440894-1721807117 -o /tmp/evaluation-result-4440894-1721807117/solver-4440894-1721807117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183921 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440894-1721807117 --seed=502583680 HOME/instance-4440894-1721807117.opb

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

MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=502583680

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		: 3669.927
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		: 3687.024
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		: 3599.840
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		: 3634.259
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		: 3669.929
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		: 3677.964
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		: 3599.823
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		: 3653.930
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:        47575484 kB
MemAvailable:   94800456 kB
Buffers:          242340 kB
Cached:         47668208 kB
SwapCached:            0 kB
Active:          2653900 kB
Inactive:       80309180 kB
Active(anon):       1544 kB
Inactive(anon): 35105144 kB
Active(file):    2652356 kB
Inactive(file): 45204036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            174696 kB
Writeback:             0 kB
AnonPages:      35051616 kB
Mapped:           130424 kB
Shmem:             54096 kB
KReclaimable:     416808 kB
Slab:             550448 kB
SReclaimable:     416808 kB
SUnreclaim:       133640 kB
KernelStack:        4060 kB
PageTables:        83392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   40914200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16189440 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:      359124 kB
DirectMap2M:    43454464 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC020 at 2024-07-24 10:46:59