Trace number 4544464

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.00a1? (TO) 3600.73 3612.07

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
MD5SUMec82efcd866f342a1f5f756e3ed31d43
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 benchmark5.10808
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints408375
Number of constraints which are clauses397971
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10404
Minimum length of a constraint2
Maximum length of a constraint17
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 33
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

209.89/210.75	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544464-1753222708.opb
209.89/210.75	c Solving mode: decision
209.89/210.75	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
209.89/210.75	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
209.89/210.75	c original problem has 5508 variables (5508 bin, 0 int, 0 impl, 0 cont) and 408375 constraints
209.89/210.75	c presolving:
209.89/210.75	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 312120 clqs
209.89/210.75	c (round 2, medium)     0 del vars, 5202 del conss, 10404 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322524 clqs
209.89/210.75	c (round 3, exhaustive) 0 del vars, 20031 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322524 clqs
209.89/210.75	c (round 4, exhaustive) 17 del vars, 20048 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322490 clqs
209.89/210.75	c (round 5, exhaustive) 17 del vars, 22632 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322490 clqs
209.89/210.75	c (round 6, exhaustive) 42 del vars, 22632 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381343 clqs
209.89/210.75	c (round 7, exhaustive) 67 del vars, 22700 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 407932 clqs
209.89/210.75	c (round 8, exhaustive) 92 del vars, 22806 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 423808 clqs
209.89/210.75	c    (72.4s) probing: 1000/5491 (18.2%) - 0 fixings, 80 aggregations, 124474 implications, 0 bound changes
209.89/210.75	c (round 9, exhaustive) 117 del vars, 22949 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 434505 clqs
209.89/210.75	c (round 10, exhaustive) 142 del vars, 23160 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 441089 clqs
209.89/210.75	c (round 11, exhaustive) 167 del vars, 23390 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447192 clqs
209.89/210.75	c (round 12, exhaustive) 192 del vars, 23675 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 448940 clqs
209.89/210.75	c (round 13, exhaustive) 217 del vars, 23954 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 451503 clqs
209.89/210.75	c (round 14, exhaustive) 242 del vars, 24265 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453714 clqs
209.89/210.75	c (round 15, fast)       242 del vars, 24588 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453714 clqs
209.89/210.75	c (round 16, exhaustive) 267 del vars, 24591 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454498 clqs
209.89/210.75	c (round 17, fast)       267 del vars, 24987 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454498 clqs
209.89/210.75	c (round 18, exhaustive) 292 del vars, 24989 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456527 clqs
209.89/210.75	c (round 19, fast)       292 del vars, 25407 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456527 clqs
209.89/210.75	c (round 20, exhaustive) 317 del vars, 25410 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456861 clqs
209.89/210.75	c (round 21, fast)       317 del vars, 25852 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456861 clqs
209.89/210.75	c (round 22, exhaustive) 342 del vars, 25856 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458490 clqs
209.89/210.75	c (round 23, fast)       342 del vars, 26367 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458490 clqs
209.89/210.75	c (round 24, exhaustive) 367 del vars, 26370 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459647 clqs
209.89/210.75	c (round 25, fast)       367 del vars, 26922 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459647 clqs
209.89/210.75	c    (154.3s) probing: 2000/5491 (36.4%) - 0 fixings, 358 aggregations, 225951 implications, 0 bound changes
209.89/210.75	c (round 26, exhaustive) 392 del vars, 26931 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459354 clqs
209.89/210.75	c (round 27, fast)       392 del vars, 27484 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459354 clqs
209.89/210.75	c (round 28, exhaustive) 417 del vars, 27489 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458146 clqs
209.89/210.75	c (round 29, fast)       417 del vars, 28085 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458146 clqs
209.89/210.75	c (round 30, exhaustive) 442 del vars, 28093 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456677 clqs
209.89/210.75	c (round 31, fast)       442 del vars, 28755 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456677 clqs
209.89/210.75	c (round 32, exhaustive) 467 del vars, 28760 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456052 clqs
209.89/210.75	c (round 33, fast)       467 del vars, 29444 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456052 clqs
209.89/210.75	c (round 34, exhaustive) 492 del vars, 29454 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454922 clqs
209.89/210.75	c (round 35, fast)       492 del vars, 30179 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454922 clqs
209.89/210.75	c (round 36, exhaustive) 517 del vars, 30193 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453496 clqs
209.89/210.75	c (round 37, fast)       517 del vars, 30917 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453496 clqs
209.89/210.75	c (round 38, exhaustive) 542 del vars, 30930 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 452003 clqs
209.89/210.75	c (round 39, fast)       542 del vars, 31756 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 452003 clqs
209.89/210.75	c (round 40, exhaustive) 567 del vars, 31762 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 450518 clqs
209.89/210.75	c (round 41, fast)       567 del vars, 32616 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 450518 clqs
209.89/210.75	c (round 42, exhaustive) 592 del vars, 32624 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447639 clqs
209.89/210.75	c (round 43, fast)       592 del vars, 33467 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447639 clqs
209.89/210.75	c (round 44, exhaustive) 617 del vars, 33481 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 445101 clqs
209.89/210.75	c (round 45, fast)       617 del vars, 34335 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 445101 clqs
209.89/210.75	c (round 46, exhaustive) 642 del vars, 34345 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 442711 clqs
209.89/210.75	c (round 47, fast)       642 del vars, 35257 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 442711 clqs
317.20/318.44	c (round 48, exhaustive) 667 del vars, 35266 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 440190 clqs
317.20/318.44	c (round 49, fast)       667 del vars, 36214 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 440190 clqs
317.20/318.44	c (round 50, exhaustive) 692 del vars, 36224 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 438406 clqs
317.20/318.44	c (round 51, fast)       692 del vars, 37210 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 438406 clqs
317.20/318.44	c (round 52, exhaustive) 717 del vars, 37220 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 436442 clqs
317.20/318.44	c (round 53, fast)       717 del vars, 38237 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 436442 clqs
317.20/318.44	c (round 54, exhaustive) 742 del vars, 38254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 435105 clqs
317.20/318.44	c (round 55, fast)       742 del vars, 39322 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 435105 clqs
317.20/318.44	c (round 56, exhaustive) 767 del vars, 39334 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 432473 clqs
317.20/318.44	c (round 57, fast)       767 del vars, 40444 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 432473 clqs
317.20/318.44	c (round 58, exhaustive) 792 del vars, 40453 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 430626 clqs
317.20/318.44	c (round 59, fast)       792 del vars, 41605 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 430626 clqs
317.20/318.44	c (round 60, exhaustive) 817 del vars, 41620 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 427633 clqs
317.20/318.44	c (round 61, fast)       817 del vars, 42835 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 427633 clqs
317.20/318.44	c (round 62, exhaustive) 842 del vars, 42849 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 425431 clqs
317.20/318.44	c (round 63, fast)       842 del vars, 44074 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 425431 clqs
317.20/318.44	c (round 64, exhaustive) 867 del vars, 44085 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 422813 clqs
317.20/318.44	c (round 65, fast)       867 del vars, 45329 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 422813 clqs
317.20/318.44	c    (249.6s) probing: 3000/5491 (54.6%) - 0 fixings, 858 aggregations, 304037 implications, 0 bound changes
317.20/318.44	c (round 66, exhaustive) 892 del vars, 45341 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 419732 clqs
317.20/318.44	c (round 67, fast)       892 del vars, 46636 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 419732 clqs
317.20/318.44	c (round 68, exhaustive) 917 del vars, 46649 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 417024 clqs
317.20/318.44	c (round 69, fast)       917 del vars, 48000 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 417024 clqs
317.20/318.44	c (round 70, exhaustive) 942 del vars, 48013 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 414187 clqs
317.20/318.44	c (round 71, fast)       942 del vars, 49373 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 414187 clqs
317.20/318.44	c (round 72, exhaustive) 967 del vars, 49390 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 411634 clqs
317.20/318.44	c (round 73, fast)       967 del vars, 50809 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 411634 clqs
317.20/318.44	c (round 74, exhaustive) 992 del vars, 50819 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 408790 clqs
317.20/318.44	c (round 75, fast)       992 del vars, 52238 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 408790 clqs
317.20/318.44	c (round 76, exhaustive) 1017 del vars, 52254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 405301 clqs
317.20/318.44	c (round 77, fast)       1017 del vars, 53721 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 405301 clqs
317.20/318.44	c (round 78, exhaustive) 1042 del vars, 53738 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 402450 clqs
317.20/318.44	c (round 79, fast)       1042 del vars, 55281 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 402450 clqs
317.20/318.44	c (round 80, exhaustive) 1067 del vars, 55300 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 399893 clqs
317.20/318.44	c (round 81, fast)       1067 del vars, 56824 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 399893 clqs
317.20/318.44	c (round 82, exhaustive) 1092 del vars, 56843 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 396500 clqs
317.20/318.44	c (round 83, fast)       1092 del vars, 58402 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 396500 clqs
317.20/318.44	c (round 84, exhaustive) 1117 del vars, 58417 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 393220 clqs
317.20/318.44	c (round 85, fast)       1117 del vars, 60043 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 393220 clqs
317.20/318.44	c (round 86, exhaustive) 1142 del vars, 60056 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 390796 clqs
317.20/318.44	c (round 87, fast)       1142 del vars, 61730 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 390796 clqs
317.20/318.44	c (round 88, exhaustive) 1167 del vars, 61752 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 387726 clqs
317.20/318.44	c (round 89, fast)       1167 del vars, 63437 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 387726 clqs
317.20/318.44	c (round 90, exhaustive) 1192 del vars, 63453 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 384501 clqs
317.20/318.44	c (round 91, fast)       1192 del vars, 65210 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 384501 clqs
317.20/318.44	c (round 92, exhaustive) 1217 del vars, 65231 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381393 clqs
317.20/318.44	c (round 93, fast)       1217 del vars, 66973 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381393 clqs
317.20/318.44	c (round 94, exhaustive) 1242 del vars, 66996 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 378402 clqs
317.20/318.44	c (round 95, fast)       1242 del vars, 68795 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 378402 clqs
317.20/318.44	c (round 96, exhaustive) 1267 del vars, 68812 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 375416 clqs
317.20/318.44	c (round 97, fast)       1267 del vars, 70716 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 375416 clqs
317.20/318.44	c (round 98, exhaustive) 1292 del vars, 70742 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 372283 clqs
411.66/413.24	c (round 99, fast)       1292 del vars, 72581 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 372283 clqs
411.66/413.24	c (round 100, exhaustive) 1317 del vars, 72605 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 369184 clqs
411.66/413.24	c (round 101, fast)       1317 del vars, 74481 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 369184 clqs
411.66/413.24	c (round 102, exhaustive) 1342 del vars, 74507 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 365632 clqs
411.66/413.24	c (round 103, fast)       1342 del vars, 76409 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 365632 clqs
411.66/413.24	c (round 104, exhaustive) 1367 del vars, 76434 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 362264 clqs
411.66/413.24	c (round 105, fast)       1367 del vars, 78414 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 362264 clqs
411.66/413.24	c (round 106, exhaustive) 1392 del vars, 78434 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 359028 clqs
411.66/413.24	c (round 107, fast)       1392 del vars, 80492 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 359028 clqs
411.66/413.24	c (round 108, exhaustive) 1417 del vars, 80519 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 355504 clqs
411.66/413.24	c (round 109, fast)       1417 del vars, 82586 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 355504 clqs
411.66/413.24	c (round 110, exhaustive) 1442 del vars, 82611 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 352418 clqs
411.66/413.24	c (round 111, fast)       1442 del vars, 84670 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 352418 clqs
411.66/413.24	c (round 112, exhaustive) 1467 del vars, 84695 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 349134 clqs
411.66/413.24	c (round 113, fast)       1467 del vars, 86825 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 349134 clqs
411.66/413.24	c (round 114, exhaustive) 1492 del vars, 86847 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 345767 clqs
411.66/413.24	c (round 115, fast)       1492 del vars, 89046 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 345767 clqs
411.66/413.24	c (round 116, exhaustive) 1517 del vars, 89068 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 342642 clqs
411.66/413.24	c (round 117, fast)       1517 del vars, 91259 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 342642 clqs
411.66/413.24	c (round 118, exhaustive) 1542 del vars, 91284 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 339614 clqs
411.66/413.24	c (round 119, fast)       1542 del vars, 93508 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 339614 clqs
411.66/413.24	c (round 120, exhaustive) 1567 del vars, 93542 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 336211 clqs
411.66/413.24	c (round 121, fast)       1567 del vars, 95819 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 336211 clqs
411.66/413.24	c    (361.5s) probing: 4000/5491 (72.8%) - 0 fixings, 1551 aggregations, 358742 implications, 0 bound changes
411.66/413.24	c (round 122, exhaustive) 1592 del vars, 95851 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 333184 clqs
411.66/413.24	c (round 123, fast)       1592 del vars, 98146 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 333184 clqs
411.66/413.24	c (round 124, exhaustive) 1617 del vars, 98174 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 329700 clqs
411.66/413.24	c (round 125, fast)       1617 del vars, 100519 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 329700 clqs
411.66/413.24	c (round 126, exhaustive) 1642 del vars, 100542 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 326280 clqs
411.66/413.24	c (round 127, fast)       1642 del vars, 102924 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 326280 clqs
411.66/413.24	c (round 128, exhaustive) 1667 del vars, 102948 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322969 clqs
411.66/413.24	c (round 129, fast)       1667 del vars, 105341 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322969 clqs
411.66/413.24	c (round 130, exhaustive) 1692 del vars, 105365 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 319724 clqs
411.66/413.24	c (round 131, fast)       1692 del vars, 107825 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 319724 clqs
411.66/413.24	c (round 132, exhaustive) 1717 del vars, 107853 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 316339 clqs
411.66/413.24	c (round 133, fast)       1717 del vars, 110339 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 316339 clqs
411.66/413.24	c (round 134, exhaustive) 1742 del vars, 110371 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 312915 clqs
411.66/413.24	c (round 135, fast)       1742 del vars, 112896 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 312915 clqs
411.66/413.24	c (round 136, exhaustive) 1767 del vars, 112926 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 309745 clqs
411.66/413.24	c (round 137, fast)       1767 del vars, 115526 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 309745 clqs
411.66/413.24	c (round 138, exhaustive) 1792 del vars, 115555 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 306725 clqs
411.66/413.24	c (round 139, fast)       1792 del vars, 118146 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 306725 clqs
411.66/413.24	c (round 140, exhaustive) 1817 del vars, 118182 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 303436 clqs
411.66/413.24	c (round 141, fast)       1817 del vars, 120807 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 303436 clqs
411.66/413.24	c (round 142, exhaustive) 1842 del vars, 120836 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 300229 clqs
411.66/413.24	c (round 143, fast)       1842 del vars, 123524 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 300229 clqs
411.66/413.24	c (round 144, exhaustive) 1867 del vars, 123555 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 296983 clqs
411.66/413.24	c (round 145, fast)       1867 del vars, 126254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 296983 clqs
411.66/413.24	c (round 146, exhaustive) 1892 del vars, 126290 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 293637 clqs
411.66/413.24	c (round 147, fast)       1892 del vars, 129034 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 293637 clqs
411.66/413.24	c (round 148, exhaustive) 1917 del vars, 129069 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 290324 clqs
490.50/492.38	c (round 149, fast)       1917 del vars, 131858 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 290324 clqs
490.50/492.38	c (round 150, exhaustive) 1942 del vars, 131891 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 286964 clqs
490.50/492.38	c (round 151, fast)       1942 del vars, 134696 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 286964 clqs
490.50/492.38	c (round 152, exhaustive) 1967 del vars, 134734 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 283739 clqs
490.50/492.38	c (round 153, fast)       1967 del vars, 137572 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 283739 clqs
490.50/492.38	c (round 154, exhaustive) 1992 del vars, 137607 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 280393 clqs
490.50/492.38	c (round 155, fast)       1992 del vars, 140476 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 280393 clqs
490.50/492.38	c (round 156, exhaustive) 2017 del vars, 140509 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 277123 clqs
490.50/492.38	c (round 157, fast)       2017 del vars, 143439 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 277123 clqs
490.50/492.38	c (round 158, exhaustive) 2042 del vars, 143471 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 273798 clqs
490.50/492.38	c (round 159, fast)       2042 del vars, 146464 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 273798 clqs
490.50/492.38	c (round 160, exhaustive) 2067 del vars, 146504 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 270626 clqs
490.50/492.38	c (round 161, fast)       2067 del vars, 149525 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 270626 clqs
490.50/492.38	c (round 162, exhaustive) 2092 del vars, 149562 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 267431 clqs
490.50/492.38	c (round 163, fast)       2092 del vars, 152622 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 267431 clqs
490.50/492.38	c (round 164, exhaustive) 2117 del vars, 152658 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 264083 clqs
490.50/492.38	c (round 165, fast)       2117 del vars, 155738 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 264083 clqs
490.50/492.38	c (round 166, exhaustive) 2142 del vars, 155772 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 260795 clqs
490.50/492.38	c (round 167, fast)       2142 del vars, 158854 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 260795 clqs
490.50/492.38	c (round 168, exhaustive) 2167 del vars, 158894 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 257562 clqs
490.50/492.38	c (round 169, fast)       2167 del vars, 162018 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 257562 clqs
490.50/492.38	c (round 170, exhaustive) 2192 del vars, 162056 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 254307 clqs
490.50/492.38	c (round 171, fast)       2192 del vars, 165241 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 254307 clqs
490.50/492.38	c (round 172, exhaustive) 2217 del vars, 165281 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 251014 clqs
490.50/492.38	c (round 173, fast)       2217 del vars, 168472 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 251014 clqs
490.50/492.38	c (round 174, exhaustive) 2242 del vars, 168507 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 247793 clqs
490.50/492.38	c (round 175, fast)       2242 del vars, 171744 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 247793 clqs
490.50/492.38	c (round 176, exhaustive) 2267 del vars, 171781 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 244528 clqs
490.50/492.38	c (round 177, fast)       2267 del vars, 175031 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 244528 clqs
490.50/492.38	c (round 178, exhaustive) 2292 del vars, 175073 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 241330 clqs
490.50/492.38	c (round 179, fast)       2292 del vars, 178378 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 241330 clqs
490.50/492.38	c (round 180, exhaustive) 2317 del vars, 178418 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 238106 clqs
490.50/492.38	c (round 181, fast)       2317 del vars, 181756 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 238106 clqs
490.50/492.38	c (round 182, exhaustive) 2342 del vars, 181792 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 234942 clqs
490.50/492.38	c (round 183, fast)       2342 del vars, 185191 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 234942 clqs
490.50/492.38	c (round 184, exhaustive) 2367 del vars, 185236 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 231860 clqs
490.50/492.38	c (round 185, fast)       2367 del vars, 188663 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 231860 clqs
490.50/492.38	c (round 186, exhaustive) 2392 del vars, 188706 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 228689 clqs
490.50/492.38	c (round 187, fast)       2392 del vars, 192156 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 228689 clqs
490.50/492.38	c (round 188, exhaustive) 2417 del vars, 192195 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 225536 clqs
490.50/492.38	c (round 189, fast)       2417 del vars, 195693 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 225536 clqs
490.50/492.38	c    (479.8s) probing: 5000/5491 (91.1%) - 0 fixings, 2418 aggregations, 390289 implications, 0 bound changes
490.50/492.38	c (round 190, exhaustive) 2442 del vars, 195733 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 222403 clqs
490.50/492.38	c (round 191, fast)       2442 del vars, 199268 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 222403 clqs
490.50/492.38	c (round 192, exhaustive) 2467 del vars, 199311 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 219241 clqs
490.50/492.38	c (round 193, fast)       2467 del vars, 202889 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 219241 clqs
490.50/492.38	c (round 194, exhaustive) 2492 del vars, 202934 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 216128 clqs
490.50/492.38	c (round 195, fast)       2492 del vars, 206530 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 216128 clqs
490.50/492.38	c (round 196, exhaustive) 2517 del vars, 206573 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 213000 clqs
490.50/492.38	c (round 197, fast)       2517 del vars, 210216 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 213000 clqs
490.50/492.38	c (round 198, exhaustive) 2542 del vars, 210261 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 209905 clqs
499.07/500.90	c (round 199, fast)       2542 del vars, 213940 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 209905 clqs
499.07/500.90	c (round 200, exhaustive) 2567 del vars, 213978 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 206800 clqs
499.07/500.90	c (round 201, fast)       2567 del vars, 217696 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 206800 clqs
499.07/500.90	c (round 202, exhaustive) 2592 del vars, 217743 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 203715 clqs
499.07/500.90	c (round 203, fast)       2592 del vars, 221491 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 203715 clqs
499.07/500.90	c    (500.0s) probing: 5198/5491 (94.7%) - 0 fixings, 2584 aggregations, 393766 implications, 0 bound changes
499.07/500.90	c    (500.0s) probing aborted: solving stopped
499.07/500.90	c (round 204, exhaustive) 2601 del vars, 221535 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 203060 clqs
499.07/500.90	c presolving (204 rounds: 204 fast, 109 medium, 108 exhaustive):
499.07/500.90	c  2601 deleted vars, 221535 deleted constraints, 15347 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5219 changed coefficients
499.07/500.90	c  0 implications, 203060 cliques
499.07/500.90	c presolving was interrupted.
499.07/500.90	c Presolving Time: 499.57
499.07/500.90	c presolving:
499.07/500.90	c presolving (204 rounds: 204 fast, 109 medium, 108 exhaustive):
499.07/500.90	c  2601 deleted vars, 221535 deleted constraints, 15347 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5219 changed coefficients
499.07/500.90	c  0 implications, 203060 cliques
499.07/500.90	c presolving was interrupted.
499.07/500.90	c Presolving Time: 499.57
499.07/500.90	c 
499.07/500.90	c SCIP Status        : solving was interrupted [time limit reached]
499.07/500.90	c Solving Time (sec) : 500.03
499.07/500.90	c Solving Nodes      : 0
499.07/500.90	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.07/500.90	c ----------------------------------------------------------------------
499.07/500.90	c dual bound: -1e+20 -> -100000000000000000000
499.07/500.90	c primal bound: 1e+20 -> 100000000000000000000
499.07/500.90	c scip-goal-lb: -100000000000000000000
499.07/500.90	c scip-goal-ub: 100000000000000000000
499.07/500.90	c writing output to: HOME/tmpchojyoz9.opb
499.07/500.90	c appending fixed variable constraints
499.07/500.90	c scip-fixed vars: 0.00% (0/2907)
499.07/500.90	c ----------------------------------------------------------------------
499.07/500.90	c executing external solver: HOME/naps-1.03a6
499.07/500.90	c ----------------------------------------------------------------------
499.07/500.90	c command: HOME/naps-1.03a6 HOME/tmpchojyoz9.opb
499.07/500.93	c NaPS 1.03a6.
499.07/500.93	c Input file name: HOME/tmpchojyoz9.opb
3600.04/3611.40	c
3600.04/3611.40	c *** TERMINATED *** by signal 15
3600.04/3611.40	c _____________________________________________________________________________
3600.04/3611.40	c std/band forms        : 5202,0
3600.04/3611.40	c 2cl/3cl ITE-codings   : 0,0
3600.04/3611.40	c BDD/srt/adr Max costs : 2,0,0
3600.04/3611.40	c BDDraw/bin/mul/srt/adr: 5202,0,0,0,0
3600.04/3611.40	c BDD nodes             : 15606
3600.04/3611.40	c Es1/CC detections     : 0,0
3600.04/3611.40	c CC sort               : 0
3600.04/3611.40	c SAT/UNSAT calls       : 0,0
3600.04/3611.40	c regenrated variables  : 0
3600.04/3611.40	c eliminated fixed lits : 0
3600.04/3611.40	c goal lit flips        : 0
3600.04/3611.40	c goal stages           : 0
3600.04/3611.40	c goal shrink           : 0
3600.04/3611.40	c goal coeff separations: 0
3600.04/3611.40	c restarts              : 0
3600.04/3611.40	c conflicts             : 0              (0 /sec)
3600.04/3611.40	c decisions             : 0              (0 /sec)
3600.04/3611.40	c propagations          : 0              (0 /sec)
3600.04/3611.40	c inspects              : 0              (0 /sec)
3600.04/3611.40	c CPU time (solving tm) : 3095 s        (3093 s, SAT 0 s, UNSAT 0 s)
3600.04/3611.40	c Time for Opt-base     : 0 s
3600.04/3611.40	c Steps for Opt-base    : 0
3600.04/3611.40	c Time for BDD coding   : 0.0361 s
3600.04/3611.40	c Time for srt coding   : 0 s
3600.04/3611.40	c _____________________________________________________________________________
3600.04/3611.40	s UNKNOWN
3600.64/3612.02	c received SIGTERM, forwarding to pbsolver...
3600.64/3612.02	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

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 (61494 MiB free)
  memory of node 1: 64465 MiB (56670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544464-1753222708/watcher-4544464-1753222708 -o /tmp/evaluation-result-4544464-1753222708/solver-4544464-1753222708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168829 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4544464-1753222708.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=170717, runsolver pid=170714
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 3.65 2.15 1.87 5/267 170722
/proc/meminfo: memFree=121001108/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1187972 memory=33032 CPUtime=0.07 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 3963 0 0 0 6 1 0 0 20 0 1 0 237949354 1216483328 8258 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 296993 8258 4930 1 0 268984 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192164 KiB
Current children cumulated memory: 36104 KiB

[startup+0.205718 s]*
/proc/loadavg: 3.65 2.15 1.87 5/267 170722
/proc/meminfo: memFree=120968600/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1225432 memory=76808 CPUtime=0.18 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 12459 0 0 0 15 3 0 0 20 0 1 0 237949354 1254842368 19202 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 306358 19202 7618 1 0 277716 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1229624 KiB
Current children cumulated memory: 79880 KiB

[startup+0.305629 s]*
/proc/loadavg: 3.65 2.15 1.87 6/267 170722
/proc/meminfo: memFree=120944416/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1256236 memory=107144 CPUtime=0.27 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 20028 0 0 0 23 4 0 0 20 0 1 0 237949354 1286385664 26786 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 314059 26786 7618 1 0 285417 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1260428 KiB
Current children cumulated memory: 110216 KiB

[startup+0.700202 s]
/proc/loadavg: 3.65 2.15 1.87 6/267 170722
/proc/meminfo: memFree=120887968/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1371212 memory=221736 CPUtime=0.66 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 48158 0 0 0 58 8 0 0 20 0 1 0 237949354 1404121088 55434 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 342803 55434 7618 1 0 314161 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1375404 KiB
Current children cumulated memory: 224808 KiB

[startup+1.50021 s]
/proc/loadavg: 3.65 2.15 1.87 5/267 170722
/proc/meminfo: memFree=120674460/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1687536 memory=534316 CPUtime=1.45 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 125068 0 0 0 126 19 0 0 20 0 1 0 237949354 1728036864 133579 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 421884 133579 7874 1 0 393242 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1691728 KiB
Current children cumulated memory: 537388 KiB

[startup+3.1056 s]
/proc/loadavg: 3.68 2.18 1.88 5/267 170722
/proc/meminfo: memFree=120358764/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1869120 memory=714724 CPUtime=3.06 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168597 0 0 0 279 27 0 0 20 0 1 0 237949354 1913978880 178681 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467280 178681 7906 1 0 438638 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1873312 KiB
Current children cumulated memory: 717796 KiB

[startup+6.30023 s]
/proc/loadavg: 3.68 2.18 1.88 5/267 170722
/proc/meminfo: memFree=120399588/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1869120 memory=714980 CPUtime=6.24 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168685 0 0 0 597 27 0 0 20 0 1 0 237949354 1913978880 178745 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467280 178745 7938 1 0 438638 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1873312 KiB
Current children cumulated memory: 718052 KiB

[startup+12.7002 s]
/proc/loadavg: 3.71 2.21 1.89 5/267 170722
/proc/meminfo: memFree=120464856/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1869648 memory=715108 CPUtime=12.62 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168712 0 0 0 1235 27 0 0 20 0 1 0 237949354 1914519552 178777 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467412 178777 7938 1 0 438770 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1873840 KiB
Current children cumulated memory: 718180 KiB

[startup+25.5002 s]
/proc/loadavg: 3.77 2.30 1.92 5/267 170722
/proc/meminfo: memFree=120628200/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1869648 memory=715364 CPUtime=25.39 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168763 0 0 0 2511 28 0 0 20 0 1 0 237949354 1914519552 178841 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467412 178841 7938 1 0 438770 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1873840 KiB
Current children cumulated memory: 718436 KiB

[startup+51.1061 s]
/proc/loadavg: 3.93 2.45 1.99 5/267 170723
/proc/meminfo: memFree=120637596/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1870276 memory=715620 CPUtime=50.89 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168841 0 0 0 5061 28 0 0 20 0 1 0 237949354 1915162624 178905 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467569 178905 7938 1 0 438927 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1874468 KiB
Current children cumulated memory: 718692 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 2.71 2.10 5/267 170822
/proc/meminfo: memFree=119420564/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1870276 memory=716004 CPUtime=101.91 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 168937 0 0 0 10163 28 0 0 20 0 1 0 237949354 1915162624 179001 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 467569 179001 7938 1 0 438927 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1874468 KiB
Current children cumulated memory: 719076 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 2.96 2.23 5/267 170874
/proc/meminfo: memFree=117932256/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=1930876 memory=776684 CPUtime=161.68 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 175940 0 0 0 16138 30 0 0 20 0 1 0 237949354 1977217024 194171 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 482719 194171 7938 1 0 454077 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1935068 KiB
Current children cumulated memory: 779756 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.17 2.35 5/267 170875
/proc/meminfo: memFree=117668884/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2054832 memory=900632 CPUtime=221.45 cores=4,6
/proc/170722/stat : 170722 (python3) R 170717 170717 168818 0 -1 4194304 189045 0 0 0 22111 34 0 0 20 0 1 0 237949354 2104147968 225158 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 513708 225158 7938 1 0 485066 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 2059024 KiB

################
# More data... #
################


[startup+3282.3 s]
/proc/loadavg: 4.38 4.20 4.08 5/271 171626
/proc/meminfo: memFree=116432572/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=59104 memory=53884 CPUtime=2772.72 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 1938249 0 0 0 276758 514 0 0 20 0 1 0 237999444 60522496 13471 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 14776 13471 544 696 0 13937 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 2692108 KiB
Current children cumulated memory: 1531668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.08 5/270 171628
/proc/meminfo: memFree=116533000/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=50912 memory=47320 CPUtime=2832.54 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 1971637 0 0 0 282730 524 0 0 20 0 1 0 237999444 52133888 11830 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 12728 11830 544 696 0 11889 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 2683916 KiB
Current children cumulated memory: 1525104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.08 5/270 171630
/proc/meminfo: memFree=116532468/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=59104 memory=53688 CPUtime=2892.4 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 2015512 0 0 0 288706 534 0 0 20 0 1 0 237999444 60522496 13422 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 14776 13422 544 696 0 13937 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 2692108 KiB
Current children cumulated memory: 1531472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/270 171632
/proc/meminfo: memFree=116491968/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=59104 memory=56412 CPUtime=2952.26 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 2062435 0 0 0 294682 544 0 0 20 0 1 0 237999444 60522496 14103 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 14776 14103 544 696 0 13937 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 2692108 KiB
Current children cumulated memory: 1534196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.12 4.08 5/270 171634
/proc/meminfo: memFree=116485324/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=63200 memory=59104 CPUtime=3012.11 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 2092054 0 0 0 300659 552 0 0 20 0 1 0 237999444 64716800 14776 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 15800 14776 544 696 0 14961 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 2696204 KiB
Current children cumulated memory: 1536888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/269 171684
/proc/meminfo: memFree=115430948/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=59104 memory=56908 CPUtime=3071.93 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 2203726 0 0 0 306615 578 0 0 20 0 1 0 237999444 60522496 14227 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 14776 14227 544 696 0 13937 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 2692108 KiB
Current children cumulated memory: 1534692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.08 4.12 4.08 5/270 171689
/proc/meminfo: memFree=113287436/131249988 swapFree=33010416/33010684
[pid=170717] ppid=170714 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/170717/stat : 170717 (scip-naps-1.00.) S 170714 170717 168818 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 237949352 4292608 768 18446744073709551615 94722997104640 94722997999173 140730757552832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94722998238224 94722998285968 94723016667136 140730757556639 140730757556736 140730757556736 140730757562340 0
/proc/170717/statm: 1048 768 704 219 0 110 0
[pid=170722] ppid=170717 vsize=2628812 memory=1474712 CPUtime=499.09 cores=4,6
/proc/170722/stat : 170722 (python3) S 170717 170717 168818 0 -1 4194304 263206 0 0 0 49851 58 0 0 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
[pid=170938] ppid=170722 vsize=79584 memory=63200 CPUtime=3100.95 cores=4,6
/proc/170938/stat : 170938 (naps-1.03a6) R 170722 170938 170938 0 -1 4194304 2277407 0 0 0 309500 595 0 0 20 0 1 0 237999444 81494016 15800 18446744073709551615 4198400 7047149 140722264984000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15286272 140722264992143 140722264992241 140722264992241 140722264997833 0
/proc/170938/statm: 19896 15800 544 696 0 19057 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2712588 KiB
Current children cumulated memory: 1540984 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.42 s]
# the end of solver process 170717 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002082 s, system=0.005361 s

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

