Trace number 4491765

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1UNSAT 1428.59 1433.22

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 

3.04/3.29	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491765-1751143410.opb
3.04/3.29	c Solving mode: decision
3.04/3.29	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
3.04/3.29	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
3.04/3.29	c original problem has 23621 variables (23621 bin, 0 int, 0 impl, 0 cont) and 67526 constraints
3.04/3.29	c presolving:
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
3.04/3.29	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
8.39/8.68	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	c    (14.6s) probing: 1000/22269 (4.5%) - 2918 fixings, 109 aggregations, 1138050 implications, 0 bound changes
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	c    (24.6s) probing: 2000/22269 (9.0%) - 3107 fixings, 122 aggregations, 2326220 implications, 0 bound changes
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	c    (35.0s) probing: 3000/22269 (13.5%) - 3126 fixings, 134 aggregations, 3685443 implications, 0 bound changes
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
44.45/44.80	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	c    (45.5s) probing: 4000/22269 (18.0%) - 3296 fixings, 137 aggregations, 5137827 implications, 0 bound changes
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	c    (56.2s) probing: 5000/22269 (22.5%) - 3394 fixings, 257 aggregations, 6388375 implications, 0 bound changes
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	c    (68.0s) probing: 6000/22269 (26.9%) - 3445 fixings, 383 aggregations, 7989461 implications, 0 bound changes
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
79.16/79.66	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
411.97/413.46	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
411.97/413.46	c    (79.2s) probing: 7000/22269 (31.4%) - 3502 fixings, 457 aggregations, 9629755 implications, 0 bound changes
411.97/413.46	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
411.97/413.46	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
411.97/413.46	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
411.97/413.46	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
411.97/413.46	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
411.97/413.46	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
411.97/413.46	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
411.97/413.46	c    (87.0s) probing: 7840/22269 (35.2%) - 3523 fixings, 524 aggregations, 10514455 implications, 0 bound changes
411.97/413.46	c    (87.0s) probing aborted: 50/50 successive totally useless probings
411.97/413.46	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
411.97/413.46	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
411.97/413.46	c    (87.1s) probing: 7845/22269 (35.2%) - 3523 fixings, 524 aggregations, 10514455 implications, 0 bound changes
411.97/413.46	c    (87.1s) probing aborted: 50/50 successive totally useless probings
411.97/413.46	c    (87.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
411.97/413.46	c    (87.2s) symmetry computation finished: 19 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.02)
411.97/413.46	c dynamic symmetry handling statistics:
411.97/413.46	c    orbitopal reduction:        2 components: 21x10, 14x10
411.97/413.46	c    orbital reduction:         no components
411.97/413.46	c    lexicographic reduction:    1 permutations with support sizes 54
411.97/413.46	c handled 3 out of 3 symmetry components
411.97/413.46	c presolving (206 rounds: 206 fast, 140 medium, 139 exhaustive):
411.97/413.46	c  9018 deleted vars, 70017 deleted constraints, 22236 added constraints, 1 tightened bounds, 0 added holes, 1200 changed sides, 4505 changed coefficients
411.97/413.46	c  0 implications, 181699 cliques
411.97/413.46	c presolved problem has 14925 variables (14925 bin, 0 int, 0 impl, 0 cont) and 16834 constraints
411.97/413.46	c    2388 constraints of type <knapsack>
411.97/413.46	c    1211 constraints of type <setppc>
411.97/413.46	c   13235 constraints of type <and>
411.97/413.46	c transformed objective value is always integral (scale: 1)
411.97/413.46	c Presolving Time: 87.08
411.97/413.46	c 
411.97/413.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
411.97/413.46	c  88.0s|     1 |     0 |  2664 |     - |   375M |   0 |  14k|  16k|  30k|   0 |  0 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  93.8s|     1 |     0 | 14007 |     - |   385M |   0 |  14k|  16k|  30k| 236 |  1 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  94.7s|     1 |     0 | 15170 |     - |   391M |   0 |  14k|  16k|  30k| 452 |  2 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  95.6s|     1 |     0 | 16453 |     - |   397M |   0 |  14k|  16k|  30k| 638 |  3 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  96.8s|     1 |     0 | 17917 |     - |   403M |   0 |  14k|  16k|  30k| 872 |  4 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  98.0s|     1 |     0 | 19588 |     - |   409M |   0 |  14k|  16k|  31k|1097 |  5 |  65 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c  99.2s|     1 |     0 | 21429 |     - |   415M |   0 |  14k|  16k|  31k|1370 |  6 |  66 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   100s|     1 |     0 | 22778 |     - |   422M |   0 |  14k|  16k|  31k|1700 |  7 |  67 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   101s|     1 |     0 | 24299 |     - |   428M |   0 |  14k|  16k|  31k|1915 |  8 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   103s|     1 |     0 | 25939 |     - |   436M |   0 |  14k|  16k|  32k|2142 |  9 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   104s|     1 |     0 | 27400 |     - |   444M |   0 |  14k|  16k|  32k|2327 | 10 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   105s|     1 |     0 | 28761 |     - |   447M |   0 |  14k|  16k|  32k|2537 | 11 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   118s|     1 |     2 | 37758 |     - |   448M |   0 |  14k|  16k|  32k|2537 | 11 |  79 |  19 | 0.000000e+00 |      --      |    Inf | unknown
411.97/413.46	c   185s|   100 |    74 |219188 |1923.5 |   462M |  33 |  14k|  17k|  34k|  12k|  2 | 207 |  19 | 0.000000e+00 |      --      |    Inf |  31.25%
411.97/413.46	c   201s|   200 |   157 |266459 |1194.5 |   483M |  43 |  14k|  17k|  34k|  14k|  2 | 409 |  19 | 0.000000e+00 |      --      |    Inf |  31.25%
411.97/413.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
411.97/413.46	c   216s|   300 |   160 |314943 | 957.1 |   500M |  46 |  14k|  17k|  34k|  16k|  2 | 597 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   235s|   400 |   140 |408783 | 952.4 |   516M |  46 |  14k|  18k|  35k|  20k|  2 |1297 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   260s|   500 |   169 |501802 | 948.0 |   525M |  46 |  14k|  18k|  35k|  23k|  2 |2046 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   284s|   600 |   240 |614077 | 977.2 |   531M |  46 |  14k|  19k|  35k|  26k|  2 |2675 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   293s|   700 |   282 |654680 | 895.4 |   542M |  55 |  14k|  20k|  35k|  27k|  1 |3259 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   304s|   800 |   354 |702485 | 843.2 |   554M |  55 |  14k|  20k|  35k|  29k|  2 |3558 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   314s|   900 |   391 |747550 | 799.5 |   561M |  55 |  14k|  20k|  35k|  31k|  1 |3977 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   323s|  1000 |   382 |783743 | 755.7 |   563M |  55 |  14k|  21k|  35k|  32k|  2 |4242 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   333s|  1100 |   441 |825590 | 725.0 |   568M |  55 |  14k|  21k|  35k|  35k|  2 |4503 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   342s|  1200 |   470 |862725 | 695.5 |   572M |  55 |  14k|  21k|  35k|  37k|  2 |4702 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   351s|  1300 |   495 |893582 | 665.8 |   573M |  55 |  14k|  21k|  35k|  38k|  2 |4868 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   365s|  1400 |   522 |949765 | 658.3 |   582M |  55 |  14k|  21k|  35k|  40k|  1 |5155 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   374s|  1500 |   562 |995484 | 644.9 |   596M |  55 |  14k|  21k|  35k|  43k|  2 |5344 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   384s|  1600 |   567 |  1040k| 632.5 |   607M |  55 |  14k|  21k|  35k|  45k|  2 |5600 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c   395s|  1700 |   621 |  1090k| 625.0 |   614M |  55 |  14k|  21k|  35k|  46k|  1 |6071 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
411.97/413.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
411.97/413.46	c   405s|  1800 |   642 |  1118k| 605.7 |   617M |  55 |  14k|  22k|  35k|  48k|  2 |6375 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   413s|  1900 |   640 |  1146k| 588.5 |   621M |  55 |  14k|  22k|  35k|  50k|  2 |6577 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   423s|  2000 |   672 |  1191k| 581.8 |   635M |  55 |  14k|  22k|  35k|  52k|  2 |6900 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   430s|  2100 |   690 |  1223k| 569.0 |   637M |  55 |  14k|  21k|  34k|  54k|  1 |7044 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   438s|  2200 |   733 |  1250k| 555.8 |   652M |  55 |  14k|  22k|  35k|  55k|  1 |7336 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   451s|  2300 |   737 |  1284k| 546.3 |   654M |  55 |  14k|  22k|  34k|  56k|  2 |8049 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   459s|  2400 |   754 |  1309k| 534.0 |   665M |  55 |  14k|  23k|  35k|  58k|  2 |8413 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   468s|  2500 |   751 |  1350k| 528.7 |   674M |  55 |  14k|  22k|   0 |  60k|  0 |8592 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   477s|  2600 |   779 |  1391k| 524.4 |   676M |  61 |  14k|  22k|  35k|  62k|  2 |8774 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   485s|  2700 |   801 |  1420k| 515.6 |   678M |  61 |  14k|  22k|  35k|  63k|  2 |8985 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c   492s|  2800 |   820 |  1442k| 505.2 |   685M |  61 |  14k|  22k|  35k|  65k|  1 |9162 |  19 | 0.000000e+00 |      --      |    Inf |  34.38%
498.98/500.78	c 
498.98/500.78	c SCIP Status        : solving was interrupted [time limit reached]
498.98/500.78	c Solving Time (sec) : 500.01
498.98/500.78	c Solving Nodes      : 2892
498.98/500.78	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.98/500.78	c Dual Bound         : +0.00000000000000e+00
498.98/500.78	c Gap                : infinite
498.98/500.78	c ----------------------------------------------------------------------
498.98/500.78	c dual bound: 0.0 -> 0
498.98/500.78	c primal bound: 1e+20 -> 100000000000000000000
498.98/500.78	c scip-goal-lb: 0
498.98/500.78	c scip-goal-ub: 100000000000000000000
498.98/500.78	c writing output to: HOME/tmp2kwaqexp.opb
498.98/500.78	c appending fixed variable constraints
498.98/500.78	c scip-fixed vars: 34.28% (5117/14925)
498.98/500.78	c ----------------------------------------------------------------------
498.98/500.78	c executing external solver: HOME/naps-1.03a6
498.98/500.78	c ----------------------------------------------------------------------
498.98/500.78	c command: HOME/naps-1.03a6 HOME/tmp2kwaqexp.opb
499.08/500.80	c NaPS 1.03a6.
499.08/500.80	c Input file name: HOME/tmp2kwaqexp.opb
1427.87/1432.52	c _____________________________________________________________________________
1427.87/1432.52	c std/band forms        : 2400,0
1427.87/1432.52	c 2cl/3cl ITE-codings   : 209861,0
1427.87/1432.52	c BDD/srt/adr Max costs : 244,0,0
1427.87/1432.52	c BDDraw/bin/mul/srt/adr: 0,0,2400,0,0
1427.87/1432.52	c BDD nodes             : 329121
1427.87/1432.52	c Es1/CC detections     : 0,0
1427.87/1432.52	c CC sort               : 0
1427.87/1432.52	c SAT/UNSAT calls       : 0,1
1427.87/1432.52	c regenrated variables  : 0
1427.87/1432.52	c eliminated fixed lits : 9525
1427.87/1432.52	c goal lit flips        : 0
1427.87/1432.52	c goal stages           : 0
1427.87/1432.52	c goal shrink           : 0
1427.87/1432.52	c goal coeff separations: 0
1427.87/1432.52	c restarts              : 178543
1427.87/1432.52	c conflicts             : 9660125        (10424 /sec)
1427.87/1432.52	c decisions             : 64069513       (69137 /sec)
1427.87/1432.52	c propagations          : 4941060262     (5331893 /sec)
1427.87/1432.52	c inspects              : 0              (0 /sec)
1427.87/1432.52	c CPU time (solving tm) : 926.7 s        (923.5 s, SAT 0 s, UNSAT 923.5 s)
1427.87/1432.52	c Time for Opt-base     : 0.8447 s
1427.87/1432.52	c Steps for Opt-base    : 2262828
1427.87/1432.52	c Time for BDD coding   : 1.853 s
1427.87/1432.52	c Time for srt coding   : 0 s
1427.87/1432.52	c _____________________________________________________________________________
1427.87/1432.53	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61280 MiB free)
  memory of node 1: 64465 MiB (60655 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491765-1751143410/watcher-4491765-1751143410 -o /tmp/evaluation-result-4491765-1751143410/solver-4491765-1751143410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14397 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491765-1751143410.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100069 s]*
