Trace number 4529772

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.00a2UNSAT 3.7252 3.82793

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
MD5SUMddebabde72c7b5ddfd98b8636a36d96f
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.132719
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3939
Total number of constraints10412
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
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 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.80/0.95	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529772-1752596885.opb
0.80/0.95	c Solving mode: decision
0.80/0.95	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.80/0.95	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.80/0.95	c original problem has 3939 variables (3939 bin, 0 int, 0 impl, 0 cont) and 10412 constraints
0.80/0.95	c presolving:
0.80/0.95	c (round 1, fast)       47 del vars, 10 del conss, 0 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 0 impls, 6534 clqs
0.80/0.95	c (round 2, fast)       88 del vars, 115 del conss, 0 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 0 impls, 6555 clqs
0.80/0.95	c (round 3, medium)     285 del vars, 115 del conss, 0 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 0 impls, 6160 clqs
0.80/0.95	c (round 4, fast)       286 del vars, 511 del conss, 0 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 0 impls, 6162 clqs
0.80/0.95	c (round 5, exhaustive) 286 del vars, 512 del conss, 0 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 9899 upgd conss, 0 impls, 6162 clqs
0.80/0.95	c (round 6, exhaustive) 287 del vars, 9706 del conss, 3063 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 9899 upgd conss, 0 impls, 6160 clqs
0.80/0.95	c (round 7, exhaustive) 305 del vars, 9712 del conss, 3069 add conss, 1 chg bounds, 336 chg sides, 672 chg coeffs, 9899 upgd conss, 0 impls, 6119 clqs
0.80/0.95	c (round 8, fast)       321 del vars, 9719 del conss, 3069 add conss, 1 chg bounds, 336 chg sides, 679 chg coeffs, 9899 upgd conss, 0 impls, 6112 clqs
0.80/0.95	c (round 9, exhaustive) 321 del vars, 9725 del conss, 3071 add conss, 1 chg bounds, 336 chg sides, 679 chg coeffs, 9899 upgd conss, 0 impls, 6112 clqs
0.80/0.95	c (round 10, exhaustive) 349 del vars, 9732 del conss, 3078 add conss, 1 chg bounds, 336 chg sides, 679 chg coeffs, 9899 upgd conss, 0 impls, 6044 clqs
0.80/0.95	c (round 11, fast)       467 del vars, 9772 del conss, 3078 add conss, 1 chg bounds, 336 chg sides, 714 chg coeffs, 9899 upgd conss, 0 impls, 5861 clqs
0.80/0.95	c (round 12, exhaustive) 467 del vars, 9775 del conss, 3079 add conss, 1 chg bounds, 336 chg sides, 714 chg coeffs, 9899 upgd conss, 0 impls, 5861 clqs
0.80/0.95	c (round 13, exhaustive) 516 del vars, 9796 del conss, 3098 add conss, 1 chg bounds, 336 chg sides, 714 chg coeffs, 9899 upgd conss, 0 impls, 5736 clqs
0.80/0.95	c (round 14, fast)       569 del vars, 9829 del conss, 3098 add conss, 1 chg bounds, 336 chg sides, 741 chg coeffs, 9899 upgd conss, 0 impls, 5707 clqs
0.80/0.95	c (round 15, exhaustive) 569 del vars, 9834 del conss, 3098 add conss, 1 chg bounds, 336 chg sides, 741 chg coeffs, 9899 upgd conss, 0 impls, 5707 clqs
0.80/0.95	c (round 16, exhaustive) 586 del vars, 9849 del conss, 3113 add conss, 1 chg bounds, 336 chg sides, 741 chg coeffs, 9899 upgd conss, 0 impls, 5668 clqs
0.80/0.95	c (round 17, fast)       606 del vars, 9864 del conss, 3113 add conss, 1 chg bounds, 336 chg sides, 746 chg coeffs, 9899 upgd conss, 0 impls, 5664 clqs
0.80/0.95	c (round 18, exhaustive) 606 del vars, 9868 del conss, 3113 add conss, 1 chg bounds, 336 chg sides, 746 chg coeffs, 9899 upgd conss, 0 impls, 5664 clqs
0.80/0.95	c (round 19, exhaustive) 649 del vars, 9912 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 746 chg coeffs, 9899 upgd conss, 0 impls, 5576 clqs
0.80/0.95	c (round 20, exhaustive) 651 del vars, 9915 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 5574 clqs
0.80/0.95	c (round 21, exhaustive) 684 del vars, 9948 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 5508 clqs
0.80/0.95	c (round 22, exhaustive) 692 del vars, 9956 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 5492 clqs
0.80/0.95	c (round 23, exhaustive) 697 del vars, 9961 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 5482 clqs
0.80/0.95	c (round 24, exhaustive) 700 del vars, 9964 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 5476 clqs
0.80/0.95	c (round 25, exhaustive) 988 del vars, 9966 del conss, 3114 add conss, 1 chg bounds, 336 chg sides, 748 chg coeffs, 9899 upgd conss, 0 impls, 4840 clqs
0.80/0.95	c (round 26, fast)       1460 del vars, 10365 del conss, 3115 add conss, 1 chg bounds, 336 chg sides, 1128 chg coeffs, 9910 upgd conss, 0 impls, 4138 clqs
0.80/0.95	c (round 27, fast)       1463 del vars, 10370 del conss, 3115 add conss, 1 chg bounds, 336 chg sides, 1128 chg coeffs, 9910 upgd conss, 0 impls, 4143 clqs
0.80/0.95	c (round 28, exhaustive) 1501 del vars, 10380 del conss, 3125 add conss, 1 chg bounds, 336 chg sides, 1132 chg coeffs, 9910 upgd conss, 0 impls, 4047 clqs
0.80/0.95	c (round 29, fast)       1529 del vars, 10396 del conss, 3125 add conss, 1 chg bounds, 336 chg sides, 1143 chg coeffs, 9910 upgd conss, 0 impls, 4040 clqs
0.80/0.95	c (round 30, exhaustive) 1576 del vars, 10419 del conss, 3146 add conss, 1 chg bounds, 336 chg sides, 1143 chg coeffs, 9910 upgd conss, 0 impls, 3894 clqs
0.80/0.95	c (round 31, fast)       1615 del vars, 10446 del conss, 3146 add conss, 1 chg bounds, 336 chg sides, 1160 chg coeffs, 9910 upgd conss, 0 impls, 3868 clqs
0.80/0.95	c (round 32, exhaustive) 1615 del vars, 10450 del conss, 3146 add conss, 1 chg bounds, 336 chg sides, 1160 chg coeffs, 9910 upgd conss, 0 impls, 3868 clqs
0.80/0.95	c (round 33, exhaustive) 1626 del vars, 10463 del conss, 3159 add conss, 1 chg bounds, 336 chg sides, 1163 chg coeffs, 9910 upgd conss, 0 impls, 3837 clqs
0.80/0.95	c (round 34, fast)       1636 del vars, 10486 del conss, 3159 add conss, 1 chg bounds, 336 chg sides, 1172 chg coeffs, 9910 upgd conss, 0 impls, 3828 clqs
0.80/0.95	c (round 35, exhaustive) 1636 del vars, 10489 del conss, 3159 add conss, 1 chg bounds, 336 chg sides, 1172 chg coeffs, 9910 upgd conss, 0 impls, 3828 clqs
0.80/0.95	c (round 36, exhaustive) 1674 del vars, 10528 del conss, 3160 add conss, 1 chg bounds, 336 chg sides, 1172 chg coeffs, 9910 upgd conss, 0 impls, 3752 clqs
0.80/0.95	c (round 37, fast)       1677 del vars, 10531 del conss, 3163 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3749 clqs
0.80/0.95	c (round 38, exhaustive) 1687 del vars, 10542 del conss, 3163 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3729 clqs
0.80/0.95	c (round 39, exhaustive) 1697 del vars, 10542 del conss, 3163 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3709 clqs
0.80/0.95	c (round 40, exhaustive) 1701 del vars, 10556 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3701 clqs
0.80/0.95	c (round 41, exhaustive) 1710 del vars, 10565 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3683 clqs
0.80/0.95	c (round 42, exhaustive) 1713 del vars, 10568 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3677 clqs
0.80/0.95	c (round 43, exhaustive) 1716 del vars, 10571 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3671 clqs
0.80/0.95	c (round 44, exhaustive) 1719 del vars, 10574 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3665 clqs
0.80/0.95	c (round 45, exhaustive) 1722 del vars, 10577 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3659 clqs
0.80/0.95	c (round 46, exhaustive) 1725 del vars, 10580 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3653 clqs
0.80/0.95	c (round 47, exhaustive) 1728 del vars, 10583 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3647 clqs
0.80/0.95	c (round 48, fast)       1728 del vars, 10585 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3647 clqs
0.80/0.95	c (round 49, exhaustive) 1741 del vars, 10598 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3621 clqs
0.80/0.95	c (round 50, exhaustive) 1744 del vars, 10601 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3615 clqs
1.09/1.21	c (round 51, exhaustive) 1747 del vars, 10604 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3609 clqs
1.09/1.21	c (round 52, exhaustive) 1750 del vars, 10607 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3603 clqs
1.09/1.21	c (round 53, exhaustive) 1753 del vars, 10610 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3597 clqs
1.09/1.21	c (round 54, exhaustive) 1768 del vars, 10625 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1175 chg coeffs, 9910 upgd conss, 0 impls, 3559 clqs
1.09/1.21	c (round 55, fast)       1776 del vars, 10633 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1183 chg coeffs, 9910 upgd conss, 0 impls, 3551 clqs
1.09/1.21	c (round 56, exhaustive) 1798 del vars, 10655 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1183 chg coeffs, 9910 upgd conss, 0 impls, 3503 clqs
1.09/1.21	c (round 57, fast)       1800 del vars, 10657 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3501 clqs
1.09/1.21	c (round 58, exhaustive) 1812 del vars, 10669 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3477 clqs
1.09/1.21	c (round 59, exhaustive) 1817 del vars, 10674 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3467 clqs
1.09/1.21	c (round 60, exhaustive) 1820 del vars, 10677 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3461 clqs
1.09/1.21	c (round 61, exhaustive) 1822 del vars, 10679 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3457 clqs
1.09/1.21	c (round 62, exhaustive) 1829 del vars, 10686 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3441 clqs
1.09/1.21	c (round 63, exhaustive) 1835 del vars, 10692 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3427 clqs
1.09/1.21	c (round 64, exhaustive) 1841 del vars, 10698 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3413 clqs
1.09/1.21	c (round 65, exhaustive) 1843 del vars, 10700 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9910 upgd conss, 0 impls, 3409 clqs
1.09/1.21	c (round 66, exhaustive) 1843 del vars, 10700 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9914 upgd conss, 0 impls, 3409 clqs
1.09/1.21	c (round 67, exhaustive) 1892 del vars, 10700 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1185 chg coeffs, 9914 upgd conss, 0 impls, 3753 clqs
1.09/1.21	c (round 68, fast)       1920 del vars, 10733 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1213 chg coeffs, 9917 upgd conss, 0 impls, 3717 clqs
1.09/1.21	c (round 69, medium)     1923 del vars, 10733 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1213 chg coeffs, 9917 upgd conss, 0 impls, 3710 clqs
1.09/1.21	c (round 70, fast)       1924 del vars, 10735 del conss, 3173 add conss, 1 chg bounds, 336 chg sides, 1214 chg coeffs, 9918 upgd conss, 0 impls, 3708 clqs
1.09/1.21	c (round 71, exhaustive) 1927 del vars, 10738 del conss, 3176 add conss, 1 chg bounds, 336 chg sides, 1214 chg coeffs, 9918 upgd conss, 0 impls, 3697 clqs
1.09/1.21	c (round 72, exhaustive) 1934 del vars, 10748 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1214 chg coeffs, 9918 upgd conss, 0 impls, 3684 clqs
1.09/1.21	c (round 73, exhaustive) 1939 del vars, 10754 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1214 chg coeffs, 9918 upgd conss, 0 impls, 3672 clqs
1.09/1.21	c (round 74, exhaustive) 1944 del vars, 10759 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3660 clqs
1.09/1.21	c (round 75, exhaustive) 1953 del vars, 10769 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3636 clqs
1.09/1.21	c (round 76, exhaustive) 1962 del vars, 10778 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3618 clqs
1.09/1.21	c (round 77, exhaustive) 1971 del vars, 10787 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3600 clqs
1.09/1.21	c (round 78, exhaustive) 1980 del vars, 10796 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3582 clqs
1.09/1.21	c (round 79, exhaustive) 1989 del vars, 10805 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3564 clqs
1.09/1.21	c (round 80, exhaustive) 1992 del vars, 10808 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3558 clqs
1.09/1.21	c (round 81, exhaustive) 1995 del vars, 10811 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3552 clqs
1.09/1.21	c (round 82, exhaustive) 1998 del vars, 10814 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3546 clqs
1.09/1.21	c (round 83, exhaustive) 2001 del vars, 10817 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3540 clqs
1.09/1.21	c (round 84, exhaustive) 2004 del vars, 10820 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3534 clqs
1.09/1.21	c (round 85, exhaustive) 2007 del vars, 10823 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3528 clqs
1.09/1.21	c (round 86, fast)       2007 del vars, 10825 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3528 clqs
1.09/1.21	c (round 87, exhaustive) 2022 del vars, 10840 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3482 clqs
1.09/1.21	c (round 88, exhaustive) 2025 del vars, 10843 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3476 clqs
1.09/1.21	c (round 89, exhaustive) 2028 del vars, 10846 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3470 clqs
1.09/1.21	c (round 90, exhaustive) 2031 del vars, 10849 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3464 clqs
1.09/1.21	c (round 91, exhaustive) 2034 del vars, 10852 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3458 clqs
1.09/1.21	c (round 92, exhaustive) 2051 del vars, 10869 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3400 clqs
1.09/1.21	c (round 93, exhaustive) 2056 del vars, 10874 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3390 clqs
1.09/1.21	c (round 94, exhaustive) 2059 del vars, 10877 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3384 clqs
1.09/1.21	c (round 95, exhaustive) 2062 del vars, 10880 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3378 clqs
1.09/1.21	c (round 96, exhaustive) 2065 del vars, 10883 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3372 clqs
1.09/1.21	c (round 97, exhaustive) 2083 del vars, 10901 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1215 chg coeffs, 9918 upgd conss, 0 impls, 3303 clqs
1.09/1.21	c (round 98, fast)       2093 del vars, 10911 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1225 chg coeffs, 9918 upgd conss, 0 impls, 3277 clqs
1.09/1.21	c (round 99, exhaustive) 2112 del vars, 10930 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1225 chg coeffs, 9918 upgd conss, 0 impls, 3204 clqs
1.09/1.21	c (round 100, fast)       2114 del vars, 10932 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1227 chg coeffs, 9918 upgd conss, 0 impls, 3202 clqs
1.09/1.21	c (round 101, exhaustive) 2124 del vars, 10942 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1227 chg coeffs, 9918 upgd conss, 0 impls, 3168 clqs
1.09/1.21	c (round 102, exhaustive) 2129 del vars, 10947 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1227 chg coeffs, 9918 upgd conss, 0 impls, 3156 clqs
3.08/3.23	c (round 103, exhaustive) 2132 del vars, 10950 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1227 chg coeffs, 9918 upgd conss, 0 impls, 3149 clqs
3.08/3.23	c (round 104, exhaustive) 2173 del vars, 10951 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1227 chg coeffs, 9918 upgd conss, 0 impls, 3500 clqs
3.08/3.23	c (round 105, fast)       2194 del vars, 10973 del conss, 3179 add conss, 1 chg bounds, 336 chg sides, 1248 chg coeffs, 9924 upgd conss, 0 impls, 3447 clqs
3.08/3.23	c (round 106, exhaustive) 2196 del vars, 10975 del conss, 3180 add conss, 1 chg bounds, 336 chg sides, 1248 chg coeffs, 9924 upgd conss, 0 impls, 3440 clqs
3.08/3.23	c (round 107, exhaustive) 2197 del vars, 10978 del conss, 3182 add conss, 1 chg bounds, 336 chg sides, 1248 chg coeffs, 9924 upgd conss, 0 impls, 3437 clqs
3.08/3.23	c (round 108, exhaustive) 2224 del vars, 10979 del conss, 3182 add conss, 1 chg bounds, 336 chg sides, 1248 chg coeffs, 9924 upgd conss, 0 impls, 11197 clqs
3.08/3.23	c (round 109, fast)       2240 del vars, 10996 del conss, 3182 add conss, 1 chg bounds, 336 chg sides, 1264 chg coeffs, 9933 upgd conss, 0 impls, 10933 clqs
3.08/3.23	c (round 110, exhaustive) 2260 del vars, 11020 del conss, 3206 add conss, 1 chg bounds, 336 chg sides, 1264 chg coeffs, 9933 upgd conss, 0 impls, 10538 clqs
3.08/3.23	c (round 111, exhaustive) 2266 del vars, 11040 del conss, 3226 add conss, 1 chg bounds, 336 chg sides, 1264 chg coeffs, 9933 upgd conss, 0 impls, 10452 clqs
3.08/3.23	c (round 112, exhaustive) 2267 del vars, 11047 del conss, 3232 add conss, 1 chg bounds, 336 chg sides, 1264 chg coeffs, 9933 upgd conss, 0 impls, 10424 clqs
3.08/3.23	c (round 113, exhaustive) 2293 del vars, 11047 del conss, 3232 add conss, 1 chg bounds, 336 chg sides, 1264 chg coeffs, 9933 upgd conss, 0 impls, 11487 clqs
3.08/3.23	c (round 114, fast)       2300 del vars, 11064 del conss, 3232 add conss, 1 chg bounds, 336 chg sides, 1273 chg coeffs, 9937 upgd conss, 0 impls, 11381 clqs
3.08/3.23	c (round 115, fast)       2300 del vars, 11066 del conss, 3232 add conss, 1 chg bounds, 336 chg sides, 1273 chg coeffs, 9937 upgd conss, 0 impls, 11382 clqs
3.08/3.23	c (round 116, exhaustive) 2300 del vars, 11067 del conss, 3232 add conss, 1 chg bounds, 337 chg sides, 1274 chg coeffs, 9937 upgd conss, 0 impls, 11382 clqs
3.08/3.23	c (round 117, exhaustive) 2307 del vars, 11078 del conss, 3243 add conss, 1 chg bounds, 337 chg sides, 1274 chg coeffs, 9937 upgd conss, 0 impls, 11234 clqs
3.08/3.23	c (round 118, exhaustive) 2308 del vars, 11086 del conss, 3250 add conss, 1 chg bounds, 337 chg sides, 1274 chg coeffs, 9937 upgd conss, 0 impls, 11228 clqs
3.08/3.23	c    (1.3s) probing: 1000/3347 (29.9%) - 410 fixings, 32 aggregations, 56678 implications, 0 bound changes
3.08/3.23	c (round 119, exhaustive) 2334 del vars, 11087 del conss, 3250 add conss, 1 chg bounds, 337 chg sides, 1274 chg coeffs, 9937 upgd conss, 0 impls, 26206 clqs
3.08/3.23	c (round 120, fast)       2337 del vars, 11099 del conss, 3250 add conss, 1 chg bounds, 337 chg sides, 1276 chg coeffs, 9947 upgd conss, 0 impls, 25944 clqs
3.08/3.23	c (round 121, exhaustive) 2338 del vars, 11276 del conss, 3425 add conss, 1 chg bounds, 337 chg sides, 1276 chg coeffs, 9947 upgd conss, 0 impls, 25843 clqs
3.08/3.23	c (round 122, exhaustive) 2363 del vars, 11276 del conss, 3425 add conss, 1 chg bounds, 337 chg sides, 1276 chg coeffs, 9947 upgd conss, 0 impls, 28645 clqs
3.08/3.23	c (round 123, fast)       2366 del vars, 11287 del conss, 3425 add conss, 1 chg bounds, 337 chg sides, 1278 chg coeffs, 9961 upgd conss, 0 impls, 28307 clqs
3.08/3.23	c (round 124, exhaustive) 2368 del vars, 11372 del conss, 3509 add conss, 1 chg bounds, 337 chg sides, 1278 chg coeffs, 9961 upgd conss, 0 impls, 28179 clqs
3.08/3.23	c (round 125, fast)       2368 del vars, 11380 del conss, 3509 add conss, 1 chg bounds, 337 chg sides, 1278 chg coeffs, 9961 upgd conss, 0 impls, 28262 clqs
3.08/3.23	c (round 126, exhaustive) 2369 del vars, 11381 del conss, 3510 add conss, 1 chg bounds, 337 chg sides, 1278 chg coeffs, 9961 upgd conss, 0 impls, 28211 clqs
3.08/3.23	c (round 127, exhaustive) 2395 del vars, 11382 del conss, 3510 add conss, 1 chg bounds, 337 chg sides, 1278 chg coeffs, 9961 upgd conss, 0 impls, 24079 clqs
3.08/3.23	c (round 128, fast)       2445 del vars, 11437 del conss, 3510 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 23061 clqs
3.08/3.23	c (round 129, exhaustive) 2449 del vars, 11453 del conss, 3526 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22706 clqs
3.08/3.23	c (round 130, exhaustive) 2449 del vars, 11455 del conss, 3526 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22721 clqs
3.08/3.23	c (round 131, exhaustive) 2450 del vars, 11463 del conss, 3534 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22683 clqs
3.08/3.23	c (round 132, fast)       2450 del vars, 11465 del conss, 3534 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22686 clqs
3.08/3.23	c (round 133, exhaustive) 2450 del vars, 11468 del conss, 3534 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22686 clqs
3.08/3.23	c (round 134, exhaustive) 2450 del vars, 11469 del conss, 3535 add conss, 1 chg bounds, 337 chg sides, 1281 chg coeffs, 9983 upgd conss, 0 impls, 22686 clqs
3.08/3.23	c    (1.7s) probing: 1884/3347 (56.3%) - 459 fixings, 43 aggregations, 72981 implications, 0 bound changes
3.08/3.23	c    (1.7s) probing aborted: 50/50 successive totally useless probings
3.08/3.23	c    (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.08/3.23	c    (1.7s) symmetry computation finished: 18 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.00)
3.08/3.23	c dynamic symmetry handling statistics:
3.08/3.23	c    orbitopal reduction:        2 components: 8x6, 15x14
3.08/3.23	c    orbital reduction:         no components
3.08/3.23	c    lexicographic reduction:   no permutations
3.08/3.23	c handled 2 out of 2 symmetry components
3.08/3.23	c presolving (135 rounds: 135 fast, 105 medium, 103 exhaustive):
3.08/3.23	c  2450 deleted vars, 11470 deleted constraints, 3535 added constraints, 1 tightened bounds, 0 added holes, 337 changed sides, 1281 changed coefficients
3.08/3.23	c  0 implications, 22686 cliques
3.08/3.23	c presolved problem has 1639 variables (1639 bin, 0 int, 0 impl, 0 cont) and 1830 constraints
3.08/3.23	c     671 constraints of type <knapsack>
3.08/3.23	c     374 constraints of type <setppc>
3.08/3.23	c     785 constraints of type <and>
3.08/3.23	c transformed objective value is always integral (scale: 1)
3.08/3.23	c Presolving Time: 1.68
3.08/3.23	c 
3.08/3.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.08/3.23	c   1.8s|     1 |     0 |   437 |     - |    60M |   0 |1639 |1873 |2615 |   0 |  0 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.0s|     1 |     0 |  1243 |     - |    61M |   0 |1639 |1919 |2521 | 124 |  1 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.1s|     1 |     0 |  1526 |     - |    61M |   0 |1639 |1855 |2600 | 203 |  2 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.1s|     1 |     0 |  1846 |     - |    64M |   0 |1639 |1856 |2661 | 264 |  3 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.2s|     1 |     0 |  2076 |     - |    65M |   0 |1639 |1857 |2739 | 342 |  4 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.3s|     1 |     0 |  2276 |     - |    67M |   0 |1639 |1858 |2805 | 408 |  5 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.3s|     1 |     0 |  2462 |     - |    68M |   0 |1639 |1859 |2854 | 457 |  6 |  49 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.4s|     1 |     0 |  2679 |     - |    70M |   0 |1639 |1860 |2893 | 496 |  7 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.5s|     1 |     0 |  2782 |     - |    71M |   0 |1639 |1862 |2929 | 532 |  8 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.6s|     1 |     0 |  2921 |     - |    74M |   0 |1639 |1866 |2965 | 568 |  9 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.23	c   2.7s|     1 |     0 |  3023 |     - |    78M |   0 |1639 |1866 |3001 | 604 | 10 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.7s|     1 |     0 |  3107 |     - |    79M |   0 |1639 |1868 |3028 | 631 | 11 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.7s|     1 |     0 |  3107 |     - |    79M |   0 |1639 |1785 |3037 | 631 | 11 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.8s|     1 |     0 |  3202 |     - |    79M |   0 |1639 |1785 |3066 | 660 | 12 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.8s|     1 |     0 |  3282 |     - |    80M |   0 |1639 |1786 |3093 | 687 | 13 |  62 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.58/3.76	c   2.8s|     1 |     0 |  3334 |     - |    80M |   0 |1639 |1787 |2994 | 706 | 14 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.9s|     1 |     0 |  3418 |     - |    80M |   0 |1639 |1792 |3015 | 727 | 15 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.9s|     1 |     0 |  3485 |     - |    81M |   0 |1639 |1794 |3040 | 752 | 16 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   2.9s|     1 |     0 |  3543 |     - |    82M |   0 |1639 |1796 |3060 | 772 | 17 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.0s|     1 |     0 |  3594 |     - |    82M |   0 |1639 |1797 |3084 | 796 | 18 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.0s|     1 |     0 |  3662 |     - |    82M |   0 |1639 |1799 |3109 | 821 | 19 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.1s|     1 |     0 |  3704 |     - |    84M |   0 |1639 |1801 |2964 | 843 | 20 |  78 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.1s|     1 |     0 |  3750 |     - |    84M |   0 |1639 |1803 |2980 | 859 | 21 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.1s|     1 |     0 |  3793 |     - |    84M |   0 |1639 |1804 |2997 | 876 | 22 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.76	c   3.3s|     1 |     0 |  4138 |     - |    84M |   0 |1639 |1774 |2997 | 876 | 22 |  91 |   4 |    cutoff    |      --      |   0.00%| unknown
3.58/3.76	c 
3.58/3.76	c SCIP Status        : problem is solved [infeasible]
3.58/3.76	c Solving Time (sec) : 3.26
3.58/3.76	c Solving Nodes      : 1
3.58/3.76	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3.58/3.76	c Dual Bound         : +1.00000000000000e+20
3.58/3.76	c Gap                : 0.00 %
3.58/3.76	c SCIP found the problem to be infeasible.
3.58/3.76	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 (62799 MiB free)
  memory of node 1: 64507 MiB (61108 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529772-1752596885/watcher-4529772-1752596885 -o /tmp/evaluation-result-4529772-1752596885/solver-4529772-1752596885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752596873-129515 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529772-1752596885.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=130163, runsolver pid=130159

[startup+0.100073 s]*
/proc/loadavg: 6.54 5.02 4.88 4/513 130176
/proc/meminfo: memFree=126877992/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=11128 memory=8320 CPUtime=0.03 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 1113 0 0 0 2 1 0 0 20 0 1 0 175367457 11395072 2080 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 2782 2080 1120 1 0 1038 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 15320 KiB
Current children cumulated memory: 11392 KiB

[startup+0.229782 s]*
/proc/loadavg: 6.54 5.02 4.88 6/513 130176
/proc/meminfo: memFree=126853312/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=127424 memory=26880 CPUtime=0.15 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 3049 0 0 0 12 3 0 0 20 0 1 0 175367457 130482176 6720 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 31856 6720 4264 1 0 3958 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 131616 KiB
Current children cumulated memory: 29952 KiB

[startup+0.328169 s]*
/proc/loadavg: 6.54 5.02 4.88 5/513 130176
/proc/meminfo: memFree=126847996/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1189164 memory=34432 CPUtime=0.24 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 4196 0 0 0 20 4 0 0 20 0 1 0 175367457 1217703936 8608 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 297291 8608 5064 1 0 269200 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1193356 KiB
Current children cumulated memory: 37504 KiB

[startup+0.700448 s]
/proc/loadavg: 6.54 5.02 4.88 5/513 130176
/proc/meminfo: memFree=126809692/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1234400 memory=86656 CPUtime=0.59 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 14589 0 0 0 50 9 0 0 20 0 1 0 175367457 1264025600 21664 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 308600 21664 7944 1 0 279958 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 1238592 KiB
Current children cumulated memory: 89728 KiB

[startup+1.50037 s]
/proc/loadavg: 6.54 5.02 4.88 5/508 130184
/proc/meminfo: memFree=126798532/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1238508 memory=90624 CPUtime=1.38 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 15607 0 0 0 129 9 0 0 20 0 1 0 175367457 1268232192 22656 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 309627 22656 7944 1 0 280985 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 1242700 KiB
Current children cumulated memory: 93696 KiB

[startup+3.12813 s]
/proc/loadavg: 6.34 5.01 4.87 4/508 130184
/proc/meminfo: memFree=126749068/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1278388 memory=125920 CPUtime=3 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 24818 0 0 0 289 11 0 0 20 0 1 0 175367457 1309069312 31480 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 319597 31480 8168 1 0 290955 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1282580 KiB
Current children cumulated memory: 128992 KiB

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

# cumulated CPU time of all completed processes:  user=3.57873 s, system=0.14647 s

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

[startup+3.20042 s]
/proc/loadavg: 6.34 5.01 4.87 4/508 130184
/proc/meminfo: memFree=126749068/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1281392 memory=128608 CPUtime=3.07 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 25481 0 0 0 296 11 0 0 20 0 1 0 175367457 1312145408 32152 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 320348 32152 8168 1 0 291706 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1285584 KiB
Current children cumulated memory: 131680 KiB

[startup+3.6003 s]
/proc/loadavg: 6.34 5.01 4.87 4/508 130184
/proc/meminfo: memFree=126749068/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1286560 memory=130784 CPUtime=3.47 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 26037 0 0 0 336 11 0 0 20 0 1 0 175367457 1317437440 32696 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 321640 32696 8168 1 0 292998 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 1290752 KiB
Current children cumulated memory: 133856 KiB

[startup+3.80033 s]
/proc/loadavg: 6.34 5.01 4.87 4/508 130184
/proc/meminfo: memFree=126749068/131382112 swapFree=33009904/33010684
[pid=130163] ppid=130159 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/130163/stat : 130163 (scip-naps-1.00a) S 130159 130163 129502 0 -1 4194304 258 340 0 0 0 0 0 1 20 0 1 0 175367449 4292608 768 18446744073709551615 94674855137280 94674856031813 140728631643072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94674856270864 94674856318608 94674876395520 140728631646619 140728631646718 140728631646718 140728631652322 0
/proc/130163/statm: 1048 768 704 219 0 110 0
[pid=130174] ppid=130163 vsize=1289580 memory=133984 CPUtime=3.67 cores=5,7
/proc/130174/stat : 130174 (python3) R 130163 130163 129502 0 -1 4194304 29347 0 0 0 355 12 0 0 20 0 1 0 175367457 1320529920 33496 18446744073709551615 94062608531456 94062608531833 140721457014640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94062608543128 94062608543748 94062623047680 140721457023311 140721457023520 140721457023520 140721457029095 0
/proc/130174/statm: 322395 33496 8168 1 0 293753 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 1293772 KiB
Current children cumulated memory: 137056 KiB

Child status: 0

Real time (s): 3.82793
CPU time (s): 3.7252
CPU user time (s): 3.57873
CPU system time (s): 0.14647
CPU usage (%): 97.3164
Max. virtual memory (cumulated for all children) (KiB): 1293772
Max. memory (cumulated for all children) (KiB): 137056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.57873
system time used= 0.14647
maximum resident set size= 139616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29986
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= 456
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 130163
#   total CPU time (s): 3.7252
#   total CPU user time (s): 3.57873
#   total CPU system time (s): 0.14647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.104625 second user time and 0.202841 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-15 18:28:06
IDJOB=4529772
IDBENCH=147725
IDSOLVER=3388
FILE ID=nodeC001/4529772-1752596885
RUNJOBID= nodeC001-1752596873-129515
SLURM_JOB_ID= 9684381
Free space on /tmp= 432216 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529772-1752596885/watcher-4529772-1752596885 -o /tmp/evaluation-result-4529772-1752596885/solver-4529772-1752596885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752596873-129515 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529772-1752596885.opb

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

MD5SUM BENCH= ddebabde72c7b5ddfd98b8636a36d96f
RANDOM SEED=1528707337

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.176
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.172
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.077
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		: 1196.177
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		: 1197.169
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.174
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.606
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.394
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:        126866440 kB
MemAvailable:   129570864 kB
Buffers:            1668 kB
Cached:          3492584 kB
SwapCached:          128 kB
Active:           474660 kB
Inactive:        3122572 kB
Active(anon):     101144 kB
Inactive(anon):    27808 kB
Active(file):     373516 kB
Inactive(file):  3094764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23604 kB
Writeback:            24 kB
AnonPages:        106116 kB
Mapped:           127652 kB
Shmem:             25968 kB
KReclaimable:     151156 kB
Slab:             246244 kB
SReclaimable:     151156 kB
SUnreclaim:        95088 kB
KernelStack:        8252 kB
PageTables:         3416 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1503088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      153544 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:10