Trace number 4491585

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 3.88698 3.96231

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.82/0.97	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491585-1751142865.opb
0.82/0.97	c Solving mode: decision
0.82/0.97	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.82/0.97	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.82/0.97	c original problem has 3939 variables (3939 bin, 0 int, 0 impl, 0 cont) and 10412 constraints
0.82/0.97	c presolving:
0.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.82/0.97	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.25	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.11/1.26	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.11/1.26	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.11/1.26	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.11/1.26	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.11/1.26	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	c    (1.4s) probing: 1000/3347 (29.9%) - 410 fixings, 32 aggregations, 56678 implications, 0 bound changes
3.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	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.20/3.33	c    (1.8s) probing: 1884/3347 (56.3%) - 459 fixings, 43 aggregations, 72981 implications, 0 bound changes
3.20/3.33	c    (1.8s) probing aborted: 50/50 successive totally useless probings
3.20/3.33	c    (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.20/3.33	c    (1.8s) symmetry computation finished: 18 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.00)
3.20/3.33	c dynamic symmetry handling statistics:
3.20/3.33	c    orbitopal reduction:        2 components: 8x6, 15x14
3.20/3.33	c    orbital reduction:         no components
3.20/3.33	c    lexicographic reduction:   no permutations
3.20/3.33	c handled 2 out of 2 symmetry components
3.20/3.33	c presolving (135 rounds: 135 fast, 105 medium, 103 exhaustive):
3.20/3.33	c  2450 deleted vars, 11470 deleted constraints, 3535 added constraints, 1 tightened bounds, 0 added holes, 337 changed sides, 1281 changed coefficients
3.20/3.33	c  0 implications, 22686 cliques
3.20/3.33	c presolved problem has 1639 variables (1639 bin, 0 int, 0 impl, 0 cont) and 1830 constraints
3.20/3.33	c     671 constraints of type <knapsack>
3.20/3.33	c     374 constraints of type <setppc>
3.20/3.33	c     785 constraints of type <and>
3.20/3.33	c transformed objective value is always integral (scale: 1)
3.20/3.33	c Presolving Time: 1.82
3.20/3.33	c 
3.20/3.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.20/3.33	c   1.9s|     1 |     0 |   437 |     - |    60M |   0 |1639 |1873 |2615 |   0 |  0 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.2s|     1 |     0 |  1243 |     - |    61M |   0 |1639 |1919 |2521 | 124 |  1 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.2s|     1 |     0 |  1526 |     - |    61M |   0 |1639 |1855 |2600 | 203 |  2 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.3s|     1 |     0 |  1846 |     - |    64M |   0 |1639 |1856 |2661 | 264 |  3 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.3s|     1 |     0 |  2076 |     - |    65M |   0 |1639 |1857 |2739 | 342 |  4 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.4s|     1 |     0 |  2276 |     - |    67M |   0 |1639 |1858 |2805 | 408 |  5 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.5s|     1 |     0 |  2462 |     - |    68M |   0 |1639 |1859 |2854 | 457 |  6 |  49 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.5s|     1 |     0 |  2679 |     - |    70M |   0 |1639 |1860 |2893 | 496 |  7 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.6s|     1 |     0 |  2782 |     - |    71M |   0 |1639 |1862 |2929 | 532 |  8 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.7s|     1 |     0 |  2921 |     - |    74M |   0 |1639 |1866 |2965 | 568 |  9 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.20/3.33	c   2.8s|     1 |     0 |  3023 |     - |    78M |   0 |1639 |1866 |3001 | 604 | 10 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   2.9s|     1 |     0 |  3107 |     - |    79M |   0 |1639 |1868 |3028 | 631 | 11 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   2.9s|     1 |     0 |  3107 |     - |    79M |   0 |1639 |1785 |3037 | 631 | 11 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   2.9s|     1 |     0 |  3202 |     - |    79M |   0 |1639 |1785 |3066 | 660 | 12 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   2.9s|     1 |     0 |  3282 |     - |    80M |   0 |1639 |1786 |3093 | 687 | 13 |  62 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.70/3.89	c   3.0s|     1 |     0 |  3334 |     - |    80M |   0 |1639 |1787 |2994 | 706 | 14 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.0s|     1 |     0 |  3418 |     - |    80M |   0 |1639 |1792 |3015 | 727 | 15 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.1s|     1 |     0 |  3485 |     - |    81M |   0 |1639 |1794 |3040 | 752 | 16 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.1s|     1 |     0 |  3543 |     - |    82M |   0 |1639 |1796 |3060 | 772 | 17 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.1s|     1 |     0 |  3594 |     - |    82M |   0 |1639 |1797 |3084 | 796 | 18 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.2s|     1 |     0 |  3662 |     - |    82M |   0 |1639 |1799 |3109 | 821 | 19 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.2s|     1 |     0 |  3704 |     - |    84M |   0 |1639 |1801 |2964 | 843 | 20 |  78 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.2s|     1 |     0 |  3750 |     - |    84M |   0 |1639 |1803 |2980 | 859 | 21 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.3s|     1 |     0 |  3793 |     - |    84M |   0 |1639 |1804 |2997 | 876 | 22 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.70/3.89	c   3.4s|     1 |     0 |  4138 |     - |    84M |   0 |1639 |1774 |2997 | 876 | 22 |  91 |   4 |    cutoff    |      --      |   0.00%| unknown
3.70/3.89	c 
3.70/3.89	c SCIP Status        : problem is solved [infeasible]
3.70/3.89	c Solving Time (sec) : 3.43
3.70/3.89	c Solving Nodes      : 1
3.70/3.89	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3.70/3.89	c Dual Bound         : +1.00000000000000e+20
3.70/3.89	c Gap                : 0.00 %
3.70/3.89	c SCIP found the problem to be infeasible.
3.70/3.89	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: 63837 MiB (62799 MiB free)
  memory of node 1: 64465 MiB (62415 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491585-1751142865/watcher-4491585-1751142865 -o /tmp/evaluation-result-4491585-1751142865/solver-4491585-1751142865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14396 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491585-1751142865.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
solver pid=14519, runsolver pid=14516
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 1.74 1.38 2.11 5/259 14524
/proc/meminfo: memFree=128214072/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=13120 memory=10240 CPUtime=0.05 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 1573 0 0 0 5 0 0 0 20 0 1 0 29965963 13434880 2560 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 3280 2560 1184 1 0 1457 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17312 KiB
Current children cumulated memory: 13184 KiB

[startup+0.216096 s]*
/proc/loadavg: 1.74 1.38 2.11 5/259 14524
/proc/meminfo: memFree=128214212/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1185784 memory=30068 CPUtime=0.16 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 3347 0 0 0 14 2 0 0 20 0 1 0 29965963 1214242816 7517 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 296446 7517 4772 1 0 268514 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1189976 KiB
Current children cumulated memory: 33012 KiB

[startup+0.316415 s]*
/proc/loadavg: 1.74 1.38 2.11 5/259 14524
/proc/meminfo: memFree=128206336/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1189536 memory=34676 CPUtime=0.24 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 4298 0 0 0 22 2 0 0 20 0 1 0 29965963 1218084864 8669 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 297384 8669 5028 1 0 269293 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193728 KiB
Current children cumulated memory: 37620 KiB

[startup+0.700421 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128206336/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1234384 memory=86388 CPUtime=0.62 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 14576 0 0 0 56 6 0 0 20 0 1 0 29965963 1264009216 21597 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 308596 21597 7908 1 0 279954 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1238576 KiB
Current children cumulated memory: 89332 KiB

[startup+1.50044 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128190208/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1237912 memory=89716 CPUtime=1.41 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 15428 0 0 0 135 6 0 0 20 0 1 0 29965963 1267621888 22429 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 309478 22429 7908 1 0 280836 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1242104 KiB
Current children cumulated memory: 92660 KiB

[startup+3.11404 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128130156/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1277092 memory=123852 CPUtime=3.02 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 24825 0 0 0 295 7 0 0 20 0 1 0 29965963 1307742208 30963 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 319273 30963 8132 1 0 290631 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1281284 KiB
Current children cumulated memory: 126796 KiB

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

# cumulated CPU time of all completed processes:  user=3.785 s, system=0.101982 s

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

[startup+3.20048 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128130156/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1277492 memory=124876 CPUtime=3.1 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 25072 0 0 0 303 7 0 0 20 0 1 0 29965963 1308151808 31219 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 319373 31219 8132 1 0 290731 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1281684 KiB
Current children cumulated memory: 127820 KiB

[startup+3.60039 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128130156/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1284532 memory=129484 CPUtime=3.5 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 26222 0 0 0 343 7 0 0 20 0 1 0 29965963 1315360768 32371 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 321133 32371 8132 1 0 292491 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 1288724 KiB
Current children cumulated memory: 132428 KiB

[startup+3.80038 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128130156/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1286928 memory=130764 CPUtime=3.7 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 26563 0 0 0 363 7 0 0 20 0 1 0 29965963 1317814272 32691 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 321732 32691 8132 1 0 293090 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 1291120 KiB
Current children cumulated memory: 133708 KiB

[startup+3.9004 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128130156/131382116 swapFree=33010684/33010684
[pid=14519] ppid=14516 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/14519/stat : 14519 (scip-naps-1.00.) S 14516 14519 11315 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 29965960 4292608 736 18446744073709551615 94100728750080 94100729644613 140728339383088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94100729883664 94100729931408 94100755685376 140728339384737 140728339384834 140728339384834 140728339390436 0
/proc/14519/statm: 1048 736 672 219 0 110 0
[pid=14524] ppid=14519 vsize=1292460 memory=136532 CPUtime=3.8 cores=0,2
/proc/14524/stat : 14524 (python3) R 14519 14519 11315 0 -1 4194304 29797 0 0 0 372 8 0 0 20 0 1 0 29965963 1323479040 34133 18446744073709551615 94743591469056 94743591469433 140733180617104 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94743591480728 94743591481348 94743609192448 140733180619096 140733180619298 140733180619298 140733180624871 0
/proc/14524/statm: 323115 34133 8132 1 0 294473 0
Current children cumulated CPU time: 3.8 s
Current children cumulated vsize: 1296652 KiB
Current children cumulated memory: 139476 KiB

Child status: 0

Real time (s): 3.96231
CPU time (s): 3.88698
CPU user time (s): 3.785
CPU system time (s): 0.101982
CPU usage (%): 98.099
Max. virtual memory (cumulated for all children) (KiB): 1296652
Max. memory (cumulated for all children) (KiB): 139476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.785
system time used= 0.101982
maximum resident set size= 139212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30436
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= 345
involuntary context switches= 23


# summary of solver processes directly reported to runsolver:
#   pid: 14519
#   total CPU time (s): 3.88698
#   total CPU user time (s): 3.785
#   total CPU system time (s): 0.101982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06274 second user time and 0.099368 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-28 22:34:26
IDJOB=4491585
IDBENCH=147725
IDSOLVER=3368
FILE ID=nodeC010/4491585-1751142865
RUNJOBID= nodeC010-1751142855-14396
SLURM_JOB_ID= 9587410
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= ddebabde72c7b5ddfd98b8636a36d96f
RANDOM SEED=138227211

nodeC010 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.147
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.36
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		: 3609.821
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.36
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.012
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.36
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.456
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.36
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		: 3556.632
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.36
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		: 3491.669
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.36
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		: 3700.000
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.36
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.464
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128219284 kB
MemAvailable:   127874684 kB
Buffers:            3280 kB
Cached:           467700 kB
SwapCached:            0 kB
Active:          2361284 kB
Inactive:         210648 kB
Active(anon):    2118912 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   210648 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45884 kB
Writeback:             0 kB
AnonPages:       2104140 kB
Mapped:           124736 kB
Shmem:             17960 kB
KReclaimable:      84012 kB
Slab:             162652 kB
SReclaimable:      84012 kB
SUnreclaim:        78640 kB
KernelStack:        4160 kB
PageTables:         7628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5673228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC010 at 2025-06-28 22:34:30