/proc/loadavg: 4.15 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124858636/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=12932 memory=10112 CPUtime=0.05 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 1499 0 0 0 5 0 0 0 20 0 1 0 30020378 13242368 2528 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 3233 2528 1216 1 0 1410 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17124 KiB
Current children cumulated memory: 13056 KiB

[startup+0.213709 s]*
/proc/loadavg: 4.15 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124853116/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1185784 memory=30468 CPUtime=0.14 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 3458 0 0 0 13 1 0 0 20 0 1 0 30020378 1214242816 7617 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 296446 7617 4769 1 0 268514 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1189976 KiB
Current children cumulated memory: 33412 KiB

[startup+0.313684 s]*
/proc/loadavg: 4.15 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124842028/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1189536 memory=34564 CPUtime=0.23 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 4289 0 0 0 21 2 0 0 20 0 1 0 30020378 1218084864 8641 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 297384 8641 5025 1 0 269293 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1193728 KiB
Current children cumulated memory: 37508 KiB

[startup+0.70026 s]
/proc/loadavg: 4.15 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124811788/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1253584 memory=104452 CPUtime=0.57 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 19359 0 0 0 51 6 0 0 20 0 1 0 30020378 1283670016 26113 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 313396 26113 7617 1 0 284754 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 1257776 KiB
Current children cumulated memory: 107396 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124690828/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1386672 memory=236036 CPUtime=1.37 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 52061 0 0 0 123 14 0 0 20 0 1 0 30020378 1419952128 59009 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 346668 59009 7905 1 0 318026 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 1390864 KiB
Current children cumulated memory: 238980 KiB

