Trace number 4491801

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
SCIP-NaPS 1.00a1UNSAT 1.75749 1.94494

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
MD5SUM9fc3d58150bcb180b1afc26803acc376
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.020939
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1804
Total number of constraints4931
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.60/0.87	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491801-1752596903.opb
0.60/0.87	c Solving mode: decision
0.60/0.87	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.60/0.87	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.60/0.87	c original problem has 1804 variables (1804 bin, 0 int, 0 impl, 0 cont) and 4931 constraints
0.60/0.87	c presolving:
0.60/0.87	c (round 1, fast)       20 del vars, 7 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 3167 clqs
0.60/0.87	c (round 2, fast)       35 del vars, 55 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 3180 clqs
0.60/0.87	c (round 3, medium)     150 del vars, 55 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 2950 clqs
0.60/0.87	c (round 4, fast)       150 del vars, 285 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 2950 clqs
0.60/0.87	c (round 5, exhaustive) 150 del vars, 285 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 4646 upgd conss, 0 impls, 2950 clqs
0.60/0.87	c (round 6, exhaustive) 150 del vars, 4693 del conss, 1468 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 4646 upgd conss, 0 impls, 2950 clqs
0.60/0.87	c (round 7, exhaustive) 180 del vars, 4702 del conss, 1477 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 4646 upgd conss, 0 impls, 2881 clqs
0.60/0.87	c (round 8, fast)       202 del vars, 4712 del conss, 1477 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2870 clqs
0.60/0.87	c (round 9, exhaustive) 206 del vars, 4726 del conss, 1491 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2862 clqs
0.60/0.87	c (round 10, fast)       206 del vars, 4729 del conss, 1491 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2865 clqs
0.60/0.87	c (round 11, exhaustive) 206 del vars, 4732 del conss, 1492 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2865 clqs
0.60/0.87	c (round 12, exhaustive) 207 del vars, 4736 del conss, 1496 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2863 clqs
0.60/0.87	c (round 13, exhaustive) 207 del vars, 4738 del conss, 1496 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2863 clqs
0.60/0.87	c (round 14, exhaustive) 208 del vars, 4739 del conss, 1497 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2861 clqs
0.60/0.87	c (round 15, exhaustive) 216 del vars, 4748 del conss, 1498 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2845 clqs
0.60/0.87	c (round 16, exhaustive) 279 del vars, 4749 del conss, 1498 add conss, 1 chg bounds, 112 chg sides, 234 chg coeffs, 4646 upgd conss, 0 impls, 2928 clqs
0.60/0.87	c (round 17, fast)       314 del vars, 4787 del conss, 1498 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2893 clqs
0.60/0.87	c (round 18, exhaustive) 319 del vars, 4788 del conss, 1499 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2883 clqs
0.60/0.87	c (round 19, exhaustive) 319 del vars, 4790 del conss, 1499 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2884 clqs
0.60/0.87	c (round 20, exhaustive) 320 del vars, 4796 del conss, 1505 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2881 clqs
0.60/0.87	c (round 21, exhaustive) 320 del vars, 4800 del conss, 1506 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2883 clqs
0.60/0.87	c (round 22, exhaustive) 320 del vars, 4802 del conss, 1507 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 2883 clqs
0.60/0.87	c (round 23, exhaustive) 376 del vars, 4803 del conss, 1507 add conss, 1 chg bounds, 112 chg sides, 271 chg coeffs, 4647 upgd conss, 0 impls, 3063 clqs
0.60/0.87	c (round 24, fast)       415 del vars, 4847 del conss, 1507 add conss, 1 chg bounds, 112 chg sides, 310 chg coeffs, 4660 upgd conss, 0 impls, 2994 clqs
0.60/0.87	c (round 25, exhaustive) 422 del vars, 4851 del conss, 1510 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 2991 clqs
0.60/0.87	c (round 26, exhaustive) 425 del vars, 4859 del conss, 1517 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 2981 clqs
0.60/0.87	c (round 27, fast)       426 del vars, 4862 del conss, 1517 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 2983 clqs
0.60/0.87	c (round 28, exhaustive) 426 del vars, 4864 del conss, 1517 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 2983 clqs
0.60/0.87	c (round 29, exhaustive) 426 del vars, 4865 del conss, 1518 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 2983 clqs
0.60/0.87	c (round 30, exhaustive) 458 del vars, 4866 del conss, 1518 add conss, 1 chg bounds, 112 chg sides, 311 chg coeffs, 4661 upgd conss, 0 impls, 4533 clqs
0.60/0.87	c (round 31, fast)       475 del vars, 4883 del conss, 1518 add conss, 1 chg bounds, 112 chg sides, 328 chg coeffs, 4670 upgd conss, 0 impls, 4470 clqs
0.60/0.87	c (round 32, medium)     478 del vars, 4883 del conss, 1518 add conss, 1 chg bounds, 112 chg sides, 328 chg coeffs, 4670 upgd conss, 0 impls, 4455 clqs
0.60/0.87	c (round 33, fast)       482 del vars, 4885 del conss, 1518 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4445 clqs
0.60/0.87	c (round 34, exhaustive) 487 del vars, 4895 del conss, 1528 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4423 clqs
0.60/0.87	c (round 35, exhaustive) 487 del vars, 4897 del conss, 1528 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4428 clqs
0.60/0.87	c (round 36, exhaustive) 489 del vars, 4906 del conss, 1537 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4416 clqs
0.60/0.87	c (round 37, exhaustive) 489 del vars, 4908 del conss, 1537 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4420 clqs
0.60/0.87	c (round 38, exhaustive) 489 del vars, 4910 del conss, 1539 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4420 clqs
0.60/0.87	c (round 39, exhaustive) 489 del vars, 4912 del conss, 1539 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4420 clqs
0.60/0.87	c (round 40, exhaustive) 524 del vars, 4912 del conss, 1539 add conss, 1 chg bounds, 112 chg sides, 330 chg coeffs, 4671 upgd conss, 0 impls, 4630 clqs
0.60/0.87	c (round 41, fast)       556 del vars, 4951 del conss, 1539 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 4514 clqs
0.60/0.87	c (round 42, exhaustive) 563 del vars, 4952 del conss, 1540 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 4479 clqs
0.60/0.87	c (round 43, exhaustive) 565 del vars, 4961 del conss, 1548 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 4467 clqs
0.60/0.87	c (round 44, exhaustive) 565 del vars, 4964 del conss, 1548 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 4469 clqs
0.60/0.87	c (round 45, exhaustive) 565 del vars, 4966 del conss, 1550 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 4469 clqs
0.60/0.87	c (round 46, exhaustive) 592 del vars, 4966 del conss, 1550 add conss, 1 chg bounds, 112 chg sides, 362 chg coeffs, 4678 upgd conss, 0 impls, 7933 clqs
0.60/0.87	c (round 47, fast)       596 del vars, 4971 del conss, 1550 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 7917 clqs
0.60/0.87	c (round 48, exhaustive) 605 del vars, 4992 del conss, 1571 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 7847 clqs
0.60/0.87	c (round 49, exhaustive) 605 del vars, 4994 del conss, 1571 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 7860 clqs
0.60/0.87	c (round 50, exhaustive) 605 del vars, 5003 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 7860 clqs
1.39/1.68	c (round 51, exhaustive) 605 del vars, 5006 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 7861 clqs
1.39/1.68	c (round 52, exhaustive) 631 del vars, 5006 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 367 chg coeffs, 4686 upgd conss, 0 impls, 10819 clqs
1.39/1.68	c (round 53, fast)       646 del vars, 5023 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 382 chg coeffs, 4694 upgd conss, 0 impls, 10639 clqs
1.39/1.68	c (round 54, medium)     650 del vars, 5023 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 382 chg coeffs, 4694 upgd conss, 0 impls, 10575 clqs
1.39/1.68	c (round 55, fast)       654 del vars, 5026 del conss, 1580 add conss, 1 chg bounds, 112 chg sides, 385 chg coeffs, 4696 upgd conss, 0 impls, 10534 clqs
1.39/1.68	c (round 56, exhaustive) 658 del vars, 5031 del conss, 1584 add conss, 1 chg bounds, 112 chg sides, 385 chg coeffs, 4696 upgd conss, 0 impls, 10463 clqs
1.39/1.68	c (round 57, exhaustive) 680 del vars, 5044 del conss, 1597 add conss, 1 chg bounds, 112 chg sides, 385 chg coeffs, 4696 upgd conss, 0 impls, 10128 clqs
1.39/1.68	c (round 58, fast)       700 del vars, 5057 del conss, 1597 add conss, 1 chg bounds, 112 chg sides, 393 chg coeffs, 4696 upgd conss, 0 impls, 10009 clqs
1.39/1.68	c (round 59, exhaustive) 700 del vars, 5061 del conss, 1597 add conss, 1 chg bounds, 112 chg sides, 393 chg coeffs, 4696 upgd conss, 0 impls, 10009 clqs
1.39/1.68	c (round 60, exhaustive) 710 del vars, 5069 del conss, 1605 add conss, 1 chg bounds, 112 chg sides, 393 chg coeffs, 4696 upgd conss, 0 impls, 9909 clqs
1.39/1.68	c (round 61, fast)       716 del vars, 5073 del conss, 1605 add conss, 1 chg bounds, 112 chg sides, 395 chg coeffs, 4696 upgd conss, 0 impls, 9889 clqs
1.39/1.68	c (round 62, exhaustive) 727 del vars, 5089 del conss, 1609 add conss, 1 chg bounds, 112 chg sides, 395 chg coeffs, 4696 upgd conss, 0 impls, 9745 clqs
1.39/1.68	c (round 63, exhaustive) 753 del vars, 5089 del conss, 1609 add conss, 1 chg bounds, 112 chg sides, 395 chg coeffs, 4696 upgd conss, 0 impls, 9401 clqs
1.39/1.68	c (round 64, fast)       774 del vars, 5125 del conss, 1609 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4701 upgd conss, 0 impls, 9117 clqs
1.39/1.68	c (round 65, medium)     775 del vars, 5125 del conss, 1609 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4701 upgd conss, 0 impls, 9087 clqs
1.39/1.68	c (round 66, fast)       776 del vars, 5126 del conss, 1609 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9087 clqs
1.39/1.68	c (round 67, exhaustive) 777 del vars, 5139 del conss, 1622 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9077 clqs
1.39/1.68	c (round 68, fast)       777 del vars, 5140 del conss, 1622 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9081 clqs
1.39/1.68	c (round 69, exhaustive) 777 del vars, 5142 del conss, 1622 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9081 clqs
1.39/1.68	c (round 70, exhaustive) 781 del vars, 5148 del conss, 1623 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9017 clqs
1.39/1.68	c (round 71, exhaustive) 782 del vars, 5149 del conss, 1623 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 9002 clqs
1.39/1.68	c (round 72, exhaustive) 809 del vars, 5149 del conss, 1623 add conss, 1 chg bounds, 112 chg sides, 405 chg coeffs, 4702 upgd conss, 0 impls, 10814 clqs
1.39/1.68	c (round 73, fast)       820 del vars, 5164 del conss, 1623 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10676 clqs
1.39/1.68	c (round 74, exhaustive) 821 del vars, 5175 del conss, 1634 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10666 clqs
1.39/1.68	c (round 75, fast)       821 del vars, 5176 del conss, 1634 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10671 clqs
1.39/1.68	c (round 76, exhaustive) 821 del vars, 5180 del conss, 1634 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10671 clqs
1.39/1.68	c (round 77, exhaustive) 822 del vars, 5181 del conss, 1635 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10659 clqs
1.39/1.68	c (round 78, exhaustive) 824 del vars, 5184 del conss, 1636 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 10633 clqs
1.39/1.68	c (round 79, exhaustive) 849 del vars, 5184 del conss, 1636 add conss, 1 chg bounds, 112 chg sides, 416 chg coeffs, 4709 upgd conss, 0 impls, 11313 clqs
1.39/1.68	c (round 80, fast)       853 del vars, 5202 del conss, 1636 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11272 clqs
1.39/1.68	c (round 81, exhaustive) 854 del vars, 5206 del conss, 1639 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11241 clqs
1.39/1.68	c (round 82, fast)       854 del vars, 5207 del conss, 1639 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11244 clqs
1.39/1.68	c (round 83, exhaustive) 855 del vars, 5207 del conss, 1639 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11136 clqs
1.39/1.68	c (round 84, fast)       855 del vars, 5208 del conss, 1639 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11137 clqs
1.39/1.68	c (round 85, exhaustive) 855 del vars, 5209 del conss, 1640 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11137 clqs
1.39/1.68	c (round 86, fast)       855 del vars, 5210 del conss, 1640 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11137 clqs
1.39/1.68	c (round 87, exhaustive) 880 del vars, 5210 del conss, 1640 add conss, 1 chg bounds, 112 chg sides, 425 chg coeffs, 4710 upgd conss, 0 impls, 11727 clqs
1.39/1.68	c (round 88, fast)       886 del vars, 5219 del conss, 1640 add conss, 1 chg bounds, 112 chg sides, 431 chg coeffs, 4717 upgd conss, 0 impls, 11459 clqs
1.39/1.68	c (round 89, exhaustive) 888 del vars, 5244 del conss, 1663 add conss, 1 chg bounds, 112 chg sides, 431 chg coeffs, 4717 upgd conss, 0 impls, 11282 clqs
1.39/1.68	c (round 90, fast)       888 del vars, 5245 del conss, 1663 add conss, 1 chg bounds, 112 chg sides, 431 chg coeffs, 4717 upgd conss, 0 impls, 11297 clqs
1.39/1.68	c (round 91, exhaustive) 914 del vars, 5245 del conss, 1663 add conss, 1 chg bounds, 112 chg sides, 431 chg coeffs, 4717 upgd conss, 0 impls, 11719 clqs
1.39/1.68	c (round 92, fast)       927 del vars, 5261 del conss, 1663 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11516 clqs
1.39/1.68	c (round 93, exhaustive) 928 del vars, 5269 del conss, 1671 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11514 clqs
1.39/1.68	c (round 94, exhaustive) 928 del vars, 5270 del conss, 1671 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11520 clqs
1.39/1.68	c (round 95, exhaustive) 928 del vars, 5271 del conss, 1672 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11520 clqs
1.39/1.68	c (round 96, fast)       928 del vars, 5272 del conss, 1672 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11520 clqs
1.39/1.68	c    (1.1s) probing: 1000/1612 (62.0%) - 306 fixings, 78 aggregations, 102396 implications, 0 bound changes
1.39/1.68	c    (1.2s) probing: 1073/1612 (66.6%) - 309 fixings, 78 aggregations, 103694 implications, 0 bound changes
1.39/1.68	c    (1.2s) probing aborted: 50/50 successive totally useless probings
1.39/1.68	c (round 97, exhaustive) 949 del vars, 5272 del conss, 1672 add conss, 1 chg bounds, 112 chg sides, 445 chg coeffs, 4734 upgd conss, 0 impls, 11767 clqs
1.39/1.68	c (round 98, fast)       977 del vars, 5308 del conss, 1672 add conss, 1 chg bounds, 112 chg sides, 469 chg coeffs, 4750 upgd conss, 0 impls, 11406 clqs
1.39/1.68	c (round 99, exhaustive) 979 del vars, 5317 del conss, 1681 add conss, 1 chg bounds, 112 chg sides, 469 chg coeffs, 4750 upgd conss, 0 impls, 11400 clqs
1.39/1.68	c (round 100, exhaustive) 980 del vars, 5322 del conss, 1685 add conss, 1 chg bounds, 112 chg sides, 469 chg coeffs, 4750 upgd conss, 0 impls, 11399 clqs
1.39/1.68	c (round 101, fast)       980 del vars, 5323 del conss, 1685 add conss, 1 chg bounds, 112 chg sides, 469 chg coeffs, 4750 upgd conss, 0 impls, 11402 clqs
1.69/1.91	c (round 102, exhaustive) 980 del vars, 5324 del conss, 1685 add conss, 1 chg bounds, 112 chg sides, 469 chg coeffs, 4750 upgd conss, 0 impls, 11402 clqs
1.69/1.91	c    (1.2s) probing: 1078/1612 (66.9%) - 309 fixings, 78 aggregations, 103694 implications, 0 bound changes
1.69/1.91	c    (1.2s) probing aborted: 50/50 successive totally useless probings
1.69/1.91	c    (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.69/1.91	c    (1.2s) no symmetry present (symcode time: 0.00)
1.69/1.91	c presolving (103 rounds: 103 fast, 72 medium, 68 exhaustive):
1.69/1.91	c  980 deleted vars, 5324 deleted constraints, 1685 added constraints, 1 tightened bounds, 0 added holes, 112 changed sides, 469 changed coefficients
1.69/1.91	c  0 implications, 11402 cliques
1.69/1.91	c presolved problem has 867 variables (867 bin, 0 int, 0 impl, 0 cont) and 1051 constraints
1.69/1.91	c     224 constraints of type <knapsack>
1.69/1.91	c     196 constraints of type <setppc>
1.69/1.91	c     629 constraints of type <and>
1.69/1.91	c       2 constraints of type <logicor>
1.69/1.91	c transformed objective value is always integral (scale: 1)
1.69/1.91	c Presolving Time: 1.16
1.69/1.91	c 
1.69/1.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.69/1.91	c   1.2s|     1 |     0 |   303 |     - |    25M |   0 | 867 |1088 |1680 |   0 |  0 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.69/1.91	c   1.4s|     1 |     0 |   568 |     - |    27M |   0 | 867 |1118 |1680 |   0 |  1 |  38 |   0 |    cutoff    |      --      |   0.00%| unknown
1.69/1.91	c   1.4s|     1 |     0 |   568 |     - |    27M |   0 | 867 |1118 |1680 |   0 |  1 |  38 |   0 |    cutoff    |      --      |   0.00%| unknown
1.69/1.91	c 
1.69/1.91	c SCIP Status        : problem is solved [infeasible]
1.69/1.91	c Solving Time (sec) : 1.39
1.69/1.91	c Solving Nodes      : 1
1.69/1.91	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1.69/1.91	c Dual Bound         : +1.00000000000000e+20
1.69/1.91	c Gap                : 0.00 %
1.69/1.91	c SCIP found the problem to be infeasible.
1.69/1.91	s UNSATISFIABLE

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: 63794 MiB (62976 MiB free)
  memory of node 1: 64507 MiB (61134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491801-1752596903/watcher-4491801-1752596903 -o /tmp/evaluation-result-4491801-1752596903/solver-4491801-1752596903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752596898-130595 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491801-1752596903.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=130803, runsolver pid=130795

[startup+0.100073 s]*
/proc/loadavg: 5.90 4.97 4.86 4/513 130817
/proc/meminfo: memFree=127074608/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=12528 memory=9984 CPUtime=0.05 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 1480 0 0 0 4 1 0 0 20 0 1 0 175369177 12828672 2496 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 3132 2496 1184 1 0 1344 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16720 KiB
Current children cumulated memory: 12928 KiB

[startup+0.241136 s]*
/proc/loadavg: 5.90 4.97 4.86 6/513 130817
/proc/meminfo: memFree=127057256/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1186496 memory=31228 CPUtime=0.17 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 3571 0 0 0 14 3 0 0 20 0 1 0 175369177 1214971904 7807 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 296624 7807 4863 1 0 268646 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190688 KiB
Current children cumulated memory: 34172 KiB

[startup+0.349275 s]*
/proc/loadavg: 5.90 4.97 4.86 6/513 130817
/proc/meminfo: memFree=127048688/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1189796 memory=34812 CPUtime=0.24 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 4323 0 0 0 21 3 0 0 20 0 1 0 175369177 1218351104 8703 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 297449 8703 5055 1 0 269358 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193988 KiB
Current children cumulated memory: 37756 KiB

[startup+0.700364 s]
/proc/loadavg: 5.90 4.97 4.86 5/510 130817
/proc/meminfo: memFree=126996588/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1217192 memory=69372 CPUtime=0.5 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 10327 0 0 0 44 6 0 0 20 0 1 0 175369177 1246404608 17343 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 304298 17343 7935 1 0 275656 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 1221384 KiB
Current children cumulated memory: 72316 KiB

[startup+1.50034 s]
/proc/loadavg: 5.90 4.97 4.86 4/508 130825
/proc/meminfo: memFree=126987480/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1219100 memory=71420 CPUtime=1.29 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 10824 0 0 0 123 6 0 0 20 0 1 0 175369177 1248358400 17855 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 304775 17855 7935 1 0 276133 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 1223292 KiB
Current children cumulated memory: 74364 KiB

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

# cumulated CPU time of all completed processes:  user=1.66608 s, system=0.091405 s

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

[startup+1.60035 s]
/proc/loadavg: 5.90 4.97 4.86 4/508 130825
/proc/meminfo: memFree=126987480/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1219232 memory=71420 CPUtime=1.39 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 10849 0 0 0 133 6 0 0 20 0 1 0 175369177 1248493568 17855 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 304808 17855 7935 1 0 276166 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 1223424 KiB
Current children cumulated memory: 74364 KiB

[startup+1.8003 s]
/proc/loadavg: 5.90 4.97 4.86 4/508 130825
/proc/meminfo: memFree=126987480/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1232332 memory=82684 CPUtime=1.59 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 13469 0 0 0 153 6 0 0 20 0 1 0 175369177 1261907968 20671 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 308083 20671 8127 1 0 279441 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 1236524 KiB
Current children cumulated memory: 85628 KiB

[startup+1.90036 s]
/proc/loadavg: 5.90 4.97 4.86 4/508 130825
/proc/meminfo: memFree=126987480/131382112 swapFree=33009904/33010684
[pid=130803] ppid=130795 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130803/stat : 130803 (scip-naps-1.00.) S 130795 130803 129502 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 175369173 4292608 736 18446744073709551615 93967677558784 93967678453317 140724487498160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93967678692368 93967678740112 93967687172096 140724487506335 140724487506432 140724487506432 140724487512036 0
/proc/130803/statm: 1048 736 672 219 0 110 0
[pid=130816] ppid=130803 vsize=1236684 memory=86780 CPUtime=1.69 cores=0,2
/proc/130816/stat : 130816 (python3) R 130803 130803 129502 0 -1 4194304 14489 0 0 0 162 7 0 0 20 0 1 0 175369177 1266364416 21695 18446744073709551615 94494725337088 94494725337465 140731885199024 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94494725348760 94494725349380 94494745374720 140731885205846 140731885206048 140731885206048 140731885211623 0
/proc/130816/statm: 309171 21695 8127 1 0 280529 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 1240876 KiB
Current children cumulated memory: 89724 KiB

Child status: 0

Real time (s): 1.94494
CPU time (s): 1.75749
CPU user time (s): 1.66608
CPU system time (s): 0.091405
CPU usage (%): 90.3621
Max. virtual memory (cumulated for all children) (KiB): 1240876
Max. memory (cumulated for all children) (KiB): 89724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.66608
system time used= 0.091405
maximum resident set size= 87292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 389
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 130803
#   total CPU time (s): 1.75749
#   total CPU user time (s): 1.66608
#   total CPU system time (s): 0.091405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082058 second user time and 0.169489 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-15 18:28:23
IDJOB=4491801
IDBENCH=147738
IDSOLVER=3368
FILE ID=nodeC001/4491801-1752596903
RUNJOBID= nodeC001-1752596898-130595
SLURM_JOB_ID= 9684381
Free space on /tmp= 432220 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491801-1752596903/watcher-4491801-1752596903 -o /tmp/evaluation-result-4491801-1752596903/solver-4491801-1752596903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752596898-130595 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4491801-1752596903.opb

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

MD5SUM BENCH= 9fc3d58150bcb180b1afc26803acc376
RANDOM SEED=1987467305

nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.171
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.761
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.375
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.171
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3591.448
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.147
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.166
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.208
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127089344 kB
MemAvailable:   129799832 kB
Buffers:            1668 kB
Cached:          3498648 kB
SwapCached:          128 kB
Active:           531188 kB
Inactive:        3128636 kB
Active(anon):     157672 kB
Inactive(anon):    27808 kB
Active(file):     373516 kB
Inactive(file):  3100828 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23692 kB
Writeback:            48 kB
AnonPages:        162160 kB
Mapped:           129176 kB
Shmem:             25968 kB
KReclaimable:     151160 kB
Slab:             246268 kB
SReclaimable:     151160 kB
SUnreclaim:        95108 kB
KernelStack:        8044 kB
PageTables:         3368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1537648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      153480 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432204 MiB
End job on nodeC001 at 2025-07-15 18:28:25