Trace number 4501843

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 29.8508 29.9503

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.75	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4501843-1751159469.opb
0.66/0.75	c Solving mode: decision
0.66/0.75	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.66/0.75	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.66/0.75	c original problem has 12566 variables (12566 bin, 0 int, 0 impl, 0 cont) and 41514 constraints
0.66/0.75	c presolving:
0.66/0.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.75	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	c    (2.1s) probing: 1000/4367 (22.9%) - 253 fixings, 6 aggregations, 278996 implications, 0 bound changes
7.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	c    (3.9s) probing: 2000/4367 (45.8%) - 379 fixings, 12 aggregations, 631588 implications, 0 bound changes
7.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	c    (5.1s) probing: 3000/4367 (68.7%) - 390 fixings, 14 aggregations, 828519 implications, 0 bound changes
7.24/7.38	c    (5.9s) probing: 4000/4367 (91.6%) - 401 fixings, 14 aggregations, 977801 implications, 0 bound changes
7.24/7.38	c    (5.9s) probing cycle finished: starting next cycle
7.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.24/7.38	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.10/23.23	c    (7.2s) probing: 1000/3563 (28.1%) - 458 fixings, 24 aggregations, 1100355 implications, 0 bound changes
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (8.5s) probing: 2000/3563 (56.1%) - 487 fixings, 28 aggregations, 1359614 implications, 0 bound changes
23.10/23.23	c    (9.5s) probing: 3000/3563 (84.2%) - 501 fixings, 28 aggregations, 1536029 implications, 0 bound changes
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (10.1s) probing cycle finished: starting next cycle
23.10/23.23	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.10/23.23	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.10/23.23	c    (11.2s) probing: 1000/3308 (30.2%) - 529 fixings, 35 aggregations, 1727929 implications, 0 bound changes
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (12.4s) probing: 2000/3308 (60.5%) - 564 fixings, 44 aggregations, 1945537 implications, 0 bound changes
23.10/23.23	c    (13.4s) probing: 3000/3308 (90.7%) - 572 fixings, 45 aggregations, 2110424 implications, 0 bound changes
23.10/23.23	c    (13.7s) probing cycle finished: starting next cycle
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (14.7s) probing: 1000/3185 (31.4%) - 581 fixings, 65 aggregations, 2257270 implications, 0 bound changes
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (15.9s) probing: 2000/3185 (62.8%) - 615 fixings, 71 aggregations, 2433805 implications, 0 bound changes
23.10/23.23	c    (16.8s) probing: 3000/3185 (94.2%) - 617 fixings, 71 aggregations, 2590609 implications, 0 bound changes
23.10/23.23	c    (17.0s) probing cycle finished: starting next cycle
23.10/23.23	c    (17.9s) probing: 1000/3070 (32.6%) - 630 fixings, 80 aggregations, 2702109 implications, 0 bound changes
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (19.0s) probing: 2000/3070 (65.1%) - 632 fixings, 82 aggregations, 2870122 implications, 0 bound changes
23.10/23.23	c    (19.9s) probing: 3000/3070 (97.7%) - 637 fixings, 83 aggregations, 3035315 implications, 0 bound changes
23.10/23.23	c    (20.0s) probing cycle finished: starting next cycle
23.10/23.23	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.10/23.23	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.10/23.23	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.10/23.23	c    (21.0s) probing: 1000/3030 (33.0%) - 641 fixings, 95 aggregations, 3137335 implications, 0 bound changes
23.10/23.23	c    (22.0s) probing: 2000/3030 (66.0%) - 644 fixings, 98 aggregations, 3300584 implications, 0 bound changes
23.10/23.23	c    (23.0s) probing: 3000/3030 (99.0%) - 645 fixings, 99 aggregations, 3468647 implications, 0 bound changes
29.68/29.87	c    (23.0s) probing cycle finished: starting next cycle
29.68/29.87	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
29.68/29.87	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
29.68/29.87	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
29.68/29.87	c    (24.0s) probing: 1000/3004 (33.3%) - 646 fixings, 100 aggregations, 3558382 implications, 0 bound changes
29.68/29.87	c    (24.1s) probing: 1093/3004 (36.4%) - 646 fixings, 100 aggregations, 3572055 implications, 0 bound changes
29.68/29.87	c    (24.1s) probing aborted: 1000/1000 successive useless probings
29.68/29.87	c    (24.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
29.68/29.87	c    (24.1s) no symmetry present (symcode time: 0.00)
29.68/29.87	c presolving (139 rounds: 139 fast, 83 medium, 62 exhaustive):
29.68/29.87	c  14285 deleted vars, 39282 deleted constraints, 2801 added constraints, 2089 tightened bounds, 0 added holes, 296 changed sides, 1791 changed coefficients
29.68/29.87	c  0 implications, 98435 cliques
29.68/29.87	c presolved problem has 3002 variables (3002 bin, 0 int, 0 impl, 0 cont) and 4987 constraints
29.68/29.87	c     342 constraints of type <knapsack>
29.68/29.87	c    4050 constraints of type <setppc>
29.68/29.87	c     591 constraints of type <and>
29.68/29.87	c       4 constraints of type <logicor>
29.68/29.87	c transformed objective value is always integral (scale: 1)
29.68/29.87	c Presolving Time: 24.00
29.68/29.87	c 
29.68/29.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
29.68/29.87	c  24.7s|     1 |     0 |  3901 |     - |   110M |   0 |3002 |5017 |5578 |   0 |  0 |  29 |   0 | 0.000000e+00 |      --      |    Inf | unknown
29.68/29.87	c  29.7s|     1 |     0 | 25798 |     - |   115M |   0 |3002 |5218 |5578 |   0 |  1 |  30 |   0 |    cutoff    |      --      |   0.00%| unknown
29.68/29.87	c  29.7s|     1 |     0 | 25798 |     - |   115M |   0 |3002 |5218 |5578 |   0 |  1 |  30 |   0 |    cutoff    |      --      |   0.00%| unknown
29.68/29.87	c 
29.68/29.87	c SCIP Status        : problem is solved [infeasible]
29.68/29.87	c Solving Time (sec) : 29.65
29.68/29.87	c Solving Nodes      : 1
29.68/29.87	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
29.68/29.87	c Dual Bound         : +1.00000000000000e+20
29.68/29.87	c Gap                : 0.00 %
29.68/29.87	c SCIP found the problem to be infeasible.
29.68/29.87	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: 63708 MiB (62649 MiB free)
  memory of node 1: 64465 MiB (63703 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501843-1751159469/watcher-4501843-1751159469 -o /tmp/evaluation-result-4501843-1751159469/solver-4501843-1751159469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19843 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4501843-1751159469.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20167, runsolver pid=20164

[startup+0.100063 s]*
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129385180/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1187972 memory=32912 CPUtime=0.07 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 3961 0 0 0 6 1 0 0 20 0 1 0 31624483 1216483328 8228 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 296993 8228 4900 1 0 268984 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192164 KiB
Current children cumulated memory: 35984 KiB

[startup+0.20595 s]*
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129385180/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1226800 memory=78352 CPUtime=0.17 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 12837 0 0 0 15 2 0 0 20 0 1 0 31624483 1256243200 19588 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 306700 19588 7620 1 0 278058 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1230992 KiB
Current children cumulated memory: 81424 KiB

[startup+0.305904 s]*
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129320668/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1280200 memory=130832 CPUtime=0.27 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 25757 0 0 0 23 4 0 0 20 0 1 0 31624483 1310924800 32708 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 320050 32708 7844 1 0 291408 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1284392 KiB
Current children cumulated memory: 133904 KiB

[startup+0.700162 s]
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129312604/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1288736 memory=140688 CPUtime=0.66 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 28181 0 0 0 61 5 0 0 20 0 1 0 31624483 1319665664 35172 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 322184 35172 7908 1 0 293542 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1292928 KiB
Current children cumulated memory: 143760 KiB

[startup+1.50015 s]
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129312612/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1294584 memory=145936 CPUtime=1.46 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 29492 0 0 0 141 5 0 0 20 0 1 0 31624483 1325654016 36484 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 323646 36484 7908 1 0 295004 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1298776 KiB
Current children cumulated memory: 149008 KiB

[startup+3.10571 s]
/proc/loadavg: 3.77 2.17 1.98 5/280 20172
/proc/meminfo: memFree=129312084/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1295372 memory=146960 CPUtime=3.06 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 29698 0 0 0 301 5 0 0 20 0 1 0 31624483 1326460928 36740 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 323843 36740 7940 1 0 295201 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1299564 KiB
Current children cumulated memory: 150032 KiB

[startup+6.30016 s]
/proc/loadavg: 3.79 2.20 1.99 5/279 20172
/proc/meminfo: memFree=129312464/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1295372 memory=146960 CPUtime=6.25 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 29722 0 0 0 620 5 0 0 20 0 1 0 31624483 1326460928 36740 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 323843 36740 7940 1 0 295201 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1299564 KiB
Current children cumulated memory: 150032 KiB

[startup+12.7001 s]
/proc/loadavg: 3.89 2.25 2.01 5/279 20173
/proc/meminfo: memFree=129308132/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1296372 memory=147984 CPUtime=12.63 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 29977 0 0 0 1258 5 0 0 20 0 1 0 31624483 1327484928 36996 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 324093 36996 7940 1 0 295451 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1300564 KiB
Current children cumulated memory: 151056 KiB

[startup+25.5001 s]
/proc/loadavg: 3.91 2.33 2.04 5/279 20173
/proc/meminfo: memFree=129249508/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1316764 memory=163656 CPUtime=25.39 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 34079 0 0 0 2534 5 0 0 20 0 1 0 31624483 1348366336 40914 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 329191 40914 8100 1 0 300549 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1320956 KiB
Current children cumulated memory: 166728 KiB

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

# cumulated CPU time of all completed processes:  user=29.7575 s, system=0.093236 s

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

[startup+25.6002 s]
/proc/loadavg: 3.91 2.33 2.04 5/279 20173
/proc/meminfo: memFree=129249508/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1316764 memory=163656 CPUtime=25.49 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 34079 0 0 0 2544 5 0 0 20 0 1 0 31624483 1348366336 40914 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 329191 40914 8100 1 0 300549 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1320956 KiB
Current children cumulated memory: 166728 KiB

[startup+27.2001 s]
/proc/loadavg: 3.91 2.33 2.04 5/279 20173
/proc/meminfo: memFree=129249760/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1317348 memory=163912 CPUtime=27.09 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 34171 0 0 0 2704 5 0 0 20 0 1 0 31624483 1348964352 40978 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 329337 40978 8100 1 0 300695 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 1321540 KiB
Current children cumulated memory: 166984 KiB

[startup+28.8001 s]
/proc/loadavg: 3.91 2.33 2.04 5/279 20173
/proc/meminfo: memFree=129249760/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1352036 memory=196552 CPUtime=28.69 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 42332 0 0 0 2862 7 0 0 20 0 1 0 31624483 1384484864 49138 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 338009 49138 8100 1 0 309367 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 1356228 KiB
Current children cumulated memory: 199624 KiB

[startup+29.6001 s]
/proc/loadavg: 3.92 2.36 2.05 5/279 20173
/proc/meminfo: memFree=129201688/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1361680 memory=206152 CPUtime=29.48 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 44738 0 0 0 2941 7 0 0 20 0 1 0 31624483 1394360320 51538 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 340420 51538 8100 1 0 311778 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 1365872 KiB
Current children cumulated memory: 209224 KiB

[startup+29.8001 s]
/proc/loadavg: 3.92 2.36 2.05 5/279 20173
/proc/meminfo: memFree=129201688/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1363144 memory=207688 CPUtime=29.68 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 45121 0 0 0 2961 7 0 0 20 0 1 0 31624483 1395859456 51922 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 340786 51922 8100 1 0 312144 0
Current children cumulated CPU time: 29.68 s
Current children cumulated vsize: 1367336 KiB
Current children cumulated memory: 210760 KiB

[startup+29.9001 s]
/proc/loadavg: 3.92 2.36 2.05 5/279 20173
/proc/meminfo: memFree=129201688/131249988 swapFree=33010684/33010684
[pid=20167] ppid=20164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20167/stat : 20167 (scip-naps-1.00.) S 20164 20167 19830 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 31624481 4292608 768 18446744073709551615 94101205049344 94101205943877 140735192202736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94101206182928 94101206230672 94101238439936 140735192205729 140735192205826 140735192205826 140735192211428 0
/proc/20167/statm: 1048 768 704 219 0 110 0
[pid=20172] ppid=20167 vsize=1360680 memory=205236 CPUtime=29.78 cores=5,7
/proc/20172/stat : 20172 (python3) R 20167 20167 19830 0 -1 4194304 45139 0 0 0 2971 7 0 0 20 0 1 0 31624483 1393336320 51309 18446744073709551615 94737561694208 94737561694585 140732749133552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94737561705880 94737561706500 94737575043072 140732749138264 140732749138466 140732749138466 140732749144039 0
/proc/20172/statm: 340170 51309 8100 1 0 311528 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 1364872 KiB
Current children cumulated memory: 208308 KiB

Child status: 0

Real time (s): 29.9503
CPU time (s): 29.8508
CPU user time (s): 29.7575
CPU system time (s): 0.093236
CPU usage (%): 99.6675
Max. virtual memory (cumulated for all children) (KiB): 1367336
Max. memory (cumulated for all children) (KiB): 210760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7575
system time used= 0.093236
maximum resident set size= 207816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45776
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= 333
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 20167
#   total CPU time (s): 29.8508
#   total CPU user time (s): 29.7575
#   total CPU system time (s): 0.093236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063238 second user time and 0.162333 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 03:11:09
IDJOB=4501843
IDBENCH=152011
IDSOLVER=3368
FILE ID=nodeC020/4501843-1751159469
RUNJOBID= nodeC020-1751159326-19843
SLURM_JOB_ID= 9587502
Free space on /tmp= 433044 MiB

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

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

MD5SUM BENCH= acb3bfa25be6cee6deaef298d2d917c1
RANDOM SEED=75477499

nodeC020 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.928
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.79
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.878
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.667
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.79
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		: 3623.253
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.79
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.633
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.79
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.920
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.79
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		: 3581.070
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.79
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		: 3449.844
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129378440 kB
MemAvailable:   129401024 kB
Buffers:            3280 kB
Cached:           830080 kB
SwapCached:            0 kB
Active:           688488 kB
Inactive:         522832 kB
Active(anon):     396016 kB
Inactive(anon):        0 kB
Active(file):     292472 kB
Inactive(file):   522832 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6660 kB
Writeback:             0 kB
AnonPages:        380776 kB
Mapped:           129708 kB
Shmem:             18056 kB
KReclaimable:      93040 kB
Slab:             179532 kB
SReclaimable:      93040 kB
SUnreclaim:        86492 kB
KernelStack:        4528 kB
PageTables:         4364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3916748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150776 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC020 at 2025-06-29 03:11:39