Trace number 4529773

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2UNSAT 1671.51 1676.86

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUMd06d89796adb8259df968e568daeeb68
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 benchmark99.5978
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2.42/2.57	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529773-1752253269.opb
2.42/2.57	c Solving mode: decision
2.42/2.57	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
2.42/2.57	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
2.42/2.57	c original problem has 23621 variables (23621 bin, 0 int, 0 impl, 0 cont) and 67526 constraints
2.42/2.57	c presolving:
2.42/2.57	c (round 1, fast)       44 del vars, 12 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 43852 clqs
2.42/2.57	c (round 2, fast)       81 del vars, 108 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 43870 clqs
2.42/2.57	c (round 3, medium)     863 del vars, 108 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 42302 clqs
2.42/2.57	c (round 4, fast)       867 del vars, 1680 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 42307 clqs
2.42/2.57	c (round 5, exhaustive) 867 del vars, 1697 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 65825 upgd conss, 0 impls, 42307 clqs
2.42/2.57	c (round 6, exhaustive) 871 del vars, 65103 del conss, 21132 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 65825 upgd conss, 0 impls, 42299 clqs
2.42/2.57	c (round 7, exhaustive) 1042 del vars, 65135 del conss, 21164 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 65825 upgd conss, 0 impls, 41874 clqs
2.42/2.57	c (round 8, fast)       1256 del vars, 65214 del conss, 21164 add conss, 1 chg bounds, 1200 chg sides, 2478 chg coeffs, 65825 upgd conss, 0 impls, 41787 clqs
2.42/2.57	c (round 9, exhaustive) 1256 del vars, 65232 del conss, 21170 add conss, 1 chg bounds, 1200 chg sides, 2478 chg coeffs, 65825 upgd conss, 0 impls, 41787 clqs
2.42/2.57	c (round 10, exhaustive) 1303 del vars, 65256 del conss, 21194 add conss, 1 chg bounds, 1200 chg sides, 2478 chg coeffs, 65825 upgd conss, 0 impls, 41670 clqs
2.42/2.57	c (round 11, fast)       1348 del vars, 65282 del conss, 21194 add conss, 1 chg bounds, 1200 chg sides, 2501 chg coeffs, 65825 upgd conss, 0 impls, 41648 clqs
2.42/2.57	c (round 12, exhaustive) 1349 del vars, 65303 del conss, 21208 add conss, 1 chg bounds, 1200 chg sides, 2501 chg coeffs, 65825 upgd conss, 0 impls, 41646 clqs
2.42/2.57	c (round 13, exhaustive) 1437 del vars, 65407 del conss, 21209 add conss, 1 chg bounds, 1200 chg sides, 2501 chg coeffs, 65825 upgd conss, 0 impls, 41470 clqs
2.42/2.57	c (round 14, exhaustive) 1540 del vars, 65511 del conss, 21209 add conss, 1 chg bounds, 1200 chg sides, 2501 chg coeffs, 65825 upgd conss, 0 impls, 41264 clqs
2.42/2.57	c (round 15, exhaustive) 1922 del vars, 65512 del conss, 21209 add conss, 1 chg bounds, 1200 chg sides, 2501 chg coeffs, 65825 upgd conss, 0 impls, 44549 clqs
2.42/2.57	c (round 16, fast)       2120 del vars, 65711 del conss, 21209 add conss, 1 chg bounds, 1200 chg sides, 2699 chg coeffs, 65999 upgd conss, 0 impls, 44158 clqs
2.42/2.57	c (round 17, exhaustive) 2188 del vars, 65719 del conss, 21217 add conss, 1 chg bounds, 1200 chg sides, 2699 chg coeffs, 65999 upgd conss, 0 impls, 44135 clqs
2.42/2.57	c (round 18, exhaustive) 2254 del vars, 65795 del conss, 21290 add conss, 1 chg bounds, 1200 chg sides, 2699 chg coeffs, 65999 upgd conss, 0 impls, 43934 clqs
2.42/2.57	c (round 19, fast)       2319 del vars, 65864 del conss, 21290 add conss, 1 chg bounds, 1200 chg sides, 2704 chg coeffs, 65999 upgd conss, 0 impls, 43929 clqs
2.42/2.57	c (round 20, exhaustive) 2725 del vars, 65869 del conss, 21291 add conss, 1 chg bounds, 1200 chg sides, 2704 chg coeffs, 65999 upgd conss, 0 impls, 48580 clqs
2.42/2.57	c (round 21, fast)       3106 del vars, 66269 del conss, 21291 add conss, 1 chg bounds, 1200 chg sides, 3088 chg coeffs, 66123 upgd conss, 0 impls, 47834 clqs
2.42/2.57	c (round 22, fast)       3106 del vars, 66327 del conss, 21291 add conss, 1 chg bounds, 1200 chg sides, 3088 chg coeffs, 66123 upgd conss, 0 impls, 47834 clqs
2.42/2.57	c (round 23, exhaustive) 3222 del vars, 66352 del conss, 21311 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 47586 clqs
2.42/2.57	c (round 24, exhaustive) 3225 del vars, 66482 del conss, 21425 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 47595 clqs
2.42/2.57	c (round 25, fast)       3225 del vars, 66567 del conss, 21425 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 47595 clqs
2.42/2.57	c (round 26, exhaustive) 3337 del vars, 66688 del conss, 21428 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 47258 clqs
2.42/2.57	c (round 27, exhaustive) 3362 del vars, 66716 del conss, 21428 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 47158 clqs
2.42/2.57	c (round 28, exhaustive) 3428 del vars, 66720 del conss, 21428 add conss, 1 chg bounds, 1200 chg sides, 3089 chg coeffs, 66124 upgd conss, 0 impls, 58987 clqs
2.42/2.57	c (round 29, fast)       3468 del vars, 66760 del conss, 21428 add conss, 1 chg bounds, 1200 chg sides, 3129 chg coeffs, 66144 upgd conss, 0 impls, 58835 clqs
2.42/2.57	c (round 30, exhaustive) 3776 del vars, 66767 del conss, 21435 add conss, 1 chg bounds, 1200 chg sides, 3129 chg coeffs, 66144 upgd conss, 0 impls, 68357 clqs
2.42/2.57	c (round 31, fast)       3967 del vars, 66964 del conss, 21435 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 67789 clqs
2.42/2.57	c (round 32, fast)       3967 del vars, 67014 del conss, 21435 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 67790 clqs
2.42/2.57	c (round 33, exhaustive) 4012 del vars, 67044 del conss, 21464 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 67641 clqs
2.42/2.57	c (round 34, exhaustive) 4016 del vars, 67098 del conss, 21509 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 67632 clqs
2.42/2.57	c (round 35, fast)       4016 del vars, 67118 del conss, 21509 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 67632 clqs
2.42/2.57	c (round 36, exhaustive) 4045 del vars, 67124 del conss, 21513 add conss, 1 chg bounds, 1200 chg sides, 3323 chg coeffs, 66243 upgd conss, 0 impls, 73318 clqs
2.42/2.57	c (round 37, fast)       4063 del vars, 67144 del conss, 21513 add conss, 1 chg bounds, 1200 chg sides, 3341 chg coeffs, 66252 upgd conss, 0 impls, 73234 clqs
2.42/2.57	c (round 38, exhaustive) 4217 del vars, 67152 del conss, 21519 add conss, 1 chg bounds, 1200 chg sides, 3341 chg coeffs, 66252 upgd conss, 0 impls, 74771 clqs
2.42/2.57	c (round 39, fast)       4309 del vars, 67244 del conss, 21519 add conss, 1 chg bounds, 1200 chg sides, 3433 chg coeffs, 66280 upgd conss, 0 impls, 74548 clqs
2.42/2.57	c (round 40, exhaustive) 4329 del vars, 67259 del conss, 21533 add conss, 1 chg bounds, 1200 chg sides, 3433 chg coeffs, 66280 upgd conss, 0 impls, 74494 clqs
2.42/2.57	c (round 41, exhaustive) 4452 del vars, 67402 del conss, 21553 add conss, 1 chg bounds, 1200 chg sides, 3433 chg coeffs, 66280 upgd conss, 0 impls, 73908 clqs
2.42/2.57	c (round 42, exhaustive) 4537 del vars, 67489 del conss, 21553 add conss, 1 chg bounds, 1200 chg sides, 3433 chg coeffs, 66280 upgd conss, 0 impls, 73593 clqs
2.42/2.57	c (round 43, exhaustive) 4583 del vars, 67495 del conss, 21553 add conss, 1 chg bounds, 1200 chg sides, 3433 chg coeffs, 66280 upgd conss, 0 impls, 80474 clqs
2.42/2.57	c (round 44, fast)       4601 del vars, 67515 del conss, 21553 add conss, 1 chg bounds, 1200 chg sides, 3451 chg coeffs, 66290 upgd conss, 0 impls, 80354 clqs
2.42/2.57	c (round 45, exhaustive) 4627 del vars, 67523 del conss, 21561 add conss, 1 chg bounds, 1200 chg sides, 3451 chg coeffs, 66290 upgd conss, 0 impls, 80222 clqs
2.42/2.57	c (round 46, exhaustive) 4633 del vars, 67555 del conss, 21587 add conss, 1 chg bounds, 1200 chg sides, 3451 chg coeffs, 66290 upgd conss, 0 impls, 80171 clqs
2.42/2.57	c (round 47, exhaustive) 4672 del vars, 67561 del conss, 21587 add conss, 1 chg bounds, 1200 chg sides, 3451 chg coeffs, 66290 upgd conss, 0 impls, 88082 clqs
2.42/2.57	c (round 48, fast)       4694 del vars, 67583 del conss, 21587 add conss, 1 chg bounds, 1200 chg sides, 3473 chg coeffs, 66301 upgd conss, 0 impls, 87938 clqs
7.10/7.25	c (round 49, exhaustive) 4718 del vars, 67588 del conss, 21592 add conss, 1 chg bounds, 1200 chg sides, 3473 chg coeffs, 66301 upgd conss, 0 impls, 87750 clqs
7.10/7.25	c (round 50, exhaustive) 4738 del vars, 67632 del conss, 21616 add conss, 1 chg bounds, 1200 chg sides, 3473 chg coeffs, 66301 upgd conss, 0 impls, 87583 clqs
7.10/7.25	c (round 51, exhaustive) 4797 del vars, 67635 del conss, 21616 add conss, 1 chg bounds, 1200 chg sides, 3473 chg coeffs, 66301 upgd conss, 0 impls, 112669 clqs
7.10/7.25	c (round 52, fast)       4819 del vars, 67657 del conss, 21616 add conss, 1 chg bounds, 1200 chg sides, 3495 chg coeffs, 66315 upgd conss, 0 impls, 112443 clqs
7.10/7.25	c (round 53, exhaustive) 4824 del vars, 67668 del conss, 21627 add conss, 1 chg bounds, 1200 chg sides, 3495 chg coeffs, 66315 upgd conss, 0 impls, 112412 clqs
7.10/7.25	c (round 54, exhaustive) 4880 del vars, 67676 del conss, 21632 add conss, 1 chg bounds, 1200 chg sides, 3495 chg coeffs, 66315 upgd conss, 0 impls, 121463 clqs
7.10/7.25	c (round 55, fast)       4908 del vars, 67704 del conss, 21632 add conss, 1 chg bounds, 1200 chg sides, 3523 chg coeffs, 66330 upgd conss, 0 impls, 121192 clqs
7.10/7.25	c (round 56, exhaustive) 4954 del vars, 67712 del conss, 21640 add conss, 1 chg bounds, 1200 chg sides, 3523 chg coeffs, 66330 upgd conss, 0 impls, 128742 clqs
7.10/7.25	c (round 57, fast)       4980 del vars, 67738 del conss, 21640 add conss, 1 chg bounds, 1200 chg sides, 3549 chg coeffs, 66343 upgd conss, 0 impls, 128488 clqs
7.10/7.25	c (round 58, exhaustive) 4982 del vars, 67747 del conss, 21649 add conss, 1 chg bounds, 1200 chg sides, 3549 chg coeffs, 66343 upgd conss, 0 impls, 128472 clqs
7.10/7.25	c (round 59, exhaustive) 5011 del vars, 67752 del conss, 21651 add conss, 1 chg bounds, 1200 chg sides, 3549 chg coeffs, 66343 upgd conss, 0 impls, 135103 clqs
7.10/7.25	c (round 60, fast)       5027 del vars, 67768 del conss, 21651 add conss, 1 chg bounds, 1200 chg sides, 3565 chg coeffs, 66351 upgd conss, 0 impls, 134941 clqs
7.10/7.25	c (round 61, exhaustive) 5065 del vars, 67772 del conss, 21655 add conss, 1 chg bounds, 1200 chg sides, 3565 chg coeffs, 66351 upgd conss, 0 impls, 155863 clqs
7.10/7.25	c (round 62, fast)       5074 del vars, 67791 del conss, 21655 add conss, 1 chg bounds, 1200 chg sides, 3574 chg coeffs, 66356 upgd conss, 0 impls, 155856 clqs
7.10/7.25	c (round 63, exhaustive) 5095 del vars, 67798 del conss, 21662 add conss, 1 chg bounds, 1200 chg sides, 3574 chg coeffs, 66356 upgd conss, 0 impls, 155617 clqs
7.10/7.25	c (round 64, exhaustive) 5098 del vars, 67825 del conss, 21683 add conss, 1 chg bounds, 1200 chg sides, 3574 chg coeffs, 66356 upgd conss, 0 impls, 155567 clqs
7.10/7.25	c (round 65, exhaustive) 5172 del vars, 67825 del conss, 21683 add conss, 1 chg bounds, 1200 chg sides, 3574 chg coeffs, 66356 upgd conss, 0 impls, 168684 clqs
7.10/7.25	c (round 66, fast)       5315 del vars, 67911 del conss, 21683 add conss, 1 chg bounds, 1200 chg sides, 3647 chg coeffs, 66362 upgd conss, 0 impls, 167973 clqs
7.10/7.25	c (round 67, exhaustive) 5337 del vars, 67926 del conss, 21691 add conss, 1 chg bounds, 1200 chg sides, 3647 chg coeffs, 66362 upgd conss, 0 impls, 167723 clqs
7.10/7.25	c (round 68, exhaustive) 5355 del vars, 67968 del conss, 21713 add conss, 1 chg bounds, 1200 chg sides, 3647 chg coeffs, 66362 upgd conss, 0 impls, 167286 clqs
7.10/7.25	c (round 69, exhaustive) 5402 del vars, 67968 del conss, 21713 add conss, 1 chg bounds, 1200 chg sides, 3647 chg coeffs, 66362 upgd conss, 0 impls, 168605 clqs
7.10/7.25	c (round 70, fast)       5433 del vars, 68005 del conss, 21713 add conss, 1 chg bounds, 1200 chg sides, 3678 chg coeffs, 66379 upgd conss, 0 impls, 168141 clqs
7.10/7.25	c (round 71, exhaustive) 5510 del vars, 68012 del conss, 21718 add conss, 1 chg bounds, 1200 chg sides, 3678 chg coeffs, 66379 upgd conss, 0 impls, 166741 clqs
7.10/7.25	c (round 72, fast)       5552 del vars, 68066 del conss, 21718 add conss, 1 chg bounds, 1200 chg sides, 3720 chg coeffs, 66401 upgd conss, 0 impls, 166178 clqs
7.10/7.25	c (round 73, exhaustive) 5561 del vars, 68097 del conss, 21735 add conss, 1 chg bounds, 1200 chg sides, 3720 chg coeffs, 66401 upgd conss, 0 impls, 166030 clqs
7.10/7.25	c (round 74, exhaustive) 5634 del vars, 68193 del conss, 21744 add conss, 1 chg bounds, 1200 chg sides, 3720 chg coeffs, 66401 upgd conss, 0 impls, 164897 clqs
7.10/7.25	c (round 75, exhaustive) 5688 del vars, 68251 del conss, 21744 add conss, 1 chg bounds, 1200 chg sides, 3720 chg coeffs, 66401 upgd conss, 0 impls, 164233 clqs
7.10/7.25	c (round 76, exhaustive) 5729 del vars, 68263 del conss, 21744 add conss, 1 chg bounds, 1200 chg sides, 3720 chg coeffs, 66401 upgd conss, 0 impls, 165311 clqs
7.10/7.25	c (round 77, fast)       5760 del vars, 68301 del conss, 21744 add conss, 1 chg bounds, 1200 chg sides, 3751 chg coeffs, 66411 upgd conss, 0 impls, 165129 clqs
7.10/7.25	c (round 78, exhaustive) 5844 del vars, 68301 del conss, 21744 add conss, 1 chg bounds, 1200 chg sides, 3751 chg coeffs, 66411 upgd conss, 0 impls, 177425 clqs
7.10/7.25	c (round 79, exhaustive) 5858 del vars, 68332 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3761 chg coeffs, 66412 upgd conss, 0 impls, 177243 clqs
7.10/7.25	c (round 80, exhaustive) 6323 del vars, 68334 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3761 chg coeffs, 66412 upgd conss, 0 impls, 169080 clqs
7.10/7.25	c (round 81, fast)       6361 del vars, 68381 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3799 chg coeffs, 66418 upgd conss, 0 impls, 168832 clqs
7.10/7.25	c (round 82, exhaustive) 6476 del vars, 68383 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3799 chg coeffs, 66418 upgd conss, 0 impls, 179276 clqs
7.10/7.25	c (round 83, fast)       6494 del vars, 68404 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3817 chg coeffs, 66422 upgd conss, 0 impls, 179162 clqs
7.10/7.25	c (round 84, exhaustive) 6526 del vars, 68406 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3817 chg coeffs, 66422 upgd conss, 0 impls, 181406 clqs
7.10/7.25	c (round 85, fast)       6542 del vars, 68430 del conss, 21757 add conss, 1 chg bounds, 1200 chg sides, 3833 chg coeffs, 66424 upgd conss, 0 impls, 181374 clqs
7.10/7.25	c (round 86, exhaustive) 6572 del vars, 68437 del conss, 21762 add conss, 1 chg bounds, 1200 chg sides, 3833 chg coeffs, 66424 upgd conss, 0 impls, 181064 clqs
7.10/7.25	c (round 87, fast)       6594 del vars, 68482 del conss, 21762 add conss, 1 chg bounds, 1200 chg sides, 3855 chg coeffs, 66425 upgd conss, 0 impls, 180806 clqs
7.10/7.25	c (round 88, exhaustive) 6636 del vars, 68486 del conss, 21762 add conss, 1 chg bounds, 1200 chg sides, 3855 chg coeffs, 66425 upgd conss, 0 impls, 180917 clqs
7.10/7.25	c (round 89, exhaustive) 6712 del vars, 68494 del conss, 21762 add conss, 1 chg bounds, 1200 chg sides, 3861 chg coeffs, 66426 upgd conss, 0 impls, 180851 clqs
7.10/7.25	c (round 90, fast)       6743 del vars, 68546 del conss, 21762 add conss, 1 chg bounds, 1200 chg sides, 3892 chg coeffs, 66431 upgd conss, 0 impls, 180736 clqs
7.10/7.25	c (round 91, exhaustive) 6787 del vars, 68552 del conss, 21768 add conss, 1 chg bounds, 1200 chg sides, 3892 chg coeffs, 66431 upgd conss, 0 impls, 180808 clqs
7.10/7.25	c (round 92, fast)       6801 del vars, 68568 del conss, 21768 add conss, 1 chg bounds, 1200 chg sides, 3906 chg coeffs, 66433 upgd conss, 0 impls, 180625 clqs
7.10/7.25	c (round 93, exhaustive) 6832 del vars, 68570 del conss, 21768 add conss, 1 chg bounds, 1200 chg sides, 3906 chg coeffs, 66433 upgd conss, 0 impls, 181490 clqs
7.10/7.25	c (round 94, fast)       6848 del vars, 68594 del conss, 21768 add conss, 1 chg bounds, 1200 chg sides, 3922 chg coeffs, 66435 upgd conss, 0 impls, 181458 clqs
7.10/7.25	c (round 95, exhaustive) 6896 del vars, 68600 del conss, 21774 add conss, 1 chg bounds, 1200 chg sides, 3922 chg coeffs, 66435 upgd conss, 0 impls, 180461 clqs
7.10/7.25	c (round 96, fast)       6913 del vars, 68626 del conss, 21774 add conss, 1 chg bounds, 1200 chg sides, 3939 chg coeffs, 66442 upgd conss, 0 impls, 180255 clqs
7.10/7.25	c (round 97, exhaustive) 6925 del vars, 68647 del conss, 21790 add conss, 1 chg bounds, 1200 chg sides, 3939 chg coeffs, 66442 upgd conss, 0 impls, 180045 clqs
7.10/7.25	c (round 98, exhaustive) 6962 del vars, 68704 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3939 chg coeffs, 66442 upgd conss, 0 impls, 179496 clqs
7.10/7.25	c (round 99, exhaustive) 6989 del vars, 68736 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3939 chg coeffs, 66442 upgd conss, 0 impls, 179232 clqs
39.18/39.43	c (round 100, exhaustive) 7058 del vars, 68750 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3939 chg coeffs, 66442 upgd conss, 0 impls, 180560 clqs
39.18/39.43	c (round 101, fast)       7078 del vars, 68780 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3959 chg coeffs, 66443 upgd conss, 0 impls, 180394 clqs
39.18/39.43	c (round 102, exhaustive) 7117 del vars, 68784 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3959 chg coeffs, 66443 upgd conss, 0 impls, 181133 clqs
39.18/39.43	c (round 103, fast)       7141 del vars, 68825 del conss, 21802 add conss, 1 chg bounds, 1200 chg sides, 3983 chg coeffs, 66450 upgd conss, 0 impls, 181074 clqs
39.18/39.43	c (round 104, exhaustive) 7179 del vars, 68832 del conss, 21804 add conss, 1 chg bounds, 1200 chg sides, 3983 chg coeffs, 66450 upgd conss, 0 impls, 181321 clqs
39.18/39.43	c (round 105, fast)       7203 del vars, 68870 del conss, 21804 add conss, 1 chg bounds, 1200 chg sides, 4007 chg coeffs, 66454 upgd conss, 0 impls, 181269 clqs
39.18/39.43	c (round 106, exhaustive) 7246 del vars, 68872 del conss, 21806 add conss, 1 chg bounds, 1200 chg sides, 4007 chg coeffs, 66454 upgd conss, 0 impls, 181305 clqs
39.18/39.43	c (round 107, fast)       7268 del vars, 68905 del conss, 21806 add conss, 1 chg bounds, 1200 chg sides, 4029 chg coeffs, 66456 upgd conss, 0 impls, 181150 clqs
39.18/39.43	c (round 108, exhaustive) 7270 del vars, 68914 del conss, 21813 add conss, 1 chg bounds, 1200 chg sides, 4029 chg coeffs, 66456 upgd conss, 0 impls, 181124 clqs
39.18/39.43	c (round 109, exhaustive) 7316 del vars, 68916 del conss, 21813 add conss, 1 chg bounds, 1200 chg sides, 4029 chg coeffs, 66456 upgd conss, 0 impls, 178998 clqs
39.18/39.43	c (round 110, fast)       7333 del vars, 68958 del conss, 21813 add conss, 1 chg bounds, 1200 chg sides, 4046 chg coeffs, 66459 upgd conss, 0 impls, 178967 clqs
39.18/39.43	c (round 111, exhaustive) 7366 del vars, 68968 del conss, 21815 add conss, 1 chg bounds, 1200 chg sides, 4046 chg coeffs, 66459 upgd conss, 0 impls, 181245 clqs
39.18/39.43	c (round 112, exhaustive) 7398 del vars, 68977 del conss, 21815 add conss, 1 chg bounds, 1200 chg sides, 4052 chg coeffs, 66460 upgd conss, 0 impls, 181463 clqs
39.18/39.43	c (round 113, fast)       7417 del vars, 69002 del conss, 21815 add conss, 1 chg bounds, 1200 chg sides, 4071 chg coeffs, 66464 upgd conss, 0 impls, 181409 clqs
39.18/39.43	c (round 114, exhaustive) 7444 del vars, 69003 del conss, 21815 add conss, 1 chg bounds, 1200 chg sides, 4071 chg coeffs, 66464 upgd conss, 0 impls, 181374 clqs
39.18/39.43	c (round 115, fast)       7463 del vars, 69025 del conss, 21815 add conss, 1 chg bounds, 1200 chg sides, 4090 chg coeffs, 66473 upgd conss, 0 impls, 181193 clqs
39.18/39.43	c (round 116, exhaustive) 7496 del vars, 69026 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4090 chg coeffs, 66473 upgd conss, 0 impls, 180967 clqs
39.18/39.43	c (round 117, fast)       7516 del vars, 69051 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4110 chg coeffs, 66482 upgd conss, 0 impls, 180928 clqs
39.18/39.43	c (round 118, exhaustive) 7541 del vars, 69051 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4110 chg coeffs, 66482 upgd conss, 0 impls, 181244 clqs
39.18/39.43	c (round 119, fast)       7559 del vars, 69089 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4128 chg coeffs, 66486 upgd conss, 0 impls, 181180 clqs
39.18/39.43	c    (13.5s) probing: 1000/22269 (4.5%) - 2918 fixings, 109 aggregations, 1138050 implications, 0 bound changes
39.18/39.43	c (round 120, exhaustive) 7589 del vars, 69089 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4128 chg coeffs, 66486 upgd conss, 0 impls, 181174 clqs
39.18/39.43	c (round 121, fast)       7604 del vars, 69104 del conss, 21816 add conss, 1 chg bounds, 1200 chg sides, 4143 chg coeffs, 66492 upgd conss, 0 impls, 181069 clqs
39.18/39.43	c (round 122, exhaustive) 7637 del vars, 69105 del conss, 21817 add conss, 1 chg bounds, 1200 chg sides, 4143 chg coeffs, 66492 upgd conss, 0 impls, 180990 clqs
39.18/39.43	c (round 123, fast)       7667 del vars, 69129 del conss, 21817 add conss, 1 chg bounds, 1200 chg sides, 4167 chg coeffs, 66502 upgd conss, 0 impls, 180912 clqs
39.18/39.43	c (round 124, exhaustive) 7694 del vars, 69131 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4167 chg coeffs, 66502 upgd conss, 0 impls, 181389 clqs
39.18/39.43	c (round 125, fast)       7715 del vars, 69152 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4188 chg coeffs, 66511 upgd conss, 0 impls, 181369 clqs
39.18/39.43	c (round 126, exhaustive) 7743 del vars, 69152 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4188 chg coeffs, 66511 upgd conss, 0 impls, 181422 clqs
39.18/39.43	c (round 127, fast)       7767 del vars, 69173 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4209 chg coeffs, 66518 upgd conss, 0 impls, 181280 clqs
39.18/39.43	c (round 128, exhaustive) 7795 del vars, 69173 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4209 chg coeffs, 66518 upgd conss, 0 impls, 181398 clqs
39.18/39.43	c (round 129, fast)       7819 del vars, 69194 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4230 chg coeffs, 66525 upgd conss, 0 impls, 181350 clqs
39.18/39.43	c (round 130, exhaustive) 7847 del vars, 69194 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4230 chg coeffs, 66525 upgd conss, 0 impls, 181433 clqs
39.18/39.43	c (round 131, fast)       7892 del vars, 69239 del conss, 21819 add conss, 1 chg bounds, 1200 chg sides, 4275 chg coeffs, 66530 upgd conss, 0 impls, 181120 clqs
39.18/39.43	c (round 132, exhaustive) 7919 del vars, 69243 del conss, 21823 add conss, 1 chg bounds, 1200 chg sides, 4275 chg coeffs, 66530 upgd conss, 0 impls, 181416 clqs
39.18/39.43	c (round 133, fast)       7924 del vars, 69250 del conss, 21823 add conss, 1 chg bounds, 1200 chg sides, 4282 chg coeffs, 66545 upgd conss, 0 impls, 181377 clqs
39.18/39.43	c    (21.9s) probing: 2000/22269 (9.0%) - 3107 fixings, 122 aggregations, 2326220 implications, 0 bound changes
39.18/39.43	c (round 134, exhaustive) 7960 del vars, 69250 del conss, 21823 add conss, 1 chg bounds, 1200 chg sides, 4282 chg coeffs, 66545 upgd conss, 0 impls, 181365 clqs
39.18/39.43	c (round 135, fast)       7966 del vars, 69260 del conss, 21823 add conss, 1 chg bounds, 1200 chg sides, 4291 chg coeffs, 66559 upgd conss, 0 impls, 181306 clqs
39.18/39.43	c (round 136, exhaustive) 7966 del vars, 69272 del conss, 21835 add conss, 1 chg bounds, 1200 chg sides, 4291 chg coeffs, 66559 upgd conss, 0 impls, 181320 clqs
39.18/39.43	c (round 137, exhaustive) 7991 del vars, 69273 del conss, 21835 add conss, 1 chg bounds, 1200 chg sides, 4291 chg coeffs, 66559 upgd conss, 0 impls, 181412 clqs
39.18/39.43	c (round 138, fast)       7995 del vars, 69283 del conss, 21835 add conss, 1 chg bounds, 1200 chg sides, 4298 chg coeffs, 66571 upgd conss, 0 impls, 181372 clqs
39.18/39.43	c    (30.7s) probing: 3000/22269 (13.5%) - 3126 fixings, 134 aggregations, 3685443 implications, 0 bound changes
39.18/39.43	c (round 139, exhaustive) 8021 del vars, 69286 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4298 chg coeffs, 66571 upgd conss, 0 impls, 181218 clqs
39.18/39.43	c (round 140, fast)       8037 del vars, 69303 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4315 chg coeffs, 66580 upgd conss, 0 impls, 180915 clqs
39.18/39.43	c (round 141, exhaustive) 8064 del vars, 69303 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4315 chg coeffs, 66580 upgd conss, 0 impls, 181207 clqs
39.18/39.43	c (round 142, fast)       8084 del vars, 69321 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4333 chg coeffs, 66589 upgd conss, 0 impls, 180880 clqs
39.18/39.43	c (round 143, exhaustive) 8113 del vars, 69321 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4333 chg coeffs, 66589 upgd conss, 0 impls, 181086 clqs
39.18/39.43	c (round 144, fast)       8135 del vars, 69339 del conss, 21838 add conss, 1 chg bounds, 1200 chg sides, 4351 chg coeffs, 66598 upgd conss, 0 impls, 180794 clqs
39.18/39.43	c (round 145, exhaustive) 8164 del vars, 69340 del conss, 21839 add conss, 1 chg bounds, 1200 chg sides, 4351 chg coeffs, 66598 upgd conss, 0 impls, 181130 clqs
39.18/39.43	c (round 146, fast)       8182 del vars, 69362 del conss, 21839 add conss, 1 chg bounds, 1200 chg sides, 4369 chg coeffs, 66608 upgd conss, 0 impls, 180845 clqs
39.18/39.43	c (round 147, exhaustive) 8212 del vars, 69364 del conss, 21841 add conss, 1 chg bounds, 1200 chg sides, 4369 chg coeffs, 66608 upgd conss, 0 impls, 181154 clqs
69.78/70.19	c (round 148, fast)       8228 del vars, 69381 del conss, 21841 add conss, 1 chg bounds, 1200 chg sides, 4385 chg coeffs, 66616 upgd conss, 0 impls, 180928 clqs
69.78/70.19	c (round 149, exhaustive) 8256 del vars, 69383 del conss, 21843 add conss, 1 chg bounds, 1200 chg sides, 4385 chg coeffs, 66616 upgd conss, 0 impls, 181091 clqs
69.78/70.19	c (round 150, fast)       8274 del vars, 69402 del conss, 21843 add conss, 1 chg bounds, 1200 chg sides, 4403 chg coeffs, 66624 upgd conss, 0 impls, 180791 clqs
69.78/70.19	c    (40.4s) probing: 4000/22269 (18.0%) - 3296 fixings, 137 aggregations, 5137827 implications, 0 bound changes
69.78/70.19	c (round 151, exhaustive) 8300 del vars, 69403 del conss, 21844 add conss, 1 chg bounds, 1200 chg sides, 4403 chg coeffs, 66624 upgd conss, 0 impls, 181155 clqs
69.78/70.19	c (round 152, fast)       8315 del vars, 69421 del conss, 21844 add conss, 1 chg bounds, 1200 chg sides, 4418 chg coeffs, 66634 upgd conss, 0 impls, 181003 clqs
69.78/70.19	c (round 153, exhaustive) 8342 del vars, 69423 del conss, 21846 add conss, 1 chg bounds, 1200 chg sides, 4418 chg coeffs, 66634 upgd conss, 0 impls, 181316 clqs
69.78/70.19	c (round 154, fast)       8391 del vars, 69480 del conss, 21846 add conss, 1 chg bounds, 1200 chg sides, 4467 chg coeffs, 66641 upgd conss, 0 impls, 180965 clqs
69.78/70.19	c (round 155, exhaustive) 8419 del vars, 69482 del conss, 21846 add conss, 1 chg bounds, 1200 chg sides, 4467 chg coeffs, 66641 upgd conss, 0 impls, 181353 clqs
69.78/70.19	c (round 156, exhaustive) 8425 del vars, 69504 del conss, 21861 add conss, 1 chg bounds, 1200 chg sides, 4471 chg coeffs, 66646 upgd conss, 0 impls, 181196 clqs
69.78/70.19	c (round 157, exhaustive) 8450 del vars, 69504 del conss, 21861 add conss, 1 chg bounds, 1200 chg sides, 4471 chg coeffs, 66646 upgd conss, 0 impls, 181493 clqs
69.78/70.19	c (round 158, exhaustive) 8454 del vars, 69529 del conss, 21877 add conss, 1 chg bounds, 1200 chg sides, 4471 chg coeffs, 66647 upgd conss, 0 impls, 181447 clqs
69.78/70.19	c (round 159, exhaustive) 8480 del vars, 69530 del conss, 21877 add conss, 1 chg bounds, 1200 chg sides, 4471 chg coeffs, 66647 upgd conss, 0 impls, 181461 clqs
69.78/70.19	c (round 160, exhaustive) 8485 del vars, 69549 del conss, 21891 add conss, 1 chg bounds, 1200 chg sides, 4475 chg coeffs, 66652 upgd conss, 0 impls, 181408 clqs
69.78/70.19	c (round 161, exhaustive) 8510 del vars, 69549 del conss, 21891 add conss, 1 chg bounds, 1200 chg sides, 4475 chg coeffs, 66652 upgd conss, 0 impls, 181444 clqs
69.78/70.19	c (round 162, exhaustive) 8511 del vars, 69569 del conss, 21907 add conss, 1 chg bounds, 1200 chg sides, 4476 chg coeffs, 66655 upgd conss, 0 impls, 181439 clqs
69.78/70.19	c (round 163, exhaustive) 8536 del vars, 69569 del conss, 21907 add conss, 1 chg bounds, 1200 chg sides, 4476 chg coeffs, 66655 upgd conss, 0 impls, 181552 clqs
69.78/70.19	c (round 164, exhaustive) 8538 del vars, 69591 del conss, 21926 add conss, 1 chg bounds, 1200 chg sides, 4476 chg coeffs, 66658 upgd conss, 0 impls, 181530 clqs
69.78/70.19	c (round 165, exhaustive) 8563 del vars, 69593 del conss, 21928 add conss, 1 chg bounds, 1200 chg sides, 4476 chg coeffs, 66658 upgd conss, 0 impls, 181558 clqs
69.78/70.19	c (round 166, exhaustive) 8564 del vars, 69615 del conss, 21949 add conss, 1 chg bounds, 1200 chg sides, 4477 chg coeffs, 66659 upgd conss, 0 impls, 181554 clqs
69.78/70.19	c (round 167, exhaustive) 8590 del vars, 69615 del conss, 21949 add conss, 1 chg bounds, 1200 chg sides, 4477 chg coeffs, 66659 upgd conss, 0 impls, 181399 clqs
69.78/70.19	c (round 168, exhaustive) 8592 del vars, 69636 del conss, 21966 add conss, 1 chg bounds, 1200 chg sides, 4479 chg coeffs, 66663 upgd conss, 0 impls, 181392 clqs
69.78/70.19	c    (49.7s) probing: 5000/22269 (22.5%) - 3394 fixings, 257 aggregations, 6388375 implications, 0 bound changes
69.78/70.19	c (round 169, exhaustive) 8618 del vars, 69636 del conss, 21966 add conss, 1 chg bounds, 1200 chg sides, 4479 chg coeffs, 66663 upgd conss, 0 impls, 181547 clqs
69.78/70.19	c (round 170, exhaustive) 8618 del vars, 69664 del conss, 21991 add conss, 1 chg bounds, 1200 chg sides, 4479 chg coeffs, 66664 upgd conss, 0 impls, 181547 clqs
69.78/70.19	c (round 171, exhaustive) 8644 del vars, 69664 del conss, 21991 add conss, 1 chg bounds, 1200 chg sides, 4479 chg coeffs, 66664 upgd conss, 0 impls, 181452 clqs
69.78/70.19	c (round 172, exhaustive) 8645 del vars, 69688 del conss, 22013 add conss, 1 chg bounds, 1200 chg sides, 4480 chg coeffs, 66666 upgd conss, 0 impls, 181437 clqs
69.78/70.19	c (round 173, exhaustive) 8670 del vars, 69688 del conss, 22013 add conss, 1 chg bounds, 1200 chg sides, 4480 chg coeffs, 66666 upgd conss, 0 impls, 181480 clqs
69.78/70.19	c (round 174, exhaustive) 8673 del vars, 69706 del conss, 22026 add conss, 1 chg bounds, 1200 chg sides, 4483 chg coeffs, 66671 upgd conss, 0 impls, 181461 clqs
69.78/70.19	c (round 175, exhaustive) 8698 del vars, 69706 del conss, 22026 add conss, 1 chg bounds, 1200 chg sides, 4483 chg coeffs, 66671 upgd conss, 0 impls, 181376 clqs
69.78/70.19	c (round 176, exhaustive) 8698 del vars, 69726 del conss, 22039 add conss, 1 chg bounds, 1200 chg sides, 4483 chg coeffs, 66677 upgd conss, 0 impls, 181381 clqs
69.78/70.19	c (round 177, exhaustive) 8723 del vars, 69726 del conss, 22039 add conss, 1 chg bounds, 1200 chg sides, 4483 chg coeffs, 66677 upgd conss, 0 impls, 181486 clqs
69.78/70.19	c (round 178, fast)       8724 del vars, 69737 del conss, 22039 add conss, 1 chg bounds, 1200 chg sides, 4484 chg coeffs, 66682 upgd conss, 0 impls, 181473 clqs
69.78/70.19	c (round 179, exhaustive) 8724 del vars, 69754 del conss, 22056 add conss, 1 chg bounds, 1200 chg sides, 4484 chg coeffs, 66682 upgd conss, 0 impls, 181477 clqs
69.78/70.19	c (round 180, exhaustive) 8751 del vars, 69754 del conss, 22056 add conss, 1 chg bounds, 1200 chg sides, 4484 chg coeffs, 66682 upgd conss, 0 impls, 181480 clqs
69.78/70.19	c (round 181, exhaustive) 8752 del vars, 69782 del conss, 22078 add conss, 1 chg bounds, 1200 chg sides, 4485 chg coeffs, 66685 upgd conss, 0 impls, 181480 clqs
69.78/70.19	c (round 182, exhaustive) 8778 del vars, 69782 del conss, 22078 add conss, 1 chg bounds, 1200 chg sides, 4485 chg coeffs, 66685 upgd conss, 0 impls, 181425 clqs
69.78/70.19	c (round 183, exhaustive) 8778 del vars, 69805 del conss, 22095 add conss, 1 chg bounds, 1200 chg sides, 4485 chg coeffs, 66690 upgd conss, 0 impls, 181429 clqs
69.78/70.19	c    (60.1s) probing: 6000/22269 (26.9%) - 3445 fixings, 383 aggregations, 7989461 implications, 0 bound changes
69.78/70.19	c (round 184, exhaustive) 8805 del vars, 69805 del conss, 22095 add conss, 1 chg bounds, 1200 chg sides, 4485 chg coeffs, 66690 upgd conss, 0 impls, 181481 clqs
69.78/70.19	c (round 185, exhaustive) 8807 del vars, 69827 del conss, 22110 add conss, 1 chg bounds, 1200 chg sides, 4487 chg coeffs, 66696 upgd conss, 0 impls, 181481 clqs
69.78/70.19	c (round 186, exhaustive) 8832 del vars, 69827 del conss, 22110 add conss, 1 chg bounds, 1200 chg sides, 4487 chg coeffs, 66696 upgd conss, 0 impls, 181467 clqs
69.78/70.19	c (round 187, fast)       8833 del vars, 69839 del conss, 22110 add conss, 1 chg bounds, 1200 chg sides, 4488 chg coeffs, 66702 upgd conss, 0 impls, 181458 clqs
69.78/70.19	c (round 188, exhaustive) 8833 del vars, 69854 del conss, 22125 add conss, 1 chg bounds, 1200 chg sides, 4488 chg coeffs, 66702 upgd conss, 0 impls, 181463 clqs
69.78/70.19	c (round 189, exhaustive) 8858 del vars, 69854 del conss, 22125 add conss, 1 chg bounds, 1200 chg sides, 4488 chg coeffs, 66702 upgd conss, 0 impls, 181450 clqs
69.78/70.19	c (round 190, exhaustive) 8860 del vars, 69879 del conss, 22142 add conss, 1 chg bounds, 1200 chg sides, 4490 chg coeffs, 66707 upgd conss, 0 impls, 181444 clqs
69.78/70.19	c (round 191, exhaustive) 8885 del vars, 69879 del conss, 22142 add conss, 1 chg bounds, 1200 chg sides, 4490 chg coeffs, 66707 upgd conss, 0 impls, 181448 clqs
69.78/70.19	c (round 192, fast)       8888 del vars, 69893 del conss, 22142 add conss, 1 chg bounds, 1200 chg sides, 4493 chg coeffs, 66717 upgd conss, 0 impls, 181407 clqs
69.78/70.19	c (round 193, exhaustive) 8888 del vars, 69905 del conss, 22154 add conss, 1 chg bounds, 1200 chg sides, 4493 chg coeffs, 66717 upgd conss, 0 impls, 181416 clqs
69.78/70.19	c (round 194, exhaustive) 8913 del vars, 69905 del conss, 22154 add conss, 1 chg bounds, 1200 chg sides, 4493 chg coeffs, 66717 upgd conss, 0 impls, 181320 clqs
69.78/70.19	c (round 195, fast)       8916 del vars, 69914 del conss, 22154 add conss, 1 chg bounds, 1200 chg sides, 4496 chg coeffs, 66723 upgd conss, 0 impls, 181251 clqs
391.81/393.36	c (round 196, exhaustive) 8916 del vars, 69928 del conss, 22168 add conss, 1 chg bounds, 1200 chg sides, 4496 chg coeffs, 66723 upgd conss, 0 impls, 181256 clqs
391.81/393.36	c    (70.2s) probing: 7000/22269 (31.4%) - 3502 fixings, 457 aggregations, 9629755 implications, 0 bound changes
391.81/393.36	c (round 197, exhaustive) 8941 del vars, 69928 del conss, 22168 add conss, 1 chg bounds, 1200 chg sides, 4496 chg coeffs, 66723 upgd conss, 0 impls, 181439 clqs
391.81/393.36	c (round 198, exhaustive) 8944 del vars, 69950 del conss, 22184 add conss, 1 chg bounds, 1200 chg sides, 4500 chg coeffs, 66729 upgd conss, 0 impls, 181417 clqs
391.81/393.36	c (round 199, exhaustive) 8970 del vars, 69950 del conss, 22184 add conss, 1 chg bounds, 1200 chg sides, 4500 chg coeffs, 66729 upgd conss, 0 impls, 181406 clqs
391.81/393.36	c (round 200, fast)       8975 del vars, 69958 del conss, 22184 add conss, 1 chg bounds, 1200 chg sides, 4504 chg coeffs, 66735 upgd conss, 0 impls, 181368 clqs
391.81/393.36	c (round 201, exhaustive) 8975 del vars, 69974 del conss, 22200 add conss, 1 chg bounds, 1200 chg sides, 4504 chg coeffs, 66735 upgd conss, 0 impls, 181374 clqs
391.81/393.36	c (round 202, exhaustive) 9000 del vars, 69974 del conss, 22200 add conss, 1 chg bounds, 1200 chg sides, 4504 chg coeffs, 66735 upgd conss, 0 impls, 181690 clqs
391.81/393.36	c (round 203, exhaustive) 9001 del vars, 70000 del conss, 22219 add conss, 1 chg bounds, 1200 chg sides, 4505 chg coeffs, 66738 upgd conss, 0 impls, 181684 clqs
391.81/393.36	c    (76.9s) probing: 7840/22269 (35.2%) - 3523 fixings, 524 aggregations, 10514455 implications, 0 bound changes
391.81/393.36	c    (76.9s) probing aborted: 50/50 successive totally useless probings
391.81/393.36	c (round 204, exhaustive) 9018 del vars, 70000 del conss, 22219 add conss, 1 chg bounds, 1200 chg sides, 4505 chg coeffs, 66738 upgd conss, 0 impls, 181699 clqs
391.81/393.36	c (round 205, exhaustive) 9018 del vars, 70017 del conss, 22236 add conss, 1 chg bounds, 1200 chg sides, 4505 chg coeffs, 66738 upgd conss, 0 impls, 181699 clqs
391.81/393.36	c    (77.0s) probing: 7845/22269 (35.2%) - 3523 fixings, 524 aggregations, 10514455 implications, 0 bound changes
391.81/393.36	c    (77.0s) probing aborted: 50/50 successive totally useless probings
391.81/393.36	c    (77.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
391.81/393.36	c    (77.0s) symmetry computation finished: 19 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.02)
391.81/393.36	c dynamic symmetry handling statistics:
391.81/393.36	c    orbitopal reduction:        2 components: 21x10, 14x10
391.81/393.36	c    orbital reduction:         no components
391.81/393.36	c    lexicographic reduction:    1 permutations with support sizes 54
391.81/393.36	c handled 3 out of 3 symmetry components
391.81/393.36	c presolving (206 rounds: 206 fast, 140 medium, 139 exhaustive):
391.81/393.36	c  9018 deleted vars, 70017 deleted constraints, 22236 added constraints, 1 tightened bounds, 0 added holes, 1200 changed sides, 4505 changed coefficients
391.81/393.36	c  0 implications, 181699 cliques
391.81/393.36	c presolved problem has 14925 variables (14925 bin, 0 int, 0 impl, 0 cont) and 16834 constraints
391.81/393.36	c    2388 constraints of type <knapsack>
391.81/393.36	c    1211 constraints of type <setppc>
391.81/393.36	c   13235 constraints of type <and>
391.81/393.36	c transformed objective value is always integral (scale: 1)
391.81/393.36	c Presolving Time: 76.97
391.81/393.36	c 
391.81/393.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
391.81/393.36	c  77.8s|     1 |     0 |  2664 |     - |   375M |   0 |  14k|  16k|  30k|   0 |  0 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  83.6s|     1 |     0 | 14007 |     - |   385M |   0 |  14k|  16k|  30k| 236 |  1 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  84.5s|     1 |     0 | 15170 |     - |   391M |   0 |  14k|  16k|  30k| 452 |  2 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  85.4s|     1 |     0 | 16453 |     - |   397M |   0 |  14k|  16k|  30k| 638 |  3 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  86.5s|     1 |     0 | 17917 |     - |   403M |   0 |  14k|  16k|  30k| 872 |  4 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  87.7s|     1 |     0 | 19588 |     - |   409M |   0 |  14k|  16k|  31k|1097 |  5 |  65 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  88.9s|     1 |     0 | 21429 |     - |   415M |   0 |  14k|  16k|  31k|1370 |  6 |  66 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  90.0s|     1 |     0 | 22778 |     - |   422M |   0 |  14k|  16k|  31k|1700 |  7 |  67 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  91.2s|     1 |     0 | 24299 |     - |   428M |   0 |  14k|  16k|  31k|1915 |  8 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  92.5s|     1 |     0 | 25939 |     - |   436M |   0 |  14k|  16k|  32k|2142 |  9 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  93.9s|     1 |     0 | 27400 |     - |   444M |   0 |  14k|  16k|  32k|2327 | 10 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c  95.0s|     1 |     0 | 28761 |     - |   447M |   0 |  14k|  16k|  32k|2537 | 11 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c   108s|     1 |     2 | 37758 |     - |   448M |   0 |  14k|  16k|  32k|2537 | 11 |  79 |  19 | 0.000000e+00 |      --      |    Inf | unknown
391.81/393.36	c   174s|   100 |    74 |219188 |1923.5 |   462M |  33 |  14k|  17k|  34k|  12k|  2 | 207 |  19 | 0.000000e+00 |      --      |    Inf |  31.25%
391.81/393.36	c   189s|   200 |   157 |266459 |1194.5 |   483M |  43 |  14k|  17k|  34k|  14k|  2 | 409 |  19 | 0.000000e+00 |      --      |    Inf |  31.25%
391.81/393.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
391.81/393.36	c   203s|   300 |   160 |314943 | 957.1 |   500M |  46 |  14k|  17k|  34k|  16k|  2 | 597 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   221s|   400 |   140 |408783 | 952.4 |   516M |  46 |  14k|  18k|  35k|  20k|  2 |1297 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   246s|   500 |   169 |501802 | 948.0 |   525M |  46 |  14k|  18k|  35k|  23k|  2 |2046 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   269s|   600 |   240 |614077 | 977.2 |   531M |  46 |  14k|  19k|  35k|  26k|  2 |2675 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   278s|   700 |   282 |654680 | 895.4 |   542M |  55 |  14k|  20k|  35k|  27k|  1 |3259 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   288s|   800 |   354 |702485 | 843.2 |   554M |  55 |  14k|  20k|  35k|  29k|  2 |3558 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   298s|   900 |   391 |747550 | 799.5 |   561M |  55 |  14k|  20k|  35k|  31k|  1 |3977 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   306s|  1000 |   382 |783743 | 755.7 |   563M |  55 |  14k|  21k|  35k|  32k|  2 |4242 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   316s|  1100 |   441 |825590 | 725.0 |   568M |  55 |  14k|  21k|  35k|  35k|  2 |4503 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   325s|  1200 |   470 |862725 | 695.5 |   572M |  55 |  14k|  21k|  35k|  37k|  2 |4702 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   334s|  1300 |   495 |893582 | 665.8 |   573M |  55 |  14k|  21k|  35k|  38k|  2 |4868 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   347s|  1400 |   522 |949765 | 658.3 |   582M |  55 |  14k|  21k|  35k|  40k|  1 |5155 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   356s|  1500 |   562 |995484 | 644.9 |   596M |  55 |  14k|  21k|  35k|  43k|  2 |5344 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   365s|  1600 |   567 |  1040k| 632.5 |   607M |  55 |  14k|  21k|  35k|  45k|  2 |5600 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c   377s|  1700 |   621 |  1090k| 625.0 |   614M |  55 |  14k|  21k|  35k|  46k|  1 |6071 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
391.81/393.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
391.81/393.36	c   386s|  1800 |   642 |  1118k| 605.7 |   617M |  55 |  14k|  22k|  35k|  48k|  2 |6375 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   393s|  1900 |   640 |  1146k| 588.5 |   621M |  55 |  14k|  22k|  35k|  50k|  2 |6577 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   402s|  2000 |   672 |  1191k| 581.8 |   635M |  55 |  14k|  22k|  35k|  52k|  2 |6900 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   410s|  2100 |   690 |  1223k| 569.0 |   637M |  55 |  14k|  21k|  34k|  54k|  1 |7044 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   417s|  2200 |   733 |  1250k| 555.8 |   652M |  55 |  14k|  22k|  35k|  55k|  1 |7336 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   430s|  2300 |   737 |  1284k| 546.3 |   654M |  55 |  14k|  22k|  34k|  56k|  2 |8049 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   438s|  2400 |   754 |  1309k| 534.0 |   665M |  55 |  14k|  23k|  35k|  58k|  2 |8413 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   446s|  2500 |   751 |  1350k| 528.7 |   674M |  55 |  14k|  22k|   0 |  60k|  0 |8592 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   455s|  2600 |   779 |  1391k| 524.4 |   676M |  61 |  14k|  22k|  35k|  62k|  2 |8774 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   463s|  2700 |   801 |  1420k| 515.6 |   678M |  61 |  14k|  22k|  35k|  63k|  2 |8985 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   470s|  2800 |   820 |  1442k| 505.2 |   685M |  61 |  14k|  22k|  35k|  65k|  1 |9162 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   478s|  2900 |   828 |  1476k| 499.5 |   689M |  61 |  14k|  22k|   0 |  67k|  0 |9435 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   486s|  3000 |   856 |  1507k| 493.2 |   690M |  61 |  14k|  21k|  35k|  69k|  2 |9557 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c   494s|  3100 |   894 |  1547k| 490.0 |   692M |  61 |  14k|  21k|   0 |  70k|  0 |9684 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.40/500.38	c 
498.40/500.38	c SCIP Status        : solving was interrupted [time limit reached]
498.40/500.38	c Solving Time (sec) : 500.00
498.40/500.38	c Solving Nodes      : 3153
498.40/500.38	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.40/500.38	c Dual Bound         : +0.00000000000000e+00
498.40/500.38	c Gap                : infinite
498.40/500.38	c ----------------------------------------------------------------------
498.40/500.38	c dual bound: 0.0 -> 0
498.40/500.38	c primal bound: 1e+20 -> 100000000000000000000
498.40/500.38	c scip-goal-lb: 0
498.40/500.38	c scip-goal-ub: 100000000000000000000
498.40/500.38	c writing output to: HOME/tmpdklfy8xf.opb
498.40/500.38	c appending fixed variable constraints
498.40/500.38	c scip-fixed vars: 34.28% (5117/14925)
498.40/500.38	c ----------------------------------------------------------------------
498.40/500.38	c executing external solver: HOME/naps-1.03a6
498.40/500.38	c ----------------------------------------------------------------------
498.40/500.38	c command: HOME/naps-1.03a6 HOME/tmpdklfy8xf.opb
498.50/500.40	c NaPS 1.03a6.
498.50/500.40	c Input file name: HOME/tmpdklfy8xf.opb
1671.12/1676.52	c s UNSATISFIABLE
1671.12/1676.52	c _____________________________________________________________________________
1671.12/1676.52	c std/band forms        : 2400,0
1671.12/1676.52	c 2cl/3cl ITE-codings   : 209861,0
1671.12/1676.52	c BDD/srt/adr Max costs : 244,0,0
1671.12/1676.52	c BDDraw/bin/mul/srt/adr: 0,0,2400,0,0
1671.12/1676.52	c BDD nodes             : 329121
1671.12/1676.52	c Es1/CC detections     : 0,0
1671.12/1676.52	c CC sort               : 0
1671.12/1676.52	c SAT/UNSAT calls       : 0,1
1671.12/1676.52	c regenrated variables  : 0
1671.12/1676.52	c eliminated fixed lits : 9525
1671.12/1676.52	c goal lit flips        : 0
1671.12/1676.52	c goal stages           : 0
1671.12/1676.52	c goal shrink           : 0
1671.12/1676.52	c goal coeff separations: 0
1671.12/1676.52	c restarts              : 178543
1671.12/1676.52	c conflicts             : 9660125        (8253 /sec)
1671.12/1676.52	c decisions             : 64069513       (54735 /sec)
1671.12/1676.52	c propagations          : 4941060262     (4221184 /sec)
1671.12/1676.52	c inspects              : 0              (0 /sec)
1671.12/1676.52	c CPU time (solving tm) : 1171 s        (1168 s, SAT 0 s, UNSAT 1168 s)
1671.12/1676.52	c Time for Opt-base     : 0.7088 s
1671.12/1676.52	c Steps for Opt-base    : 2262828
1671.12/1676.52	c Time for BDD coding   : 1.561 s
1671.12/1676.52	c Time for srt coding   : 0 s
1671.12/1676.52	c _____________________________________________________________________________
1671.12/1676.52	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 (61603 MiB free)
  memory of node 1: 64465 MiB (62744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529773-1752253269/watcher-4529773-1752253269 -o /tmp/evaluation-result-4529773-1752253269/solver-4529773-1752253269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115889 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529773-1752253269.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=115941, runsolver pid=115929

[startup+0.100061 s]*
/proc/loadavg: 2.20 2.90 3.09 5/268 115962
/proc/meminfo: memFree=127304644/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=60364 memory=23040 CPUtime=0.04 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 2779 0 0 0 3 1 0 0 20 0 1 0 140949400 61812736 5760 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 15091 5760 3392 1 0 3807 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 64556 KiB
Current children cumulated memory: 26112 KiB

[startup+0.205121 s]*
/proc/loadavg: 2.20 2.90 3.09 6/268 115962
/proc/meminfo: memFree=127221820/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1213392 memory=65188 CPUtime=0.14 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 9523 0 0 0 12 2 0 0 20 0 1 0 140949400 1242513408 16297 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 303348 16297 7632 1 0 274706 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1217584 KiB
Current children cumulated memory: 68260 KiB

[startup+0.30499 s]*
/proc/loadavg: 2.20 2.90 3.09 6/268 115962
/proc/meminfo: memFree=127093588/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1253032 memory=103972 CPUtime=0.24 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 19246 0 0 0 21 3 0 0 20 0 1 0 140949400 1283104768 25993 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 313258 25993 7632 1 0 284616 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1257224 KiB
Current children cumulated memory: 107044 KiB

[startup+0.700168 s]
/proc/loadavg: 2.20 2.90 3.09 5/268 115962
/proc/meminfo: memFree=126883420/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1372380 memory=220964 CPUtime=0.62 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 48263 0 0 0 55 7 0 0 20 0 1 0 140949400 1405317120 55241 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 343095 55241 7920 1 0 314453 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1376572 KiB
Current children cumulated memory: 224036 KiB

[startup+1.50021 s]
/proc/loadavg: 2.20 2.90 3.09 5/263 115970
/proc/meminfo: memFree=126689092/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1398632 memory=248484 CPUtime=1.43 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 55128 0 0 0 135 8 0 0 20 0 1 0 140949400 1432199168 62121 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 349658 62121 7984 1 0 321016 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1402824 KiB
Current children cumulated memory: 251556 KiB

[startup+3.10546 s]
/proc/loadavg: 2.43 2.94 3.10 4/265 115976
/proc/meminfo: memFree=126597604/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1410860 memory=260644 CPUtime=3.02 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 58221 0 0 0 294 8 0 0 20 0 1 0 140949400 1444720640 65161 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 352715 65161 7984 1 0 324073 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1415052 KiB
Current children cumulated memory: 263716 KiB

[startup+6.3002 s]
/proc/loadavg: 2.43 2.94 3.10 5/268 116011
/proc/meminfo: memFree=126437400/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1415152 memory=264868 CPUtime=6.2 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 59289 0 0 0 612 8 0 0 20 0 1 0 140949400 1449115648 66217 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 353788 66217 7984 1 0 325146 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1419344 KiB
Current children cumulated memory: 267940 KiB

[startup+12.7002 s]
/proc/loadavg: 2.55 2.96 3.11 5/268 116011
/proc/meminfo: memFree=125826320/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1416784 memory=266276 CPUtime=12.58 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 59657 0 0 0 1250 8 0 0 20 0 1 0 140949400 1450786816 66569 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 354196 66569 7984 1 0 325554 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1420976 KiB
Current children cumulated memory: 269348 KiB

[startup+25.5002 s]
/proc/loadavg: 2.95 3.03 3.13 5/268 116011
/proc/meminfo: memFree=125775164/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1417080 memory=266660 CPUtime=25.33 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 59703 0 0 0 2525 8 0 0 20 0 1 0 140949400 1451089920 66665 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 354270 66665 8016 1 0 325628 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1421272 KiB
Current children cumulated memory: 269732 KiB

[startup+51.1056 s]
/proc/loadavg: 3.37 3.12 3.16 5/268 116011
/proc/meminfo: memFree=125719724/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1418104 memory=267684 CPUtime=50.84 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 59966 0 0 0 5076 8 0 0 20 0 1 0 140949400 1452138496 66921 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 354526 66921 8016 1 0 325884 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1422296 KiB
Current children cumulated memory: 270756 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 3.27 3.21 5/268 116013
/proc/meminfo: memFree=125353568/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1813436 memory=608084 CPUtime=101.85 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 134884 0 0 0 10163 22 0 0 20 0 1 0 140949400 1856958464 152021 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 453359 152021 8176 1 0 424717 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1817628 KiB
Current children cumulated memory: 611156 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.44 3.27 6/269 116114
/proc/meminfo: memFree=123135076/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1824764 memory=615636 CPUtime=161.65 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 136759 0 0 0 16143 22 0 0 20 0 1 0 140949400 1868558336 153909 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 456191 153909 8176 1 0 427549 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 1828956 KiB
Current children cumulated memory: 618708 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.58 3.33 5/269 116410
/proc/meminfo: memFree=125484020/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1864952 memory=656340 CPUtime=221.43 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 146962 0 0 0 22119 24 0 0 20 0 1 0 140949400 1909710848 164085 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 466238 164085 8176 1 0 437596 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 1869144 KiB

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

/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=170644 memory=143220 CPUtime=1038.72 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 298470 0 0 0 103691 181 0 0 20 0 1 0 140999435 174739456 35805 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 42661 35805 544 696 0 41822 0
Current children cumulated CPU time: 1537.22 s
Current children cumulated vsize: 2177196 KiB
Current children cumulated memory: 925896 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.09 4.00 5/271 116580
/proc/meminfo: memFree=113157632/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=141972 memory=122260 CPUtime=1098.59 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 322938 0 0 0 109665 194 0 0 20 0 1 0 140999435 145379328 30565 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 35493 30565 544 696 0 34654 0
Current children cumulated CPU time: 1597.09 s
Current children cumulated vsize: 2148524 KiB
Current children cumulated memory: 904936 KiB

[startup+1662.3 s]
/proc/loadavg: 4.07 4.09 4.00 5/272 116585
/proc/meminfo: memFree=113093208/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=154260 memory=128856 CPUtime=1158.45 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 347165 0 0 0 115638 207 0 0 20 0 1 0 140999435 157962240 32214 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 38565 32214 544 696 0 37726 0
Current children cumulated CPU time: 1656.95 s
Current children cumulated vsize: 2160812 KiB
Current children cumulated memory: 911532 KiB

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

# cumulated CPU time of all completed processes:  user=1668.98 s, system=2.53062 s

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

[startup+1664 s]*
/proc/loadavg: 4.15 4.10 4.01 5/272 116585
/proc/meminfo: memFree=113091444/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=170644 memory=141144 CPUtime=1160.15 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 347682 0 0 0 115808 207 0 0 20 0 1 0 140999435 174739456 35286 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 42661 35286 544 696 0 41822 0
Current children cumulated CPU time: 1658.65 s
Current children cumulated vsize: 2177196 KiB
Current children cumulated memory: 923820 KiB

[startup+1670.4 s]
/proc/loadavg: 4.13 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113087128/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=170644 memory=137048 CPUtime=1166.53 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 351014 0 0 0 116444 209 0 0 20 0 1 0 140999435 174739456 34262 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 42661 34262 544 696 0 41822 0
Current children cumulated CPU time: 1665.03 s
Current children cumulated vsize: 2177196 KiB
Current children cumulated memory: 919724 KiB

[startup+1673.6 s]
/proc/loadavg: 4.13 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113050264/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=154260 memory=132952 CPUtime=1169.73 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 352406 0 0 0 116763 210 0 0 20 0 1 0 140999435 157962240 33238 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 38565 33238 544 696 0 37726 0
Current children cumulated CPU time: 1668.23 s
Current children cumulated vsize: 2160812 KiB
Current children cumulated memory: 915628 KiB

[startup+1675.2 s]
/proc/loadavg: 4.12 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113092984/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=170644 memory=137048 CPUtime=1171.32 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 352919 0 0 0 116922 210 0 0 20 0 1 0 140999435 174739456 34262 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 42661 34262 544 696 0 41822 0
Current children cumulated CPU time: 1669.82 s
Current children cumulated vsize: 2177196 KiB
Current children cumulated memory: 919724 KiB

[startup+1676 s]*
/proc/loadavg: 4.12 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113092984/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=154068 memory=130876 CPUtime=1172.13 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 353553 0 0 0 117002 211 0 0 20 0 1 0 140999435 157765632 32719 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 38517 32719 544 696 0 37678 0
Current children cumulated CPU time: 1670.63 s
Current children cumulated vsize: 2160620 KiB
Current children cumulated memory: 913552 KiB

[startup+1676.4 s]
/proc/loadavg: 4.12 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113092984/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=2002360 memory=779604 CPUtime=498.5 cores=1,3
/proc/115962/stat : 115962 (python3) S 115941 115941 115877 0 -1 4194304 177955 0 0 0 49817 33 0 0 20 0 1 0 140949400 2050416640 194901 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 500590 194901 8176 1 0 471948 0
[pid=116432] ppid=115962 vsize=154068 memory=130876 CPUtime=1172.52 cores=1,3
/proc/116432/stat : 116432 (naps-1.03a6) R 115962 116432 116432 0 -1 4194304 353553 0 0 0 117041 211 0 0 20 0 1 0 140999435 157765632 32719 18446744073709551615 4198400 7047149 140723956528512 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 16277504 140723956537743 140723956537841 140723956537841 140723956543433 0
/proc/116432/statm: 38517 32719 544 696 0 37678 0
Current children cumulated CPU time: 1671.02 s
Current children cumulated vsize: 2160620 KiB
Current children cumulated memory: 913552 KiB

[startup+1676.8 s]
/proc/loadavg: 4.12 4.10 4.01 5/272 116586
/proc/meminfo: memFree=113092984/131250000 swapFree=33010684/33010684
[pid=115941] ppid=115929 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/115941/stat : 115941 (scip-naps-1.00a) S 115929 115941 115877 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 140949395 4292608 768 18446744073709551615 94072071245824 94072072140357 140721134204416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072072379408 94072072427152 94072079355904 140721134209435 140721134209534 140721134209534 140721134215138 0
/proc/115941/statm: 1048 768 704 219 0 110 0
[pid=115962] ppid=115941 vsize=1944632 memory=722000 CPUtime=1671.42 cores=1,3
/proc/115962/stat : 115962 (python3) R 115941 115941 115877 0 -1 4194304 253472 353556 0 0 49840 37 117054 211 20 0 1 0 140949400 1991303168 180500 18446744073709551615 94813384773632 94813384774009 140730266476304 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94813384785304 94813384785924 94813401767936 140730266483023 140730266483232 140730266483232 140730266488807 0
/proc/115962/statm: 486158 180500 8176 1 0 457516 0
Current children cumulated CPU time: 1671.42 s
Current children cumulated vsize: 1948824 KiB
Current children cumulated memory: 725072 KiB

Child status: 0

Real time (s): 1676.86
CPU time (s): 1671.51
CPU user time (s): 1668.98
CPU system time (s): 2.53062
CPU usage (%): 99.6807
Max. virtual memory (cumulated for all children) (KiB): 2266568
Max. memory (cumulated for all children) (KiB): 986416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.98
system time used= 2.53062
maximum resident set size= 779604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 615154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454
involuntary context switches= 3396


# summary of solver processes directly reported to runsolver:
#   pid: 115941
#   total CPU time (s): 1671.51
#   total CPU user time (s): 1668.98
#   total CPU system time (s): 2.53062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99256 second user time and 6.51306 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-11 19:01:09
IDJOB=4529773
IDBENCH=147736
IDSOLVER=3388
FILE ID=nodeC028/4529773-1752253269
RUNJOBID= nodeC028-1752253269-115889
SLURM_JOB_ID= 9682584
Free space on /tmp= 431188 MiB

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

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

MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=226639851

nodeC028 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		: 3600.903
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	: 7000.16
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		: 3600.084
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	: 7000.16
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		: 3600.417
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	: 7000.16
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		: 3600.280
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	: 7000.16
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		: 3600.193
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	: 7000.16
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		: 3600.250
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	: 7000.16
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		: 3600.060
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	: 7000.16
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		: 3598.421
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127335692 kB
MemAvailable:   129751012 kB
Buffers:            3280 kB
Cached:          3213064 kB
SwapCached:            0 kB
Active:           381368 kB
Inactive:        2900380 kB
Active(anon):      83224 kB
Inactive(anon):        0 kB
Active(file):     298144 kB
Inactive(file):  2900380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28424 kB
Writeback:             0 kB
AnonPages:         68300 kB
Mapped:           106156 kB
Shmem:             18068 kB
KReclaimable:     112072 kB
Slab:             204924 kB
SReclaimable:     112072 kB
SUnreclaim:        92852 kB
KernelStack:        4096 kB
PageTables:         3044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 431040 MiB
End job on nodeC028 at 2025-07-11 19:29:06