Trace number 4460958

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
RoundingSat log (2)OPT cert.140 653.983 656.645

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
MD5SUM6f0521fdb0b18beb600868184781ec28
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark140
Best CPU time to get the best result obtained on this benchmark0.141667
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables560
Total number of constraints560
Number of constraints which are clauses560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 560
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 560
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 560
Number of bits of the biggest sum of numbers10
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 560 #constraints 560
0.20/0.23	c bounds - >= 0 @ 0.001233
0.20/0.23	c bounds 170 >= 0 @ 0.108506
0.20/0.23	c bounds 170 >= 1 @ 0.108806
0.20/0.23	c bounds 170 >= 2 @ 0.109037
0.20/0.23	c bounds 170 >= 3 @ 0.109256
0.20/0.23	c bounds 170 >= 4 @ 0.109454
0.20/0.23	c bounds 170 >= 5 @ 0.109652
0.20/0.23	c bounds 170 >= 6 @ 0.109846
0.20/0.23	c bounds 170 >= 7 @ 0.110069
0.20/0.23	c bounds 170 >= 8 @ 0.110288
0.20/0.23	c bounds 170 >= 9 @ 0.110483
0.20/0.23	c bounds 170 >= 10 @ 0.110682
0.20/0.23	c bounds 170 >= 11 @ 0.110879
0.20/0.23	c bounds 170 >= 12 @ 0.111076
0.20/0.23	c bounds 170 >= 13 @ 0.111277
0.20/0.23	c bounds 170 >= 14 @ 0.111478
0.20/0.23	c bounds 170 >= 15 @ 0.111676
0.20/0.23	c bounds 170 >= 16 @ 0.111888
0.20/0.23	c bounds 170 >= 17 @ 0.112095
0.20/0.23	c bounds 170 >= 18 @ 0.11229
0.20/0.23	c bounds 170 >= 19 @ 0.112496
0.20/0.23	c bounds 170 >= 20 @ 0.112696
0.20/0.23	c bounds 170 >= 21 @ 0.112915
0.20/0.23	c bounds 170 >= 22 @ 0.113141
0.20/0.23	c bounds 170 >= 23 @ 0.11334
0.20/0.23	c bounds 170 >= 24 @ 0.11354
0.20/0.23	c bounds 170 >= 25 @ 0.113764
0.20/0.23	c bounds 170 >= 26 @ 0.11397
0.20/0.23	c bounds 170 >= 27 @ 0.114188
0.20/0.23	c bounds 170 >= 28 @ 0.114389
0.20/0.23	c bounds 170 >= 29 @ 0.114593
0.20/0.23	c bounds 170 >= 30 @ 0.114811
0.20/0.23	c bounds 170 >= 31 @ 0.115038
0.20/0.23	c bounds 170 >= 32 @ 0.115243
0.20/0.23	c bounds 170 >= 33 @ 0.115445
0.20/0.23	c bounds 170 >= 34 @ 0.11565
0.20/0.23	c bounds 170 >= 35 @ 0.115875
0.20/0.23	c bounds 170 >= 36 @ 0.116094
0.20/0.23	c bounds 170 >= 37 @ 0.116303
0.20/0.23	c bounds 170 >= 38 @ 0.116505
0.20/0.23	c bounds 170 >= 39 @ 0.116708
0.20/0.23	c bounds 170 >= 40 @ 0.116916
0.20/0.23	c bounds 170 >= 41 @ 0.117118
0.20/0.23	c bounds 170 >= 42 @ 0.117321
0.20/0.23	c bounds 170 >= 43 @ 0.117527
0.20/0.23	c bounds 170 >= 44 @ 0.117582
0.20/0.23	c bounds 170 >= 45 @ 0.117582
0.20/0.23	c bounds 170 >= 46 @ 0.117582
0.20/0.23	c bounds 170 >= 47 @ 0.117582
0.20/0.23	c bounds 170 >= 48 @ 0.11759
0.20/0.23	c bounds 170 >= 49 @ 0.117811
0.20/0.23	c bounds 170 >= 50 @ 0.118042
0.20/0.23	c bounds 170 >= 51 @ 0.118249
0.20/0.23	c bounds 170 >= 52 @ 0.118458
0.20/0.23	c bounds 170 >= 53 @ 0.118662
0.20/0.23	c bounds 170 >= 54 @ 0.118862
0.20/0.23	c bounds 170 >= 55 @ 0.119072
0.20/0.23	c bounds 170 >= 56 @ 0.119283
0.20/0.23	c bounds 170 >= 57 @ 0.11949
0.20/0.23	c bounds 170 >= 58 @ 0.119701
0.20/0.23	c bounds 170 >= 59 @ 0.11993
0.20/0.23	c bounds 170 >= 60 @ 0.120156
0.20/0.23	c bounds 170 >= 61 @ 0.120372
0.20/0.23	c bounds 170 >= 62 @ 0.120584
0.20/0.23	c bounds 170 >= 63 @ 0.120815
0.20/0.23	c bounds 170 >= 64 @ 0.121049
0.20/0.23	c bounds 169 >= 64 @ 0.132328
0.20/0.23	c bounds 169 >= 65 @ 0.132572
0.20/0.23	c bounds 169 >= 66 @ 0.132811
0.20/0.23	c bounds 169 >= 67 @ 0.133056
0.20/0.23	c bounds 169 >= 68 @ 0.133268
0.20/0.23	c bounds 169 >= 69 @ 0.13348
0.20/0.23	c bounds 169 >= 70 @ 0.133702
0.20/0.23	c bounds 169 >= 71 @ 0.133919
0.20/0.23	c bounds 169 >= 72 @ 0.134133
0.20/0.23	c bounds 169 >= 73 @ 0.134345
0.20/0.23	c bounds 169 >= 74 @ 0.13456
0.20/0.23	c bounds 169 >= 75 @ 0.134793
0.20/0.23	c bounds 169 >= 76 @ 0.135036
0.20/0.23	c bounds 169 >= 77 @ 0.135252
0.20/0.23	c bounds 169 >= 78 @ 0.135463
0.20/0.23	c bounds 169 >= 79 @ 0.135689
0.20/0.23	c bounds 169 >= 80 @ 0.135928
0.20/0.23	c bounds 169 >= 81 @ 0.136163
0.20/0.23	c bounds 169 >= 82 @ 0.136384
0.20/0.23	c bounds 169 >= 83 @ 0.136601
0.20/0.23	c bounds 169 >= 84 @ 0.136845
0.20/0.23	c bounds 169 >= 85 @ 0.13709
0.20/0.23	c bounds 169 >= 86 @ 0.137313
0.20/0.23	c bounds 169 >= 87 @ 0.137528
0.20/0.23	c bounds 169 >= 88 @ 0.137747
0.20/0.23	c bounds 169 >= 89 @ 0.137966
0.20/0.23	c bounds 169 >= 90 @ 0.138187
0.20/0.23	c bounds 169 >= 91 @ 0.138412
0.20/0.23	c bounds 169 >= 92 @ 0.138632
0.20/0.23	c bounds 169 >= 93 @ 0.138676
0.20/0.23	c bounds 169 >= 94 @ 0.138676
0.20/0.23	c bounds 169 >= 95 @ 0.138676
0.20/0.23	c bounds 169 >= 96 @ 0.138676
0.20/0.23	c bounds 169 >= 97 @ 0.138825
0.20/0.23	c bounds 169 >= 98 @ 0.139051
0.20/0.23	c bounds 169 >= 99 @ 0.139267
0.20/0.23	c bounds 169 >= 100 @ 0.139484
0.20/0.23	c bounds 169 >= 101 @ 0.139684
0.20/0.23	c bounds 169 >= 102 @ 0.139907
0.20/0.23	c bounds 169 >= 103 @ 0.140141
0.20/0.23	c bounds 169 >= 104 @ 0.140365
0.20/0.23	c bounds 169 >= 105 @ 0.140591
0.20/0.23	c bounds 169 >= 106 @ 0.140818
0.20/0.23	c bounds 169 >= 107 @ 0.141041
0.20/0.23	c bounds 169 >= 108 @ 0.141259
0.20/0.23	c bounds 169 >= 109 @ 0.141496
0.20/0.23	c bounds 169 >= 110 @ 0.141746
0.20/0.23	c bounds 169 >= 111 @ 0.141993
0.20/0.23	c bounds 169 >= 112 @ 0.142221
0.20/0.23	c bounds 169 >= 113 @ 0.142449
0.20/0.23	c bounds 169 >= 114 @ 0.142692
0.20/0.23	c bounds 169 >= 115 @ 0.142929
0.20/0.23	c bounds 169 >= 116 @ 0.143173
0.20/0.23	c bounds 169 >= 117 @ 0.143396
0.20/0.23	c bounds 169 >= 118 @ 0.143624
0.20/0.23	c bounds 169 >= 119 @ 0.143873
0.20/0.23	c bounds 169 >= 120 @ 0.144117
0.20/0.23	c bounds 169 >= 121 @ 0.144353
0.20/0.23	c bounds 169 >= 122 @ 0.144577
0.20/0.23	c bounds 169 >= 123 @ 0.144819
0.20/0.23	c bounds 169 >= 124 @ 0.145073
0.20/0.23	c bounds 169 >= 125 @ 0.145299
0.20/0.23	c bounds 169 >= 126 @ 0.145529
0.20/0.23	c bounds 169 >= 127 @ 0.145806
0.20/0.23	c bounds 169 >= 128 @ 0.146076
0.20/0.23	c bounds 169 >= 129 @ 0.146378
0.20/0.23	c bounds 169 >= 130 @ 0.148072
0.20/0.23	c bounds 169 >= 131 @ 0.149648
0.20/0.23	c bounds 169 >= 132 @ 0.153821
0.20/0.23	c bounds 169 >= 133 @ 0.189494
0.20/0.23	c bounds 168 >= 133 @ 0.197261
0.40/0.47	c bounds 167 >= 133 @ 0.205649
0.40/0.47	c bounds 166 >= 133 @ 0.220137
0.40/0.47	c bounds 165 >= 133 @ 0.230093
0.40/0.47	c #Conflicts:       1000 | #Constraints:       2225
0.40/0.47	c bounds 164 >= 133 @ 0.249731
0.40/0.47	c bounds 164 >= 134 @ 0.256378
0.40/0.47	c bounds 163 >= 134 @ 0.26141
0.40/0.47	c bounds 163 >= 135 @ 0.267923
0.40/0.47	c bounds 162 >= 135 @ 0.273552
0.40/0.47	c bounds 162 >= 136 @ 0.327835
0.40/0.47	c bounds 161 >= 136 @ 0.334626
0.40/0.47	c bounds 160 >= 136 @ 0.347981
0.40/0.47	c #Conflicts:       2000 | #Constraints:       3428
0.40/0.47	c INPROCESSING
0.40/0.47	c GARBAGE COLLECT
0.40/0.47	c rational objective 140
0.99/1.02	c bounds 159 >= 136 @ 0.503513
0.99/1.02	c #Conflicts:       3000 | #Constraints:       3299
0.99/1.02	c bounds 158 >= 136 @ 0.746549
0.99/1.02	c #Conflicts:       4000 | #Constraints:       4300
0.99/1.02	c INPROCESSING
0.99/1.02	c GARBAGE COLLECT
0.99/1.02	c rational objective 140
1.58/1.67	c bounds 158 >= 137 @ 0.967256
1.58/1.67	c bounds 157 >= 137 @ 0.968081
1.58/1.67	c bounds 156 >= 137 @ 0.97431
1.58/1.67	c bounds 155 >= 137 @ 0.991482
1.58/1.67	c #Conflicts:       5000 | #Constraints:       3806
1.58/1.67	c #Conflicts:       6000 | #Constraints:       4806
1.58/1.67	c INPROCESSING
1.58/1.67	c GARBAGE COLLECT
1.58/1.67	c rational objective 140
2.18/2.25	c bounds 154 >= 137 @ 1.53386
2.18/2.25	c #Conflicts:       7000 | #Constraints:       3868
2.18/2.25	c bounds 153 >= 137 @ 1.64107
2.18/2.25	c bounds 152 >= 137 @ 1.69551
2.18/2.25	c #Conflicts:       8000 | #Constraints:       4870
2.18/2.25	c bounds 151 >= 137 @ 1.84539
2.18/2.25	c bounds 150 >= 137 @ 1.88405
2.18/2.25	c bounds 149 >= 137 @ 1.9619
2.18/2.25	c #Conflicts:       9000 | #Constraints:       5924
2.18/2.25	c INPROCESSING
2.18/2.25	c GARBAGE COLLECT
2.18/2.25	c rational objective 140
3.09/3.16	c #Conflicts:      10000 | #Constraints:       4555
3.09/3.16	c #Conflicts:      11000 | #Constraints:       5558
3.09/3.16	c #Conflicts:      12000 | #Constraints:       6592
3.09/3.16	c INPROCESSING
3.09/3.16	c GARBAGE COLLECT
3.09/3.16	c rational objective 140
4.37/4.42	c #Conflicts:      13000 | #Constraints:       4997
4.37/4.42	c #Conflicts:      14000 | #Constraints:       5997
4.37/4.42	c #Conflicts:      15000 | #Constraints:       6997
4.37/4.42	c INPROCESSING
4.37/4.42	c GARBAGE COLLECT
4.37/4.42	c rational objective 140
5.37/5.43	c #Conflicts:      16000 | #Constraints:       5276
5.37/5.43	c #Conflicts:      17000 | #Constraints:       6286
5.37/5.43	c #Conflicts:      18000 | #Constraints:       7311
5.37/5.43	c INPROCESSING
5.37/5.43	c GARBAGE COLLECT
5.37/5.43	c rational objective 140
6.86/6.93	c #Conflicts:      19000 | #Constraints:       5286
6.86/6.93	c #Conflicts:      20000 | #Constraints:       6286
6.86/6.93	c #Conflicts:      21000 | #Constraints:       7286
6.86/6.93	c INPROCESSING
6.86/6.93	c GARBAGE COLLECT
6.86/6.93	c rational objective 140
8.26/8.36	c #Conflicts:      22000 | #Constraints:       5160
8.26/8.36	c #Conflicts:      23000 | #Constraints:       6171
8.26/8.36	c #Conflicts:      24000 | #Constraints:       7215
8.26/8.36	c #Conflicts:      25000 | #Constraints:       8242
8.26/8.36	c INPROCESSING
8.26/8.36	c GARBAGE COLLECT
8.26/8.36	c rational objective 140
9.66/9.79	c #Conflicts:      26000 | #Constraints:       5748
9.66/9.79	c #Conflicts:      27000 | #Constraints:       6763
9.66/9.79	c #Conflicts:      28000 | #Constraints:       7779
9.66/9.79	c #Conflicts:      29000 | #Constraints:       8804
9.66/9.79	c INPROCESSING
9.66/9.79	c GARBAGE COLLECT
9.66/9.79	c rational objective 140
11.35/11.45	c #Conflicts:      30000 | #Constraints:       6120
11.35/11.45	c #Conflicts:      31000 | #Constraints:       7120
11.35/11.45	c bounds 149 >= 138 @ 9.93126
11.35/11.45	c #Conflicts:      32000 | #Constraints:       8264
11.35/11.45	c #Conflicts:      33000 | #Constraints:       9264
11.35/11.45	c INPROCESSING
11.35/11.45	c GARBAGE COLLECT
11.35/11.45	c rational objective 140
12.84/12.99	c #Conflicts:      34000 | #Constraints:       6493
12.84/12.99	c #Conflicts:      35000 | #Constraints:       7497
12.84/12.99	c #Conflicts:      36000 | #Constraints:       8544
12.84/12.99	c #Conflicts:      37000 | #Constraints:       9572
12.84/12.99	c INPROCESSING
12.84/12.99	c GARBAGE COLLECT
12.84/12.99	c rational objective 140
15.04/15.19	c #Conflicts:      38000 | #Constraints:       6487
15.04/15.19	c #Conflicts:      39000 | #Constraints:       7487
15.04/15.19	c #Conflicts:      40000 | #Constraints:       8487
15.04/15.19	c #Conflicts:      41000 | #Constraints:       9487
15.04/15.19	c INPROCESSING
15.04/15.19	c GARBAGE COLLECT
15.04/15.19	c rational objective 140
29.99/30.19	c #Conflicts:      42000 | #Constraints:       6333
29.99/30.19	c bounds 148 >= 138 @ 14.6148
29.99/30.19	c #Conflicts:      43000 | #Constraints:       7341
29.99/30.19	c #Conflicts:      44000 | #Constraints:       8379
29.99/30.19	c #Conflicts:      45000 | #Constraints:       9407
29.99/30.19	c #Conflicts:      46000 | #Constraints:      10432
29.99/30.19	c #Conflicts:      47000 | #Constraints:      11456
29.99/30.19	c #Conflicts:      48000 | #Constraints:      12488
29.99/30.19	c #Conflicts:      49000 | #Constraints:      13507
29.99/30.19	c #Conflicts:      50000 | #Constraints:      14525
29.99/30.19	c #Conflicts:      51000 | #Constraints:      15548
29.99/30.19	c #Conflicts:      52000 | #Constraints:      16573
29.99/30.19	c bounds 147 >= 138 @ 21.0882
29.99/30.19	c #Conflicts:      53000 | #Constraints:      17584
29.99/30.19	c #Conflicts:      54000 | #Constraints:      18584
29.99/30.19	c #Conflicts:      55000 | #Constraints:      19584
29.99/30.19	c #Conflicts:      56000 | #Constraints:      20584
29.99/30.19	c #Conflicts:      57000 | #Constraints:      21584
29.99/30.19	c #Conflicts:      58000 | #Constraints:      22584
29.99/30.19	c INPROCESSING
29.99/30.19	c GARBAGE COLLECT
29.99/30.19	c rational objective 140
32.88/33.10	c #Conflicts:      59000 | #Constraints:      12780
32.88/33.10	c #Conflicts:      60000 | #Constraints:      13787
32.88/33.10	c #Conflicts:      61000 | #Constraints:      14811
32.88/33.10	c #Conflicts:      62000 | #Constraints:      15832
32.88/33.10	c #Conflicts:      63000 | #Constraints:      16854
32.88/33.10	c #Conflicts:      64000 | #Constraints:      17872
32.88/33.10	c bounds 146 >= 138 @ 31.3982
32.88/33.10	c INPROCESSING
32.88/33.10	c GARBAGE COLLECT
32.88/33.10	c rational objective 140
40.34/40.51	c #Conflicts:      65000 | #Constraints:      10475
40.34/40.51	c #Conflicts:      66000 | #Constraints:      11475
40.34/40.51	c #Conflicts:      67000 | #Constraints:      12475
40.34/40.51	c #Conflicts:      68000 | #Constraints:      13475
40.34/40.51	c #Conflicts:      69000 | #Constraints:      14475
40.34/40.51	c #Conflicts:      70000 | #Constraints:      15475
40.34/40.51	c INPROCESSING
40.34/40.51	c GARBAGE COLLECT
40.34/40.51	c rational objective 140
43.44/43.63	c #Conflicts:      71000 | #Constraints:       9426
43.44/43.63	c bounds 145 >= 138 @ 39.1007
43.44/43.63	c #Conflicts:      72000 | #Constraints:      10446
43.44/43.63	c #Conflicts:      73000 | #Constraints:      11478
43.44/43.63	c bounds 144 >= 138 @ 39.6388
43.44/43.63	c #Conflicts:      74000 | #Constraints:      12481
43.44/43.63	c #Conflicts:      75000 | #Constraints:      13481
43.44/43.63	c #Conflicts:      76000 | #Constraints:      14499
43.44/43.63	c INPROCESSING
43.44/43.63	c GARBAGE COLLECT
43.44/43.63	c rational objective 140
46.83/47.09	c #Conflicts:      77000 | #Constraints:       8803
46.83/47.09	c #Conflicts:      78000 | #Constraints:       9820
46.83/47.09	c #Conflicts:      79000 | #Constraints:      10840
46.83/47.09	c #Conflicts:      80000 | #Constraints:      11863
46.83/47.09	c #Conflicts:      81000 | #Constraints:      12887
46.83/47.09	c #Conflicts:      82000 | #Constraints:      13911
46.83/47.09	c INPROCESSING
46.83/47.09	c GARBAGE COLLECT
46.83/47.09	c rational objective 140
50.61/50.80	c #Conflicts:      83000 | #Constraints:       8365
50.61/50.80	c #Conflicts:      84000 | #Constraints:       9390
50.61/50.80	c #Conflicts:      85000 | #Constraints:      10414
50.61/50.80	c #Conflicts:      86000 | #Constraints:      11436
50.61/50.80	c #Conflicts:      87000 | #Constraints:      12459
50.61/50.80	c #Conflicts:      88000 | #Constraints:      13475
50.61/50.80	c #Conflicts:      89000 | #Constraints:      14496
50.61/50.80	c INPROCESSING
50.61/50.80	c GARBAGE COLLECT
50.61/50.80	c rational objective 140
56.48/56.78	c #Conflicts:      90000 | #Constraints:       8907
56.48/56.78	c #Conflicts:      91000 | #Constraints:       9907
56.48/56.78	c #Conflicts:      92000 | #Constraints:      10907
56.48/56.78	c #Conflicts:      93000 | #Constraints:      11907
56.48/56.78	c #Conflicts:      94000 | #Constraints:      12907
56.48/56.78	c #Conflicts:      95000 | #Constraints:      13907
56.48/56.78	c #Conflicts:      96000 | #Constraints:      14907
56.48/56.78	c INPROCESSING
56.48/56.78	c GARBAGE COLLECT
56.48/56.78	c rational objective 140
89.47/89.87	c #Conflicts:      97000 | #Constraints:       9363
89.47/89.87	c #Conflicts:      98000 | #Constraints:      10392
89.47/89.87	c #Conflicts:      99000 | #Constraints:      11419
89.47/89.87	c #Conflicts:     100000 | #Constraints:      12441
89.47/89.87	c #Conflicts:     101000 | #Constraints:      13465
89.47/89.87	c #Conflicts:     102000 | #Constraints:      14479
89.47/89.87	c #Conflicts:     103000 | #Constraints:      15498
89.47/89.87	c #Conflicts:     104000 | #Constraints:      16515
89.47/89.87	c #Conflicts:     105000 | #Constraints:      17527
89.47/89.87	c #Conflicts:     106000 | #Constraints:      18544
89.47/89.87	c #Conflicts:     107000 | #Constraints:      19558
89.47/89.87	c #Conflicts:     108000 | #Constraints:      20571
89.47/89.87	c #Conflicts:     109000 | #Constraints:      21588
89.47/89.87	c #Conflicts:     110000 | #Constraints:      22606
89.47/89.87	c #Conflicts:     111000 | #Constraints:      23617
89.47/89.87	c #Conflicts:     112000 | #Constraints:      24631
89.47/89.87	c #Conflicts:     113000 | #Constraints:      25638
89.47/89.87	c #Conflicts:     114000 | #Constraints:      26654
89.47/89.87	c #Conflicts:     115000 | #Constraints:      27673
89.47/89.87	c #Conflicts:     116000 | #Constraints:      28685
89.47/89.87	c #Conflicts:     117000 | #Constraints:      29701
89.47/89.87	c #Conflicts:     118000 | #Constraints:      30715
89.47/89.87	c #Conflicts:     119000 | #Constraints:      31726
89.47/89.87	c #Conflicts:     120000 | #Constraints:      32735
89.47/89.87	c #Conflicts:     121000 | #Constraints:      33748
89.47/89.87	c INPROCESSING
89.47/89.87	c GARBAGE COLLECT
89.47/89.87	c rational objective 140
101.33/101.76	c #Conflicts:     122000 | #Constraints:      18280
101.33/101.76	c #Conflicts:     123000 | #Constraints:      19280
101.33/101.76	c #Conflicts:     124000 | #Constraints:      20280
101.33/101.76	c #Conflicts:     125000 | #Constraints:      21280
101.33/101.76	c #Conflicts:     126000 | #Constraints:      22280
101.33/101.76	c #Conflicts:     127000 | #Constraints:      23280
101.33/101.76	c bounds 144 >= 139 @ 94.7312
101.33/101.76	c #Conflicts:     128000 | #Constraints:      24361
101.33/101.76	c #Conflicts:     129000 | #Constraints:      25361
101.33/101.76	c INPROCESSING
101.33/101.76	c GARBAGE COLLECT
101.33/101.76	c rational objective 140
111.89/112.32	c #Conflicts:     130000 | #Constraints:      14192
111.89/112.32	c #Conflicts:     131000 | #Constraints:      15192
111.89/112.32	c #Conflicts:     132000 | #Constraints:      16192
111.89/112.32	c #Conflicts:     133000 | #Constraints:      17192
111.89/112.32	c #Conflicts:     134000 | #Constraints:      18192
111.89/112.32	c #Conflicts:     135000 | #Constraints:      19192
111.89/112.32	c #Conflicts:     136000 | #Constraints:      20192
111.89/112.32	c #Conflicts:     137000 | #Constraints:      21192
111.89/112.32	c #Conflicts:     138000 | #Constraints:      22192
111.89/112.32	c INPROCESSING
111.89/112.32	c GARBAGE COLLECT
111.89/112.32	c rational objective 140
195.39/196.11	c #Conflicts:     139000 | #Constraints:      13027
195.39/196.11	c #Conflicts:     140000 | #Constraints:      14027
195.39/196.11	c #Conflicts:     141000 | #Constraints:      15027
195.39/196.11	c #Conflicts:     142000 | #Constraints:      16028
195.39/196.11	c #Conflicts:     143000 | #Constraints:      17028
195.39/196.11	c #Conflicts:     144000 | #Constraints:      18028
195.39/196.11	c #Conflicts:     145000 | #Constraints:      19028
195.39/196.11	c #Conflicts:     146000 | #Constraints:      20028
195.39/196.11	c #Conflicts:     147000 | #Constraints:      21029
195.39/196.11	c #Conflicts:     148000 | #Constraints:      22029
195.39/196.11	c #Conflicts:     149000 | #Constraints:      23029
195.39/196.11	c #Conflicts:     150000 | #Constraints:      24029
195.39/196.11	c #Conflicts:     151000 | #Constraints:      25029
195.39/196.11	c #Conflicts:     152000 | #Constraints:      26029
195.39/196.11	c #Conflicts:     153000 | #Constraints:      27029
195.39/196.11	c #Conflicts:     154000 | #Constraints:      28029
195.39/196.11	c #Conflicts:     155000 | #Constraints:      29029
195.39/196.11	c #Conflicts:     156000 | #Constraints:      30029
195.39/196.11	c #Conflicts:     157000 | #Constraints:      31029
195.39/196.11	c #Conflicts:     158000 | #Constraints:      32029
195.39/196.11	c #Conflicts:     159000 | #Constraints:      33029
195.39/196.11	c #Conflicts:     160000 | #Constraints:      34029
195.39/196.11	c #Conflicts:     161000 | #Constraints:      35029
195.39/196.11	c #Conflicts:     162000 | #Constraints:      36029
195.39/196.11	c #Conflicts:     163000 | #Constraints:      37029
195.39/196.11	c #Conflicts:     164000 | #Constraints:      38029
195.39/196.11	c #Conflicts:     165000 | #Constraints:      39029
195.39/196.11	c #Conflicts:     166000 | #Constraints:      40029
195.39/196.11	c #Conflicts:     167000 | #Constraints:      41029
195.39/196.11	c #Conflicts:     168000 | #Constraints:      42029
195.39/196.11	c INPROCESSING
195.39/196.11	c GARBAGE COLLECT
195.39/196.11	c rational objective 140
204.16/204.95	c #Conflicts:     169000 | #Constraints:      22992
204.16/204.95	c #Conflicts:     170000 | #Constraints:      24014
204.16/204.95	c #Conflicts:     171000 | #Constraints:      25038
204.16/204.95	c #Conflicts:     172000 | #Constraints:      26068
204.16/204.95	c #Conflicts:     173000 | #Constraints:      27088
204.16/204.95	c #Conflicts:     174000 | #Constraints:      28103
204.16/204.95	c #Conflicts:     175000 | #Constraints:      29119
204.16/204.95	c #Conflicts:     176000 | #Constraints:      30140
204.16/204.95	c #Conflicts:     177000 | #Constraints:      31158
204.16/204.95	c INPROCESSING
204.16/204.95	c GARBAGE COLLECT
204.16/204.95	c rational objective 140
246.11/247.03	c #Conflicts:     178000 | #Constraints:      17186
246.11/247.03	c #Conflicts:     179000 | #Constraints:      18199
246.11/247.03	c #Conflicts:     180000 | #Constraints:      19212
246.11/247.03	c #Conflicts:     181000 | #Constraints:      20227
246.11/247.03	c #Conflicts:     182000 | #Constraints:      21247
246.11/247.03	c #Conflicts:     183000 | #Constraints:      22265
246.11/247.03	c #Conflicts:     184000 | #Constraints:      23279
246.11/247.03	c #Conflicts:     185000 | #Constraints:      24291
246.11/247.03	c #Conflicts:     186000 | #Constraints:      25307
246.11/247.03	c #Conflicts:     187000 | #Constraints:      26327
246.11/247.03	c #Conflicts:     188000 | #Constraints:      27338
246.11/247.03	c #Conflicts:     189000 | #Constraints:      28353
246.11/247.03	c #Conflicts:     190000 | #Constraints:      29364
246.11/247.03	c #Conflicts:     191000 | #Constraints:      30374
246.11/247.03	c #Conflicts:     192000 | #Constraints:      31383
246.11/247.03	c #Conflicts:     193000 | #Constraints:      32397
246.11/247.03	c #Conflicts:     194000 | #Constraints:      33407
246.11/247.03	c #Conflicts:     195000 | #Constraints:      34419
246.11/247.03	c bounds 143 >= 139 @ 216.522
246.11/247.03	c #Conflicts:     196000 | #Constraints:      35436
246.11/247.03	c #Conflicts:     197000 | #Constraints:      36455
246.11/247.03	c #Conflicts:     198000 | #Constraints:      37472
246.11/247.03	c #Conflicts:     199000 | #Constraints:      38485
246.11/247.03	c #Conflicts:     200000 | #Constraints:      39496
246.11/247.03	c #Conflicts:     201000 | #Constraints:      40509
246.11/247.03	c #Conflicts:     202000 | #Constraints:      41518
246.11/247.03	c #Conflicts:     203000 | #Constraints:      42526
246.11/247.03	c #Conflicts:     204000 | #Constraints:      43540
246.11/247.03	c #Conflicts:     205000 | #Constraints:      44553
246.11/247.03	c #Conflicts:     206000 | #Constraints:      45570
246.11/247.03	c #Conflicts:     207000 | #Constraints:      46583
246.11/247.03	c #Conflicts:     208000 | #Constraints:      47591
246.11/247.03	c #Conflicts:     209000 | #Constraints:      48601
246.11/247.03	c #Conflicts:     210000 | #Constraints:      49612
246.11/247.03	c INPROCESSING
246.11/247.03	c GARBAGE COLLECT
246.11/247.03	c rational objective 140
259.76/260.78	c #Conflicts:     211000 | #Constraints:      26368
259.76/260.78	c #Conflicts:     212000 | #Constraints:      27380
259.76/260.78	c #Conflicts:     213000 | #Constraints:      28395
259.76/260.78	c #Conflicts:     214000 | #Constraints:      29405
259.76/260.78	c #Conflicts:     215000 | #Constraints:      30421
259.76/260.78	c #Conflicts:     216000 | #Constraints:      31434
259.76/260.78	c #Conflicts:     217000 | #Constraints:      32449
259.76/260.78	c #Conflicts:     218000 | #Constraints:      33460
259.76/260.78	c #Conflicts:     219000 | #Constraints:      34474
259.76/260.78	c #Conflicts:     220000 | #Constraints:      35482
259.76/260.78	c #Conflicts:     221000 | #Constraints:      36491
259.76/260.78	c INPROCESSING
259.76/260.78	c GARBAGE COLLECT
259.76/260.78	c rational objective 140
272.61/273.66	c #Conflicts:     222000 | #Constraints:      19908
272.61/273.66	c #Conflicts:     223000 | #Constraints:      20920
272.61/273.66	c #Conflicts:     224000 | #Constraints:      21930
272.61/273.66	c #Conflicts:     225000 | #Constraints:      22945
272.61/273.66	c #Conflicts:     226000 | #Constraints:      23961
272.61/273.66	c #Conflicts:     227000 | #Constraints:      24975
272.61/273.66	c #Conflicts:     228000 | #Constraints:      25985
272.61/273.66	c #Conflicts:     229000 | #Constraints:      26997
272.61/273.66	c #Conflicts:     230000 | #Constraints:      28008
272.61/273.66	c #Conflicts:     231000 | #Constraints:      29021
272.61/273.66	c #Conflicts:     232000 | #Constraints:      30033
272.61/273.66	c INPROCESSING
272.61/273.66	c GARBAGE COLLECT
272.61/273.66	c rational objective 140
338.95/340.26	c #Conflicts:     233000 | #Constraints:      16679
338.95/340.26	c #Conflicts:     234000 | #Constraints:      17690
338.95/340.26	c #Conflicts:     235000 | #Constraints:      18701
338.95/340.26	c #Conflicts:     236000 | #Constraints:      19709
338.95/340.26	c #Conflicts:     237000 | #Constraints:      20724
338.95/340.26	c #Conflicts:     238000 | #Constraints:      21733
338.95/340.26	c #Conflicts:     239000 | #Constraints:      22741
338.95/340.26	c #Conflicts:     240000 | #Constraints:      23748
338.95/340.26	c #Conflicts:     241000 | #Constraints:      24756
338.95/340.26	c #Conflicts:     242000 | #Constraints:      25765
338.95/340.26	c #Conflicts:     243000 | #Constraints:      26774
338.95/340.26	c #Conflicts:     244000 | #Constraints:      27780
338.95/340.26	c #Conflicts:     245000 | #Constraints:      28794
338.95/340.26	c #Conflicts:     246000 | #Constraints:      29807
338.95/340.26	c #Conflicts:     247000 | #Constraints:      30822
338.95/340.26	c #Conflicts:     248000 | #Constraints:      31835
338.95/340.26	c #Conflicts:     249000 | #Constraints:      32843
338.95/340.26	c #Conflicts:     250000 | #Constraints:      33850
338.95/340.26	c #Conflicts:     251000 | #Constraints:      34858
338.95/340.26	c #Conflicts:     252000 | #Constraints:      35867
338.95/340.26	c #Conflicts:     253000 | #Constraints:      36879
338.95/340.26	c #Conflicts:     254000 | #Constraints:      37887
338.95/340.26	c #Conflicts:     255000 | #Constraints:      38894
338.95/340.26	c #Conflicts:     256000 | #Constraints:      39901
338.95/340.26	c #Conflicts:     257000 | #Constraints:      40912
338.95/340.26	c #Conflicts:     258000 | #Constraints:      41921
338.95/340.26	c #Conflicts:     259000 | #Constraints:      42928
338.95/340.26	c #Conflicts:     260000 | #Constraints:      43934
338.95/340.26	c #Conflicts:     261000 | #Constraints:      44945
338.95/340.26	c #Conflicts:     262000 | #Constraints:      45952
338.95/340.26	c #Conflicts:     263000 | #Constraints:      46955
338.95/340.26	c #Conflicts:     264000 | #Constraints:      47965
338.95/340.26	c #Conflicts:     265000 | #Constraints:      48977
338.95/340.26	c #Conflicts:     266000 | #Constraints:      49985
338.95/340.26	c #Conflicts:     267000 | #Constraints:      50993
338.95/340.26	c #Conflicts:     268000 | #Constraints:      52002
338.95/340.26	c #Conflicts:     269000 | #Constraints:      53012
338.95/340.26	c INPROCESSING
338.95/340.26	c GARBAGE COLLECT
338.95/340.26	c rational objective 140
369.42/370.84	c #Conflicts:     270000 | #Constraints:      28026
369.42/370.84	c #Conflicts:     271000 | #Constraints:      29026
369.42/370.84	c #Conflicts:     272000 | #Constraints:      30026
369.42/370.84	c #Conflicts:     273000 | #Constraints:      31026
369.42/370.84	c #Conflicts:     274000 | #Constraints:      32026
369.42/370.84	c #Conflicts:     275000 | #Constraints:      33026
369.42/370.84	c #Conflicts:     276000 | #Constraints:      34026
369.42/370.84	c #Conflicts:     277000 | #Constraints:      35026
369.42/370.84	c #Conflicts:     278000 | #Constraints:      36026
369.42/370.84	c #Conflicts:     279000 | #Constraints:      37026
369.42/370.84	c #Conflicts:     280000 | #Constraints:      38026
369.42/370.84	c #Conflicts:     281000 | #Constraints:      39026
369.42/370.84	c #Conflicts:     282000 | #Constraints:      40026
369.42/370.84	c INPROCESSING
369.42/370.84	c GARBAGE COLLECT
369.42/370.84	c rational objective 140
408.86/410.47	c #Conflicts:     283000 | #Constraints:      21995
408.86/410.47	c #Conflicts:     284000 | #Constraints:      22995
408.86/410.47	c #Conflicts:     285000 | #Constraints:      23995
408.86/410.47	c #Conflicts:     286000 | #Constraints:      24995
408.86/410.47	c #Conflicts:     287000 | #Constraints:      25995
408.86/410.47	c #Conflicts:     288000 | #Constraints:      26995
408.86/410.47	c #Conflicts:     289000 | #Constraints:      27995
408.86/410.47	c #Conflicts:     290000 | #Constraints:      28995
408.86/410.47	c #Conflicts:     291000 | #Constraints:      29995
408.86/410.47	c #Conflicts:     292000 | #Constraints:      30995
408.86/410.47	c #Conflicts:     293000 | #Constraints:      31995
408.86/410.47	c #Conflicts:     294000 | #Constraints:      32995
408.86/410.47	c INPROCESSING
408.86/410.47	c GARBAGE COLLECT
408.86/410.47	c rational objective 140
524.24/526.28	c #Conflicts:     295000 | #Constraints:      18224
524.24/526.28	c #Conflicts:     296000 | #Constraints:      19224
524.24/526.28	c #Conflicts:     297000 | #Constraints:      20224
524.24/526.28	c #Conflicts:     298000 | #Constraints:      21224
524.24/526.28	c #Conflicts:     299000 | #Constraints:      22224
524.24/526.28	c #Conflicts:     300000 | #Constraints:      23224
524.24/526.28	c #Conflicts:     301000 | #Constraints:      24224
524.24/526.28	c #Conflicts:     302000 | #Constraints:      25224
524.24/526.28	c #Conflicts:     303000 | #Constraints:      26224
524.24/526.28	c #Conflicts:     304000 | #Constraints:      27224
524.24/526.28	c #Conflicts:     305000 | #Constraints:      28224
524.24/526.28	c #Conflicts:     306000 | #Constraints:      29224
524.24/526.28	c #Conflicts:     307000 | #Constraints:      30224
524.24/526.28	c #Conflicts:     308000 | #Constraints:      31224
524.24/526.28	c #Conflicts:     309000 | #Constraints:      32224
524.24/526.28	c #Conflicts:     310000 | #Constraints:      33224
524.24/526.28	c #Conflicts:     311000 | #Constraints:      34224
524.24/526.28	c #Conflicts:     312000 | #Constraints:      35224
524.24/526.28	c #Conflicts:     313000 | #Constraints:      36224
524.24/526.28	c #Conflicts:     314000 | #Constraints:      37224
524.24/526.28	c #Conflicts:     315000 | #Constraints:      38224
524.24/526.28	c #Conflicts:     316000 | #Constraints:      39224
524.24/526.28	c #Conflicts:     317000 | #Constraints:      40224
524.24/526.28	c #Conflicts:     318000 | #Constraints:      41225
524.24/526.28	c #Conflicts:     319000 | #Constraints:      42225
524.24/526.28	c #Conflicts:     320000 | #Constraints:      43225
524.24/526.28	c #Conflicts:     321000 | #Constraints:      44225
524.24/526.28	c bounds 143 >= 140 @ 497.979
524.24/526.28	c #Conflicts:     322000 | #Constraints:      45326
524.24/526.28	c #Conflicts:     323000 | #Constraints:      46358
524.24/526.28	c #Conflicts:     324000 | #Constraints:      47380
524.24/526.28	c #Conflicts:     325000 | #Constraints:      48399
524.24/526.28	c #Conflicts:     326000 | #Constraints:      49410
524.24/526.28	c #Conflicts:     327000 | #Constraints:      50427
524.24/526.28	c #Conflicts:     328000 | #Constraints:      51431
524.24/526.28	c #Conflicts:     329000 | #Constraints:      52441
524.24/526.28	c #Conflicts:     330000 | #Constraints:      53453
524.24/526.28	c #Conflicts:     331000 | #Constraints:      54471
524.24/526.28	c #Conflicts:     332000 | #Constraints:      55479
524.24/526.28	c #Conflicts:     333000 | #Constraints:      56495
524.24/526.28	c #Conflicts:     334000 | #Constraints:      57508
524.24/526.28	c #Conflicts:     335000 | #Constraints:      58523
524.24/526.28	c #Conflicts:     336000 | #Constraints:      59546
524.24/526.28	c INPROCESSING
524.24/526.28	c GARBAGE COLLECT
524.24/526.28	c rational objective 140
538.89/540.92	c #Conflicts:     337000 | #Constraints:      31673
538.89/540.92	c #Conflicts:     338000 | #Constraints:      32687
538.89/540.92	c #Conflicts:     339000 | #Constraints:      33704
538.89/540.92	c #Conflicts:     340000 | #Constraints:      34717
538.89/540.92	c #Conflicts:     341000 | #Constraints:      35736
538.89/540.92	c #Conflicts:     342000 | #Constraints:      36750
538.89/540.92	c #Conflicts:     343000 | #Constraints:      37769
538.89/540.92	c #Conflicts:     344000 | #Constraints:      38786
538.89/540.92	c #Conflicts:     345000 | #Constraints:      39799
538.89/540.92	c #Conflicts:     346000 | #Constraints:      40811
538.89/540.92	c #Conflicts:     347000 | #Constraints:      41825
538.89/540.92	c #Conflicts:     348000 | #Constraints:      42844
538.89/540.92	c #Conflicts:     349000 | #Constraints:      43863
538.89/540.92	c INPROCESSING
538.89/540.92	c GARBAGE COLLECT
538.89/540.92	c rational objective 140
553.53/555.61	c #Conflicts:     350000 | #Constraints:      23441
553.53/555.61	c #Conflicts:     351000 | #Constraints:      24454
553.53/555.61	c #Conflicts:     352000 | #Constraints:      25471
553.53/555.61	c #Conflicts:     353000 | #Constraints:      26483
553.53/555.61	c #Conflicts:     354000 | #Constraints:      27495
553.53/555.61	c #Conflicts:     355000 | #Constraints:      28509
553.53/555.61	c #Conflicts:     356000 | #Constraints:      29523
553.53/555.61	c #Conflicts:     357000 | #Constraints:      30539
553.53/555.61	c #Conflicts:     358000 | #Constraints:      31549
553.53/555.61	c #Conflicts:     359000 | #Constraints:      32568
553.53/555.61	c #Conflicts:     360000 | #Constraints:      33584
553.53/555.61	c #Conflicts:     361000 | #Constraints:      34593
553.53/555.61	c #Conflicts:     362000 | #Constraints:      35605
553.53/555.61	c #Conflicts:     363000 | #Constraints:      36618
553.53/555.61	c INPROCESSING
553.53/555.61	c GARBAGE COLLECT
553.53/555.61	c rational objective 140
653.85/656.33	c #Conflicts:     364000 | #Constraints:      19812
653.85/656.33	c #Conflicts:     365000 | #Constraints:      20819
653.85/656.33	c #Conflicts:     366000 | #Constraints:      21833
653.85/656.33	c #Conflicts:     367000 | #Constraints:      22844
653.85/656.33	c #Conflicts:     368000 | #Constraints:      23858
653.85/656.33	c #Conflicts:     369000 | #Constraints:      24877
653.85/656.33	c #Conflicts:     370000 | #Constraints:      25890
653.85/656.33	c #Conflicts:     371000 | #Constraints:      26908
653.85/656.33	c #Conflicts:     372000 | #Constraints:      27917
653.85/656.33	c #Conflicts:     373000 | #Constraints:      28935
653.85/656.33	c #Conflicts:     374000 | #Constraints:      29950
653.85/656.33	c #Conflicts:     375000 | #Constraints:      30957
653.85/656.33	c #Conflicts:     376000 | #Constraints:      31963
653.85/656.33	c #Conflicts:     377000 | #Constraints:      32974
653.85/656.33	c #Conflicts:     378000 | #Constraints:      33983
653.85/656.33	c #Conflicts:     379000 | #Constraints:      34992
653.85/656.33	c #Conflicts:     380000 | #Constraints:      36001
653.85/656.33	c #Conflicts:     381000 | #Constraints:      37015
653.85/656.33	c #Conflicts:     382000 | #Constraints:      38026
653.85/656.33	c #Conflicts:     383000 | #Constraints:      39034
653.85/656.33	c #Conflicts:     384000 | #Constraints:      40050
653.85/656.33	c #Conflicts:     385000 | #Constraints:      41063
653.85/656.33	c #Conflicts:     386000 | #Constraints:      42080
653.85/656.33	c #Conflicts:     387000 | #Constraints:      43090
653.85/656.33	c #Conflicts:     388000 | #Constraints:      44104
653.85/656.33	c #Conflicts:     389000 | #Constraints:      45116
653.85/656.33	c #Conflicts:     390000 | #Constraints:      46126
653.85/656.33	c #Conflicts:     391000 | #Constraints:      47135
653.85/656.33	c #Conflicts:     392000 | #Constraints:      48145
653.85/656.33	c #Conflicts:     393000 | #Constraints:      49160
653.85/656.33	c #Conflicts:     394000 | #Constraints:      50173
653.85/656.33	c #Conflicts:     395000 | #Constraints:      51185
653.85/656.33	c #Conflicts:     396000 | #Constraints:      52195
653.85/656.33	c #Conflicts:     397000 | #Constraints:      53211
653.85/656.33	c #Conflicts:     398000 | #Constraints:      54220
653.85/656.33	c #Conflicts:     399000 | #Constraints:      55229
653.85/656.33	c #Conflicts:     400000 | #Constraints:      56243
653.85/656.33	c #Conflicts:     401000 | #Constraints:      57251
653.85/656.33	c #Conflicts:     402000 | #Constraints:      58261
653.85/656.33	c #Conflicts:     403000 | #Constraints:      59273
653.85/656.33	c #Conflicts:     404000 | #Constraints:      60279
653.85/656.33	c #Conflicts:     405000 | #Constraints:      61288
653.85/656.33	c #Conflicts:     406000 | #Constraints:      62297
653.85/656.33	c #Conflicts:     407000 | #Constraints:      63309
653.85/656.33	c #Conflicts:     408000 | #Constraints:      64322
653.85/656.33	c #Conflicts:     409000 | #Constraints:      65327
653.85/656.33	c INPROCESSING
653.85/656.33	c GARBAGE COLLECT
653.85/656.33	c rational objective 140
653.95/656.41	c bounds 140 >= 140 @ 644.506
653.95/656.41	c cpu time 644.506 s
653.95/656.41	c deterministic time 72247716740 7.22e+10
653.95/656.41	c optimization time 0.029779 s
653.95/656.41	c total solve time 644.475 s
653.95/656.41	c core-guided solve time 297.141 s
653.95/656.41	c propagation time 555.298 s
653.95/656.41	c conflict analysis time 74.6584 s
653.95/656.41	c propagations 46987659
653.95/656.41	c resolve steps 2874464
653.95/656.41	c decisions 3513599
653.95/656.41	c conflicts 409500
653.95/656.41	c restarts 1010
653.95/656.41	c inprocessing phases 35
653.95/656.41	c input clauses 1086
653.95/656.41	c input cardinalities 308
653.95/656.41	c input general constraints 577
653.95/656.41	c input average constraint length 52.61
653.95/656.41	c input average constraint degree 13.02
653.95/656.41	c learned clauses 92184
653.95/656.41	c learned cardinalities 3224
653.95/656.41	c learned general constraints 317963
653.95/656.41	c learned average constraint length 135.82
653.95/656.41	c learned average constraint degree 2443692335.65
653.95/656.41	c watched constraints 265990
653.95/656.41	c counting constraints 52550
653.95/656.41	c gcd simplifications 26618
653.95/656.41	c detected cardinalities 288
653.95/656.41	c weakened non-implied lits 12528602
653.95/656.41	c weakened non-implying lits 84469
653.95/656.41	c original variables 560
653.95/656.41	c clausal propagations 4847763
653.95/656.41	c cardinality propagations 1920294
653.95/656.41	c watched propagations 6738512
653.95/656.41	c counting propagations 32828799
653.95/656.41	c watch lookups 12421325683
653.95/656.41	c watch backjump lookups 10492060763
653.95/656.41	c watch checks 45312741690
653.95/656.41	c propagation checks 3678927414
653.95/656.41	c constraint additions 240804322
653.95/656.41	c trail pops 50906750
653.95/656.41	c formula constraints 560
653.95/656.41	c learned constraints 405635
653.95/656.41	c bound constraints 309
653.95/656.41	c core-guided constraints 1102
653.95/656.41	c encountered formula constraints 479631
653.95/656.41	c encountered learned constraints 1784693
653.95/656.41	c encountered bound constraints 110
653.95/656.41	c encountered core-guided constraints 310357
653.95/656.41	c LP total time 20.4539 s
653.95/656.41	c LP solve time 18.96 s
653.95/656.41	c LP constraints added 560
653.95/656.41	c LP constraints removed 0
653.95/656.41	c LP pivots internal 409548
653.95/656.41	c LP pivots root 39311
653.95/656.41	c LP calls 4073
653.95/656.41	c LP optimalities 203
653.95/656.41	c LP no pivot count 33
653.95/656.41	c LP infeasibilities 3868
653.95/656.41	c LP valid Farkas constraints 3868
653.95/656.41	c LP learned Farkas constraints 3868
653.95/656.41	c LP basis resets 0
653.95/656.41	c LP cycling count 0
653.95/656.41	c LP singular count 0
653.95/656.41	c LP no primal count 0
653.95/656.41	c LP no farkas count 0
653.95/656.41	c LP other issue count 0
653.95/656.41	c LP Gomory cuts 0
653.95/656.41	c LP learned cuts 0
653.95/656.41	c LP deleted cuts 0
653.95/656.41	c LP encountered Gomory constraints 0
653.95/656.41	c LP encountered Farkas constraints 548889
653.95/656.41	c LP encountered learned Farkas constraints 156416
653.95/656.41	c CG auxiliary variables introduced 414
653.95/656.41	c CG solutions found 29
653.95/656.41	c CG cores constructed 140
653.95/656.41	c CG core cardinality constraints returned 0
653.95/656.41	c CG unit cores 0
653.95/656.41	c CG single cores 140
653.95/656.41	c CG blocks removed during cardinality reduction 0
653.95/656.41	c CG first core best 0
653.95/656.41	c CG decision core best 0
653.95/656.41	c CG core reduction tie 0
653.95/656.41	c CG core degree average 1.00
653.95/656.41	c CG core slack average 4.96
653.95/656.41	o 140
653.95/656.41	s OPTIMUM FOUND
653.97/656.64	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 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 -x557 x558 x559 -x560

