Trace number 4529794

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 30.7597 30.8665

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
MD5SUMacb3bfa25be6cee6deaef298d2d917c1
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.387219
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12566
Total number of constraints41514
Number of constraints which are clauses41106
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints408
Minimum length of a constraint1
Maximum length of a constraint36
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 233
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.66/0.77	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529794-1752254323.opb
0.66/0.77	c Solving mode: decision
0.66/0.77	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.66/0.77	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.66/0.77	c original problem has 12566 variables (12566 bin, 0 int, 0 impl, 0 cont) and 41514 constraints
0.66/0.77	c presolving:
0.66/0.77	c (round 1, fast)       7602 del vars, 8021 del conss, 0 add conss, 2089 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12350 clqs
0.66/0.77	c (round 2, fast)       12821 del vars, 28384 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12076 clqs
0.66/0.77	c (round 3, fast)       12821 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12381 clqs
0.66/0.77	c (round 4, medium)     12826 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12323 clqs
0.66/0.77	c (round 5, fast)       12843 del vars, 28959 del conss, 0 add conss, 2089 chg bounds, 35 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 12317 clqs
0.66/0.77	c (round 6, exhaustive) 12843 del vars, 28967 del conss, 0 add conss, 2089 chg bounds, 35 chg sides, 34 chg coeffs, 12547 upgd conss, 0 impls, 12317 clqs
0.66/0.77	c (round 7, fast)       12843 del vars, 28971 del conss, 8 add conss, 2089 chg bounds, 53 chg sides, 83 chg coeffs, 12547 upgd conss, 0 impls, 12317 clqs
0.66/0.77	c (round 8, medium)     12843 del vars, 28987 del conss, 83 add conss, 2089 chg bounds, 128 chg sides, 284 chg coeffs, 12547 upgd conss, 0 impls, 12351 clqs
0.66/0.77	c (round 9, fast)       12843 del vars, 28991 del conss, 85 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12352 clqs
0.66/0.77	c (round 10, exhaustive) 12843 del vars, 35551 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12352 clqs
0.66/0.77	c (round 11, fast)       12845 del vars, 35573 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12728 clqs
0.66/0.77	c (round 12, fast)       12848 del vars, 35598 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12696 clqs
0.66/0.77	c (round 13, fast)       12850 del vars, 35616 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12665 clqs
0.66/0.77	c (round 14, fast)       12852 del vars, 35641 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12635 clqs
0.66/0.77	c (round 15, fast)       12854 del vars, 35669 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12605 clqs
0.66/0.77	c (round 16, fast)       12856 del vars, 35694 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12575 clqs
0.66/0.77	c (round 17, fast)       12857 del vars, 35720 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12574 clqs
0.66/0.77	c (round 18, fast)       12858 del vars, 35744 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12545 clqs
0.66/0.77	c (round 19, fast)       12860 del vars, 35751 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12519 clqs
0.66/0.77	c (round 20, fast)       12861 del vars, 35771 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12518 clqs
0.66/0.77	c (round 21, fast)       12862 del vars, 35790 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12492 clqs
0.66/0.77	c (round 22, fast)       12864 del vars, 35811 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12470 clqs
0.66/0.77	c (round 23, fast)       12866 del vars, 35823 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12448 clqs
0.66/0.77	c (round 24, fast)       12868 del vars, 35838 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12427 clqs
0.66/0.77	c (round 25, fast)       12869 del vars, 35851 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12426 clqs
0.66/0.77	c (round 26, medium)     12886 del vars, 35868 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12349 clqs
0.66/0.77	c (round 27, fast)       12887 del vars, 35884 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12333 clqs
0.66/0.77	c (round 28, fast)       12892 del vars, 35953 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12264 clqs
0.66/0.77	c (round 29, fast)       12898 del vars, 35999 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12212 clqs
0.66/0.77	c (round 30, medium)     12904 del vars, 36007 del conss, 2134 add conss, 2089 chg bounds, 155 chg sides, 343 chg coeffs, 12547 upgd conss, 0 impls, 12204 clqs
0.66/0.77	c (round 31, exhaustive) 12938 del vars, 36008 del conss, 2134 add conss, 2089 chg bounds, 155 chg sides, 370 chg coeffs, 12547 upgd conss, 0 impls, 14181 clqs
0.66/0.77	c (round 32, fast)       12954 del vars, 36114 del conss, 2134 add conss, 2089 chg bounds, 157 chg sides, 390 chg coeffs, 12547 upgd conss, 0 impls, 14119 clqs
0.66/0.77	c (round 33, medium)     12956 del vars, 36119 del conss, 2139 add conss, 2089 chg bounds, 165 chg sides, 412 chg coeffs, 12547 upgd conss, 0 impls, 14118 clqs
0.66/0.77	c (round 34, medium)     12960 del vars, 36121 del conss, 2139 add conss, 2089 chg bounds, 169 chg sides, 445 chg coeffs, 12547 upgd conss, 0 impls, 14110 clqs
0.66/0.77	c (round 35, exhaustive) 12996 del vars, 36122 del conss, 2139 add conss, 2089 chg bounds, 171 chg sides, 453 chg coeffs, 12547 upgd conss, 0 impls, 14487 clqs
0.66/0.77	c (round 36, fast)       13029 del vars, 36261 del conss, 2139 add conss, 2089 chg bounds, 173 chg sides, 490 chg coeffs, 12547 upgd conss, 0 impls, 14320 clqs
0.66/0.77	c (round 37, medium)     13035 del vars, 36263 del conss, 2139 add conss, 2089 chg bounds, 175 chg sides, 497 chg coeffs, 12547 upgd conss, 0 impls, 14291 clqs
0.66/0.77	c (round 38, fast)       13039 del vars, 36278 del conss, 2139 add conss, 2089 chg bounds, 177 chg sides, 507 chg coeffs, 12547 upgd conss, 0 impls, 14280 clqs
0.66/0.77	c (round 39, exhaustive) 13043 del vars, 36280 del conss, 2139 add conss, 2089 chg bounds, 179 chg sides, 516 chg coeffs, 12547 upgd conss, 0 impls, 14272 clqs
0.66/0.77	c (round 40, exhaustive) 13047 del vars, 36282 del conss, 2139 add conss, 2089 chg bounds, 181 chg sides, 525 chg coeffs, 12547 upgd conss, 0 impls, 14263 clqs
0.66/0.77	c (round 41, exhaustive) 13051 del vars, 36284 del conss, 2139 add conss, 2089 chg bounds, 183 chg sides, 535 chg coeffs, 12547 upgd conss, 0 impls, 14251 clqs
0.66/0.77	c (round 42, exhaustive) 13055 del vars, 36286 del conss, 2139 add conss, 2089 chg bounds, 185 chg sides, 545 chg coeffs, 12547 upgd conss, 0 impls, 14239 clqs
0.66/0.77	c (round 43, exhaustive) 13059 del vars, 36288 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14227 clqs
0.66/0.77	c (round 44, exhaustive) 13063 del vars, 36290 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14215 clqs
0.66/0.77	c (round 45, exhaustive) 13067 del vars, 36292 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14200 clqs
0.66/0.77	c (round 46, exhaustive) 13071 del vars, 36294 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14180 clqs
0.66/0.77	c (round 47, exhaustive) 13075 del vars, 36296 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14153 clqs
0.66/0.77	c (round 48, fast)       13079 del vars, 36403 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14023 clqs
7.54/7.68	c (round 49, exhaustive) 13114 del vars, 36403 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 24622 clqs
7.54/7.68	c (round 50, fast)       13143 del vars, 36545 del conss, 2139 add conss, 2089 chg bounds, 197 chg sides, 629 chg coeffs, 12547 upgd conss, 0 impls, 24211 clqs
7.54/7.68	c (round 51, exhaustive) 13145 del vars, 36551 del conss, 2139 add conss, 2089 chg bounds, 198 chg sides, 635 chg coeffs, 12547 upgd conss, 0 impls, 24176 clqs
7.54/7.68	c (round 52, exhaustive) 13147 del vars, 36560 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 637 chg coeffs, 12547 upgd conss, 0 impls, 24162 clqs
7.54/7.68	c (round 53, exhaustive) 13203 del vars, 36560 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 637 chg coeffs, 12547 upgd conss, 0 impls, 23779 clqs
7.54/7.68	c (round 54, fast)       13243 del vars, 36762 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 677 chg coeffs, 12547 upgd conss, 0 impls, 23449 clqs
7.54/7.68	c (round 55, exhaustive) 13269 del vars, 36762 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 677 chg coeffs, 12547 upgd conss, 0 impls, 59208 clqs
7.54/7.68	c (round 56, fast)       13287 del vars, 36849 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 693 chg coeffs, 12547 upgd conss, 0 impls, 58956 clqs
7.54/7.68	c (round 57, exhaustive) 13288 del vars, 36857 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 700 chg coeffs, 12547 upgd conss, 0 impls, 58924 clqs
7.54/7.68	c (round 58, exhaustive) 13291 del vars, 36878 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 702 chg coeffs, 12547 upgd conss, 0 impls, 58900 clqs
7.54/7.68	c (round 59, exhaustive) 13319 del vars, 36878 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 702 chg coeffs, 12547 upgd conss, 0 impls, 95403 clqs
7.54/7.68	c (round 60, fast)       13335 del vars, 36982 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 726 chg coeffs, 12547 upgd conss, 0 impls, 94115 clqs
7.54/7.68	c (round 61, exhaustive) 13335 del vars, 37144 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 740 chg coeffs, 12547 upgd conss, 0 impls, 94115 clqs
7.54/7.68	c (round 62, exhaustive) 13369 del vars, 37144 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 741 chg coeffs, 12547 upgd conss, 0 impls, 94387 clqs
7.54/7.68	c (round 63, fast)       13391 del vars, 37245 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 755 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs
7.54/7.68	c (round 64, medium)     13391 del vars, 37245 del conss, 2332 add conss, 2089 chg bounds, 208 chg sides, 784 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs
7.54/7.68	c (round 65, exhaustive) 13391 del vars, 37266 del conss, 2353 add conss, 2089 chg bounds, 208 chg sides, 790 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs
7.54/7.68	c (round 66, medium)     13391 del vars, 37267 del conss, 2357 add conss, 2089 chg bounds, 213 chg sides, 802 chg coeffs, 12547 upgd conss, 0 impls, 93087 clqs
7.54/7.68	c    (2.2s) probing: 1000/4367 (22.9%) - 253 fixings, 6 aggregations, 278996 implications, 0 bound changes
7.54/7.68	c (round 67, exhaustive) 13422 del vars, 37267 del conss, 2357 add conss, 2089 chg bounds, 216 chg sides, 812 chg coeffs, 12547 upgd conss, 0 impls, 93868 clqs
7.54/7.68	c (round 68, fast)       13443 del vars, 37368 del conss, 2357 add conss, 2089 chg bounds, 216 chg sides, 828 chg coeffs, 12547 upgd conss, 0 impls, 93129 clqs
7.54/7.68	c (round 69, exhaustive) 13443 del vars, 37392 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 830 chg coeffs, 12547 upgd conss, 0 impls, 93129 clqs
7.54/7.68	c (round 70, exhaustive) 13469 del vars, 37392 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 830 chg coeffs, 12547 upgd conss, 0 impls, 94114 clqs
7.54/7.68	c (round 71, fast)       13483 del vars, 37485 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 842 chg coeffs, 12547 upgd conss, 0 impls, 93304 clqs
7.54/7.68	c (round 72, exhaustive) 13483 del vars, 37503 del conss, 2399 add conss, 2089 chg bounds, 217 chg sides, 850 chg coeffs, 12547 upgd conss, 0 impls, 93304 clqs
7.54/7.68	c (round 73, exhaustive) 13517 del vars, 37503 del conss, 2399 add conss, 2089 chg bounds, 219 chg sides, 859 chg coeffs, 12547 upgd conss, 0 impls, 94101 clqs
7.54/7.68	c (round 74, fast)       13546 del vars, 37619 del conss, 2399 add conss, 2089 chg bounds, 219 chg sides, 883 chg coeffs, 12547 upgd conss, 0 impls, 92865 clqs
7.54/7.68	c (round 75, medium)     13548 del vars, 37621 del conss, 2403 add conss, 2089 chg bounds, 225 chg sides, 910 chg coeffs, 12547 upgd conss, 0 impls, 92225 clqs
7.54/7.68	c (round 76, fast)       13550 del vars, 37627 del conss, 2403 add conss, 2089 chg bounds, 225 chg sides, 910 chg coeffs, 12547 upgd conss, 0 impls, 92136 clqs
7.54/7.68	c (round 77, exhaustive) 13550 del vars, 37647 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 915 chg coeffs, 12547 upgd conss, 0 impls, 92136 clqs
7.54/7.68	c (round 78, exhaustive) 13575 del vars, 37647 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 915 chg coeffs, 12547 upgd conss, 0 impls, 95296 clqs
7.54/7.68	c (round 79, fast)       13600 del vars, 37752 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 938 chg coeffs, 12547 upgd conss, 0 impls, 94338 clqs
7.54/7.68	c (round 80, medium)     13602 del vars, 37755 del conss, 2424 add conss, 2089 chg bounds, 229 chg sides, 950 chg coeffs, 12547 upgd conss, 0 impls, 94309 clqs
7.54/7.68	c (round 81, exhaustive) 13602 del vars, 37776 del conss, 2445 add conss, 2089 chg bounds, 229 chg sides, 989 chg coeffs, 12547 upgd conss, 0 impls, 94309 clqs
7.54/7.68	c (round 82, exhaustive) 13630 del vars, 37776 del conss, 2447 add conss, 2089 chg bounds, 231 chg sides, 1006 chg coeffs, 12547 upgd conss, 0 impls, 95433 clqs
7.54/7.68	c (round 83, fast)       13661 del vars, 37892 del conss, 2447 add conss, 2089 chg bounds, 231 chg sides, 1028 chg coeffs, 12547 upgd conss, 0 impls, 94540 clqs
7.54/7.68	c (round 84, medium)     13663 del vars, 37895 del conss, 2449 add conss, 2089 chg bounds, 233 chg sides, 1035 chg coeffs, 12547 upgd conss, 0 impls, 94263 clqs
7.54/7.68	c (round 85, exhaustive) 13663 del vars, 37902 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1037 chg coeffs, 12547 upgd conss, 0 impls, 94263 clqs
7.54/7.68	c    (4.1s) probing: 2000/4367 (45.8%) - 379 fixings, 12 aggregations, 631588 implications, 0 bound changes
7.54/7.68	c (round 86, exhaustive) 13688 del vars, 37902 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1037 chg coeffs, 12547 upgd conss, 0 impls, 95505 clqs
7.54/7.68	c (round 87, fast)       13708 del vars, 37991 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1056 chg coeffs, 12548 upgd conss, 0 impls, 94590 clqs
7.54/7.68	c (round 88, exhaustive) 13708 del vars, 37996 del conss, 2461 add conss, 2089 chg bounds, 235 chg sides, 1110 chg coeffs, 12548 upgd conss, 0 impls, 94591 clqs
7.54/7.68	c    (5.4s) probing: 3000/4367 (68.7%) - 390 fixings, 14 aggregations, 828519 implications, 0 bound changes
7.54/7.68	c    (6.2s) probing: 4000/4367 (91.6%) - 401 fixings, 14 aggregations, 977801 implications, 0 bound changes
7.54/7.68	c    (6.2s) probing cycle finished: starting next cycle
7.54/7.68	c (round 89, exhaustive) 13758 del vars, 37996 del conss, 2462 add conss, 2089 chg bounds, 236 chg sides, 1116 chg coeffs, 12548 upgd conss, 0 impls, 90370 clqs
7.54/7.68	c (round 90, fast)       13800 del vars, 38162 del conss, 2462 add conss, 2089 chg bounds, 236 chg sides, 1129 chg coeffs, 12550 upgd conss, 0 impls, 88365 clqs
7.54/7.68	c (round 91, medium)     13804 del vars, 38162 del conss, 2463 add conss, 2089 chg bounds, 237 chg sides, 1134 chg coeffs, 12550 upgd conss, 0 impls, 88255 clqs
7.54/7.68	c (round 92, fast)       13804 del vars, 38169 del conss, 2463 add conss, 2089 chg bounds, 237 chg sides, 1134 chg coeffs, 12550 upgd conss, 0 impls, 88255 clqs
7.54/7.68	c (round 93, exhaustive) 13836 del vars, 38171 del conss, 2465 add conss, 2089 chg bounds, 237 chg sides, 1179 chg coeffs, 12550 upgd conss, 0 impls, 94287 clqs
7.54/7.68	c (round 94, fast)       13852 del vars, 38266 del conss, 2465 add conss, 2089 chg bounds, 237 chg sides, 1197 chg coeffs, 12551 upgd conss, 0 impls, 92767 clqs
7.54/7.68	c (round 95, medium)     13852 del vars, 38269 del conss, 2473 add conss, 2089 chg bounds, 243 chg sides, 1211 chg coeffs, 12551 upgd conss, 0 impls, 92788 clqs
7.54/7.68	c (round 96, exhaustive) 13852 del vars, 38304 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1234 chg coeffs, 12551 upgd conss, 0 impls, 92788 clqs
23.90/24.06	c    (7.5s) probing: 1000/3563 (28.1%) - 458 fixings, 24 aggregations, 1100355 implications, 0 bound changes
23.90/24.06	c (round 97, exhaustive) 13877 del vars, 38304 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1243 chg coeffs, 12551 upgd conss, 0 impls, 96256 clqs
23.90/24.06	c (round 98, fast)       13896 del vars, 38381 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1262 chg coeffs, 12551 upgd conss, 0 impls, 95754 clqs
23.90/24.06	c (round 99, medium)     13898 del vars, 38387 del conss, 2509 add conss, 2089 chg bounds, 247 chg sides, 1280 chg coeffs, 12551 upgd conss, 0 impls, 95480 clqs
23.90/24.06	c (round 100, exhaustive) 13898 del vars, 38418 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1282 chg coeffs, 12551 upgd conss, 0 impls, 95482 clqs
23.90/24.06	c    (8.8s) probing: 2000/3563 (56.1%) - 487 fixings, 28 aggregations, 1359614 implications, 0 bound changes
23.90/24.06	c    (10.0s) probing: 3000/3563 (84.2%) - 501 fixings, 28 aggregations, 1536029 implications, 0 bound changes
23.90/24.06	c (round 101, exhaustive) 13923 del vars, 38418 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1283 chg coeffs, 12553 upgd conss, 0 impls, 96672 clqs
23.90/24.06	c (round 102, fast)       13935 del vars, 38453 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95859 clqs
23.90/24.06	c (round 103, medium)     13962 del vars, 38457 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95396 clqs
23.90/24.06	c (round 104, fast)       13965 del vars, 38493 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95368 clqs
23.90/24.06	c (round 105, exhaustive) 13965 del vars, 38501 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1303 chg coeffs, 12565 upgd conss, 0 impls, 95368 clqs
23.90/24.06	c    (10.5s) probing cycle finished: starting next cycle
23.90/24.06	c (round 106, exhaustive) 13992 del vars, 38501 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1304 chg coeffs, 12566 upgd conss, 0 impls, 94777 clqs
23.90/24.06	c (round 107, fast)       14014 del vars, 38596 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1324 chg coeffs, 12566 upgd conss, 0 impls, 93550 clqs
23.90/24.06	c    (11.6s) probing: 1000/3308 (30.2%) - 529 fixings, 35 aggregations, 1727929 implications, 0 bound changes
23.90/24.06	c (round 108, exhaustive) 14041 del vars, 38598 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1343 chg coeffs, 12566 upgd conss, 0 impls, 95411 clqs
23.90/24.06	c (round 109, fast)       14047 del vars, 38646 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1350 chg coeffs, 12566 upgd conss, 0 impls, 95043 clqs
23.90/24.06	c (round 110, exhaustive) 14047 del vars, 38702 del conss, 2604 add conss, 2089 chg bounds, 247 chg sides, 1360 chg coeffs, 12566 upgd conss, 0 impls, 95046 clqs
23.90/24.06	c (round 111, medium)     14047 del vars, 38704 del conss, 2608 add conss, 2089 chg bounds, 251 chg sides, 1370 chg coeffs, 12566 upgd conss, 0 impls, 95105 clqs
23.90/24.06	c (round 112, exhaustive) 14072 del vars, 38706 del conss, 2610 add conss, 2089 chg bounds, 251 chg sides, 1375 chg coeffs, 12566 upgd conss, 0 impls, 95409 clqs
23.90/24.06	c (round 113, fast)       14088 del vars, 38788 del conss, 2610 add conss, 2089 chg bounds, 251 chg sides, 1395 chg coeffs, 12566 upgd conss, 0 impls, 94302 clqs
23.90/24.06	c (round 114, exhaustive) 14088 del vars, 38798 del conss, 2620 add conss, 2089 chg bounds, 252 chg sides, 1454 chg coeffs, 12566 upgd conss, 0 impls, 94302 clqs
23.90/24.06	c    (12.9s) probing: 2000/3308 (60.5%) - 564 fixings, 44 aggregations, 1945537 implications, 0 bound changes
23.90/24.06	c    (14.0s) probing: 3000/3308 (90.7%) - 572 fixings, 45 aggregations, 2110424 implications, 0 bound changes
23.90/24.06	c    (14.3s) probing cycle finished: starting next cycle
23.90/24.06	c (round 115, exhaustive) 14116 del vars, 38798 del conss, 2622 add conss, 2089 chg bounds, 254 chg sides, 1466 chg coeffs, 12566 upgd conss, 0 impls, 96318 clqs
23.90/24.06	c (round 116, fast)       14119 del vars, 38834 del conss, 2622 add conss, 2089 chg bounds, 254 chg sides, 1467 chg coeffs, 12568 upgd conss, 0 impls, 96216 clqs
23.90/24.06	c (round 117, medium)     14120 del vars, 38837 del conss, 2623 add conss, 2089 chg bounds, 255 chg sides, 1471 chg coeffs, 12568 upgd conss, 0 impls, 96084 clqs
23.90/24.06	c (round 118, exhaustive) 14124 del vars, 38845 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1481 chg coeffs, 12568 upgd conss, 0 impls, 96051 clqs
23.90/24.06	c    (15.3s) probing: 1000/3185 (31.4%) - 581 fixings, 65 aggregations, 2257270 implications, 0 bound changes
23.90/24.06	c (round 119, exhaustive) 14149 del vars, 38845 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1486 chg coeffs, 12568 upgd conss, 0 impls, 94062 clqs
23.90/24.06	c (round 120, fast)       14161 del vars, 38902 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1492 chg coeffs, 12568 upgd conss, 0 impls, 93453 clqs
23.90/24.06	c (round 121, medium)     14161 del vars, 38902 del conss, 2629 add conss, 2089 chg bounds, 261 chg sides, 1520 chg coeffs, 12568 upgd conss, 0 impls, 93455 clqs
23.90/24.06	c (round 122, exhaustive) 14161 del vars, 38944 del conss, 2671 add conss, 2089 chg bounds, 261 chg sides, 1530 chg coeffs, 12568 upgd conss, 0 impls, 93455 clqs
23.90/24.06	c (round 123, exhaustive) 14186 del vars, 38945 del conss, 2672 add conss, 2089 chg bounds, 262 chg sides, 1538 chg coeffs, 12568 upgd conss, 0 impls, 95766 clqs
23.90/24.06	c (round 124, fast)       14205 del vars, 39021 del conss, 2672 add conss, 2089 chg bounds, 262 chg sides, 1549 chg coeffs, 12568 upgd conss, 0 impls, 95123 clqs
23.90/24.06	c (round 125, medium)     14207 del vars, 39031 del conss, 2687 add conss, 2089 chg bounds, 279 chg sides, 1607 chg coeffs, 12568 upgd conss, 0 impls, 94531 clqs
23.90/24.06	c (round 126, fast)       14208 del vars, 39037 del conss, 2689 add conss, 2089 chg bounds, 279 chg sides, 1607 chg coeffs, 12568 upgd conss, 0 impls, 94510 clqs
23.90/24.06	c (round 127, exhaustive) 14208 del vars, 39078 del conss, 2730 add conss, 2089 chg bounds, 279 chg sides, 1640 chg coeffs, 12568 upgd conss, 0 impls, 94510 clqs
23.90/24.06	c (round 128, exhaustive) 14208 del vars, 39080 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1651 chg coeffs, 12568 upgd conss, 0 impls, 94557 clqs
23.90/24.06	c    (16.5s) probing: 2000/3185 (62.8%) - 615 fixings, 71 aggregations, 2433805 implications, 0 bound changes
23.90/24.06	c    (17.5s) probing: 3000/3185 (94.2%) - 617 fixings, 71 aggregations, 2590609 implications, 0 bound changes
23.90/24.06	c    (17.7s) probing cycle finished: starting next cycle
23.90/24.06	c    (18.6s) probing: 1000/3070 (32.6%) - 630 fixings, 80 aggregations, 2702109 implications, 0 bound changes
23.90/24.06	c (round 129, exhaustive) 14233 del vars, 39080 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1654 chg coeffs, 12568 upgd conss, 0 impls, 95038 clqs
23.90/24.06	c (round 130, fast)       14243 del vars, 39145 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1659 chg coeffs, 12568 upgd conss, 0 impls, 94762 clqs
23.90/24.06	c (round 131, medium)     14244 del vars, 39153 del conss, 2744 add conss, 2089 chg bounds, 294 chg sides, 1700 chg coeffs, 12568 upgd conss, 0 impls, 94756 clqs
23.90/24.06	c (round 132, exhaustive) 14244 del vars, 39161 del conss, 2752 add conss, 2089 chg bounds, 294 chg sides, 1739 chg coeffs, 12568 upgd conss, 0 impls, 94757 clqs
23.90/24.06	c    (19.7s) probing: 2000/3070 (65.1%) - 632 fixings, 82 aggregations, 2870122 implications, 0 bound changes
23.90/24.06	c    (20.7s) probing: 3000/3070 (97.7%) - 637 fixings, 83 aggregations, 3035315 implications, 0 bound changes
23.90/24.06	c    (20.8s) probing cycle finished: starting next cycle
23.90/24.06	c (round 133, exhaustive) 14269 del vars, 39161 del conss, 2752 add conss, 2089 chg bounds, 295 chg sides, 1752 chg coeffs, 12569 upgd conss, 0 impls, 96307 clqs
23.90/24.06	c (round 134, fast)       14274 del vars, 39213 del conss, 2752 add conss, 2089 chg bounds, 295 chg sides, 1761 chg coeffs, 12569 upgd conss, 0 impls, 96036 clqs
23.90/24.06	c (round 135, exhaustive) 14274 del vars, 39231 del conss, 2770 add conss, 2089 chg bounds, 295 chg sides, 1773 chg coeffs, 12569 upgd conss, 0 impls, 96038 clqs
23.90/24.06	c    (21.8s) probing: 1000/3030 (33.0%) - 641 fixings, 95 aggregations, 3137335 implications, 0 bound changes
23.90/24.06	c    (22.8s) probing: 2000/3030 (66.0%) - 644 fixings, 98 aggregations, 3300584 implications, 0 bound changes
23.90/24.06	c    (23.8s) probing: 3000/3030 (99.0%) - 645 fixings, 99 aggregations, 3468647 implications, 0 bound changes
30.57/30.79	c    (23.8s) probing cycle finished: starting next cycle
30.57/30.79	c (round 136, exhaustive) 14284 del vars, 39231 del conss, 2770 add conss, 2089 chg bounds, 295 chg sides, 1775 chg coeffs, 12569 upgd conss, 0 impls, 97522 clqs
30.57/30.79	c (round 137, fast)       14285 del vars, 39251 del conss, 2770 add conss, 2089 chg bounds, 296 chg sides, 1788 chg coeffs, 12569 upgd conss, 0 impls, 97489 clqs
30.57/30.79	c (round 138, exhaustive) 14285 del vars, 39282 del conss, 2801 add conss, 2089 chg bounds, 296 chg sides, 1790 chg coeffs, 12569 upgd conss, 0 impls, 97489 clqs
30.57/30.79	c    (24.8s) probing: 1000/3004 (33.3%) - 646 fixings, 100 aggregations, 3558382 implications, 0 bound changes
30.57/30.79	c    (24.9s) probing: 1093/3004 (36.4%) - 646 fixings, 100 aggregations, 3572055 implications, 0 bound changes
30.57/30.79	c    (24.9s) probing aborted: 1000/1000 successive useless probings
30.57/30.79	c    (24.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
30.57/30.79	c    (24.9s) no symmetry present (symcode time: 0.00)
30.57/30.79	c presolving (139 rounds: 139 fast, 83 medium, 62 exhaustive):
30.57/30.79	c  14285 deleted vars, 39282 deleted constraints, 2801 added constraints, 2089 tightened bounds, 0 added holes, 296 changed sides, 1791 changed coefficients
30.57/30.79	c  0 implications, 98435 cliques
30.57/30.79	c presolved problem has 3002 variables (3002 bin, 0 int, 0 impl, 0 cont) and 4987 constraints
30.57/30.79	c     342 constraints of type <knapsack>
30.57/30.79	c    4050 constraints of type <setppc>
30.57/30.79	c     591 constraints of type <and>
30.57/30.79	c       4 constraints of type <logicor>
30.57/30.79	c transformed objective value is always integral (scale: 1)
30.57/30.79	c Presolving Time: 24.89
30.57/30.79	c 
30.57/30.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.57/30.79	c  25.6s|     1 |     0 |  3901 |     - |   110M |   0 |3002 |5017 |5578 |   0 |  0 |  29 |   0 | 0.000000e+00 |      --      |    Inf | unknown
30.57/30.79	c  30.6s|     1 |     0 | 25798 |     - |   115M |   0 |3002 |5218 |5578 |   0 |  1 |  30 |   0 |    cutoff    |      --      |   0.00%| unknown
30.57/30.79	c  30.6s|     1 |     0 | 25798 |     - |   115M |   0 |3002 |5218 |5578 |   0 |  1 |  30 |   0 |    cutoff    |      --      |   0.00%| unknown
30.57/30.79	c 
30.57/30.79	c SCIP Status        : problem is solved [infeasible]
30.57/30.79	c Solving Time (sec) : 30.57
30.57/30.79	c Solving Nodes      : 1
30.57/30.79	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
30.57/30.79	c Dual Bound         : +1.00000000000000e+20
30.57/30.79	c Gap                : 0.00 %
30.57/30.79	c SCIP found the problem to be infeasible.
30.57/30.79	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: 63665 MiB (60756 MiB free)
  memory of node 1: 64507 MiB (62309 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529794-1752254323/watcher-4529794-1752254323 -o /tmp/evaluation-result-4529794-1752254323/solver-4529794-1752254323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111199 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529794-1752254323.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=112607, runsolver pid=112604
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.18 4.05 3.59 5/268 112612
/proc/meminfo: memFree=126018900/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1188028 memory=32928 CPUtime=0.07 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 3982 0 0 0 6 1 0 0 20 0 1 0 141112142 1216540672 8232 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 297007 8232 4904 1 0 268998 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192220 KiB
Current children cumulated memory: 36000 KiB

[startup+0.205685 s]*
/proc/loadavg: 4.18 4.05 3.59 5/268 112612
/proc/meminfo: memFree=126018900/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1229028 memory=80288 CPUtime=0.17 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 13368 0 0 0 15 2 0 0 20 0 1 0 141112142 1258524672 20072 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 307257 20072 7592 1 0 278615 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1233220 KiB
Current children cumulated memory: 83360 KiB

[startup+0.305547 s]*
/proc/loadavg: 4.18 4.05 3.59 5/268 112612
/proc/meminfo: memFree=125994960/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1280256 memory=130720 CPUtime=0.27 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 25766 0 0 0 23 4 0 0 20 0 1 0 141112142 1310982144 32680 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 320064 32680 7816 1 0 291422 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1284448 KiB
Current children cumulated memory: 133792 KiB

[startup+0.700195 s]
/proc/loadavg: 4.18 4.05 3.59 6/268 112612
/proc/meminfo: memFree=125986648/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1288920 memory=140832 CPUtime=0.66 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 28223 0 0 0 62 4 0 0 20 0 1 0 141112142 1319854080 35208 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 322230 35208 7912 1 0 293588 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1293112 KiB
Current children cumulated memory: 143904 KiB

[startup+1.50019 s]
/proc/loadavg: 4.17 4.05 3.59 5/268 112612
/proc/meminfo: memFree=125986648/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1294648 memory=146080 CPUtime=1.46 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29515 0 0 0 141 5 0 0 20 0 1 0 141112142 1325719552 36520 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 323662 36520 7912 1 0 295020 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1298840 KiB
Current children cumulated memory: 149152 KiB

[startup+3.10544 s]
/proc/loadavg: 4.17 4.05 3.59 5/268 112612
/proc/meminfo: memFree=125901324/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1295436 memory=146848 CPUtime=3.06 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29703 0 0 0 301 5 0 0 20 0 1 0 141112142 1326526464 36712 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 323859 36712 7912 1 0 295217 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1299628 KiB
Current children cumulated memory: 149920 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.05 3.59 5/268 112612
/proc/meminfo: memFree=125902516/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1295436 memory=146848 CPUtime=6.25 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29703 0 0 0 620 5 0 0 20 0 1 0 141112142 1326526464 36712 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 323859 36712 7912 1 0 295217 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1299628 KiB
Current children cumulated memory: 149920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.05 3.59 5/268 112612
/proc/meminfo: memFree=125902648/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1296148 memory=147488 CPUtime=12.63 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29876 0 0 0 1258 5 0 0 20 0 1 0 141112142 1327255552 36872 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 324037 36872 7912 1 0 295395 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1300340 KiB
Current children cumulated memory: 150560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.06 3.60 5/268 112612
/proc/meminfo: memFree=126003100/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1316072 memory=162956 CPUtime=25.39 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 33916 0 0 0 2533 6 0 0 20 0 1 0 141112142 1347657728 40739 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 329018 40739 8104 1 0 300376 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1320264 KiB
Current children cumulated memory: 166028 KiB

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

# cumulated CPU time of all completed processes:  user=30.655 s, system=0.104726 s

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

[startup+25.6002 s]
/proc/loadavg: 4.20 4.06 3.60 5/268 112612
/proc/meminfo: memFree=126003100/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1316072 memory=162956 CPUtime=25.49 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 33922 0 0 0 2543 6 0 0 20 0 1 0 141112142 1347657728 40739 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 329018 40739 8104 1 0 300376 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1320264 KiB
Current children cumulated memory: 166028 KiB

[startup+28.8002 s]
/proc/loadavg: 4.18 4.06 3.61 5/268 112612
/proc/meminfo: memFree=125987224/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1317408 memory=164236 CPUtime=28.68 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 34228 0 0 0 2862 6 0 0 20 0 1 0 141112142 1349025792 41059 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 329352 41059 8104 1 0 300710 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 1321600 KiB
Current children cumulated memory: 167308 KiB

[startup+29.6002 s]
/proc/loadavg: 4.18 4.06 3.61 5/268 112612
/proc/meminfo: memFree=125987224/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1351392 memory=195980 CPUtime=29.48 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 42199 0 0 0 2941 7 0 0 20 0 1 0 141112142 1383825408 48995 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 337848 48995 8104 1 0 309206 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 1355584 KiB
Current children cumulated memory: 199052 KiB

[startup+30.4002 s]
/proc/loadavg: 4.18 4.06 3.61 5/268 112612
/proc/meminfo: memFree=125946904/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1360884 memory=205324 CPUtime=30.28 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 44535 0 0 0 3020 8 0 0 20 0 1 0 141112142 1393545216 51331 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 340221 51331 8104 1 0 311579 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 1365076 KiB
Current children cumulated memory: 208396 KiB

[startup+30.8002 s]
/proc/loadavg: 4.18 4.06 3.61 5/268 112612
/proc/meminfo: memFree=125946904/131250000 swapFree=33010416/33010684
[pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0
/proc/112607/statm: 1048 768 704 219 0 110 0
[pid=112612] ppid=112607 vsize=1360732 memory=205392 CPUtime=30.68 cores=4,6
/proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 45177 0 0 0 3059 9 0 0 20 0 1 0 141112142 1393389568 51348 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0
/proc/112612/statm: 340183 51348 8104 1 0 311541 0
Current children cumulated CPU time: 30.68 s
Current children cumulated vsize: 1364924 KiB
Current children cumulated memory: 208464 KiB

Child status: 0

Real time (s): 30.8665
CPU time (s): 30.7597
CPU user time (s): 30.655
CPU system time (s): 0.104726
CPU usage (%): 99.6539
Max. virtual memory (cumulated for all children) (KiB): 1367384
Max. memory (cumulated for all children) (KiB): 210828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.655
system time used= 0.104726
maximum resident set size= 207884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45820
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= 334
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 112607
#   total CPU time (s): 30.7597
#   total CPU user time (s): 30.655
#   total CPU system time (s): 0.104726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07915 second user time and 0.153767 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-07-11 19:18:43
IDJOB=4529794
IDBENCH=152011
IDSOLVER=3388
FILE ID=nodeC027/4529794-1752254323
RUNJOBID= nodeC027-1752253254-111199
SLURM_JOB_ID= 9682567
Free space on /tmp= 431160 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j6021_1-unsat.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529794-1752254323/watcher-4529794-1752254323 -o /tmp/evaluation-result-4529794-1752254323/solver-4529794-1752254323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111199 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529794-1752254323.opb

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

MD5SUM BENCH= acb3bfa25be6cee6deaef298d2d917c1
RANDOM SEED=1381786735

nodeC027 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	: 0xb00002a
cpu MHz		: 3599.638
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.654
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3497.097
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.416
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.642
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.655
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3564.218
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126019148 kB
MemAvailable:   127809416 kB
Buffers:            2488 kB
Cached:          2582644 kB
SwapCached:           12 kB
Active:          2564536 kB
Inactive:        1971808 kB
Active(anon):    1966488 kB
Inactive(anon):     2792 kB
Active(file):     598048 kB
Inactive(file):  1969016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6824 kB
Writeback:             8 kB
AnonPages:       1950808 kB
Mapped:           131536 kB
Shmem:             18056 kB
KReclaimable:     124488 kB
Slab:             217240 kB
SReclaimable:     124488 kB
SUnreclaim:        92752 kB
KernelStack:        4272 kB
PageTables:         7720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5740980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431156 MiB
End job on nodeC027 at 2025-07-11 19:19:14