Trace number 4489180

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 NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06SAT (TO)207 3600.09 3610.61

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3585.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
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 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 467 #constraints 466
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.002843
0.00/0.01	c stratification level: 0
0.00/0.02	c bounds - >= 42 @ 0.00335
0.00/0.02	c bounds - >= 43 @ 0.003525
0.00/0.02	c bounds - >= 44 @ 0.003612
0.00/0.02	c bounds - >= 45 @ 0.003696
0.00/0.02	c bounds - >= 46 @ 0.003781
0.00/0.02	c bounds - >= 47 @ 0.003871
0.00/0.02	c bounds - >= 48 @ 0.003969
0.00/0.02	c bounds - >= 49 @ 0.004067
0.00/0.02	c bounds - >= 50 @ 0.004169
0.00/0.02	c bounds - >= 51 @ 0.004232
0.00/0.02	c bounds - >= 52 @ 0.004232
0.00/0.02	c bounds - >= 53 @ 0.004232
0.00/0.02	c bounds - >= 54 @ 0.004232
0.00/0.02	c bounds - >= 55 @ 0.004232
0.00/0.02	c bounds - >= 56 @ 0.004232
0.00/0.02	c bounds - >= 57 @ 0.004232
0.00/0.02	c bounds - >= 58 @ 0.004232
0.00/0.02	c bounds - >= 59 @ 0.004232
0.00/0.02	c bounds - >= 60 @ 0.004232
0.00/0.02	c bounds - >= 61 @ 0.004342
0.00/0.02	c bounds - >= 62 @ 0.004446
0.00/0.02	c bounds - >= 63 @ 0.004562
0.00/0.02	c bounds - >= 64 @ 0.004671
0.00/0.02	c bounds - >= 65 @ 0.004781
0.00/0.02	c bounds - >= 66 @ 0.004887
0.00/0.02	c bounds - >= 67 @ 0.004999
0.00/0.02	c bounds - >= 68 @ 0.005112
0.00/0.02	c bounds - >= 69 @ 0.005233
0.00/0.02	c bounds - >= 70 @ 0.005348
0.00/0.02	c bounds - >= 71 @ 0.00547
0.00/0.02	c bounds - >= 72 @ 0.00559
0.00/0.02	c bounds - >= 73 @ 0.005712
0.00/0.02	c bounds - >= 74 @ 0.005832
0.00/0.02	c bounds - >= 75 @ 0.005955
0.00/0.02	c bounds - >= 76 @ 0.006081
0.00/0.02	c bounds - >= 77 @ 0.006202
0.00/0.02	c bounds - >= 78 @ 0.006343
0.00/0.02	c bounds - >= 79 @ 0.006465
0.00/0.02	c bounds - >= 80 @ 0.006591
0.00/0.02	c bounds - >= 81 @ 0.006713
0.00/0.02	c bounds - >= 82 @ 0.006837
0.00/0.02	c bounds - >= 83 @ 0.006959
0.00/0.02	c bounds - >= 84 @ 0.007088
0.00/0.02	c bounds - >= 85 @ 0.007213
0.00/0.02	c bounds - >= 86 @ 0.007343
0.00/0.02	c bounds - >= 87 @ 0.007471
0.00/0.02	c bounds - >= 88 @ 0.007605
0.00/0.02	c bounds - >= 89 @ 0.007741
0.00/0.02	c bounds - >= 90 @ 0.007871
0.00/0.02	c bounds - >= 91 @ 0.008007
0.00/0.02	c bounds - >= 92 @ 0.008136
0.00/0.02	c bounds - >= 93 @ 0.00827
0.00/0.02	c bounds - >= 94 @ 0.0084
0.00/0.02	c bounds - >= 95 @ 0.008527
0.00/0.02	c bounds - >= 96 @ 0.008657
0.00/0.02	c bounds - >= 97 @ 0.008789
0.00/0.02	c bounds - >= 98 @ 0.008924
0.00/0.02	c bounds - >= 99 @ 0.009069
0.00/0.02	c bounds - >= 100 @ 0.009196
0.00/0.02	c bounds - >= 101 @ 0.009332
0.00/0.02	c bounds - >= 102 @ 0.009463
0.00/0.02	c bounds - >= 103 @ 0.009595
0.00/0.02	c bounds - >= 104 @ 0.009739
0.00/0.02	c bounds - >= 105 @ 0.009869
0.00/0.02	c bounds - >= 106 @ 0.010005
0.00/0.02	c bounds - >= 107 @ 0.010139
0.00/0.02	c bounds - >= 108 @ 0.010197
0.00/0.02	c bounds - >= 109 @ 0.010197
0.00/0.02	c bounds - >= 110 @ 0.010197
0.00/0.02	c bounds - >= 111 @ 0.010197
0.00/0.02	c bounds - >= 112 @ 0.010197
0.00/0.02	c bounds - >= 113 @ 0.010197
0.00/0.02	c bounds - >= 114 @ 0.010211
0.00/0.02	c bounds - >= 115 @ 0.010331
0.00/0.02	c bounds - >= 116 @ 0.010478
0.00/0.02	c bounds - >= 117 @ 0.010625
0.00/0.02	c bounds - >= 118 @ 0.010799
0.00/0.02	c bounds - >= 119 @ 0.010979
0.00/0.02	c finalizing WCE round: reformulating cores
39.28/39.49	c #Conflicts:       1000 | #Constraints:       1616
39.28/39.49	c #Conflicts:       2000 | #Constraints:       2620
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:       3000 | #Constraints:       2547
39.28/39.49	c #Conflicts:       4000 | #Constraints:       3549
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:       5000 | #Constraints:       2953
39.28/39.49	c #Conflicts:       6000 | #Constraints:       3955
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:       7000 | #Constraints:       2960
39.28/39.49	c #Conflicts:       8000 | #Constraints:       3962
39.28/39.49	c #Conflicts:       9000 | #Constraints:       4966
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      10000 | #Constraints:       3665
39.28/39.49	c #Conflicts:      11000 | #Constraints:       4667
39.28/39.49	c #Conflicts:      12000 | #Constraints:       5669
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      13000 | #Constraints:       4122
39.28/39.49	c #Conflicts:      14000 | #Constraints:       5124
39.28/39.49	c #Conflicts:      15000 | #Constraints:       6126
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      16000 | #Constraints:       4358
39.28/39.49	c #Conflicts:      17000 | #Constraints:       5360
39.28/39.49	c #Conflicts:      18000 | #Constraints:       6362
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      19000 | #Constraints:       4376
39.28/39.49	c #Conflicts:      20000 | #Constraints:       5378
39.28/39.49	c #Conflicts:      21000 | #Constraints:       6380
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      22000 | #Constraints:       4188
39.28/39.49	c #Conflicts:      23000 | #Constraints:       5190
39.28/39.49	c #Conflicts:      24000 | #Constraints:       6194
39.28/39.49	c #Conflicts:      25000 | #Constraints:       7196
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      26000 | #Constraints:       4809
39.28/39.49	c #Conflicts:      27000 | #Constraints:       5811
39.28/39.49	c #Conflicts:      28000 | #Constraints:       6813
39.28/39.49	c #Conflicts:      29000 | #Constraints:       7817
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      30000 | #Constraints:       5220
39.28/39.49	c #Conflicts:      31000 | #Constraints:       6222
39.28/39.49	c #Conflicts:      32000 | #Constraints:       7224
39.28/39.49	c #Conflicts:      33000 | #Constraints:       8228
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      34000 | #Constraints:       5430
39.28/39.49	c #Conflicts:      35000 | #Constraints:       6432
39.28/39.49	c #Conflicts:      36000 | #Constraints:       7434
39.28/39.49	c #Conflicts:      37000 | #Constraints:       8438
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      38000 | #Constraints:       5444
39.28/39.49	c #Conflicts:      39000 | #Constraints:       6446
39.28/39.49	c #Conflicts:      40000 | #Constraints:       7448
39.28/39.49	c #Conflicts:      41000 | #Constraints:       8452
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      42000 | #Constraints:       5251
39.28/39.49	c #Conflicts:      43000 | #Constraints:       6253
39.28/39.49	c #Conflicts:      44000 | #Constraints:       7257
39.28/39.49	c #Conflicts:      45000 | #Constraints:       8259
39.28/39.49	c #Conflicts:      46000 | #Constraints:       9261
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      47000 | #Constraints:       5866
39.28/39.49	c #Conflicts:      48000 | #Constraints:       6868
39.28/39.49	c #Conflicts:      49000 | #Constraints:       7870
39.28/39.49	c #Conflicts:      50000 | #Constraints:       8874
39.28/39.49	c #Conflicts:      51000 | #Constraints:       9876
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      52000 | #Constraints:       6279
39.28/39.49	c #Conflicts:      53000 | #Constraints:       7281
39.28/39.49	c #Conflicts:      54000 | #Constraints:       8283
39.28/39.49	c #Conflicts:      55000 | #Constraints:       9287
39.28/39.49	c #Conflicts:      56000 | #Constraints:      10289
39.28/39.49	c INPROCESSING
39.28/39.49	c GARBAGE COLLECT
39.28/39.49	c #Conflicts:      57000 | #Constraints:       6496
39.28/39.49	c #Conflicts:      58000 | #Constraints:       7498
39.28/39.49	c bounds 209 >= 119 @ 38.3176
39.28/39.49	c bounds 209 >= 120 @ 38.3276
39.28/39.49	c bounds 209 >= 121 @ 38.331
39.28/39.49	c bounds 209 >= 122 @ 38.3334
39.28/39.49	c bounds 209 >= 123 @ 38.3371
39.28/39.49	c bounds 209 >= 124 @ 38.3385
39.28/39.49	c bounds 209 >= 125 @ 38.3401
39.28/39.49	c bounds 209 >= 126 @ 38.3427
39.28/39.49	c bounds 209 >= 127 @ 38.3455
39.28/39.49	c bounds 209 >= 128 @ 38.3507
39.28/39.49	c bounds 209 >= 129 @ 38.3848
39.28/39.49	c finalizing WCE round: reformulating cores
50.55/50.73	c #Conflicts:      59000 | #Constraints:       8646
50.55/50.73	c #Conflicts:      60000 | #Constraints:       9650
50.55/50.73	c #Conflicts:      61000 | #Constraints:      10652
50.55/50.73	c INPROCESSING
50.55/50.73	c GARBAGE COLLECT
50.55/50.73	c #Conflicts:      62000 | #Constraints:       6622
50.55/50.73	c #Conflicts:      63000 | #Constraints:       7624
50.55/50.73	c #Conflicts:      64000 | #Constraints:       8626
50.55/50.73	c #Conflicts:      65000 | #Constraints:       9630
50.55/50.73	c #Conflicts:      66000 | #Constraints:      10632
50.55/50.73	c bounds 208 >= 129 @ 46.0582
50.55/50.73	c bounds 208 >= 130 @ 46.0794
50.55/50.73	c bounds 208 >= 131 @ 46.1276
50.55/50.73	c bounds 208 >= 132 @ 46.3305
50.55/50.73	c INPROCESSING
50.55/50.73	c GARBAGE COLLECT
50.55/50.73	c #Conflicts:      67000 | #Constraints:       6528
50.55/50.73	c #Conflicts:      68000 | #Constraints:       7528
50.55/50.73	c bounds 208 >= 133 @ 49.4457
50.55/50.73	c finalizing WCE round: reformulating cores
156.99/157.48	c #Conflicts:      69000 | #Constraints:       8658
156.99/157.48	c #Conflicts:      70000 | #Constraints:       9660
156.99/157.48	c #Conflicts:      71000 | #Constraints:      10664
156.99/157.48	c bounds 207 >= 133 @ 53.3947
156.99/157.48	c bounds 207 >= 134 @ 53.5756
156.99/157.48	c #Conflicts:      72000 | #Constraints:      11695
156.99/157.48	c bounds 207 >= 135 @ 54.3819
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:      73000 | #Constraints:       7270
156.99/157.48	c #Conflicts:      74000 | #Constraints:       8270
156.99/157.48	c #Conflicts:      75000 | #Constraints:       9270
156.99/157.48	c #Conflicts:      76000 | #Constraints:      10270
156.99/157.48	c #Conflicts:      77000 | #Constraints:      11270
156.99/157.48	c #Conflicts:      78000 | #Constraints:      12270
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:      79000 | #Constraints:       7660
156.99/157.48	c #Conflicts:      80000 | #Constraints:       8660
156.99/157.48	c #Conflicts:      81000 | #Constraints:       9660
156.99/157.48	c #Conflicts:      82000 | #Constraints:      10660
156.99/157.48	c #Conflicts:      83000 | #Constraints:      11660
156.99/157.48	c #Conflicts:      84000 | #Constraints:      12660
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:      85000 | #Constraints:       7863
156.99/157.48	c #Conflicts:      86000 | #Constraints:       8863
156.99/157.48	c #Conflicts:      87000 | #Constraints:       9863
156.99/157.48	c #Conflicts:      88000 | #Constraints:      10863
156.99/157.48	c #Conflicts:      89000 | #Constraints:      11863
156.99/157.48	c #Conflicts:      90000 | #Constraints:      12863
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:      91000 | #Constraints:       7857
156.99/157.48	c #Conflicts:      92000 | #Constraints:       8857
156.99/157.48	c #Conflicts:      93000 | #Constraints:       9857
156.99/157.48	c #Conflicts:      94000 | #Constraints:      10857
156.99/157.48	c #Conflicts:      95000 | #Constraints:      11857
156.99/157.48	c #Conflicts:      96000 | #Constraints:      12857
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:      97000 | #Constraints:       7671
156.99/157.48	c #Conflicts:      98000 | #Constraints:       8671
156.99/157.48	c #Conflicts:      99000 | #Constraints:       9671
156.99/157.48	c #Conflicts:     100000 | #Constraints:      10671
156.99/157.48	c #Conflicts:     101000 | #Constraints:      11671
156.99/157.48	c #Conflicts:     102000 | #Constraints:      12671
156.99/157.48	c #Conflicts:     103000 | #Constraints:      13671
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:     104000 | #Constraints:       8271
156.99/157.48	c #Conflicts:     105000 | #Constraints:       9271
156.99/157.48	c #Conflicts:     106000 | #Constraints:      10271
156.99/157.48	c #Conflicts:     107000 | #Constraints:      11271
156.99/157.48	c #Conflicts:     108000 | #Constraints:      12271
156.99/157.48	c #Conflicts:     109000 | #Constraints:      13271
156.99/157.48	c #Conflicts:     110000 | #Constraints:      14271
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:     111000 | #Constraints:       8658
156.99/157.48	c #Conflicts:     112000 | #Constraints:       9658
156.99/157.48	c #Conflicts:     113000 | #Constraints:      10658
156.99/157.48	c #Conflicts:     114000 | #Constraints:      11658
156.99/157.48	c #Conflicts:     115000 | #Constraints:      12658
156.99/157.48	c #Conflicts:     116000 | #Constraints:      13658
156.99/157.48	c #Conflicts:     117000 | #Constraints:      14658
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:     118000 | #Constraints:       8865
156.99/157.48	c #Conflicts:     119000 | #Constraints:       9865
156.99/157.48	c #Conflicts:     120000 | #Constraints:      10865
156.99/157.48	c #Conflicts:     121000 | #Constraints:      11865
156.99/157.48	c #Conflicts:     122000 | #Constraints:      12865
156.99/157.48	c #Conflicts:     123000 | #Constraints:      13865
156.99/157.48	c #Conflicts:     124000 | #Constraints:      14865
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:     125000 | #Constraints:       8880
156.99/157.48	c #Conflicts:     126000 | #Constraints:       9880
156.99/157.48	c #Conflicts:     127000 | #Constraints:      10880
156.99/157.48	c #Conflicts:     128000 | #Constraints:      11880
156.99/157.48	c #Conflicts:     129000 | #Constraints:      12880
156.99/157.48	c #Conflicts:     130000 | #Constraints:      13880
156.99/157.48	c #Conflicts:     131000 | #Constraints:      14880
156.99/157.48	c INPROCESSING
156.99/157.48	c GARBAGE COLLECT
156.99/157.48	c #Conflicts:     132000 | #Constraints:       8687
156.99/157.48	c #Conflicts:     133000 | #Constraints:       9687
156.99/157.48	c #Conflicts:     134000 | #Constraints:      10687
156.99/157.48	c #Conflicts:     135000 | #Constraints:      11687
156.99/157.48	c #Conflicts:     136000 | #Constraints:      12687
156.99/157.48	c #Conflicts:     137000 | #Constraints:      13687
156.99/157.48	c #Conflicts:     138000 | #Constraints:      14687
156.99/157.48	c #Conflicts:     139000 | #Constraints:      15687
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     140000 | #Constraints:       9292
294.34/295.14	c #Conflicts:     141000 | #Constraints:      10292
294.34/295.14	c #Conflicts:     142000 | #Constraints:      11292
294.34/295.14	c #Conflicts:     143000 | #Constraints:      12292
294.34/295.14	c #Conflicts:     144000 | #Constraints:      13292
294.34/295.14	c #Conflicts:     145000 | #Constraints:      14292
294.34/295.14	c #Conflicts:     146000 | #Constraints:      15292
294.34/295.14	c #Conflicts:     147000 | #Constraints:      16292
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     148000 | #Constraints:       9695
294.34/295.14	c #Conflicts:     149000 | #Constraints:      10695
294.34/295.14	c #Conflicts:     150000 | #Constraints:      11695
294.34/295.14	c #Conflicts:     151000 | #Constraints:      12695
294.34/295.14	c #Conflicts:     152000 | #Constraints:      13695
294.34/295.14	c #Conflicts:     153000 | #Constraints:      14695
294.34/295.14	c #Conflicts:     154000 | #Constraints:      15695
294.34/295.14	c #Conflicts:     155000 | #Constraints:      16695
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     156000 | #Constraints:       9890
294.34/295.14	c #Conflicts:     157000 | #Constraints:      10890
294.34/295.14	c #Conflicts:     158000 | #Constraints:      11890
294.34/295.14	c #Conflicts:     159000 | #Constraints:      12890
294.34/295.14	c #Conflicts:     160000 | #Constraints:      13890
294.34/295.14	c #Conflicts:     161000 | #Constraints:      14890
294.34/295.14	c #Conflicts:     162000 | #Constraints:      15890
294.34/295.14	c #Conflicts:     163000 | #Constraints:      16890
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     164000 | #Constraints:       9886
294.34/295.14	c #Conflicts:     165000 | #Constraints:      10886
294.34/295.14	c #Conflicts:     166000 | #Constraints:      11886
294.34/295.14	c #Conflicts:     167000 | #Constraints:      12886
294.34/295.14	c #Conflicts:     168000 | #Constraints:      13886
294.34/295.14	c #Conflicts:     169000 | #Constraints:      14886
294.34/295.14	c #Conflicts:     170000 | #Constraints:      15886
294.34/295.14	c #Conflicts:     171000 | #Constraints:      16886
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     172000 | #Constraints:       9691
294.34/295.14	c #Conflicts:     173000 | #Constraints:      10691
294.34/295.14	c #Conflicts:     174000 | #Constraints:      11691
294.34/295.14	c #Conflicts:     175000 | #Constraints:      12691
294.34/295.14	c #Conflicts:     176000 | #Constraints:      13691
294.34/295.14	c #Conflicts:     177000 | #Constraints:      14691
294.34/295.14	c #Conflicts:     178000 | #Constraints:      15691
294.34/295.14	c #Conflicts:     179000 | #Constraints:      16691
294.34/295.14	c #Conflicts:     180000 | #Constraints:      17691
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     181000 | #Constraints:      10278
294.34/295.14	c #Conflicts:     182000 | #Constraints:      11278
294.34/295.14	c #Conflicts:     183000 | #Constraints:      12278
294.34/295.14	c #Conflicts:     184000 | #Constraints:      13278
294.34/295.14	c #Conflicts:     185000 | #Constraints:      14278
294.34/295.14	c #Conflicts:     186000 | #Constraints:      15278
294.34/295.14	c #Conflicts:     187000 | #Constraints:      16278
294.34/295.14	c #Conflicts:     188000 | #Constraints:      17278
294.34/295.14	c #Conflicts:     189000 | #Constraints:      18278
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     190000 | #Constraints:      10694
294.34/295.14	c #Conflicts:     191000 | #Constraints:      11694
294.34/295.14	c #Conflicts:     192000 | #Constraints:      12694
294.34/295.14	c #Conflicts:     193000 | #Constraints:      13694
294.34/295.14	c #Conflicts:     194000 | #Constraints:      14694
294.34/295.14	c #Conflicts:     195000 | #Constraints:      15694
294.34/295.14	c #Conflicts:     196000 | #Constraints:      16694
294.34/295.14	c #Conflicts:     197000 | #Constraints:      17694
294.34/295.14	c #Conflicts:     198000 | #Constraints:      18694
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     199000 | #Constraints:      10891
294.34/295.14	c #Conflicts:     200000 | #Constraints:      11891
294.34/295.14	c #Conflicts:     201000 | #Constraints:      12891
294.34/295.14	c #Conflicts:     202000 | #Constraints:      13891
294.34/295.14	c #Conflicts:     203000 | #Constraints:      14891
294.34/295.14	c #Conflicts:     204000 | #Constraints:      15891
294.34/295.14	c #Conflicts:     205000 | #Constraints:      16891
294.34/295.14	c #Conflicts:     206000 | #Constraints:      17891
294.34/295.14	c #Conflicts:     207000 | #Constraints:      18891
294.34/295.14	c INPROCESSING
294.34/295.14	c GARBAGE COLLECT
294.34/295.14	c #Conflicts:     208000 | #Constraints:      10898
294.34/295.14	c #Conflicts:     209000 | #Constraints:      11898
294.34/295.14	c #Conflicts:     210000 | #Constraints:      12898
294.34/295.14	c #Conflicts:     211000 | #Constraints:      13898
294.34/295.14	c #Conflicts:     212000 | #Constraints:      14898
467.14/468.43	c #Conflicts:     213000 | #Constraints:      15898
467.14/468.43	c #Conflicts:     214000 | #Constraints:      16898
467.14/468.43	c #Conflicts:     215000 | #Constraints:      17898
467.14/468.43	c #Conflicts:     216000 | #Constraints:      18898
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     217000 | #Constraints:      10679
467.14/468.43	c #Conflicts:     218000 | #Constraints:      11679
467.14/468.43	c #Conflicts:     219000 | #Constraints:      12679
467.14/468.43	c #Conflicts:     220000 | #Constraints:      13679
467.14/468.43	c #Conflicts:     221000 | #Constraints:      14679
467.14/468.43	c #Conflicts:     222000 | #Constraints:      15679
467.14/468.43	c #Conflicts:     223000 | #Constraints:      16679
467.14/468.43	c #Conflicts:     224000 | #Constraints:      17679
467.14/468.43	c #Conflicts:     225000 | #Constraints:      18679
467.14/468.43	c #Conflicts:     226000 | #Constraints:      19679
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     227000 | #Constraints:      11286
467.14/468.43	c #Conflicts:     228000 | #Constraints:      12286
467.14/468.43	c #Conflicts:     229000 | #Constraints:      13286
467.14/468.43	c #Conflicts:     230000 | #Constraints:      14286
467.14/468.43	c #Conflicts:     231000 | #Constraints:      15286
467.14/468.43	c #Conflicts:     232000 | #Constraints:      16286
467.14/468.43	c #Conflicts:     233000 | #Constraints:      17286
467.14/468.43	c #Conflicts:     234000 | #Constraints:      18286
467.14/468.43	c #Conflicts:     235000 | #Constraints:      19286
467.14/468.43	c #Conflicts:     236000 | #Constraints:      20286
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     237000 | #Constraints:      11692
467.14/468.43	c #Conflicts:     238000 | #Constraints:      12692
467.14/468.43	c #Conflicts:     239000 | #Constraints:      13692
467.14/468.43	c #Conflicts:     240000 | #Constraints:      14692
467.14/468.43	c #Conflicts:     241000 | #Constraints:      15692
467.14/468.43	c #Conflicts:     242000 | #Constraints:      16692
467.14/468.43	c #Conflicts:     243000 | #Constraints:      17692
467.14/468.43	c #Conflicts:     244000 | #Constraints:      18692
467.14/468.43	c #Conflicts:     245000 | #Constraints:      19692
467.14/468.43	c #Conflicts:     246000 | #Constraints:      20692
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     247000 | #Constraints:      11886
467.14/468.43	c #Conflicts:     248000 | #Constraints:      12886
467.14/468.43	c #Conflicts:     249000 | #Constraints:      13886
467.14/468.43	c #Conflicts:     250000 | #Constraints:      14886
467.14/468.43	c #Conflicts:     251000 | #Constraints:      15886
467.14/468.43	c #Conflicts:     252000 | #Constraints:      16886
467.14/468.43	c #Conflicts:     253000 | #Constraints:      17886
467.14/468.43	c #Conflicts:     254000 | #Constraints:      18886
467.14/468.43	c #Conflicts:     255000 | #Constraints:      19886
467.14/468.43	c #Conflicts:     256000 | #Constraints:      20886
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     257000 | #Constraints:      11896
467.14/468.43	c #Conflicts:     258000 | #Constraints:      12896
467.14/468.43	c #Conflicts:     259000 | #Constraints:      13896
467.14/468.43	c #Conflicts:     260000 | #Constraints:      14896
467.14/468.43	c #Conflicts:     261000 | #Constraints:      15896
467.14/468.43	c #Conflicts:     262000 | #Constraints:      16896
467.14/468.43	c #Conflicts:     263000 | #Constraints:      17896
467.14/468.43	c #Conflicts:     264000 | #Constraints:      18896
467.14/468.43	c #Conflicts:     265000 | #Constraints:      19896
467.14/468.43	c #Conflicts:     266000 | #Constraints:      20896
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     267000 | #Constraints:      11693
467.14/468.43	c #Conflicts:     268000 | #Constraints:      12693
467.14/468.43	c #Conflicts:     269000 | #Constraints:      13693
467.14/468.43	c #Conflicts:     270000 | #Constraints:      14693
467.14/468.43	c #Conflicts:     271000 | #Constraints:      15693
467.14/468.43	c #Conflicts:     272000 | #Constraints:      16693
467.14/468.43	c #Conflicts:     273000 | #Constraints:      17693
467.14/468.43	c #Conflicts:     274000 | #Constraints:      18693
467.14/468.43	c #Conflicts:     275000 | #Constraints:      19693
467.14/468.43	c #Conflicts:     276000 | #Constraints:      20693
467.14/468.43	c #Conflicts:     277000 | #Constraints:      21693
467.14/468.43	c INPROCESSING
467.14/468.43	c GARBAGE COLLECT
467.14/468.43	c #Conflicts:     278000 | #Constraints:      12290
467.14/468.43	c #Conflicts:     279000 | #Constraints:      13290
467.14/468.43	c #Conflicts:     280000 | #Constraints:      14290
467.14/468.43	c #Conflicts:     281000 | #Constraints:      15290
467.14/468.43	c #Conflicts:     282000 | #Constraints:      16290
467.14/468.43	c #Conflicts:     283000 | #Constraints:      17290
467.14/468.43	c #Conflicts:     284000 | #Constraints:      18290
467.14/468.43	c #Conflicts:     285000 | #Constraints:      19290
467.14/468.43	c #Conflicts:     286000 | #Constraints:      20290
467.14/468.43	c #Conflicts:     287000 | #Constraints:      21290
804.01/806.21	c #Conflicts:     288000 | #Constraints:      22290
804.01/806.21	c INPROCESSING
804.01/806.21	c GARBAGE COLLECT
804.01/806.21	c #Conflicts:     289000 | #Constraints:      12705
804.01/806.21	c #Conflicts:     290000 | #Constraints:      13705
804.01/806.21	c #Conflicts:     291000 | #Constraints:      14705
804.01/806.21	c #Conflicts:     292000 | #Constraints:      15705
804.01/806.21	c #Conflicts:     293000 | #Constraints:      16705
804.01/806.21	c #Conflicts:     294000 | #Constraints:      17705
804.01/806.21	c #Conflicts:     295000 | #Constraints:      18705
804.01/806.21	c #Conflicts:     296000 | #Constraints:      19705
804.01/806.21	c #Conflicts:     297000 | #Constraints:      20705
804.01/806.21	c #Conflicts:     298000 | #Constraints:      21705
804.01/806.21	c #Conflicts:     299000 | #Constraints:      22705
804.01/806.21	c INPROCESSING
804.01/806.21	c GARBAGE COLLECT
804.01/806.21	c #Conflicts:     300000 | #Constraints:      12909
804.01/806.21	c #Conflicts:     301000 | #Constraints:      13909
804.01/806.21	c #Conflicts:     302000 | #Constraints:      14909
804.01/806.21	c #Conflicts:     303000 | #Constraints:      15909
804.01/806.21	c #Conflicts:     304000 | #Constraints:      16909
804.01/806.21	c #Conflicts:     305000 | #Constraints:      17909
804.01/806.21	c #Conflicts:     306000 | #Constraints:      18909
804.01/806.21	c #Conflicts:     307000 | #Constraints:      19909
804.01/806.21	c #Conflicts:     308000 | #Constraints:      20909
804.01/806.21	c #Conflicts:     309000 | #Constraints:      21909
804.01/806.21	c #Conflicts:     310000 | #Constraints:      22909
804.01/806.21	c INPROCESSING
804.01/806.21	c GARBAGE COLLECT
804.01/806.21	c #Conflicts:     311000 | #Constraints:      12913
804.01/806.21	c #Conflicts:     312000 | #Constraints:      13913
804.01/806.21	c #Conflicts:     313000 | #Constraints:      14913
804.01/806.21	c #Conflicts:     314000 | #Constraints:      15913
804.01/806.21	c #Conflicts:     315000 | #Constraints:      16913
804.01/806.21	c #Conflicts:     316000 | #Constraints:      17913
804.01/806.21	c bounds 207 >= 136 @ 542.089
804.01/806.21	c #Conflicts:     317000 | #Constraints:      19001
804.01/806.21	c #Conflicts:     318000 | #Constraints:      20001
804.01/806.21	c #Conflicts:     319000 | #Constraints:      21001
804.01/806.21	c #Conflicts:     320000 | #Constraints:      22001
804.01/806.21	c #Conflicts:     321000 | #Constraints:      23001
804.01/806.21	c INPROCESSING
804.01/806.21	c GARBAGE COLLECT
804.01/806.21	c #Conflicts:     322000 | #Constraints:      12760
804.01/806.21	c #Conflicts:     323000 | #Constraints:      13760
804.01/806.21	c #Conflicts:     324000 | #Constraints:      14760
804.01/806.21	c #Conflicts:     325000 | #Constraints:      15760
804.01/806.21	c #Conflicts:     326000 | #Constraints:      16760
804.01/806.21	c #Conflicts:     327000 | #Constraints:      17760
804.01/806.21	c #Conflicts:     328000 | #Constraints:      18760
804.01/806.21	c #Conflicts:     329000 | #Constraints:      19760
804.01/806.21	c #Conflicts:     330000 | #Constraints:      20760
804.01/806.21	c #Conflicts:     331000 | #Constraints:      21760
804.01/806.21	c #Conflicts:     332000 | #Constraints:      22760
804.01/806.21	c #Conflicts:     333000 | #Constraints:      23760
804.01/806.21	c #Conflicts:     334000 | #Constraints:      24760
804.01/806.21	c #Conflicts:     335000 | #Constraints:      25760
804.01/806.21	c #Conflicts:     336000 | #Constraints:      26760
804.01/806.21	c #Conflicts:     337000 | #Constraints:      27760
804.01/806.21	c #Conflicts:     338000 | #Constraints:      28760
804.01/806.21	c #Conflicts:     339000 | #Constraints:      29760
804.01/806.21	c #Conflicts:     340000 | #Constraints:      30760
804.01/806.21	c #Conflicts:     341000 | #Constraints:      31760
804.01/806.21	c #Conflicts:     342000 | #Constraints:      32760
804.01/806.21	c #Conflicts:     343000 | #Constraints:      33760
804.01/806.21	c #Conflicts:     344000 | #Constraints:      34760
804.01/806.21	c #Conflicts:     345000 | #Constraints:      35760
804.01/806.21	c #Conflicts:     346000 | #Constraints:      36760
804.01/806.21	c #Conflicts:     347000 | #Constraints:      37760
804.01/806.21	c #Conflicts:     348000 | #Constraints:      38760
804.01/806.21	c #Conflicts:     349000 | #Constraints:      39760
804.01/806.21	c #Conflicts:     350000 | #Constraints:      40760
804.01/806.21	c #Conflicts:     351000 | #Constraints:      41760
804.01/806.21	c #Conflicts:     352000 | #Constraints:      42760
804.01/806.21	c #Conflicts:     353000 | #Constraints:      43760
804.01/806.21	c #Conflicts:     354000 | #Constraints:      44760
804.01/806.21	c #Conflicts:     355000 | #Constraints:      45760
804.01/806.21	c #Conflicts:     356000 | #Constraints:      46760
804.01/806.21	c #Conflicts:     357000 | #Constraints:      47760
804.01/806.21	c #Conflicts:     358000 | #Constraints:      48760
804.01/806.21	c #Conflicts:     359000 | #Constraints:      49760
804.01/806.21	c #Conflicts:     360000 | #Constraints:      50760
804.01/806.21	c #Conflicts:     361000 | #Constraints:      51760
804.01/806.21	c #Conflicts:     362000 | #Constraints:      52760
1885.62/1890.88	c #Conflicts:     363000 | #Constraints:      53760
1885.62/1890.88	c #Conflicts:     364000 | #Constraints:      54760
1885.62/1890.88	c #Conflicts:     365000 | #Constraints:      55760
1885.62/1890.88	c #Conflicts:     366000 | #Constraints:      56760
1885.62/1890.88	c #Conflicts:     367000 | #Constraints:      57760
1885.62/1890.88	c #Conflicts:     368000 | #Constraints:      58760
1885.62/1890.88	c #Conflicts:     369000 | #Constraints:      59760
1885.62/1890.88	c #Conflicts:     370000 | #Constraints:      60760
1885.62/1890.88	c #Conflicts:     371000 | #Constraints:      61760
1885.62/1890.88	c #Conflicts:     372000 | #Constraints:      62760
1885.62/1890.88	c #Conflicts:     373000 | #Constraints:      63760
1885.62/1890.88	c #Conflicts:     374000 | #Constraints:      64760
1885.62/1890.88	c #Conflicts:     375000 | #Constraints:      65760
1885.62/1890.88	c #Conflicts:     376000 | #Constraints:      66760
1885.62/1890.88	c #Conflicts:     377000 | #Constraints:      67760
1885.62/1890.88	c INPROCESSING
1885.62/1890.88	c GARBAGE COLLECT
1885.62/1890.88	c #Conflicts:     378000 | #Constraints:      35311
1885.62/1890.88	c #Conflicts:     379000 | #Constraints:      36311
1885.62/1890.88	c #Conflicts:     380000 | #Constraints:      37311
1885.62/1890.88	c #Conflicts:     381000 | #Constraints:      38311
1885.62/1890.88	c #Conflicts:     382000 | #Constraints:      39311
1885.62/1890.88	c #Conflicts:     383000 | #Constraints:      40311
1885.62/1890.88	c #Conflicts:     384000 | #Constraints:      41311
1885.62/1890.88	c #Conflicts:     385000 | #Constraints:      42311
1885.62/1890.88	c #Conflicts:     386000 | #Constraints:      43311
1885.62/1890.88	c #Conflicts:     387000 | #Constraints:      44311
1885.62/1890.88	c #Conflicts:     388000 | #Constraints:      45311
1885.62/1890.88	c #Conflicts:     389000 | #Constraints:      46311
1885.62/1890.88	c #Conflicts:     390000 | #Constraints:      47311
1885.62/1890.88	c INPROCESSING
1885.62/1890.88	c GARBAGE COLLECT
1885.62/1890.88	c #Conflicts:     391000 | #Constraints:      25227
1885.62/1890.88	c #Conflicts:     392000 | #Constraints:      26227
1885.62/1890.88	c #Conflicts:     393000 | #Constraints:      27227
1885.62/1890.88	c #Conflicts:     394000 | #Constraints:      28227
1885.62/1890.88	c #Conflicts:     395000 | #Constraints:      29227
1885.62/1890.88	c #Conflicts:     396000 | #Constraints:      30227
1885.62/1890.88	c #Conflicts:     397000 | #Constraints:      31227
1885.62/1890.88	c #Conflicts:     398000 | #Constraints:      32227
1885.62/1890.88	c #Conflicts:     399000 | #Constraints:      33227
1885.62/1890.88	c #Conflicts:     400000 | #Constraints:      34227
1885.62/1890.88	c #Conflicts:     401000 | #Constraints:      35227
1885.62/1890.88	c #Conflicts:     402000 | #Constraints:      36227
1885.62/1890.88	c #Conflicts:     403000 | #Constraints:      37227
1885.62/1890.88	c #Conflicts:     404000 | #Constraints:      38227
1885.62/1890.88	c #Conflicts:     405000 | #Constraints:      39227
1885.62/1890.88	c #Conflicts:     406000 | #Constraints:      40227
1885.62/1890.88	c #Conflicts:     407000 | #Constraints:      41227
1885.62/1890.88	c #Conflicts:     408000 | #Constraints:      42227
1885.62/1890.88	c #Conflicts:     409000 | #Constraints:      43227
1885.62/1890.88	c #Conflicts:     410000 | #Constraints:      44227
1885.62/1890.88	c #Conflicts:     411000 | #Constraints:      45227
1885.62/1890.88	c #Conflicts:     412000 | #Constraints:      46227
1885.62/1890.88	c #Conflicts:     413000 | #Constraints:      47227
1885.62/1890.88	c #Conflicts:     414000 | #Constraints:      48227
1885.62/1890.88	c #Conflicts:     415000 | #Constraints:      49227
1885.62/1890.88	c #Conflicts:     416000 | #Constraints:      50227
1885.62/1890.88	c #Conflicts:     417000 | #Constraints:      51227
1885.62/1890.88	c #Conflicts:     418000 | #Constraints:      52227
1885.62/1890.88	c #Conflicts:     419000 | #Constraints:      53227
1885.62/1890.88	c #Conflicts:     420000 | #Constraints:      54227
1885.62/1890.88	c #Conflicts:     421000 | #Constraints:      55227
1885.62/1890.88	c #Conflicts:     422000 | #Constraints:      56227
1885.62/1890.88	c #Conflicts:     423000 | #Constraints:      57227
1885.62/1890.88	c #Conflicts:     424000 | #Constraints:      58227
1885.62/1890.88	c #Conflicts:     425000 | #Constraints:      59227
1885.62/1890.88	c #Conflicts:     426000 | #Constraints:      60227
1885.62/1890.88	c #Conflicts:     427000 | #Constraints:      61227
1885.62/1890.88	c #Conflicts:     428000 | #Constraints:      62227
1885.62/1890.88	c #Conflicts:     429000 | #Constraints:      63227
1885.62/1890.88	c #Conflicts:     430000 | #Constraints:      64227
1885.62/1890.88	c #Conflicts:     431000 | #Constraints:      65227
1885.62/1890.88	c #Conflicts:     432000 | #Constraints:      66227
1885.62/1890.88	c #Conflicts:     433000 | #Constraints:      67227
1885.62/1890.88	c #Conflicts:     434000 | #Constraints:      68227
1885.62/1890.88	c #Conflicts:     435000 | #Constraints:      69227
1885.62/1890.88	c #Conflicts:     436000 | #Constraints:      70227
1885.62/1890.88	c #Conflicts:     437000 | #Constraints:      71227
1885.62/1890.88	c #Conflicts:     438000 | #Constraints:      72227
1885.62/1890.88	c #Conflicts:     439000 | #Constraints:      73227
1885.62/1890.88	c #Conflicts:     440000 | #Constraints:      74227
3487.82/3498.04	c #Conflicts:     441000 | #Constraints:      75227
3487.82/3498.04	c #Conflicts:     442000 | #Constraints:      76227
3487.82/3498.04	c #Conflicts:     443000 | #Constraints:      77227
3487.82/3498.04	c #Conflicts:     444000 | #Constraints:      78227
3487.82/3498.04	c #Conflicts:     445000 | #Constraints:      79227
3487.82/3498.04	c #Conflicts:     446000 | #Constraints:      80227
3487.82/3498.04	c #Conflicts:     447000 | #Constraints:      81227
3487.82/3498.04	c #Conflicts:     448000 | #Constraints:      82227
3487.82/3498.04	c INPROCESSING
3487.82/3498.04	c GARBAGE COLLECT
3487.82/3498.04	c #Conflicts:     449000 | #Constraints:      42293
3487.82/3498.04	c #Conflicts:     450000 | #Constraints:      43293
3487.82/3498.04	c #Conflicts:     451000 | #Constraints:      44293
3487.82/3498.04	c #Conflicts:     452000 | #Constraints:      45293
3487.82/3498.04	c #Conflicts:     453000 | #Constraints:      46293
3487.82/3498.04	c #Conflicts:     454000 | #Constraints:      47293
3487.82/3498.04	c #Conflicts:     455000 | #Constraints:      48293
3487.82/3498.04	c #Conflicts:     456000 | #Constraints:      49293
3487.82/3498.04	c #Conflicts:     457000 | #Constraints:      50293
3487.82/3498.04	c #Conflicts:     458000 | #Constraints:      51293
3487.82/3498.04	c #Conflicts:     459000 | #Constraints:      52293
3487.82/3498.04	c #Conflicts:     460000 | #Constraints:      53293
3487.82/3498.04	c #Conflicts:     461000 | #Constraints:      54293
3487.82/3498.04	c #Conflicts:     462000 | #Constraints:      55293
3487.82/3498.04	c INPROCESSING
3487.82/3498.04	c GARBAGE COLLECT
3487.82/3498.04	c #Conflicts:     463000 | #Constraints:      35684
3487.82/3498.04	c #Conflicts:     464000 | #Constraints:      36684
3487.82/3498.04	c #Conflicts:     465000 | #Constraints:      37684
3487.82/3498.04	c #Conflicts:     466000 | #Constraints:      38684
3487.82/3498.04	c #Conflicts:     467000 | #Constraints:      39684
3487.82/3498.04	c #Conflicts:     468000 | #Constraints:      40684
3487.82/3498.04	c #Conflicts:     469000 | #Constraints:      41684
3487.82/3498.04	c #Conflicts:     470000 | #Constraints:      42684
3487.82/3498.04	c #Conflicts:     471000 | #Constraints:      43684
3487.82/3498.04	c #Conflicts:     472000 | #Constraints:      44684
3487.82/3498.04	c #Conflicts:     473000 | #Constraints:      45684
3487.82/3498.04	c #Conflicts:     474000 | #Constraints:      46684
3487.82/3498.04	c #Conflicts:     475000 | #Constraints:      47684
3487.82/3498.04	c #Conflicts:     476000 | #Constraints:      48684
3487.82/3498.04	c #Conflicts:     477000 | #Constraints:      49684
3487.82/3498.04	c #Conflicts:     478000 | #Constraints:      50684
3487.82/3498.04	c #Conflicts:     479000 | #Constraints:      51684
3487.82/3498.04	c #Conflicts:     480000 | #Constraints:      52684
3487.82/3498.04	c #Conflicts:     481000 | #Constraints:      53684
3487.82/3498.04	c #Conflicts:     482000 | #Constraints:      54684
3487.82/3498.04	c #Conflicts:     483000 | #Constraints:      55684
3487.82/3498.04	c #Conflicts:     484000 | #Constraints:      56684
3487.82/3498.04	c #Conflicts:     485000 | #Constraints:      57684
3487.82/3498.04	c #Conflicts:     486000 | #Constraints:      58684
3487.82/3498.04	c #Conflicts:     487000 | #Constraints:      59684
3487.82/3498.04	c #Conflicts:     488000 | #Constraints:      60684
3487.82/3498.04	c #Conflicts:     489000 | #Constraints:      61684
3487.82/3498.04	c #Conflicts:     490000 | #Constraints:      62684
3487.82/3498.04	c #Conflicts:     491000 | #Constraints:      63684
3487.82/3498.04	c #Conflicts:     492000 | #Constraints:      64684
3487.82/3498.04	c #Conflicts:     493000 | #Constraints:      65684
3487.82/3498.04	c #Conflicts:     494000 | #Constraints:      66684
3487.82/3498.04	c #Conflicts:     495000 | #Constraints:      67684
3487.82/3498.04	c #Conflicts:     496000 | #Constraints:      68684
3487.82/3498.04	c #Conflicts:     497000 | #Constraints:      69684
3487.82/3498.04	c #Conflicts:     498000 | #Constraints:      70684
3487.82/3498.04	c #Conflicts:     499000 | #Constraints:      71684
3487.82/3498.04	c #Conflicts:     500000 | #Constraints:      72684
3487.82/3498.04	c #Conflicts:     501000 | #Constraints:      73684
3487.82/3498.04	c #Conflicts:     502000 | #Constraints:      74684
3487.82/3498.04	c #Conflicts:     503000 | #Constraints:      75684
3487.82/3498.04	c #Conflicts:     504000 | #Constraints:      76684
3487.82/3498.04	c #Conflicts:     505000 | #Constraints:      77684
3487.82/3498.04	c #Conflicts:     506000 | #Constraints:      78684
3487.82/3498.04	c #Conflicts:     507000 | #Constraints:      79684
3487.82/3498.04	c #Conflicts:     508000 | #Constraints:      80684
3487.82/3498.04	c #Conflicts:     509000 | #Constraints:      81684
3487.82/3498.04	c #Conflicts:     510000 | #Constraints:      82684
3487.82/3498.04	c #Conflicts:     511000 | #Constraints:      83684
3487.82/3498.04	c #Conflicts:     512000 | #Constraints:      84684
3487.82/3498.04	c #Conflicts:     513000 | #Constraints:      85684
3487.82/3498.04	c #Conflicts:     514000 | #Constraints:      86684
3487.82/3498.04	c #Conflicts:     515000 | #Constraints:      87684
3487.82/3498.04	c #Conflicts:     516000 | #Constraints:      88684
3487.82/3498.04	c #Conflicts:     517000 | #Constraints:      89684
3600.07/3610.60	c #Conflicts:     518000 | #Constraints:      90684
3600.07/3610.60	c #Conflicts:     519000 | #Constraints:      91684
3600.07/3610.60	c #Conflicts:     520000 | #Constraints:      92684
3600.07/3610.60	c Program interrupted by user.
3600.07/3610.60	c cpu time 3589.58 s
3600.07/3610.60	c deterministic time 291997365368 2.92e+11
3600.07/3610.60	c optimization time 1315.65 s
3600.07/3610.60	c total solve time 2273.93 s
3600.07/3610.60	c core-guided solve time 2273.93 s
3600.07/3610.60	c propagation time 3244.71 s
3600.07/3610.60	c conflict analysis time 328.266 s
3600.07/3610.60	c propagations 87242622
3600.07/3610.60	c resolve steps 5961249
3600.07/3610.60	c decisions 8890271
3600.07/3610.60	c conflicts 520703
3600.07/3610.60	c restarts 1059
3600.07/3610.60	c inprocessing phases 52
3600.07/3610.60	c input clauses 221
3600.07/3610.60	c input cardinalities 447
3600.07/3610.60	c input general constraints 669
3600.07/3610.60	c input average constraint length 44.48
3600.07/3610.60	c input average constraint degree 20.50
3600.07/3610.60	c learned clauses 91807
3600.07/3610.60	c learned cardinalities 871
3600.07/3610.60	c learned general constraints 428035
3600.07/3610.60	c learned average constraint length 141.62
3600.07/3610.60	c learned average constraint degree 2730088.97
3600.07/3610.60	c watched constraints 355730
3600.07/3610.60	c counting constraints 72974
3600.07/3610.60	c gcd simplifications 33812
3600.07/3610.60	c detected cardinalities 647
3600.07/3610.60	c weakened non-implied lits 6648623
3600.07/3610.60	c weakened non-implying lits 24326
3600.07/3610.60	c original variables 467
3600.07/3610.60	c clausal propagations 17349876
3600.07/3610.60	c cardinality propagations 883213
3600.07/3610.60	c watched propagations 14362968
3600.07/3610.60	c counting propagations 54292948
3600.07/3610.60	c watch lookups 68471925059
3600.07/3610.60	c watch backjump lookups 65536477100
3600.07/3610.60	c watch checks 144139785946
3600.07/3610.60	c propagation checks 13394435394
3600.07/3610.60	c constraint additions 261955765
3600.07/3610.60	c trail pops 96653210
3600.07/3610.60	c formula constraints 466
3600.07/3610.60	c learned constraints 520713
3600.07/3610.60	c bound constraints 106
3600.07/3610.60	c core-guided constraints 765
3600.07/3610.60	c encountered formula constraints 836984
3600.07/3610.60	c encountered learned constraints 4641014
3600.07/3610.60	c encountered bound constraints 63
3600.07/3610.60	c encountered core-guided constraints 1003891
3600.07/3610.60	c LP total time 0 s
3600.07/3610.60	c LP solve time 0 s
3600.07/3610.60	c LP constraints added 0
3600.07/3610.60	c LP constraints removed 0
3600.07/3610.60	c LP pivots internal 0
3600.07/3610.60	c LP pivots root 0
3600.07/3610.60	c LP calls 0
3600.07/3610.60	c LP optimalities 0
3600.07/3610.60	c LP no pivot count 0
3600.07/3610.60	c LP infeasibilities 0
3600.07/3610.60	c LP valid Farkas constraints 0
3600.07/3610.60	c LP learned Farkas constraints 0
3600.07/3610.60	c LP basis resets 0
3600.07/3610.60	c LP cycling count 0
3600.07/3610.60	c LP singular count 0
3600.07/3610.60	c LP no primal count 0
3600.07/3610.60	c LP no farkas count 0
3600.07/3610.60	c LP other issue count 0
3600.07/3610.60	c LP Gomory cuts 0
3600.07/3610.60	c LP learned cuts 0
3600.07/3610.60	c LP deleted cuts 0
3600.07/3610.60	c LP encountered Gomory constraints 0
3600.07/3610.60	c LP encountered Farkas constraints 0
3600.07/3610.60	c LP encountered learned Farkas constraints 0
3600.07/3610.60	c CG auxiliary variables introduced 313
3600.07/3610.60	c CG solutions found 3
3600.07/3610.60	c CG cores constructed 95
3600.07/3610.60	c CG core cardinality constraints returned 0
3600.07/3610.60	c CG unit cores 0
3600.07/3610.60	c CG single cores 95
3600.07/3610.60	c CG blocks removed during cardinality reduction 0
3600.07/3610.60	c CG first core best 0
3600.07/3610.60	c CG decision core best 0
3600.07/3610.60	c CG core reduction tie 0
3600.07/3610.60	c CG core degree average 1.00
3600.07/3610.60	c CG core slack average 6.00
3600.07/3610.60	c CG exhausted 0
3600.07/3610.60	c CG exhaust time 48.7995 s
3600.07/3610.60	c CG trimmed 5
3600.07/3610.60	c CG trim time 0.014588 s
3600.07/3610.60	c CG minimized 0
3600.07/3610.60	c CG minimize time 0 s
3600.07/3610.60	c CG am1 prop time 0.023498 s
3600.07/3610.60	c CG # am1s reformulated 41
3600.07/3610.60	c CG lower bound derived from am1s 41
3600.07/3610.60	c CG # clausal cores 28
3600.07/3610.60	c CG # cardinality cores 0
3600.07/3610.60	c CG # pb cores 67
3600.07/3610.60	c CG # pb reforms 0
3600.07/3610.60	c CG # cores discarded because of pb reform 0
3600.07/3610.60	d LOWERBOUND 136
3600.07/3610.60	d NCORES 95
3600.07/3610.60	d NPBCORES 67
3600.07/3610.60	d NPBREFORM 0
3600.07/3610.60	d NTRIMMED 5
3600.07/3610.60	d NEXHAUSTED 0
3600.07/3610.60	d NAM1S 41
3600.07/3610.60	d AM1LB 41
3600.07/3610.60	o 207
3600.07/3610.60	s SATISFIABLE
3600.07/3610.60	v -x1 x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 x64 x65 x66 -x67 x68 -x69 -x70 x71 -x72 x73 x74 -x75 -x76 -x77 x78 x79 -x80 x81 x82 -x83 -x84 x85 x86 x87 x88 x89 x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 -x106 x107 x108 -x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 -x148 x149 -x150 x151 x152 x153 -x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 x167 -x168 -x169 x170 -x171 x172 -x173 -x174 x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 x201 -x202 x203 -x204 -x205 -x206 x207 x208 -x209 x210 x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 x220 -x221 -x222 x223 -x224 x225 x226 x227 -x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 x237 x238 -x239 x240 -x241 x242 -x243 x244 x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 x282 -x283 x284 -x285 -x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 x312 x313 -x314 -x315 x316 -x317 -x318 x319 -x320 -x321 x322 x323 -x324 x325 -x326 x327 -x328 x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 x359 x360 -x361 -x362 x363 x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 x377 x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 x389 -x390 x391 x392 -x393 -x394 x395 x396 x397 x398 -x399 -x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 x419 x420 -x421 -x422 x423 x424 -x425 x426 -x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 x445 -x446 x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 -x465 -x466 -x467