[startup+3.10564 s]
/proc/loadavg: 4.14 3.78 3.08 5/254 14798
/proc/meminfo: memFree=124619308/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1403064 memory=252164 CPUtime=2.95 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 56096 0 0 0 281 14 0 0 20 0 1 0 30020378 1436737536 63041 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 350766 63041 7937 1 0 322124 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 1407256 KiB
Current children cumulated memory: 255108 KiB

[startup+6.30024 s]
/proc/loadavg: 4.14 3.78 3.08 5/254 14798
/proc/meminfo: memFree=123911572/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1414236 memory=263428 CPUtime=6.12 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 58982 0 0 0 597 15 0 0 20 0 1 0 30020378 1448177664 65857 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 353559 65857 7937 1 0 324917 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 1418428 KiB
Current children cumulated memory: 266372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 3.79 3.10 5/254 14798
/proc/meminfo: memFree=123450412/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1416992 memory=265860 CPUtime=12.45 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 59594 0 0 0 1230 15 0 0 20 0 1 0 30020378 1450999808 66465 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 354248 66465 7937 1 0 325606 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 1421184 KiB
Current children cumulated memory: 268804 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 3.80 3.10 5/255 14800
/proc/meminfo: memFree=123727964/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1417288 memory=265988 CPUtime=25.21 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 59641 0 0 0 2506 15 0 0 20 0 1 0 30020378 1451302912 66497 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 354322 66497 7937 1 0 325680 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 1421480 KiB
Current children cumulated memory: 268932 KiB