Verifier Data 

OK	140

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS 140 <= obj <= 140
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 140 <= obj <= 140
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 140 <= obj <= 140
--summary--
ALL OK

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: 63931 MiB (56569 MiB free)
  memory of node 1: 64510 MiB (55487 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460958-1722073111/watcher-4460958-1722073111 -o /tmp/evaluation-result-4460958-1722073111/solver-4460958-1722073111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460958-1722073111 --lp-cut-gomory=0 HOME/instance-4460958-1722073111.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=313777, runsolver pid=313774

[startup+0.100058 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114744928/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=39000 memory=8932 CPUtime=0.1 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 652 0 0 0 9 1 0 0 20 0 1 0 43841430 39936000 2233 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 9750 2233 1764 992 0 1608 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39000 KiB
Current children cumulated memory: 8932 KiB

[startup+0.205831 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114739520/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=39780 memory=12440 CPUtime=0.2 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 1004 0 0 0 18 2 0 0 20 0 1 0 43841430 40734720 3110 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 9945 3110 1811 992 0 1803 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39780 KiB
Current children cumulated memory: 12440 KiB

[startup+0.305771 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114735152/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=42848 memory=15336 CPUtime=0.3 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 1753 0 0 0 26 4 0 0 20 0 1 0 43841430 43876352 3834 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 10712 3834 1811 992 0 2570 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42848 KiB
Current children cumulated memory: 15336 KiB

[startup+0.700196 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114732332/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=43992 memory=16952 CPUtime=0.68 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 2075 0 0 0 62 6 0 0 20 0 1 0 43841430 45047808 4238 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 10998 4238 1890 992 0 2856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 16952 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114724940/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=47380 memory=21280 CPUtime=1.49 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 3128 0 0 0 136 13 0 0 20 0 1 0 43841430 48517120 5320 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 11845 5320 1890 992 0 3703 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47380 KiB
Current children cumulated memory: 21280 KiB

[startup+3.10568 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114699280/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=53752 memory=27704 CPUtime=3.09 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 4718 0 0 0 287 22 0 0 20 0 1 0 43841430 55042048 6926 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 13438 6926 1890 992 0 5296 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53752 KiB
Current children cumulated memory: 27704 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114671720/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=59776 memory=29644 CPUtime=6.27 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 5250 0 0 0 589 38 0 0 20 0 1 0 43841430 61210624 7411 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 14944 7411 1890 992 0 6802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59776 KiB
Current children cumulated memory: 29644 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 313780
/proc/meminfo: memFree=114610040/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=63868 memory=36748 CPUtime=12.64 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 6543 0 0 0 1197 67 0 0 20 0 1 0 43841430 65400832 9187 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 15967 9187 1890 992 0 7825 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 63868 KiB
Current children cumulated memory: 36748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 313782
/proc/meminfo: memFree=114477636/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=94444 memory=56572 CPUtime=25.4 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 10013 0 0 0 2429 111 0 0 20 0 1 0 43841430 96710656 14143 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 23611 14143 1890 992 0 15469 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 94444 KiB
Current children cumulated memory: 56572 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 313788
/proc/meminfo: memFree=114240472/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=101564 memory=64860 CPUtime=50.92 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 11667 0 0 0 4903 189 0 0 20 0 1 0 43841430 104001536 16215 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 25391 16215 1890 992 0 17249 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 64860 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 313803
/proc/meminfo: memFree=113864448/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=137680 memory=91792 CPUtime=101.93 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 16212 0 0 0 9897 296 0 0 20 0 1 0 43841430 140984320 22948 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 34420 22948 1890 992 0 26278 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 137680 KiB
Current children cumulated memory: 91792 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 313862
/proc/meminfo: memFree=119151004/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=146220 memory=98604 CPUtime=161.71 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 18054 0 0 0 15783 388 0 0 20 0 1 0 43841430 149729280 24651 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 36555 24651 1890 992 0 28413 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 146220 KiB
Current children cumulated memory: 98604 KiB

[startup+222.301 s]
/proc/loadavg: 4.28 4.16 4.11 5/267 313876
/proc/meminfo: memFree=115326044/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=159596 memory=109120 CPUtime=221.5 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 21008 0 0 0 21683 467 0 0 20 0 1 0 43841430 163426304 27280 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 39899 27280 1890 992 0 31757 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 159596 KiB
Current children cumulated memory: 109120 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/268 313887
/proc/meminfo: memFree=111664848/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=169488 memory=130944 CPUtime=281.28 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 23642 0 0 0 27570 558 0 0 20 0 1 0 43841430 173555712 32736 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 42372 32736 1890 992 0 34230 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 169488 KiB
Current children cumulated memory: 130944 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 313899
/proc/meminfo: memFree=108362612/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=181248 memory=140276 CPUtime=341.03 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 26119 0 0 0 33489 614 0 0 20 0 1 0 43841430 185597952 35069 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 45312 35069 1890 992 0 37170 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 181248 KiB
Current children cumulated memory: 140276 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/267 313909
/proc/meminfo: memFree=105479312/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=181196 memory=144520 CPUtime=400.79 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 26294 0 0 0 39392 687 0 0 20 0 1 0 43841430 185544704 36130 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 45299 36130 1890 992 0 37157 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 181196 KiB
Current children cumulated memory: 144520 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 313920
/proc/meminfo: memFree=102934076/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=181332 memory=154612 CPUtime=460.58 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 26374 0 0 0 45305 753 0 0 20 0 1 0 43841430 185683968 38653 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 45333 38653 1890 992 0 37191 0
Current children cumulated CPU time: 460.58 s
Current children cumulated vsize: 181332 KiB
Current children cumulated memory: 154612 KiB

[startup+522.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/266 313932
/proc/meminfo: memFree=100633432/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=183344 memory=155716 CPUtime=520.36 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 26756 0 0 0 51233 803 0 0 20 0 1 0 43841430 187744256 38929 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 45836 38929 1890 992 0 37694 0
Current children cumulated CPU time: 520.36 s
Current children cumulated vsize: 183344 KiB
Current children cumulated memory: 155716 KiB

[startup+582.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/265 313942
/proc/meminfo: memFree=98329776/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=190704 memory=161180 CPUtime=580.14 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 28578 0 0 0 57121 893 0 0 20 0 1 0 43841430 195280896 40295 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 47676 40295 1890 992 0 39534 0
Current children cumulated CPU time: 580.14 s
Current children cumulated vsize: 190704 KiB
Current children cumulated memory: 161180 KiB

[startup+642.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/263 313952
/proc/meminfo: memFree=96764404/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=231380 memory=178800 CPUtime=639.91 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 30994 0 0 0 63053 938 0 0 20 0 1 0 43841430 236933120 44700 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 57845 44700 1890 992 0 49703 0
Current children cumulated CPU time: 639.91 s
Current children cumulated vsize: 231380 KiB
Current children cumulated memory: 178800 KiB

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

# cumulated CPU time of all completed processes:  user=644.507 s, system=9.47633 s

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

[startup+646.4 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 313952
/proc/meminfo: memFree=96750300/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=232148 memory=179328 CPUtime=643.99 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 31140 0 0 0 63459 940 0 0 20 0 1 0 43841430 237719552 44832 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58037 44832 1890 992 0 49895 0
Current children cumulated CPU time: 643.99 s
Current children cumulated vsize: 232148 KiB
Current children cumulated memory: 179328 KiB

[startup+652.8 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 313954
/proc/meminfo: memFree=96724076/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=232660 memory=181900 CPUtime=650.36 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 31255 0 0 0 64092 944 0 0 20 0 1 0 43841430 238243840 45475 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58165 45475 1890 992 0 50023 0
Current children cumulated CPU time: 650.36 s
Current children cumulated vsize: 232660 KiB
Current children cumulated memory: 181900 KiB

[startup+654.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 313954
/proc/meminfo: memFree=96709008/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=232660 memory=181900 CPUtime=651.96 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 31261 0 0 0 64251 945 0 0 20 0 1 0 43841430 238243840 45475 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58165 45475 1890 992 0 50023 0
Current children cumulated CPU time: 651.96 s
Current children cumulated vsize: 232660 KiB
Current children cumulated memory: 181900 KiB

[startup+656 s]*
/proc/loadavg: 4.12 4.14 4.10 5/263 313954
/proc/meminfo: memFree=96679016/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=233432 memory=182204 CPUtime=653.56 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 31396 0 0 0 64410 946 0 0 20 0 1 0 43841430 239034368 45551 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58358 45551 1890 992 0 50216 0
Current children cumulated CPU time: 653.56 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 182204 KiB

[startup+656.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 313954
/proc/meminfo: memFree=96679016/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=233432 memory=182352 CPUtime=653.95 cores=0,2
/proc/313777/stat : 313777 (roundingsat) R 313774 313777 307164 0 -1 4194304 31569 0 0 0 64448 947 0 0 20 0 1 0 43841430 239034368 45588 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58358 45588 1890 992 0 50216 0
Current children cumulated CPU time: 653.95 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 182352 KiB

[startup+656.6 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 313954
/proc/meminfo: memFree=96679016/131524600 swapFree=131054992/131071996
[pid=313777] ppid=313774 vsize=233432 memory=182352 CPUtime=653.97 cores=0,2
/proc/313777/stat : 313777 (roundingsat) D 313774 313777 307164 0 -1 4194304 31569 0 0 0 64450 947 0 0 20 0 1 0 43841430 239034368 45588 134679101440 4194304 8254357 140730503296880 0 0 0 0 0 25182210 0 0 0 17 2 0 0 1 0 0 9037040 9046032 24612864 140730503299931 140730503300193 140730503300193 140730503307209 0
/proc/313777/statm: 58358 45588 1890 992 0 50216 0
Current children cumulated CPU time: 653.97 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 182352 KiB

Child status: 0

Real time (s): 656.645
CPU time (s): 653.983
CPU user time (s): 644.507
CPU system time (s): 9.47633
CPU usage (%): 99.5946
Max. virtual memory (cumulated for all children) (KiB): 233692
Max. memory (cumulated for all children) (KiB): 182352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 644.507
system time used= 9.47633
maximum resident set size= 182732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3784528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 4535


# summary of solver processes directly reported to runsolver:
#   pid: 313777
#   total CPU time (s): 653.983
#   total CPU user time (s): 644.507
#   total CPU system time (s): 9.47633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39372 second user time and 2.93836 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-27 11:38:31
IDJOB=4460958
IDBENCH=178101
IDSOLVER=3086
FILE ID=nodeC035/4460958-1722073111
RUNJOBID= nodeC035-1722064836-307174
SLURM_JOB_ID= 8248103
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460958-1722073111/watcher-4460958-1722073111 -o /tmp/evaluation-result-4460958-1722073111/solver-4460958-1722073111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460958-1722073111 --lp-cut-gomory=0 HOME/instance-4460958-1722073111.opb

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

MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=525794953

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3654.529
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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		: 3679.717
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
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		: 3659.146
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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.967
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
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		: 3663.707
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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		: 3679.795
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
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.921
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.917
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114747056 kB
MemAvailable:   128815308 kB
Buffers:          380232 kB
Cached:         14495460 kB
SwapCached:          296 kB
Active:          2357044 kB
Inactive:       13771104 kB
Active(anon):       1996 kB
Inactive(anon):  1303816 kB
Active(file):    2355048 kB
Inactive(file): 12467288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054992 kB
Dirty:             72064 kB
Writeback:           248 kB
AnonPages:       1249848 kB
Mapped:           115532 kB
Shmem:             53220 kB
KReclaimable:     171128 kB
Slab:             293344 kB
SReclaimable:     171128 kB
SUnreclaim:       122216 kB
KernelStack:        4160 kB
PageTables:        11936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1606280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC035 at 2024-07-27 11:49:28