Verifier Data 

OK	207

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60489 MiB free)
  memory of node 1: 64465 MiB (61484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489180-1751343708/watcher-4489180-1751343708 -o /tmp/evaluation-result-4489180-1751343708/solver-4489180-1751343708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45259 --watchdog 3760 pb-oll-rs HOME/instance-4489180-1751343708.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=46730, runsolver pid=46727

[startup+0.100061 s]*
/proc/loadavg: 4.03 4.09 4.08 5/264 46731
/proc/meminfo: memFree=124893308/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=22384 memory=11260 CPUtime=0.08 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 1164 0 0 0 8 0 0 0 20 0 1 0 50045334 22921216 2815 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 5596 2815 1344 243 0 1845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22384 KiB
Current children cumulated memory: 11260 KiB

[startup+0.205641 s]*
/proc/loadavg: 4.03 4.09 4.08 5/264 46731
/proc/meminfo: memFree=124889276/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=23988 memory=12796 CPUtime=0.2 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 1543 0 0 0 19 1 0 0 20 0 1 0 50045334 24563712 3199 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 5997 3199 1344 243 0 2246 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23988 KiB
Current children cumulated memory: 12796 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.03 4.09 4.08 5/264 46731
/proc/meminfo: memFree=124889276/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=25884 memory=15484 CPUtime=0.29 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 2221 0 0 0 28 1 0 0 20 0 1 0 50045334 26505216 3871 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 6471 3871 1344 243 0 2720 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25884 KiB
Current children cumulated memory: 15484 KiB

[startup+0.700166 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46731
/proc/meminfo: memFree=124888268/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=29712 memory=17404 CPUtime=0.68 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 2703 0 0 0 65 3 0 0 20 0 1 0 50045334 30425088 4351 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 7428 4351 1344 243 0 3677 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 17404 KiB

[startup+1.50018 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46731
/proc/meminfo: memFree=124878124/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=37064 memory=24432 CPUtime=1.48 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 3941 0 0 0 142 6 0 0 20 0 1 0 50045334 37953536 6108 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 9266 6108 1344 243 0 5515 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37064 KiB
Current children cumulated memory: 24432 KiB

[startup+3.10555 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46732
/proc/meminfo: memFree=124862812/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=41424 memory=29552 CPUtime=3.08 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 5223 0 0 0 299 9 0 0 20 0 1 0 50045334 42418176 7388 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 10356 7388 1344 243 0 6605 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41424 KiB
Current children cumulated memory: 29552 KiB

[startup+6.30015 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46732
/proc/meminfo: memFree=124852360/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=52020 memory=35084 CPUtime=6.27 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 6093 0 0 0 612 15 0 0 20 0 1 0 50045334 53268480 8771 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 13005 8771 1344 243 0 9254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52020 KiB
Current children cumulated memory: 35084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 46732
/proc/meminfo: memFree=124835160/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=58380 memory=43668 CPUtime=12.65 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 7743 0 0 0 1239 26 0 0 20 0 1 0 50045334 59781120 10917 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 14595 10917 1344 243 0 10844 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58380 KiB
Current children cumulated memory: 43668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 46732
/proc/meminfo: memFree=124802908/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=74084 memory=49172 CPUtime=25.41 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 9115 0 0 0 2496 45 0 0 20 0 1 0 50045334 75862016 12293 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 18521 12293 1344 243 0 14770 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 74084 KiB
Current children cumulated memory: 49172 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 46732
/proc/meminfo: memFree=124767392/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=83116 memory=63088 CPUtime=50.96 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 11067 0 0 0 5017 79 0 0 20 0 1 0 50045334 85110784 15772 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 20779 15772 1344 243 0 17028 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 83116 KiB
Current children cumulated memory: 63088 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 46735
/proc/meminfo: memFree=124739424/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=88804 memory=67568 CPUtime=102.03 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 12218 0 0 0 10061 142 0 0 20 0 1 0 50045334 90935296 16892 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 22201 16892 1344 243 0 18450 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 67568 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 46742
/proc/meminfo: memFree=124676700/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=90240 memory=68976 CPUtime=161.88 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 12578 0 0 0 15988 200 0 0 20 0 1 0 50045334 92405760 17244 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 22560 17244 1344 243 0 18809 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 90240 KiB
Current children cumulated memory: 68976 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46745
/proc/meminfo: memFree=124619536/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=91352 memory=76272 CPUtime=221.71 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 12899 0 0 0 21920 251 0 0 20 0 1 0 50045334 93544448 19068 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 22838 19068 1344 243 0 19087 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 76272 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 46750
/proc/meminfo: memFree=124658188/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=91800 memory=76656 CPUtime=281.57 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 13015 0 0 0 27860 297 0 0 20 0 1 0 50045334 94003200 19164 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 22950 19164 1344 243 0 19199 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 91800 KiB
Current children cumulated memory: 76656 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 46752
/proc/meminfo: memFree=124654284/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=92648 memory=77408 CPUtime=341.41 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 13287 0 0 0 33810 331 0 0 20 0 1 0 50045334 94871552 19352 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 23162 19352 1344 243 0 19411 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 92648 KiB
Current children cumulated memory: 77408 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 46754
/proc/meminfo: memFree=124642740/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=93612 memory=78176 CPUtime=401.24 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 13594 0 0 0 39755 369 0 0 20 0 1 0 50045334 95858688 19544 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 23403 19544 1344 243 0 19652 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 93612 KiB
Current children cumulated memory: 78176 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 46757
/proc/meminfo: memFree=124644956/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=94256 memory=78816 CPUtime=461.06 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 13791 0 0 0 45706 400 0 0 20 0 1 0 50045334 96518144 19704 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 23564 19704 1344 243 0 19813 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 178852 KiB

[startup+2862.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/265 46886
/proc/meminfo: memFree=124338612/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=201148 memory=178852 CPUtime=2854.18 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 26437 0 0 0 284465 953 0 0 20 0 1 0 50045334 205975552 44713 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 50287 44713 1344 243 0 46536 0
Current children cumulated CPU time: 2854.18 s
Current children cumulated vsize: 201148 KiB
Current children cumulated memory: 178852 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/265 46888
/proc/meminfo: memFree=124339204/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=201148 memory=178852 CPUtime=2913.98 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 26439 0 0 0 290437 961 0 0 20 0 1 0 50045334 205975552 44713 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 50287 44713 1344 243 0 46536 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 201148 KiB
Current children cumulated memory: 178852 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/264 46890
/proc/meminfo: memFree=124326200/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=201148 memory=178852 CPUtime=2973.79 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 26445 0 0 0 296410 969 0 0 20 0 1 0 50045334 205975552 44713 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 50287 44713 1344 243 0 46536 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 201148 KiB
Current children cumulated memory: 178852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 46892
/proc/meminfo: memFree=124330844/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=201148 memory=178852 CPUtime=3033.6 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 26457 0 0 0 302382 978 0 0 20 0 1 0 50045334 205975552 44713 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 50287 44713 1344 243 0 46536 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 201148 KiB
Current children cumulated memory: 178852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 46895
/proc/meminfo: memFree=124319444/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=203044 memory=179504 CPUtime=3093.41 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 26803 0 0 0 308353 988 0 0 20 0 1 0 50045334 207917056 44876 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 50761 44876 1344 243 0 47010 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 203044 KiB
Current children cumulated memory: 179504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 46901
/proc/meminfo: memFree=124317632/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=206076 memory=180040 CPUtime=3153.21 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 27554 0 0 0 314326 995 0 0 20 0 1 0 50045334 211021824 45010 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 51519 45010 1344 243 0 47768 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 206076 KiB
Current children cumulated memory: 180040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 46903
/proc/meminfo: memFree=124309912/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=209104 memory=184760 CPUtime=3213.02 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 28325 0 0 0 320300 1002 0 0 20 0 1 0 50045334 214122496 46190 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 52276 46190 1344 243 0 48525 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 184760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46908
/proc/meminfo: memFree=124308044/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=211108 memory=185492 CPUtime=3272.82 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 28707 0 0 0 326274 1008 0 0 20 0 1 0 50045334 216174592 46373 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 52777 46373 1344 243 0 49026 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 211108 KiB
Current children cumulated memory: 185492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 46910
/proc/meminfo: memFree=124306932/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=213144 memory=188336 CPUtime=3332.63 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 29099 0 0 0 332247 1016 0 0 20 0 1 0 50045334 218259456 47084 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 53286 47084 1344 243 0 49535 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 213144 KiB
Current children cumulated memory: 188336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 46913
/proc/meminfo: memFree=124305280/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=215380 memory=191180 CPUtime=3392.43 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 29565 0 0 0 338218 1025 0 0 20 0 1 0 50045334 220549120 47795 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 53845 47795 1344 243 0 50094 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 215380 KiB
Current children cumulated memory: 191180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 46915
/proc/meminfo: memFree=124299568/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=216640 memory=193432 CPUtime=3452.23 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 29936 0 0 0 344191 1032 0 0 20 0 1 0 50045334 221839360 48358 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 54160 48358 1344 243 0 50409 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 216640 KiB
Current children cumulated memory: 193432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46917
/proc/meminfo: memFree=124297412/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=219132 memory=196316 CPUtime=3512.05 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 30475 0 0 0 350166 1039 0 0 20 0 1 0 50045334 224391168 49079 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 54783 49079 1344 243 0 51032 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 219132 KiB
Current children cumulated memory: 196316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 46927
/proc/meminfo: memFree=124461320/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=220036 memory=198784 CPUtime=3571.84 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 30714 0 0 0 356138 1046 0 0 20 0 1 0 50045334 225316864 49696 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 55009 49696 1344 243 0 51258 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 220036 KiB
Current children cumulated memory: 198784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 3.18 3.89 4.02 2/245 47012
/proc/meminfo: memFree=124814116/131249992 swapFree=33010160/33010684
[pid=46730] ppid=46727 vsize=220292 memory=199040 CPUtime=3600.07 cores=1,3
/proc/46730/stat : 46730 (pb-oll-rs) R 46727 46730 45247 0 -1 4194304 30784 0 0 0 358957 1050 0 0 20 0 1 0 50045334 225579008 49760 18446744073709551615 4218880 5211445 140736973910704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7041024 140736973912476 140736973912553 140736973912553 140736973918155 0
/proc/46730/statm: 55073 49760 1344 243 0 51322 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 220292 KiB
Current children cumulated memory: 199040 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.58 s, system=10.5087 s

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

Child status: 0

Real time (s): 3610.61
CPU time (s): 3600.09
CPU user time (s): 3589.58
CPU system time (s): 10.5087
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 220292
Max. memory (cumulated for all children) (KiB): 199040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.58
system time used= 10.5087
maximum resident set size= 199296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 2727


# summary of solver processes directly reported to runsolver:
#   pid: 46730
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3589.58
#   total CPU system time (s): 10.5087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72789 second user time and 16.3098 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-01 06:21:48
IDJOB=4489180
IDBENCH=147542
IDSOLVER=3345
FILE ID=nodeC035/4489180-1751343708
RUNJOBID= nodeC035-1751336454-45259
SLURM_JOB_ID= 9594384
Free space on /tmp= 433056 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489180-1751343708/watcher-4489180-1751343708 -o /tmp/evaluation-result-4489180-1751343708/solver-4489180-1751343708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45259 --watchdog 3760  pb-oll-rs HOME/instance-4489180-1751343708.opb

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=492764819

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124901340 kB
MemAvailable:   129606956 kB
Buffers:            1840 kB
Cached:          5458552 kB
SwapCached:            8 kB
Active:           499480 kB
Inactive:        5178864 kB
Active(anon):     224384 kB
Inactive(anon):    11616 kB
Active(file):     275096 kB
Inactive(file):  5167248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7384 kB
Writeback:             8 kB
AnonPages:        221108 kB
Mapped:           107040 kB
Shmem:             18048 kB
KReclaimable:     205020 kB
Slab:             294488 kB
SReclaimable:     205020 kB
SUnreclaim:        89468 kB
KernelStack:        4288 kB
PageTables:         3516 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     593036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-07-01 07:21:59