[startup+51.1138 s]
/proc/loadavg: 4.13 3.83 3.13 5/255 14800
/proc/meminfo: memFree=122513828/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1418312 memory=267012 CPUtime=50.75 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 59903 0 0 0 5060 15 0 0 20 0 1 0 30020378 1452351488 66753 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 354578 66753 7937 1 0 325936 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 1422504 KiB
Current children cumulated memory: 269956 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 3.88 3.19 5/255 14802
/proc/meminfo: memFree=122437856/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1735684 memory=532892 CPUtime=101.79 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 115638 0 0 0 10155 24 0 0 20 0 1 0 30020378 1777340416 133223 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 433921 133223 8129 1 0 405279 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 1739876 KiB
Current children cumulated memory: 535836 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.92 3.25 5/255 14804
/proc/meminfo: memFree=122358648/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1813448 memory=609820 CPUtime=161.62 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 134876 0 0 0 16135 27 0 0 20 0 1 0 30020378 1856970752 152455 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 453362 152455 8129 1 0 424720 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1817640 KiB
Current children cumulated memory: 612764 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.95 3.31 5/256 14809
/proc/meminfo: memFree=122574128/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1864900 memory=656540 CPUtime=221.45 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 146563 0 0 0 22116 29 0 0 20 0 1 0 30020378 1909657600 164135 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 466225 164135 8129 1 0 437583 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 1869092 KiB

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