# cumulated CPU time of all completed processes:  user=3594.07 s, system=6.65974 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.61 s]
/proc/loadavg: 4.08 4.12 4.08 5/268 171689
/proc/meminfo: memFree=113344268/131249988 swapFree=33010416/33010684
[pid=170722] ppid=170714 vsize=2628812 memory=1474712 CPUtime=3600.24 cores=4,6
/proc/170722/stat : 170722 (python3) R 170714 170717 168818 0 -1 4194304 298440 2277408 0 0 49869 60 309500 595 20 0 1 0 237949354 2691903488 368678 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 657203 368678 8002 1 0 628561 0
Current cumulated CPU time of completed processes: 0.007443 s
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 2628812 KiB
Current children cumulated memory: 1474712 KiB

[startup+3612 s]*
/proc/loadavg: 4.08 4.12 4.08 5/268 171689
/proc/meminfo: memFree=113536460/131249988 swapFree=33010416/33010684
[pid=170722] ppid=170714 vsize=2359520 memory=1205224 CPUtime=3600.63 cores=4,6
/proc/170722/stat : 170722 (python3) R 170714 170717 168818 0 -1 4194304 370800 2277408 0 0 49904 64 309500 595 20 0 1 0 237949354 2416148480 301306 18446744073709551615 94586006650880 94586006651257 140728960702352 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94586006662552 94586006663172 94586032492544 140728960706902 140728960707104 140728960707104 140728960712679 0
/proc/170722/statm: 589880 301306 8002 1 0 561238 0
Current cumulated CPU time of completed processes: 0.007443 s
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 2359520 KiB
Current children cumulated memory: 1205224 KiB