/proc/meminfo: memFree=129404448/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=170644 memory=139540 CPUtime=679.18 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 229359 0 0 0 67765 153 0 0 20 0 1 0 30070453 174739456 34885 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 42661 34885 544 696 0 41822 0
Current children cumulated CPU time: 1178.26 s
Current children cumulated vsize: 2177140 KiB
Current children cumulated memory: 921136 KiB

[startup+1242.3 s]
/proc/loadavg: 1.11 1.41 2.27 2/235 14961
/proc/meminfo: memFree=129377936/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=170644 memory=139672 CPUtime=739.03 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 253611 0 0 0 73736 167 0 0 20 0 1 0 30070453 174739456 34918 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 42661 34918 544 696 0 41822 0
Current children cumulated CPU time: 1238.11 s
Current children cumulated vsize: 2177140 KiB
Current children cumulated memory: 921268 KiB

[startup+1302.3 s]
/proc/loadavg: 1.09 1.35 2.19 2/235 14963
/proc/meminfo: memFree=129352680/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=203412 memory=153932 CPUtime=798.88 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 280693 0 0 0 79704 184 0 0 20 0 1 0 30070453 208293888 38483 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 50853 38483 544 696 0 50014 0
Current children cumulated CPU time: 1297.96 s
Current children cumulated vsize: 2209908 KiB
Current children cumulated memory: 935528 KiB

[startup+1362.3 s]
/proc/loadavg: 1.08 1.30 2.12 2/235 14965
/proc/meminfo: memFree=129369268/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=154260 memory=133448 CPUtime=858.74 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 305226 0 0 0 85676 198 0 0 20 0 1 0 30070453 157962240 33362 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 38565 33362 544 696 0 37726 0
Current children cumulated CPU time: 1357.82 s
Current children cumulated vsize: 2160756 KiB
Current children cumulated memory: 915044 KiB

[startup+1422.3 s]
/proc/loadavg: 1.06 1.25 2.05 2/234 14969
/proc/meminfo: memFree=129364400/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=154260 memory=134960 CPUtime=918.61 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 329237 0 0 0 91651 210 0 0 20 0 1 0 30070453 157962240 33740 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 38565 33740 544 696 0 37726 0
Current children cumulated CPU time: 1417.69 s
Current children cumulated vsize: 2160756 KiB
Current children cumulated memory: 916556 KiB

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

# cumulated CPU time of all completed processes:  user=1425.91 s, system=2.68152 s

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

[startup+1427.2 s]
/proc/loadavg: 1.06 1.25 2.05 2/234 14970
/proc/meminfo: memFree=129366608/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=154260 memory=134192 CPUtime=923.5 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 331304 0 0 0 92139 211 0 0 20 0 1 0 30070453 157962240 33548 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 38565 33548 544 696 0 37726 0
Current children cumulated CPU time: 1422.58 s
Current children cumulated vsize: 2160756 KiB
Current children cumulated memory: 915788 KiB

[startup+1430.4 s]
/proc/loadavg: 1.06 1.25 2.05 2/234 14970
/proc/meminfo: memFree=129366608/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=154260 memory=134448 CPUtime=926.7 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 332545 0 0 0 92458 212 0 0 20 0 1 0 30070453 157962240 33612 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 38565 33612 544 696 0 37726 0
Current children cumulated CPU time: 1425.78 s
Current children cumulated vsize: 2160756 KiB
Current children cumulated memory: 916044 KiB

[startup+1432 s]*
/proc/loadavg: 1.05 1.25 2.04 2/233 14970
/proc/meminfo: memFree=129366608/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=2002304 memory=778652 CPUtime=499.08 cores=4,6
/proc/14798/stat : 14798 (python3) S 14793 14793 11315 0 -1 4194304 177285 0 0 0 49872 36 0 0 20 0 1 0 30020378 2050359296 194663 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 500576 194663 8161 1 0 471934 0
[pid=14857] ppid=14798 vsize=154068 memory=131348 CPUtime=928.3 cores=4,6
/proc/14857/stat : 14857 (naps-1.03a6) R 14798 14857 14857 0 -1 4194304 333387 0 0 0 92618 212 0 0 20 0 1 0 30070453 157765632 32837 18446744073709551615 4198400 7047149 140729611465136 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 28090368 140729611467153 140729611467251 140729611467251 140729611472841 0
/proc/14857/statm: 38517 32837 544 696 0 37678 0
Current children cumulated CPU time: 1427.38 s
Current children cumulated vsize: 2160564 KiB
Current children cumulated memory: 912944 KiB

[startup+1432.8 s]
/proc/loadavg: 1.05 1.25 2.04 2/233 14970
/proc/meminfo: memFree=129366608/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
[pid=14798] ppid=14793 vsize=1946100 memory=722544 CPUtime=1428.16 cores=4,6
/proc/14798/stat : 14798 (python3) R 14793 14793 11315 0 -1 4194304 229477 333390 0 0 49890 44 92670 212 20 0 1 0 30020378 1992806400 180636 18446744073709551615 93955285041152 93955285041529 140724004692736 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 93955285052824 93955285053444 93955303690240 140724004694360 140724004694562 140724004694562 140724004700135 0
/proc/14798/statm: 486525 180636 8161 1 0 457883 0
Current children cumulated CPU time: 1428.16 s
Current children cumulated vsize: 1950292 KiB
Current children cumulated memory: 725488 KiB

[startup+1433.2 s]
/proc/loadavg: 1.05 1.25 2.04 2/232 14970
/proc/meminfo: memFree=129530412/131382116 swapFree=33010684/33010684
[pid=14793] ppid=14790 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/14793/stat : 14793 (scip-naps-1.00.) S 14790 14793 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30020375 4292608 736 18446744073709551615 93882068590592 93882069485125 140721148741376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93882069724176 93882069771920 93882075684864 140721148750241 140721148750338 140721148750338 140721148755940 0
/proc/14793/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 1433.22
CPU time (s): 1428.59
CPU user time (s): 1425.91
CPU system time (s): 2.68152
CPU usage (%): 99.6774
Max. virtual memory (cumulated for all children) (KiB): 2266512
Max. memory (cumulated for all children) (KiB): 978896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1425.91
system time used= 2.68152
maximum resident set size= 778652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593855
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= 367
involuntary context switches= 2991


# summary of solver processes directly reported to runsolver:
#   pid: 14793
#   total CPU time (s): 1428.59
#   total CPU user time (s): 1425.91
#   total CPU system time (s): 2.68152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95143 second user time and 14.5883 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-28 22:43:30
IDJOB=4491765
IDBENCH=147736
IDSOLVER=3368
FILE ID=nodeC010/4491765-1751143410
RUNJOBID= nodeC010-1751142855-14397
SLURM_JOB_ID= 9587410
Free space on /tmp= 433000 MiB

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

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

MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=138227211

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.383
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.628
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.041
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.487
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.146
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.212
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.042
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.771
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        124861796 kB
MemAvailable:   124541916 kB
Buffers:            3280 kB
Cached:           492356 kB
SwapCached:            0 kB
Active:          5699988 kB
Inactive:         235100 kB
Active(anon):    5457412 kB
Inactive(anon):        0 kB
Active(file):     242576 kB
Inactive(file):   235100 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18936 kB
Writeback:            28 kB
AnonPages:       5442548 kB
Mapped:           127268 kB
Shmem:             17960 kB
KReclaimable:      84144 kB
Slab:             162780 kB
SReclaimable:      84144 kB
SUnreclaim:        78636 kB
KernelStack:        4064 kB
PageTables:        14556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9314520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC010 at 2025-06-28 23:07:23