Child status: 0

Real time (s): 3612.07
CPU time (s): 3600.73
CPU user time (s): 3594.07
CPU system time (s): 6.65974
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 2786320
Max. memory (cumulated for all children) (KiB): 1603248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.07
system time used= 6.65974
maximum resident set size= 1474712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2652447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 347
involuntary context switches= 4000


# summary of solver processes directly reported to runsolver:
#   pid: 170717,170722
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3594.07
#   total CPU system time (s): 6.65974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93448 second user time and 16.6402 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-23 00:18:28
IDJOB=4544464
IDBENCH=180672
IDSOLVER=3368
FILE ID=nodeC031/4544464-1753222708
RUNJOBID= nodeC031-1753222578-168829
SLURM_JOB_ID= 9687820
Free space on /tmp= 432916 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat16_15_identity_complement.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544464-1753222708/watcher-4544464-1753222708 -o /tmp/evaluation-result-4544464-1753222708/solver-4544464-1753222708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168829 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4544464-1753222708.opb

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

MD5SUM BENCH= ec82efcd866f342a1f5f756e3ed31d43
RANDOM SEED=620318908

nodeC031 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.849
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.78
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.886
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.78
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		: 3601.722
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.78
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		: 3675.091
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.78
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.884
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.78
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.893
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.78
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		: 3767.025
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.78
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		: 3599.485
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        121000804 kB
MemAvailable:   126163836 kB
Buffers:            2128 kB
Cached:          5847764 kB
SwapCached:            8 kB
Active:          4190808 kB
Inactive:        4713696 kB
Active(anon):    3070396 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4703232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15960 kB
Writeback:            12 kB
AnonPages:       3057716 kB
Mapped:           131312 kB
Shmem:             26248 kB
KReclaimable:     357256 kB
Slab:             455972 kB
SReclaimable:     357256 kB
SUnreclaim:        98716 kB
KernelStack:        4352 kB
PageTables:         9952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7086208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432836 MiB
End job on nodeC031 at 2025-07-23 01:18:40