0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4542038-1753211687.opb'
0.00/0.02 c read 0.08MB (1.43ms)
0.00/0.02 c [cnf: #variables 3571 #clauses 1850 #duplicates 0 #arr 7089]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1046] (3.08ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.02 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c found row 3x4, generating row predicate
0.00/0.03 c (2.95ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 15157 #edges 33650]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 6.53*10^233 #generators 495] (3.11ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c ran it=0, +gens=4
0.00/0.06 c con best_support=4, best_gens=47, +gens=251
0.00/0.06 c (28.88ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c add generic predicates (break_depth=10)
0.00/0.06 c added predicates for 750 generators (0.23ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 5369 #add_vars 1521]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4542038-1753211687.opb.pre'
0.00/0.06 c wrote 0.26MB (0.70ms)
0.00/0.06 c ------------------------------------------------------------------
0.00/0.06 c 28.88ms 70.54% optimize_gens
0.00/0.06 c 3.11ms 7.61% detect_generic
0.00/0.06 c 3.08ms 7.53% approx_orbits
0.00/0.06 c 2.95ms 7.21% detect_special
0.00/0.06 c 1.43ms 3.49% parse
0.00/0.06 c 0.70ms 1.71% output
0.00/0.06 c 0.39ms 0.96% other
0.00/0.06 c 0.23ms 0.56% break_generic
0.00/0.06 c 0.16ms 0.39% finalize_order
0.00/0.06 c ───────────────────────────────────────────────
0.00/0.06 c 40.93ms 100% total
0.00/0.06 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.05/0.11 c #variables 5092 #constraints 8703
19.99/20.19 c #Conflicts: 1000 | #Constraints: 9702
19.99/20.19 c #Conflicts: 2000 | #Constraints: 10702
19.99/20.19 c INPROCESSING
19.99/20.19 c GARBAGE COLLECT
19.99/20.19 c #Conflicts: 3000 | #Constraints: 10649
19.99/20.19 c #Conflicts: 4000 | #Constraints: 11649
19.99/20.19 c INPROCESSING
19.99/20.19 c GARBAGE COLLECT
19.99/20.19 c #Conflicts: 5000 | #Constraints: 11058
19.99/20.19 c #Conflicts: 6000 | #Constraints: 12058
19.99/20.19 c INPROCESSING
19.99/20.19 c GARBAGE COLLECT
19.99/20.19 c #Conflicts: 7000 | #Constraints: 11060
19.99/20.19 c #Conflicts: 8000 | #Constraints: 12060
19.99/20.19 c #Conflicts: 9000 | #Constraints: 13060
19.99/20.19 c INPROCESSING
19.99/20.19 c GARBAGE COLLECT
19.99/20.19 c #Conflicts: 10000 | #Constraints: 11768
19.99/20.19 c #Conflicts: 11000 | #Constraints: 12768
19.99/20.19 c #Conflicts: 12000 | #Constraints: 13768
19.99/20.19 c INPROCESSING
19.99/20.19 c GARBAGE COLLECT
19.99/20.19 c rational objective 959.909
42.03/42.21 c #Conflicts: 13000 | #Constraints: 12273
42.03/42.21 c #Conflicts: 14000 | #Constraints: 13273
42.03/42.21 c #Conflicts: 15000 | #Constraints: 14273
42.03/42.21 c INPROCESSING
42.03/42.21 c GARBAGE COLLECT
42.03/42.21 c #Conflicts: 16000 | #Constraints: 12510
42.03/42.21 c #Conflicts: 17000 | #Constraints: 13510
42.03/42.21 c #Conflicts: 18000 | #Constraints: 14510
42.03/42.21 c INPROCESSING
42.03/42.21 c GARBAGE COLLECT
42.03/42.21 c #Conflicts: 19000 | #Constraints: 12518
42.03/42.21 c #Conflicts: 20000 | #Constraints: 13518
42.03/42.21 c #Conflicts: 21000 | #Constraints: 14518
42.03/42.21 c INPROCESSING
42.03/42.21 c GARBAGE COLLECT
42.03/42.21 c rational objective 985.464
74.03/74.35 c #Conflicts: 22000 | #Constraints: 12358
74.03/74.35 c #Conflicts: 23000 | #Constraints: 13358
74.03/74.35 c #Conflicts: 24000 | #Constraints: 14358
74.03/74.35 c #Conflicts: 25000 | #Constraints: 15358
74.03/74.35 c INPROCESSING
74.03/74.35 c GARBAGE COLLECT
74.03/74.35 c #Conflicts: 26000 | #Constraints: 12953
74.03/74.35 c #Conflicts: 27000 | #Constraints: 13953
74.03/74.35 c #Conflicts: 28000 | #Constraints: 14953
74.03/74.35 c #Conflicts: 29000 | #Constraints: 15953
74.03/74.35 c INPROCESSING
74.03/74.35 c GARBAGE COLLECT
74.03/74.35 c #Conflicts: 30000 | #Constraints: 13352
74.03/74.35 c #Conflicts: 31000 | #Constraints: 14352
74.03/74.35 c #Conflicts: 32000 | #Constraints: 15352
74.03/74.35 c #Conflicts: 33000 | #Constraints: 16352
74.03/74.35 c INPROCESSING
74.03/74.35 c GARBAGE COLLECT
74.03/74.35 c #Conflicts: 34000 | #Constraints: 13551
74.03/74.35 c #Conflicts: 35000 | #Constraints: 14551
74.03/74.35 c #Conflicts: 36000 | #Constraints: 15551
74.03/74.35 c #Conflicts: 37000 | #Constraints: 16551
74.03/74.35 c INPROCESSING
74.03/74.35 c GARBAGE COLLECT
74.03/74.35 c rational objective 996.975
110.92/111.30 c #Conflicts: 38000 | #Constraints: 13594
110.92/111.30 c #Conflicts: 39000 | #Constraints: 14594
110.92/111.30 c #Conflicts: 40000 | #Constraints: 15594
110.92/111.30 c #Conflicts: 41000 | #Constraints: 16594
110.92/111.30 c INPROCESSING
110.92/111.30 c GARBAGE COLLECT
110.92/111.30 c #Conflicts: 42000 | #Constraints: 13412
110.92/111.30 c #Conflicts: 43000 | #Constraints: 14412
110.92/111.30 c #Conflicts: 44000 | #Constraints: 15412
110.92/111.30 c #Conflicts: 45000 | #Constraints: 16412
110.92/111.30 c #Conflicts: 46000 | #Constraints: 17412
110.92/111.30 c INPROCESSING
110.92/111.30 c GARBAGE COLLECT
110.92/111.30 c #Conflicts: 47000 | #Constraints: 14006
110.92/111.30 c #Conflicts: 48000 | #Constraints: 15006
110.92/111.30 c #Conflicts: 49000 | #Constraints: 16006
110.92/111.30 c #Conflicts: 50000 | #Constraints: 17006
110.92/111.30 c #Conflicts: 51000 | #Constraints: 18006
110.92/111.30 c INPROCESSING
110.92/111.30 c GARBAGE COLLECT
110.92/111.30 c #Conflicts: 52000 | #Constraints: 14409
110.92/111.30 c #Conflicts: 53000 | #Constraints: 15409
110.92/111.30 c #Conflicts: 54000 | #Constraints: 16409
110.92/111.30 c #Conflicts: 55000 | #Constraints: 17409
110.92/111.30 c #Conflicts: 56000 | #Constraints: 18409
110.92/111.30 c INPROCESSING
110.92/111.30 c GARBAGE COLLECT
110.92/111.30 c rational objective 1010.1
223.01/223.75 c #Conflicts: 57000 | #Constraints: 14663
223.01/223.75 c #Conflicts: 58000 | #Constraints: 15663
223.01/223.75 c #Conflicts: 59000 | #Constraints: 16663
223.01/223.75 c #Conflicts: 60000 | #Constraints: 17663
223.01/223.75 c #Conflicts: 61000 | #Constraints: 18663
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 62000 | #Constraints: 14656
223.01/223.75 c #Conflicts: 63000 | #Constraints: 15656
223.01/223.75 c #Conflicts: 64000 | #Constraints: 16658
223.01/223.75 c #Conflicts: 65000 | #Constraints: 17704
223.01/223.75 c #Conflicts: 66000 | #Constraints: 18704
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 67000 | #Constraints: 14462
223.01/223.75 c #Conflicts: 68000 | #Constraints: 15462
223.01/223.75 c #Conflicts: 69000 | #Constraints: 16462
223.01/223.75 c #Conflicts: 70000 | #Constraints: 17462
223.01/223.75 c #Conflicts: 71000 | #Constraints: 18462
223.01/223.75 c #Conflicts: 72000 | #Constraints: 19462
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 73000 | #Constraints: 15040
223.01/223.75 c #Conflicts: 74000 | #Constraints: 16040
223.01/223.75 c #Conflicts: 75000 | #Constraints: 17040
223.01/223.75 c #Conflicts: 76000 | #Constraints: 18040
223.01/223.75 c #Conflicts: 77000 | #Constraints: 19040
223.01/223.75 c #Conflicts: 78000 | #Constraints: 20040
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 79000 | #Constraints: 15443
223.01/223.75 c #Conflicts: 80000 | #Constraints: 16443
223.01/223.75 c #Conflicts: 81000 | #Constraints: 17443
223.01/223.75 c #Conflicts: 82000 | #Constraints: 18443
223.01/223.75 c #Conflicts: 83000 | #Constraints: 19443
223.01/223.75 c #Conflicts: 84000 | #Constraints: 20443
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 85000 | #Constraints: 15651
223.01/223.75 c #Conflicts: 86000 | #Constraints: 16651
223.01/223.75 c #Conflicts: 87000 | #Constraints: 17651
223.01/223.75 c #Conflicts: 88000 | #Constraints: 18651
223.01/223.75 c #Conflicts: 89000 | #Constraints: 19651
223.01/223.75 c #Conflicts: 90000 | #Constraints: 20651
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 91000 | #Constraints: 15655
223.01/223.75 c #Conflicts: 92000 | #Constraints: 16655
223.01/223.75 c #Conflicts: 93000 | #Constraints: 17655
223.01/223.75 c #Conflicts: 94000 | #Constraints: 18655
223.01/223.75 c #Conflicts: 95000 | #Constraints: 19655
223.01/223.75 c #Conflicts: 96000 | #Constraints: 20655
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 97000 | #Constraints: 15452
223.01/223.75 c #Conflicts: 98000 | #Constraints: 16452
223.01/223.75 c #Conflicts: 99000 | #Constraints: 17452
223.01/223.75 c #Conflicts: 100000 | #Constraints: 18452
223.01/223.75 c #Conflicts: 101000 | #Constraints: 19452
223.01/223.75 c #Conflicts: 102000 | #Constraints: 20452
223.01/223.75 c #Conflicts: 103000 | #Constraints: 21452
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c #Conflicts: 104000 | #Constraints: 16046
223.01/223.75 c #Conflicts: 105000 | #Constraints: 17046
223.01/223.75 c #Conflicts: 106000 | #Constraints: 18046
223.01/223.75 c #Conflicts: 107000 | #Constraints: 19046
223.01/223.75 c #Conflicts: 108000 | #Constraints: 20046
223.01/223.75 c #Conflicts: 109000 | #Constraints: 21046
223.01/223.75 c #Conflicts: 110000 | #Constraints: 22046
223.01/223.75 c INPROCESSING
223.01/223.75 c GARBAGE COLLECT
223.01/223.75 c rational objective 1045.47
331.13/332.12 c #Conflicts: 111000 | #Constraints: 16486
331.13/332.12 c #Conflicts: 112000 | #Constraints: 17486
331.13/332.12 c #Conflicts: 113000 | #Constraints: 18486
331.13/332.12 c #Conflicts: 114000 | #Constraints: 19486
331.13/332.12 c #Conflicts: 115000 | #Constraints: 20486
331.13/332.12 c #Conflicts: 116000 | #Constraints: 21487
331.13/332.12 c #Conflicts: 117000 | #Constraints: 22593
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 118000 | #Constraints: 16735
331.13/332.12 c #Conflicts: 119000 | #Constraints: 17735
331.13/332.12 c #Conflicts: 120000 | #Constraints: 18735
331.13/332.12 c #Conflicts: 121000 | #Constraints: 19735
331.13/332.12 c #Conflicts: 122000 | #Constraints: 20735
331.13/332.12 c #Conflicts: 123000 | #Constraints: 21735
331.13/332.12 c #Conflicts: 124000 | #Constraints: 22735
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 125000 | #Constraints: 16704
331.13/332.12 c #Conflicts: 126000 | #Constraints: 17704
331.13/332.12 c #Conflicts: 127000 | #Constraints: 18704
331.13/332.12 c #Conflicts: 128000 | #Constraints: 19704
331.13/332.12 c #Conflicts: 129000 | #Constraints: 20704
331.13/332.12 c #Conflicts: 130000 | #Constraints: 21704
331.13/332.12 c #Conflicts: 131000 | #Constraints: 22704
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 132000 | #Constraints: 16499
331.13/332.12 c #Conflicts: 133000 | #Constraints: 17499
331.13/332.12 c #Conflicts: 134000 | #Constraints: 18499
331.13/332.12 c #Conflicts: 135000 | #Constraints: 19499
331.13/332.12 c #Conflicts: 136000 | #Constraints: 20499
331.13/332.12 c #Conflicts: 137000 | #Constraints: 21499
331.13/332.12 c #Conflicts: 138000 | #Constraints: 22499
331.13/332.12 c #Conflicts: 139000 | #Constraints: 23499
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 140000 | #Constraints: 17085
331.13/332.12 c #Conflicts: 141000 | #Constraints: 18085
331.13/332.12 c #Conflicts: 142000 | #Constraints: 19085
331.13/332.12 c #Conflicts: 143000 | #Constraints: 20085
331.13/332.12 c #Conflicts: 144000 | #Constraints: 21086
331.13/332.12 c #Conflicts: 145000 | #Constraints: 22705
331.13/332.12 c #Conflicts: 146000 | #Constraints: 23922
331.13/332.12 c #Conflicts: 147000 | #Constraints: 24944
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 148000 | #Constraints: 17925
331.13/332.12 c #Conflicts: 149000 | #Constraints: 19107
331.13/332.12 c #Conflicts: 150000 | #Constraints: 20164
331.13/332.12 c #Conflicts: 151000 | #Constraints: 21164
331.13/332.12 c #Conflicts: 152000 | #Constraints: 22164
331.13/332.12 c #Conflicts: 153000 | #Constraints: 23164
331.13/332.12 c #Conflicts: 154000 | #Constraints: 24164
331.13/332.12 c #Conflicts: 155000 | #Constraints: 25164
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c #Conflicts: 156000 | #Constraints: 18022
331.13/332.12 c #Conflicts: 157000 | #Constraints: 19022
331.13/332.12 c #Conflicts: 158000 | #Constraints: 20022
331.13/332.12 c #Conflicts: 159000 | #Constraints: 21022
331.13/332.12 c #Conflicts: 160000 | #Constraints: 22022
331.13/332.12 c #Conflicts: 161000 | #Constraints: 23022
331.13/332.12 c #Conflicts: 162000 | #Constraints: 24022
331.13/332.12 c #Conflicts: 163000 | #Constraints: 25022
331.13/332.12 c INPROCESSING
331.13/332.12 c GARBAGE COLLECT
331.13/332.12 c rational objective 1065.55
352.68/353.75 c #Conflicts: 164000 | #Constraints: 17869
352.68/353.75 c #Conflicts: 165000 | #Constraints: 18869
352.68/353.75 c #Conflicts: 166000 | #Constraints: 19869
352.68/353.75 c #Conflicts: 167000 | #Constraints: 20870
352.68/353.75 c #Conflicts: 168000 | #Constraints: 21870
352.68/353.75 c #Conflicts: 169000 | #Constraints: 22870
352.68/353.75 c #Conflicts: 170000 | #Constraints: 23874
352.68/353.75 c #Conflicts: 171000 | #Constraints: 24882
352.68/353.75 c INPROCESSING
352.68/353.75 c GARBAGE COLLECT
352.68/353.75 c rational objective 1077.24
543.09/544.66 c #Conflicts: 172000 | #Constraints: 17634
543.09/544.66 c #Conflicts: 173000 | #Constraints: 18634
543.09/544.66 c #Conflicts: 174000 | #Constraints: 19634
543.09/544.66 c #Conflicts: 175000 | #Constraints: 20634
543.09/544.66 c #Conflicts: 176000 | #Constraints: 21634
543.09/544.66 c #Conflicts: 177000 | #Constraints: 22634
543.09/544.66 c #Conflicts: 178000 | #Constraints: 23635
543.09/544.66 c #Conflicts: 179000 | #Constraints: 24635
543.09/544.66 c #Conflicts: 180000 | #Constraints: 25635
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 181000 | #Constraints: 18155
543.09/544.66 c #Conflicts: 182000 | #Constraints: 19155
543.09/544.66 c #Conflicts: 183000 | #Constraints: 20155
543.09/544.66 c #Conflicts: 184000 | #Constraints: 21155
543.09/544.66 c #Conflicts: 185000 | #Constraints: 22155
543.09/544.66 c #Conflicts: 186000 | #Constraints: 23155
543.09/544.66 c #Conflicts: 187000 | #Constraints: 24155
543.09/544.66 c #Conflicts: 188000 | #Constraints: 25155
543.09/544.66 c #Conflicts: 189000 | #Constraints: 26155
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 190000 | #Constraints: 18522
543.09/544.66 c #Conflicts: 191000 | #Constraints: 19522
543.09/544.66 c #Conflicts: 192000 | #Constraints: 20522
543.09/544.66 c #Conflicts: 193000 | #Constraints: 21522
543.09/544.66 c #Conflicts: 194000 | #Constraints: 22522
543.09/544.66 c #Conflicts: 195000 | #Constraints: 23522
543.09/544.66 c #Conflicts: 196000 | #Constraints: 24522
543.09/544.66 c #Conflicts: 197000 | #Constraints: 25522
543.09/544.66 c #Conflicts: 198000 | #Constraints: 26522
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 199000 | #Constraints: 18729
543.09/544.66 c #Conflicts: 200000 | #Constraints: 19729
543.09/544.66 c #Conflicts: 201000 | #Constraints: 20730
543.09/544.66 c #Conflicts: 202000 | #Constraints: 21730
543.09/544.66 c #Conflicts: 203000 | #Constraints: 22730
543.09/544.66 c #Conflicts: 204000 | #Constraints: 23730
543.09/544.66 c #Conflicts: 205000 | #Constraints: 24730
543.09/544.66 c #Conflicts: 206000 | #Constraints: 25730
543.09/544.66 c #Conflicts: 207000 | #Constraints: 26730
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 208000 | #Constraints: 18708
543.09/544.66 c #Conflicts: 209000 | #Constraints: 19708
543.09/544.66 c #Conflicts: 210000 | #Constraints: 20708
543.09/544.66 c #Conflicts: 211000 | #Constraints: 21708
543.09/544.66 c #Conflicts: 212000 | #Constraints: 22708
543.09/544.66 c #Conflicts: 213000 | #Constraints: 23708
543.09/544.66 c #Conflicts: 214000 | #Constraints: 24708
543.09/544.66 c #Conflicts: 215000 | #Constraints: 25708
543.09/544.66 c #Conflicts: 216000 | #Constraints: 26708
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 217000 | #Constraints: 18494
543.09/544.66 c #Conflicts: 218000 | #Constraints: 19494
543.09/544.66 c #Conflicts: 219000 | #Constraints: 20494
543.09/544.66 c #Conflicts: 220000 | #Constraints: 21494
543.09/544.66 c #Conflicts: 221000 | #Constraints: 22494
543.09/544.66 c #Conflicts: 222000 | #Constraints: 23494
543.09/544.66 c #Conflicts: 223000 | #Constraints: 24494
543.09/544.66 c #Conflicts: 224000 | #Constraints: 25494
543.09/544.66 c #Conflicts: 225000 | #Constraints: 26494
543.09/544.66 c #Conflicts: 226000 | #Constraints: 27494
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 227000 | #Constraints: 19089
543.09/544.66 c #Conflicts: 228000 | #Constraints: 20089
543.09/544.66 c #Conflicts: 229000 | #Constraints: 21089
543.09/544.66 c #Conflicts: 230000 | #Constraints: 22089
543.09/544.66 c #Conflicts: 231000 | #Constraints: 23089
543.09/544.66 c #Conflicts: 232000 | #Constraints: 24089
543.09/544.66 c #Conflicts: 233000 | #Constraints: 25089
543.09/544.66 c #Conflicts: 234000 | #Constraints: 26089
543.09/544.66 c #Conflicts: 235000 | #Constraints: 27089
543.09/544.66 c #Conflicts: 236000 | #Constraints: 28089
543.09/544.66 c INPROCESSING
543.09/544.66 c GARBAGE COLLECT
543.09/544.66 c #Conflicts: 237000 | #Constraints: 19535
543.09/544.66 c #Conflicts: 238000 | #Constraints: 20535
543.09/544.66 c #Conflicts: 239000 | #Constraints: 21535
543.09/544.66 c #Conflicts: 240000 | #Constraints: 22535
543.09/544.66 c #Conflicts: 241000 | #Constraints: 23535
543.09/544.66 c #Conflicts: 242000 | #Constraints: 24535
543.09/544.66 c #Conflicts: 243000 | #Constraints: 25535
543.09/544.66 c #Conflicts: 244000 | #Constraints: 26535
543.09/544.66 c #Conflicts: 245000 | #Constraints: 27535
543.09/544.66 c #Conflicts: 246000 | #Constraints: 28535
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c #Conflicts: 247000 | #Constraints: 19749
688.90/690.89 c #Conflicts: 248000 | #Constraints: 20749
688.90/690.89 c #Conflicts: 249000 | #Constraints: 21749
688.90/690.89 c #Conflicts: 250000 | #Constraints: 22749
688.90/690.89 c #Conflicts: 251000 | #Constraints: 23749
688.90/690.89 c #Conflicts: 252000 | #Constraints: 24749
688.90/690.89 c #Conflicts: 253000 | #Constraints: 25749
688.90/690.89 c #Conflicts: 254000 | #Constraints: 26749
688.90/690.89 c #Conflicts: 255000 | #Constraints: 27749
688.90/690.89 c #Conflicts: 256000 | #Constraints: 28749
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c #Conflicts: 257000 | #Constraints: 19740
688.90/690.89 c #Conflicts: 258000 | #Constraints: 20740
688.90/690.89 c #Conflicts: 259000 | #Constraints: 21740
688.90/690.89 c #Conflicts: 260000 | #Constraints: 22740
688.90/690.89 c #Conflicts: 261000 | #Constraints: 23740
688.90/690.89 c #Conflicts: 262000 | #Constraints: 24740
688.90/690.89 c #Conflicts: 263000 | #Constraints: 25740
688.90/690.89 c #Conflicts: 264000 | #Constraints: 26740
688.90/690.89 c #Conflicts: 265000 | #Constraints: 27740
688.90/690.89 c #Conflicts: 266000 | #Constraints: 28740
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c #Conflicts: 267000 | #Constraints: 19526
688.90/690.89 c #Conflicts: 268000 | #Constraints: 20526
688.90/690.89 c #Conflicts: 269000 | #Constraints: 21526
688.90/690.89 c #Conflicts: 270000 | #Constraints: 22526
688.90/690.89 c #Conflicts: 271000 | #Constraints: 23526
688.90/690.89 c #Conflicts: 272000 | #Constraints: 24526
688.90/690.89 c #Conflicts: 273000 | #Constraints: 25527
688.90/690.89 c #Conflicts: 274000 | #Constraints: 26527
688.90/690.89 c #Conflicts: 275000 | #Constraints: 27527
688.90/690.89 c #Conflicts: 276000 | #Constraints: 28527
688.90/690.89 c #Conflicts: 277000 | #Constraints: 29527
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c #Conflicts: 278000 | #Constraints: 20141
688.90/690.89 c #Conflicts: 279000 | #Constraints: 21141
688.90/690.89 c #Conflicts: 280000 | #Constraints: 22141
688.90/690.89 c #Conflicts: 281000 | #Constraints: 23141
688.90/690.89 c #Conflicts: 282000 | #Constraints: 24141
688.90/690.89 c #Conflicts: 283000 | #Constraints: 25141
688.90/690.89 c #Conflicts: 284000 | #Constraints: 26141
688.90/690.89 c #Conflicts: 285000 | #Constraints: 27141
688.90/690.89 c #Conflicts: 286000 | #Constraints: 28141
688.90/690.89 c #Conflicts: 287000 | #Constraints: 29141
688.90/690.89 c #Conflicts: 288000 | #Constraints: 30141
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c #Conflicts: 289000 | #Constraints: 20546
688.90/690.89 c #Conflicts: 290000 | #Constraints: 21546
688.90/690.89 c #Conflicts: 291000 | #Constraints: 22546
688.90/690.89 c #Conflicts: 292000 | #Constraints: 23546
688.90/690.89 c #Conflicts: 293000 | #Constraints: 24547
688.90/690.89 c #Conflicts: 294000 | #Constraints: 25547
688.90/690.89 c #Conflicts: 295000 | #Constraints: 26547
688.90/690.89 c #Conflicts: 296000 | #Constraints: 27547
688.90/690.89 c #Conflicts: 297000 | #Constraints: 28547
688.90/690.89 c #Conflicts: 298000 | #Constraints: 29547
688.90/690.89 c #Conflicts: 299000 | #Constraints: 30547
688.90/690.89 c INPROCESSING
688.90/690.89 c GARBAGE COLLECT
688.90/690.89 c rational objective 1090.37
918.27/920.80 c #Conflicts: 300000 | #Constraints: 20829
918.27/920.80 c #Conflicts: 301000 | #Constraints: 21829
918.27/920.80 c #Conflicts: 302000 | #Constraints: 22829
918.27/920.80 c #Conflicts: 303000 | #Constraints: 23829
918.27/920.80 c #Conflicts: 304000 | #Constraints: 24829
918.27/920.80 c #Conflicts: 305000 | #Constraints: 25829
918.27/920.80 c #Conflicts: 306000 | #Constraints: 26829
918.27/920.80 c #Conflicts: 307000 | #Constraints: 27829
918.27/920.80 c #Conflicts: 308000 | #Constraints: 28829
918.27/920.80 c #Conflicts: 309000 | #Constraints: 29829
918.27/920.80 c #Conflicts: 310000 | #Constraints: 30829
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 311000 | #Constraints: 20829
918.27/920.80 c #Conflicts: 312000 | #Constraints: 21829
918.27/920.80 c #Conflicts: 313000 | #Constraints: 22829
918.27/920.80 c #Conflicts: 314000 | #Constraints: 23829
918.27/920.80 c #Conflicts: 315000 | #Constraints: 24829
918.27/920.80 c #Conflicts: 316000 | #Constraints: 25829
918.27/920.80 c #Conflicts: 317000 | #Constraints: 26829
918.27/920.80 c #Conflicts: 318000 | #Constraints: 27829
918.27/920.80 c #Conflicts: 319000 | #Constraints: 28829
918.27/920.80 c #Conflicts: 320000 | #Constraints: 29829
918.27/920.80 c #Conflicts: 321000 | #Constraints: 30829
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 322000 | #Constraints: 20624
918.27/920.80 c #Conflicts: 323000 | #Constraints: 21624
918.27/920.80 c #Conflicts: 324000 | #Constraints: 22624
918.27/920.80 c #Conflicts: 325000 | #Constraints: 23624
918.27/920.80 c #Conflicts: 326000 | #Constraints: 24624
918.27/920.80 c #Conflicts: 327000 | #Constraints: 25624
918.27/920.80 c #Conflicts: 328000 | #Constraints: 26624
918.27/920.80 c #Conflicts: 329000 | #Constraints: 27624
918.27/920.80 c #Conflicts: 330000 | #Constraints: 28624
918.27/920.80 c #Conflicts: 331000 | #Constraints: 29624
918.27/920.80 c #Conflicts: 332000 | #Constraints: 30624
918.27/920.80 c #Conflicts: 333000 | #Constraints: 31624
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 334000 | #Constraints: 21228
918.27/920.80 c #Conflicts: 335000 | #Constraints: 22228
918.27/920.80 c #Conflicts: 336000 | #Constraints: 23228
918.27/920.80 c #Conflicts: 337000 | #Constraints: 24228
918.27/920.80 c #Conflicts: 338000 | #Constraints: 25228
918.27/920.80 c #Conflicts: 339000 | #Constraints: 26228
918.27/920.80 c #Conflicts: 340000 | #Constraints: 27228
918.27/920.80 c #Conflicts: 341000 | #Constraints: 28228
918.27/920.80 c #Conflicts: 342000 | #Constraints: 29228
918.27/920.80 c #Conflicts: 343000 | #Constraints: 30228
918.27/920.80 c #Conflicts: 344000 | #Constraints: 31228
918.27/920.80 c #Conflicts: 345000 | #Constraints: 32228
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 346000 | #Constraints: 21619
918.27/920.80 c #Conflicts: 347000 | #Constraints: 22619
918.27/920.80 c #Conflicts: 348000 | #Constraints: 23619
918.27/920.80 c #Conflicts: 349000 | #Constraints: 24619
918.27/920.80 c #Conflicts: 350000 | #Constraints: 25619
918.27/920.80 c #Conflicts: 351000 | #Constraints: 26619
918.27/920.80 c #Conflicts: 352000 | #Constraints: 27619
918.27/920.80 c #Conflicts: 353000 | #Constraints: 28619
918.27/920.80 c #Conflicts: 354000 | #Constraints: 29619
918.27/920.80 c #Conflicts: 355000 | #Constraints: 30619
918.27/920.80 c #Conflicts: 356000 | #Constraints: 31619
918.27/920.80 c #Conflicts: 357000 | #Constraints: 32619
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 358000 | #Constraints: 21786
918.27/920.80 c #Conflicts: 359000 | #Constraints: 22786
918.27/920.80 c #Conflicts: 360000 | #Constraints: 23786
918.27/920.80 c #Conflicts: 361000 | #Constraints: 24786
918.27/920.80 c #Conflicts: 362000 | #Constraints: 25786
918.27/920.80 c #Conflicts: 363000 | #Constraints: 26786
918.27/920.80 c #Conflicts: 364000 | #Constraints: 27786
918.27/920.80 c #Conflicts: 365000 | #Constraints: 28786
918.27/920.80 c #Conflicts: 366000 | #Constraints: 29786
918.27/920.80 c #Conflicts: 367000 | #Constraints: 30786
918.27/920.80 c #Conflicts: 368000 | #Constraints: 31786
918.27/920.80 c #Conflicts: 369000 | #Constraints: 32786
918.27/920.80 c INPROCESSING
918.27/920.80 c GARBAGE COLLECT
918.27/920.80 c #Conflicts: 370000 | #Constraints: 21783
918.27/920.80 c #Conflicts: 371000 | #Constraints: 22783
918.27/920.80 c #Conflicts: 372000 | #Constraints: 23783
918.27/920.80 c #Conflicts: 373000 | #Constraints: 24783
918.27/920.80 c #Conflicts: 374000 | #Constraints: 25783
1221.04/1224.44 c #Conflicts: 375000 | #Constraints: 26783
1221.04/1224.44 c #Conflicts: 376000 | #Constraints: 27783
1221.04/1224.44 c #Conflicts: 377000 | #Constraints: 28783
1221.04/1224.44 c #Conflicts: 378000 | #Constraints: 29783
1221.04/1224.44 c #Conflicts: 379000 | #Constraints: 30783
1221.04/1224.44 c #Conflicts: 380000 | #Constraints: 31783
1221.04/1224.44 c #Conflicts: 381000 | #Constraints: 32783
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 382000 | #Constraints: 21592
1221.04/1224.44 c #Conflicts: 383000 | #Constraints: 22592
1221.04/1224.44 c #Conflicts: 384000 | #Constraints: 23592
1221.04/1224.44 c #Conflicts: 385000 | #Constraints: 24592
1221.04/1224.44 c #Conflicts: 386000 | #Constraints: 25592
1221.04/1224.44 c #Conflicts: 387000 | #Constraints: 26592
1221.04/1224.44 c #Conflicts: 388000 | #Constraints: 27592
1221.04/1224.44 c #Conflicts: 389000 | #Constraints: 28592
1221.04/1224.44 c #Conflicts: 390000 | #Constraints: 29592
1221.04/1224.44 c #Conflicts: 391000 | #Constraints: 30593
1221.04/1224.44 c #Conflicts: 392000 | #Constraints: 31593
1221.04/1224.44 c #Conflicts: 393000 | #Constraints: 32620
1221.04/1224.44 c #Conflicts: 394000 | #Constraints: 33620
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 395000 | #Constraints: 22197
1221.04/1224.44 c #Conflicts: 396000 | #Constraints: 23197
1221.04/1224.44 c #Conflicts: 397000 | #Constraints: 24197
1221.04/1224.44 c #Conflicts: 398000 | #Constraints: 25197
1221.04/1224.44 c #Conflicts: 399000 | #Constraints: 26197
1221.04/1224.44 c #Conflicts: 400000 | #Constraints: 27197
1221.04/1224.44 c #Conflicts: 401000 | #Constraints: 28197
1221.04/1224.44 c #Conflicts: 402000 | #Constraints: 29197
1221.04/1224.44 c #Conflicts: 403000 | #Constraints: 30197
1221.04/1224.44 c #Conflicts: 404000 | #Constraints: 31197
1221.04/1224.44 c #Conflicts: 405000 | #Constraints: 32197
1221.04/1224.44 c #Conflicts: 406000 | #Constraints: 33197
1221.04/1224.44 c #Conflicts: 407000 | #Constraints: 34197
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 408000 | #Constraints: 22593
1221.04/1224.44 c #Conflicts: 409000 | #Constraints: 23593
1221.04/1224.44 c #Conflicts: 410000 | #Constraints: 24593
1221.04/1224.44 c #Conflicts: 411000 | #Constraints: 25593
1221.04/1224.44 c #Conflicts: 412000 | #Constraints: 26593
1221.04/1224.44 c #Conflicts: 413000 | #Constraints: 27593
1221.04/1224.44 c #Conflicts: 414000 | #Constraints: 28593
1221.04/1224.44 c #Conflicts: 415000 | #Constraints: 29593
1221.04/1224.44 c #Conflicts: 416000 | #Constraints: 30593
1221.04/1224.44 c #Conflicts: 417000 | #Constraints: 31593
1221.04/1224.44 c #Conflicts: 418000 | #Constraints: 32593
1221.04/1224.44 c #Conflicts: 419000 | #Constraints: 33593
1221.04/1224.44 c #Conflicts: 420000 | #Constraints: 34593
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 421000 | #Constraints: 22805
1221.04/1224.44 c #Conflicts: 422000 | #Constraints: 23805
1221.04/1224.44 c #Conflicts: 423000 | #Constraints: 24805
1221.04/1224.44 c #Conflicts: 424000 | #Constraints: 25805
1221.04/1224.44 c #Conflicts: 425000 | #Constraints: 26805
1221.04/1224.44 c #Conflicts: 426000 | #Constraints: 27805
1221.04/1224.44 c #Conflicts: 427000 | #Constraints: 28805
1221.04/1224.44 c #Conflicts: 428000 | #Constraints: 29805
1221.04/1224.44 c #Conflicts: 429000 | #Constraints: 30805
1221.04/1224.44 c #Conflicts: 430000 | #Constraints: 31805
1221.04/1224.44 c #Conflicts: 431000 | #Constraints: 32805
1221.04/1224.44 c #Conflicts: 432000 | #Constraints: 33805
1221.04/1224.44 c #Conflicts: 433000 | #Constraints: 34805
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 434000 | #Constraints: 22807
1221.04/1224.44 c #Conflicts: 435000 | #Constraints: 23807
1221.04/1224.44 c #Conflicts: 436000 | #Constraints: 24808
1221.04/1224.44 c #Conflicts: 437000 | #Constraints: 25808
1221.04/1224.44 c #Conflicts: 438000 | #Constraints: 26822
1221.04/1224.44 c #Conflicts: 439000 | #Constraints: 28083
1221.04/1224.44 c #Conflicts: 440000 | #Constraints: 29572
1221.04/1224.44 c #Conflicts: 441000 | #Constraints: 31075
1221.04/1224.44 c #Conflicts: 442000 | #Constraints: 32574
1221.04/1224.44 c #Conflicts: 443000 | #Constraints: 34117
1221.04/1224.44 c #Conflicts: 444000 | #Constraints: 35609
1221.04/1224.44 c #Conflicts: 445000 | #Constraints: 37033
1221.04/1224.44 c #Conflicts: 446000 | #Constraints: 38531
1221.04/1224.44 c INPROCESSING
1221.04/1224.44 c GARBAGE COLLECT
1221.04/1224.44 c #Conflicts: 447000 | #Constraints: 24594
1221.04/1224.44 c #Conflicts: 448000 | #Constraints: 25594
1221.04/1224.44 c #Conflicts: 449000 | #Constraints: 26594
1389.39/1393.22 c #Conflicts: 450000 | #Constraints: 27594
1389.39/1393.22 c #Conflicts: 451000 | #Constraints: 28594
1389.39/1393.22 c #Conflicts: 452000 | #Constraints: 29594
1389.39/1393.22 c #Conflicts: 453000 | #Constraints: 30594
1389.39/1393.22 c #Conflicts: 454000 | #Constraints: 31594
1389.39/1393.22 c #Conflicts: 455000 | #Constraints: 32594
1389.39/1393.22 c #Conflicts: 456000 | #Constraints: 33594
1389.39/1393.22 c #Conflicts: 457000 | #Constraints: 34594
1389.39/1393.22 c #Conflicts: 458000 | #Constraints: 35594
1389.39/1393.22 c #Conflicts: 459000 | #Constraints: 36594
1389.39/1393.22 c #Conflicts: 460000 | #Constraints: 37594
1389.39/1393.22 c INPROCESSING
1389.39/1393.22 c GARBAGE COLLECT
1389.39/1393.22 c #Conflicts: 461000 | #Constraints: 24192
1389.39/1393.22 c #Conflicts: 462000 | #Constraints: 25192
1389.39/1393.22 c #Conflicts: 463000 | #Constraints: 26192
1389.39/1393.22 c #Conflicts: 464000 | #Constraints: 27192
1389.39/1393.22 c #Conflicts: 465000 | #Constraints: 28192
1389.39/1393.22 c #Conflicts: 466000 | #Constraints: 29192
1389.39/1393.22 c #Conflicts: 467000 | #Constraints: 30192
1389.39/1393.22 c #Conflicts: 468000 | #Constraints: 31192
1389.39/1393.22 c #Conflicts: 469000 | #Constraints: 32192
1389.39/1393.22 c #Conflicts: 470000 | #Constraints: 33192
1389.39/1393.22 c #Conflicts: 471000 | #Constraints: 34192
1389.39/1393.22 c #Conflicts: 472000 | #Constraints: 35192
1389.39/1393.22 c #Conflicts: 473000 | #Constraints: 36192
1389.39/1393.22 c #Conflicts: 474000 | #Constraints: 37192
1389.39/1393.22 c INPROCESSING
1389.39/1393.22 c GARBAGE COLLECT
1389.39/1393.22 c #Conflicts: 475000 | #Constraints: 24097
1389.39/1393.22 c #Conflicts: 476000 | #Constraints: 25097
1389.39/1393.22 c #Conflicts: 477000 | #Constraints: 26097
1389.39/1393.22 c #Conflicts: 478000 | #Constraints: 27097
1389.39/1393.22 c #Conflicts: 479000 | #Constraints: 28097
1389.39/1393.22 c #Conflicts: 480000 | #Constraints: 29097
1389.39/1393.22 c #Conflicts: 481000 | #Constraints: 30097
1389.39/1393.22 c #Conflicts: 482000 | #Constraints: 31097
1389.39/1393.22 c #Conflicts: 483000 | #Constraints: 32097
1389.39/1393.22 c #Conflicts: 484000 | #Constraints: 33097
1389.39/1393.22 c #Conflicts: 485000 | #Constraints: 34097
1389.39/1393.22 c #Conflicts: 486000 | #Constraints: 35097
1389.39/1393.22 c #Conflicts: 487000 | #Constraints: 36097
1389.39/1393.22 c #Conflicts: 488000 | #Constraints: 37097
1389.39/1393.22 c INPROCESSING
1389.39/1393.22 c GARBAGE COLLECT
1389.39/1393.22 c rational objective 1118.75
1761.27/1766.14 c #Conflicts: 489000 | #Constraints: 24069
1761.27/1766.14 c #Conflicts: 490000 | #Constraints: 25069
1761.27/1766.14 c #Conflicts: 491000 | #Constraints: 26069
1761.27/1766.14 c #Conflicts: 492000 | #Constraints: 27069
1761.27/1766.14 c #Conflicts: 493000 | #Constraints: 28069
1761.27/1766.14 c #Conflicts: 494000 | #Constraints: 29069
1761.27/1766.14 c #Conflicts: 495000 | #Constraints: 30069
1761.27/1766.14 c #Conflicts: 496000 | #Constraints: 31069
1761.27/1766.14 c #Conflicts: 497000 | #Constraints: 32069
1761.27/1766.14 c #Conflicts: 498000 | #Constraints: 33069
1761.27/1766.14 c #Conflicts: 499000 | #Constraints: 34069
1761.27/1766.14 c #Conflicts: 500000 | #Constraints: 35069
1761.27/1766.14 c #Conflicts: 501000 | #Constraints: 36069
1761.27/1766.14 c #Conflicts: 502000 | #Constraints: 37069
1761.27/1766.14 c INPROCESSING
1761.27/1766.14 c GARBAGE COLLECT
1761.27/1766.14 c #Conflicts: 503000 | #Constraints: 23931
1761.27/1766.14 c #Conflicts: 504000 | #Constraints: 24932
1761.27/1766.14 c #Conflicts: 505000 | #Constraints: 25932
1761.27/1766.14 c #Conflicts: 506000 | #Constraints: 27042
1761.27/1766.14 c #Conflicts: 507000 | #Constraints: 28427
1761.27/1766.14 c #Conflicts: 508000 | #Constraints: 29882
1761.27/1766.14 c #Conflicts: 509000 | #Constraints: 31454
1761.27/1766.14 c #Conflicts: 510000 | #Constraints: 33041
1761.27/1766.14 c #Conflicts: 511000 | #Constraints: 34626
1761.27/1766.14 c #Conflicts: 512000 | #Constraints: 36206
1761.27/1766.14 c #Conflicts: 513000 | #Constraints: 37749
1761.27/1766.14 c #Conflicts: 514000 | #Constraints: 39253
1761.27/1766.14 c #Conflicts: 515000 | #Constraints: 40428
1761.27/1766.14 c #Conflicts: 516000 | #Constraints: 41876
1761.27/1766.14 c INPROCESSING
1761.27/1766.14 c GARBAGE COLLECT
1761.27/1766.14 c #Conflicts: 517000 | #Constraints: 26164
1761.27/1766.14 c #Conflicts: 518000 | #Constraints: 27164
1761.27/1766.14 c #Conflicts: 519000 | #Constraints: 28316
1761.27/1766.14 c #Conflicts: 520000 | #Constraints: 29762
1761.27/1766.14 c #Conflicts: 521000 | #Constraints: 31342
1761.27/1766.14 c #Conflicts: 522000 | #Constraints: 32831
1761.27/1766.14 c #Conflicts: 523000 | #Constraints: 34321
1761.27/1766.14 c #Conflicts: 524000 | #Constraints: 35811
1761.27/1766.14 c #Conflicts: 525000 | #Constraints: 37335
1761.27/1766.14 c #Conflicts: 526000 | #Constraints: 38844
1761.27/1766.14 c #Conflicts: 527000 | #Constraints: 40325
1761.27/1766.14 c #Conflicts: 528000 | #Constraints: 41849
1761.27/1766.14 c #Conflicts: 529000 | #Constraints: 43346
1761.27/1766.14 c #Conflicts: 530000 | #Constraints: 44839
1761.27/1766.14 c #Conflicts: 531000 | #Constraints: 46348
1761.27/1766.14 c INPROCESSING
1761.27/1766.14 c GARBAGE COLLECT
1761.27/1766.14 c #Conflicts: 532000 | #Constraints: 29033
1761.27/1766.14 c #Conflicts: 533000 | #Constraints: 30563
1761.27/1766.14 c #Conflicts: 534000 | #Constraints: 32049
1761.27/1766.14 c #Conflicts: 535000 | #Constraints: 33547
1761.27/1766.14 c #Conflicts: 536000 | #Constraints: 35051
1761.27/1766.14 c #Conflicts: 537000 | #Constraints: 36586
1761.27/1766.14 c #Conflicts: 538000 | #Constraints: 38121
1761.27/1766.14 c #Conflicts: 539000 | #Constraints: 39617
1761.27/1766.14 c #Conflicts: 540000 | #Constraints: 41118
1761.27/1766.14 c #Conflicts: 541000 | #Constraints: 42611
1761.27/1766.14 c #Conflicts: 542000 | #Constraints: 44182
1761.27/1766.14 c #Conflicts: 543000 | #Constraints: 45658
1761.27/1766.14 c #Conflicts: 544000 | #Constraints: 47155
1761.27/1766.14 c #Conflicts: 545000 | #Constraints: 48663
1761.27/1766.14 c #Conflicts: 546000 | #Constraints: 50179
1761.27/1766.14 c INPROCESSING
1761.27/1766.14 c GARBAGE COLLECT
1761.27/1766.14 c #Conflicts: 547000 | #Constraints: 31065
1761.27/1766.14 c #Conflicts: 548000 | #Constraints: 32538
1761.27/1766.14 c #Conflicts: 549000 | #Constraints: 34087
1761.27/1766.14 c #Conflicts: 550000 | #Constraints: 35614
1761.27/1766.14 c #Conflicts: 551000 | #Constraints: 37083
1761.27/1766.14 c #Conflicts: 552000 | #Constraints: 38561
1761.27/1766.14 c #Conflicts: 553000 | #Constraints: 40081
1761.27/1766.14 c #Conflicts: 554000 | #Constraints: 41587
1761.27/1766.14 c #Conflicts: 555000 | #Constraints: 43080
1761.27/1766.14 c #Conflicts: 556000 | #Constraints: 44611
1761.27/1766.14 c #Conflicts: 557000 | #Constraints: 46137
1761.27/1766.14 c #Conflicts: 558000 | #Constraints: 47668
1761.27/1766.14 c #Conflicts: 559000 | #Constraints: 49132
1761.27/1766.14 c #Conflicts: 560000 | #Constraints: 50668
1761.27/1766.14 c #Conflicts: 561000 | #Constraints: 52265
1761.27/1766.14 c INPROCESSING
1761.27/1766.14 c GARBAGE COLLECT
1761.27/1766.14 c #Conflicts: 562000 | #Constraints: 32138
1761.27/1766.14 c #Conflicts: 563000 | #Constraints: 33663
1761.27/1766.14 c #Conflicts: 564000 | #Constraints: 35135
2152.10/2158.08 c #Conflicts: 565000 | #Constraints: 36712
2152.10/2158.08 c #Conflicts: 566000 | #Constraints: 38205
2152.10/2158.08 c #Conflicts: 567000 | #Constraints: 39705
2152.10/2158.08 c #Conflicts: 568000 | #Constraints: 41211
2152.10/2158.08 c #Conflicts: 569000 | #Constraints: 42711
2152.10/2158.08 c #Conflicts: 570000 | #Constraints: 44220
2152.10/2158.08 c #Conflicts: 571000 | #Constraints: 45747
2152.10/2158.08 c #Conflicts: 572000 | #Constraints: 47348
2152.10/2158.08 c #Conflicts: 573000 | #Constraints: 48823
2152.10/2158.08 c #Conflicts: 574000 | #Constraints: 50322
2152.10/2158.08 c #Conflicts: 575000 | #Constraints: 51815
2152.10/2158.08 c #Conflicts: 576000 | #Constraints: 53314
2152.10/2158.08 c INPROCESSING
2152.10/2158.08 c GARBAGE COLLECT
2152.10/2158.08 c #Conflicts: 577000 | #Constraints: 32519
2152.10/2158.08 c #Conflicts: 578000 | #Constraints: 34062
2152.10/2158.08 c #Conflicts: 579000 | #Constraints: 35577
2152.10/2158.08 c #Conflicts: 580000 | #Constraints: 37071
2152.10/2158.08 c #Conflicts: 581000 | #Constraints: 38515
2152.10/2158.08 c #Conflicts: 582000 | #Constraints: 39888
2152.10/2158.08 c #Conflicts: 583000 | #Constraints: 41271
2152.10/2158.08 c #Conflicts: 584000 | #Constraints: 42429
2152.10/2158.08 c #Conflicts: 585000 | #Constraints: 43548
2152.10/2158.08 c #Conflicts: 586000 | #Constraints: 44924
2152.10/2158.08 c #Conflicts: 587000 | #Constraints: 45982
2152.10/2158.08 c #Conflicts: 588000 | #Constraints: 47443
2152.10/2158.08 c #Conflicts: 589000 | #Constraints: 48777
2152.10/2158.08 c #Conflicts: 590000 | #Constraints: 50050
2152.10/2158.08 c #Conflicts: 591000 | #Constraints: 51378
2152.10/2158.08 c INPROCESSING
2152.10/2158.08 c GARBAGE COLLECT
2152.10/2158.08 c #Conflicts: 592000 | #Constraints: 31251
2152.10/2158.08 c #Conflicts: 593000 | #Constraints: 32757
2152.10/2158.08 c #Conflicts: 594000 | #Constraints: 34119
2152.10/2158.08 c #Conflicts: 595000 | #Constraints: 35645
2152.10/2158.08 c #Conflicts: 596000 | #Constraints: 37178
2152.10/2158.08 c #Conflicts: 597000 | #Constraints: 38655
2152.10/2158.08 c #Conflicts: 598000 | #Constraints: 40153
2152.10/2158.08 c #Conflicts: 599000 | #Constraints: 41630
2152.10/2158.08 c #Conflicts: 600000 | #Constraints: 43102
2152.10/2158.08 c #Conflicts: 601000 | #Constraints: 44588
2152.10/2158.08 c #Conflicts: 602000 | #Constraints: 46072
2152.10/2158.08 c #Conflicts: 603000 | #Constraints: 47577
2152.10/2158.08 c #Conflicts: 604000 | #Constraints: 49067
2152.10/2158.08 c #Conflicts: 605000 | #Constraints: 50539
2152.10/2158.08 c #Conflicts: 606000 | #Constraints: 52024
2152.10/2158.08 c #Conflicts: 607000 | #Constraints: 53517
2152.10/2158.08 c INPROCESSING
2152.10/2158.08 c GARBAGE COLLECT
2152.10/2158.08 c #Conflicts: 608000 | #Constraints: 32627
2152.10/2158.08 c #Conflicts: 609000 | #Constraints: 34131
2152.10/2158.08 c #Conflicts: 610000 | #Constraints: 35640
2152.10/2158.08 c #Conflicts: 611000 | #Constraints: 37140
2152.10/2158.08 c #Conflicts: 612000 | #Constraints: 38639
2152.10/2158.08 c #Conflicts: 613000 | #Constraints: 40127
2152.10/2158.08 c #Conflicts: 614000 | #Constraints: 41627
2152.10/2158.08 c #Conflicts: 615000 | #Constraints: 43136
2152.10/2158.08 c #Conflicts: 616000 | #Constraints: 44667
2152.10/2158.08 c #Conflicts: 617000 | #Constraints: 46162
2152.10/2158.08 c #Conflicts: 618000 | #Constraints: 47651
2152.10/2158.08 c #Conflicts: 619000 | #Constraints: 49161
2152.10/2158.08 c #Conflicts: 620000 | #Constraints: 50650
2152.10/2158.08 c #Conflicts: 621000 | #Constraints: 52158
2152.10/2158.08 c #Conflicts: 622000 | #Constraints: 53734
2152.10/2158.08 c #Conflicts: 623000 | #Constraints: 55201
2152.10/2158.08 c INPROCESSING
2152.10/2158.08 c GARBAGE COLLECT
2152.10/2158.08 c #Conflicts: 624000 | #Constraints: 33675
2152.10/2158.08 c #Conflicts: 625000 | #Constraints: 35194
2152.10/2158.08 c #Conflicts: 626000 | #Constraints: 36672
2152.10/2158.08 c #Conflicts: 627000 | #Constraints: 38170
2152.10/2158.08 c #Conflicts: 628000 | #Constraints: 39670
2152.10/2158.08 c #Conflicts: 629000 | #Constraints: 41171
2152.10/2158.08 c #Conflicts: 630000 | #Constraints: 42688
2152.10/2158.08 c #Conflicts: 631000 | #Constraints: 44530
2152.10/2158.08 c #Conflicts: 632000 | #Constraints: 46005
2152.10/2158.08 c #Conflicts: 633000 | #Constraints: 47475
2152.10/2158.08 c #Conflicts: 634000 | #Constraints: 48921
2152.10/2158.08 c #Conflicts: 635000 | #Constraints: 50399
2152.10/2158.08 c #Conflicts: 636000 | #Constraints: 51894
2152.10/2158.08 c #Conflicts: 637000 | #Constraints: 53392
2152.10/2158.08 c #Conflicts: 638000 | #Constraints: 54981
2152.10/2158.08 c #Conflicts: 639000 | #Constraints: 56531
2152.10/2158.08 c INPROCESSING
2152.10/2158.08 c GARBAGE COLLECT
2152.10/2158.08 c #Conflicts: 640000 | #Constraints: 34255
2534.25/2541.28 c #Conflicts: 641000 | #Constraints: 35751
2534.25/2541.28 c #Conflicts: 642000 | #Constraints: 37205
2534.25/2541.28 c #Conflicts: 643000 | #Constraints: 38685
2534.25/2541.28 c #Conflicts: 644000 | #Constraints: 40221
2534.25/2541.28 c #Conflicts: 645000 | #Constraints: 41734
2534.25/2541.28 c #Conflicts: 646000 | #Constraints: 43212
2534.25/2541.28 c #Conflicts: 647000 | #Constraints: 44684
2534.25/2541.28 c #Conflicts: 648000 | #Constraints: 46204
2534.25/2541.28 c #Conflicts: 649000 | #Constraints: 47692
2534.25/2541.28 c #Conflicts: 650000 | #Constraints: 49159
2534.25/2541.28 c #Conflicts: 651000 | #Constraints: 50689
2534.25/2541.28 c #Conflicts: 652000 | #Constraints: 52175
2534.25/2541.28 c #Conflicts: 653000 | #Constraints: 53722
2534.25/2541.28 c #Conflicts: 654000 | #Constraints: 55228
2534.25/2541.28 c #Conflicts: 655000 | #Constraints: 56688
2534.25/2541.28 c INPROCESSING
2534.25/2541.28 c GARBAGE COLLECT
2534.25/2541.28 c #Conflicts: 656000 | #Constraints: 34169
2534.25/2541.28 c #Conflicts: 657000 | #Constraints: 35672
2534.25/2541.28 c #Conflicts: 658000 | #Constraints: 37164
2534.25/2541.28 c #Conflicts: 659000 | #Constraints: 38641
2534.25/2541.28 c #Conflicts: 660000 | #Constraints: 40134
2534.25/2541.28 c #Conflicts: 661000 | #Constraints: 41635
2534.25/2541.28 c #Conflicts: 662000 | #Constraints: 43179
2534.25/2541.28 c #Conflicts: 663000 | #Constraints: 44670
2534.25/2541.28 c #Conflicts: 664000 | #Constraints: 46187
2534.25/2541.28 c #Conflicts: 665000 | #Constraints: 47692
2534.25/2541.28 c #Conflicts: 666000 | #Constraints: 49214
2534.25/2541.28 c #Conflicts: 667000 | #Constraints: 50701
2534.25/2541.28 c #Conflicts: 668000 | #Constraints: 52191
2534.25/2541.28 c #Conflicts: 669000 | #Constraints: 53724
2534.25/2541.28 c #Conflicts: 670000 | #Constraints: 55229
2534.25/2541.28 c #Conflicts: 671000 | #Constraints: 56822
2534.25/2541.28 c INPROCESSING
2534.25/2541.28 c GARBAGE COLLECT
2534.25/2541.28 c #Conflicts: 672000 | #Constraints: 34065
2534.25/2541.28 c #Conflicts: 673000 | #Constraints: 35575
2534.25/2541.28 c #Conflicts: 674000 | #Constraints: 37125
2534.25/2541.28 c #Conflicts: 675000 | #Constraints: 38612
2534.25/2541.28 c #Conflicts: 676000 | #Constraints: 40114
2534.25/2541.28 c #Conflicts: 677000 | #Constraints: 41633
2534.25/2541.28 c #Conflicts: 678000 | #Constraints: 43165
2534.25/2541.28 c #Conflicts: 679000 | #Constraints: 44679
2534.25/2541.28 c #Conflicts: 680000 | #Constraints: 46185
2534.25/2541.28 c #Conflicts: 681000 | #Constraints: 47658
2534.25/2541.28 c #Conflicts: 682000 | #Constraints: 49146
2534.25/2541.28 c #Conflicts: 683000 | #Constraints: 50675
2534.25/2541.28 c #Conflicts: 684000 | #Constraints: 52176
2534.25/2541.28 c #Conflicts: 685000 | #Constraints: 53668
2534.25/2541.28 c #Conflicts: 686000 | #Constraints: 55163
2534.25/2541.28 c #Conflicts: 687000 | #Constraints: 56673
2534.25/2541.28 c #Conflicts: 688000 | #Constraints: 58193
2534.25/2541.28 c INPROCESSING
2534.25/2541.28 c GARBAGE COLLECT
2534.25/2541.28 c #Conflicts: 689000 | #Constraints: 34987
2534.25/2541.28 c #Conflicts: 690000 | #Constraints: 36478
2534.25/2541.28 c #Conflicts: 691000 | #Constraints: 37987
2534.25/2541.28 c #Conflicts: 692000 | #Constraints: 39491
2534.25/2541.28 c #Conflicts: 693000 | #Constraints: 40998
2534.25/2541.28 c #Conflicts: 694000 | #Constraints: 42487
2534.25/2541.28 c #Conflicts: 695000 | #Constraints: 43952
2534.25/2541.28 c #Conflicts: 696000 | #Constraints: 45427
2534.25/2541.28 c #Conflicts: 697000 | #Constraints: 46940
2534.25/2541.28 c #Conflicts: 698000 | #Constraints: 48443
2534.25/2541.28 c #Conflicts: 699000 | #Constraints: 49936
2534.25/2541.28 c #Conflicts: 700000 | #Constraints: 51457
2534.25/2541.28 c #Conflicts: 701000 | #Constraints: 52961
2534.25/2541.28 c #Conflicts: 702000 | #Constraints: 54477
2534.25/2541.28 c #Conflicts: 703000 | #Constraints: 55964
2534.25/2541.28 c #Conflicts: 704000 | #Constraints: 57487
2534.25/2541.28 c #Conflicts: 705000 | #Constraints: 58989
2534.25/2541.28 c INPROCESSING
2534.25/2541.28 c GARBAGE COLLECT
2534.25/2541.28 c #Conflicts: 706000 | #Constraints: 35467
2534.25/2541.28 c #Conflicts: 707000 | #Constraints: 36961
2534.25/2541.28 c #Conflicts: 708000 | #Constraints: 38438
2534.25/2541.28 c #Conflicts: 709000 | #Constraints: 39924
2534.25/2541.28 c #Conflicts: 710000 | #Constraints: 41398
2534.25/2541.28 c #Conflicts: 711000 | #Constraints: 42873
2534.25/2541.28 c #Conflicts: 712000 | #Constraints: 44358
2534.25/2541.28 c #Conflicts: 713000 | #Constraints: 45825
2534.25/2541.28 c #Conflicts: 714000 | #Constraints: 47324
2534.25/2541.28 c #Conflicts: 715000 | #Constraints: 48819
2534.25/2541.28 c #Conflicts: 716000 | #Constraints: 50735
3017.75/3026.07 c #Conflicts: 717000 | #Constraints: 52232
3017.75/3026.07 c #Conflicts: 718000 | #Constraints: 53733
3017.75/3026.07 c #Conflicts: 719000 | #Constraints: 55258
3017.75/3026.07 c #Conflicts: 720000 | #Constraints: 56762
3017.75/3026.07 c #Conflicts: 721000 | #Constraints: 58273
3017.75/3026.07 c #Conflicts: 722000 | #Constraints: 59700
3017.75/3026.07 c INPROCESSING
3017.75/3026.07 c GARBAGE COLLECT
3017.75/3026.07 c #Conflicts: 723000 | #Constraints: 35836
3017.75/3026.07 c #Conflicts: 724000 | #Constraints: 37310
3017.75/3026.07 c #Conflicts: 725000 | #Constraints: 38796
3017.75/3026.07 c #Conflicts: 726000 | #Constraints: 40294
3017.75/3026.07 c #Conflicts: 727000 | #Constraints: 41783
3017.75/3026.07 c #Conflicts: 728000 | #Constraints: 43274
3017.75/3026.07 c #Conflicts: 729000 | #Constraints: 44770
3017.75/3026.07 c #Conflicts: 730000 | #Constraints: 46264
3017.75/3026.07 c #Conflicts: 731000 | #Constraints: 47757
3017.75/3026.07 c #Conflicts: 732000 | #Constraints: 49226
3017.75/3026.07 c #Conflicts: 733000 | #Constraints: 50706
3017.75/3026.07 c #Conflicts: 734000 | #Constraints: 52195
3017.75/3026.07 c #Conflicts: 735000 | #Constraints: 53676
3017.75/3026.07 c #Conflicts: 736000 | #Constraints: 55180
3017.75/3026.07 c #Conflicts: 737000 | #Constraints: 56666
3017.75/3026.07 c #Conflicts: 738000 | #Constraints: 58159
3017.75/3026.07 c #Conflicts: 739000 | #Constraints: 59659
3017.75/3026.07 c INPROCESSING
3017.75/3026.07 c GARBAGE COLLECT
3017.75/3026.07 c #Conflicts: 740000 | #Constraints: 35673
3017.75/3026.07 c #Conflicts: 741000 | #Constraints: 37164
3017.75/3026.07 c #Conflicts: 742000 | #Constraints: 38671
3017.75/3026.07 c #Conflicts: 743000 | #Constraints: 40188
3017.75/3026.07 c #Conflicts: 744000 | #Constraints: 41709
3017.75/3026.07 c #Conflicts: 745000 | #Constraints: 43221
3017.75/3026.07 c #Conflicts: 746000 | #Constraints: 44721
3017.75/3026.07 c #Conflicts: 747000 | #Constraints: 46212
3017.75/3026.07 c #Conflicts: 748000 | #Constraints: 47718
3017.75/3026.07 c #Conflicts: 749000 | #Constraints: 49210
3017.75/3026.07 c #Conflicts: 750000 | #Constraints: 50691
3017.75/3026.07 c #Conflicts: 751000 | #Constraints: 52291
3017.75/3026.07 c #Conflicts: 752000 | #Constraints: 53842
3017.75/3026.07 c #Conflicts: 753000 | #Constraints: 55359
3017.75/3026.07 c #Conflicts: 754000 | #Constraints: 56839
3017.75/3026.07 c #Conflicts: 755000 | #Constraints: 58444
3017.75/3026.07 c #Conflicts: 756000 | #Constraints: 59934
3017.75/3026.07 c INPROCESSING
3017.75/3026.07 c GARBAGE COLLECT
3017.75/3026.07 c #Conflicts: 757000 | #Constraints: 35532
3017.75/3026.07 c #Conflicts: 758000 | #Constraints: 37032
3017.75/3026.07 c #Conflicts: 759000 | #Constraints: 38511
3017.75/3026.07 c #Conflicts: 760000 | #Constraints: 40024
3017.75/3026.07 c #Conflicts: 761000 | #Constraints: 41518
3017.75/3026.07 c #Conflicts: 762000 | #Constraints: 43012
3017.75/3026.07 c #Conflicts: 763000 | #Constraints: 44500
3017.75/3026.07 c #Conflicts: 764000 | #Constraints: 45993
3017.75/3026.07 c #Conflicts: 765000 | #Constraints: 47502
3017.75/3026.07 c #Conflicts: 766000 | #Constraints: 48977
3017.75/3026.07 c #Conflicts: 767000 | #Constraints: 50514
3017.75/3026.07 c #Conflicts: 768000 | #Constraints: 52026
3017.75/3026.07 c #Conflicts: 769000 | #Constraints: 53511
3017.75/3026.07 c #Conflicts: 770000 | #Constraints: 54991
3017.75/3026.07 c #Conflicts: 771000 | #Constraints: 56463
3017.75/3026.07 c #Conflicts: 772000 | #Constraints: 57973
3017.75/3026.07 c #Conflicts: 773000 | #Constraints: 59512
3017.75/3026.07 c #Conflicts: 774000 | #Constraints: 60993
3017.75/3026.07 c INPROCESSING
3017.75/3026.07 c GARBAGE COLLECT
3017.75/3026.07 c #Conflicts: 775000 | #Constraints: 36329
3017.75/3026.07 c #Conflicts: 776000 | #Constraints: 37829
3017.75/3026.07 c #Conflicts: 777000 | #Constraints: 39304
3017.75/3026.07 c #Conflicts: 778000 | #Constraints: 40868
3017.75/3026.07 c #Conflicts: 779000 | #Constraints: 42372
3017.75/3026.07 c #Conflicts: 780000 | #Constraints: 43848
3017.75/3026.07 c #Conflicts: 781000 | #Constraints: 45331
3017.75/3026.07 c #Conflicts: 782000 | #Constraints: 46832
3017.75/3026.07 c #Conflicts: 783000 | #Constraints: 48351
3017.75/3026.07 c #Conflicts: 784000 | #Constraints: 49865
3017.75/3026.07 c #Conflicts: 785000 | #Constraints: 51387
3017.75/3026.07 c #Conflicts: 786000 | #Constraints: 52895
3017.75/3026.07 c #Conflicts: 787000 | #Constraints: 54363
3017.75/3026.07 c #Conflicts: 788000 | #Constraints: 55858
3017.75/3026.07 c #Conflicts: 789000 | #Constraints: 57382
3017.75/3026.07 c #Conflicts: 790000 | #Constraints: 58903
3017.75/3026.07 c #Conflicts: 791000 | #Constraints: 60378
3017.75/3026.07 c #Conflicts: 792000 | #Constraints: 61885
3401.13/3410.41 c INPROCESSING
3401.13/3410.41 c GARBAGE COLLECT
3401.13/3410.41 c #Conflicts: 793000 | #Constraints: 36965
3401.13/3410.41 c #Conflicts: 794000 | #Constraints: 38547
3401.13/3410.41 c #Conflicts: 795000 | #Constraints: 40071
3401.13/3410.41 c #Conflicts: 796000 | #Constraints: 41612
3401.13/3410.41 c #Conflicts: 797000 | #Constraints: 43165
3401.13/3410.41 c #Conflicts: 798000 | #Constraints: 44664
3401.13/3410.41 c #Conflicts: 799000 | #Constraints: 46135
3401.13/3410.41 c #Conflicts: 800000 | #Constraints: 47634
3401.13/3410.41 c #Conflicts: 801000 | #Constraints: 49174
3401.13/3410.41 c #Conflicts: 802000 | #Constraints: 50719
3401.13/3410.41 c #Conflicts: 803000 | #Constraints: 52196
3401.13/3410.41 c #Conflicts: 804000 | #Constraints: 53673
3401.13/3410.41 c #Conflicts: 805000 | #Constraints: 55327
3401.13/3410.41 c #Conflicts: 806000 | #Constraints: 57141
3401.13/3410.41 c #Conflicts: 807000 | #Constraints: 58725
3401.13/3410.41 c #Conflicts: 808000 | #Constraints: 60265
3401.13/3410.41 c #Conflicts: 809000 | #Constraints: 61960
3401.13/3410.41 c #Conflicts: 810000 | #Constraints: 63472
3401.13/3410.41 c INPROCESSING
3401.13/3410.41 c GARBAGE COLLECT
3401.13/3410.41 c #Conflicts: 811000 | #Constraints: 37793
3401.13/3410.41 c #Conflicts: 812000 | #Constraints: 39281
3401.13/3410.41 c #Conflicts: 813000 | #Constraints: 40844
3401.13/3410.41 c #Conflicts: 814000 | #Constraints: 42596
3401.13/3410.41 c #Conflicts: 815000 | #Constraints: 44139
3401.13/3410.41 c #Conflicts: 816000 | #Constraints: 45636
3401.13/3410.41 c #Conflicts: 817000 | #Constraints: 47146
3401.13/3410.41 c #Conflicts: 818000 | #Constraints: 48645
3401.13/3410.41 c #Conflicts: 819000 | #Constraints: 50138
3401.13/3410.41 c #Conflicts: 820000 | #Constraints: 51653
3401.13/3410.41 c #Conflicts: 821000 | #Constraints: 53157
3401.13/3410.41 c #Conflicts: 822000 | #Constraints: 54810
3401.13/3410.41 c #Conflicts: 823000 | #Constraints: 56350
3401.13/3410.41 c #Conflicts: 824000 | #Constraints: 57840
3401.13/3410.41 c #Conflicts: 825000 | #Constraints: 59323
3401.13/3410.41 c #Conflicts: 826000 | #Constraints: 60840
3401.13/3410.41 c #Conflicts: 827000 | #Constraints: 62353
3401.13/3410.41 c #Conflicts: 828000 | #Constraints: 63851
3401.13/3410.41 c INPROCESSING
3401.13/3410.41 c GARBAGE COLLECT
3401.13/3410.41 c #Conflicts: 829000 | #Constraints: 37792
3401.13/3410.41 c #Conflicts: 830000 | #Constraints: 39348
3401.13/3410.41 c #Conflicts: 831000 | #Constraints: 40855
3401.13/3410.41 c #Conflicts: 832000 | #Constraints: 42376
3401.13/3410.41 c #Conflicts: 833000 | #Constraints: 43871
3401.13/3410.41 c #Conflicts: 834000 | #Constraints: 45366
3401.13/3410.41 c #Conflicts: 835000 | #Constraints: 46951
3401.13/3410.41 c #Conflicts: 836000 | #Constraints: 48420
3401.13/3410.41 c #Conflicts: 837000 | #Constraints: 49865
3401.13/3410.41 c #Conflicts: 838000 | #Constraints: 51364
3401.13/3410.41 c #Conflicts: 839000 | #Constraints: 52881
3401.13/3410.41 c #Conflicts: 840000 | #Constraints: 54383
3401.13/3410.41 c #Conflicts: 841000 | #Constraints: 55932
3401.13/3410.41 c #Conflicts: 842000 | #Constraints: 57488
3401.13/3410.41 c #Conflicts: 843000 | #Constraints: 59044
3401.13/3410.41 c #Conflicts: 844000 | #Constraints: 60608
3401.13/3410.41 c #Conflicts: 845000 | #Constraints: 62092
3401.13/3410.41 c #Conflicts: 846000 | #Constraints: 63568
3401.13/3410.41 c INPROCESSING
3401.13/3410.41 c GARBAGE COLLECT
3401.13/3410.41 c #Conflicts: 847000 | #Constraints: 37354
3401.13/3410.41 c #Conflicts: 848000 | #Constraints: 38846
3401.13/3410.41 c #Conflicts: 849000 | #Constraints: 40488
3401.13/3410.41 c #Conflicts: 850000 | #Constraints: 42017
3401.13/3410.41 c #Conflicts: 851000 | #Constraints: 43499
3401.13/3410.41 c #Conflicts: 852000 | #Constraints: 45007
3401.13/3410.41 c #Conflicts: 853000 | #Constraints: 46472
3401.13/3410.41 c #Conflicts: 854000 | #Constraints: 47865
3401.13/3410.41 c #Conflicts: 855000 | #Constraints: 49381
3401.13/3410.41 c #Conflicts: 856000 | #Constraints: 50888
3401.13/3410.41 c #Conflicts: 857000 | #Constraints: 52421
3401.13/3410.41 c #Conflicts: 858000 | #Constraints: 53930
3401.13/3410.41 c #Conflicts: 859000 | #Constraints: 55425
3401.13/3410.41 c #Conflicts: 860000 | #Constraints: 56938
3401.13/3410.41 c #Conflicts: 861000 | #Constraints: 58429
3401.13/3410.41 c #Conflicts: 862000 | #Constraints: 59902
3401.13/3410.41 c #Conflicts: 863000 | #Constraints: 61422
3401.13/3410.41 c #Conflicts: 864000 | #Constraints: 62943
3401.13/3410.41 c #Conflicts: 865000 | #Constraints: 64449
3401.13/3410.41 c INPROCESSING
3401.13/3410.41 c GARBAGE COLLECT
3401.13/3410.41 c #Conflicts: 866000 | #Constraints: 38082
3401.13/3410.41 c #Conflicts: 867000 | #Constraints: 39594
3401.13/3410.41 c #Conflicts: 868000 | #Constraints: 41089
3600.04/3609.80 c #Conflicts: 869000 | #Constraints: 42596
3600.04/3609.80 c #Conflicts: 870000 | #Constraints: 44110
3600.04/3609.80 c #Conflicts: 871000 | #Constraints: 45655
3600.04/3609.80 c #Conflicts: 872000 | #Constraints: 47157
3600.04/3609.80 c #Conflicts: 873000 | #Constraints: 48762
3600.04/3609.80 c #Conflicts: 874000 | #Constraints: 50270
3600.04/3609.80 c #Conflicts: 875000 | #Constraints: 51781
3600.04/3609.80 c #Conflicts: 876000 | #Constraints: 53279
3600.04/3609.80 c #Conflicts: 877000 | #Constraints: 54786
3600.04/3609.80 c #Conflicts: 878000 | #Constraints: 56300
3600.04/3609.80 c #Conflicts: 879000 | #Constraints: 57783
3600.04/3609.80 c #Conflicts: 880000 | #Constraints: 59300
3600.04/3609.80 c #Conflicts: 881000 | #Constraints: 60838
3600.04/3609.80 c #Conflicts: 882000 | #Constraints: 62401
3600.04/3609.80 c #Conflicts: 883000 | #Constraints: 64016
3600.04/3609.80 c #Conflicts: 884000 | #Constraints: 65642
3600.04/3609.80 c INPROCESSING
3600.04/3609.80 c GARBAGE COLLECT
3600.04/3609.80 c #Conflicts: 885000 | #Constraints: 38820
3600.04/3609.80 c #Conflicts: 886000 | #Constraints: 40298
3600.04/3609.80 c #Conflicts: 887000 | #Constraints: 41784
3600.04/3609.80 c #Conflicts: 888000 | #Constraints: 43256
3600.04/3609.80 c #Conflicts: 889000 | #Constraints: 44740
3600.04/3609.80 c #Conflicts: 890000 | #Constraints: 46226
3600.04/3609.80 c #Conflicts: 891000 | #Constraints: 47707
3600.04/3609.80 c #Conflicts: 892000 | #Constraints: 49213
3600.04/3609.80 c #Conflicts: 893000 | #Constraints: 50751
3600.04/3609.80 c #Conflicts: 894000 | #Constraints: 52267
3600.04/3609.80 c #Conflicts: 895000 | #Constraints: 53800
3600.04/3609.80 c #Conflicts: 896000 | #Constraints: 55317
3600.04/3609.80 c #Conflicts: 897000 | #Constraints: 56842
3600.04/3609.80 c #Conflicts: 898000 | #Constraints: 58324
3600.04/3609.80 c #Conflicts: 899000 | #Constraints: 59816
3600.04/3609.80 c #Conflicts: 900000 | #Constraints: 61308
3600.04/3609.80 c Disabling crashed LP
3600.04/3609.80 c cpu time 3591.51 s
3600.04/3609.80 c deterministic time 1223278469462 1.22e+12
3600.04/3609.80 c optimization time 83.1169 s
3600.04/3609.80 c total solve time 3508.35 s
3600.04/3609.80 c core-guided solve time 0 s
3600.04/3609.80 c propagation time 3146.73 s
3600.04/3609.80 c conflict analysis time 363.966 s
3600.04/3609.80 c propagations 90979252
3600.04/3609.80 c resolve steps 26117511
3600.04/3609.80 c decisions 2308745
3600.04/3609.80 c conflicts 900449
3600.04/3609.80 c restarts 1956
3600.04/3609.80 c inprocessing phases 85
3600.04/3609.80 c garbage collections 85 ,( 100.00 )
3600.04/3609.80 c input clauses 6942 ,( 79.77 )
3600.04/3609.80 c input cardinalities 0 ,( 0.00 )
3600.04/3609.80 c input general constraints 1761 ,( 20.23 )
3600.04/3609.80 c input average constraint length 3.18
3600.04/3609.80 c input average constraint degree 24838881026878.66
3600.04/3609.80 c learned clauses 61208 ,( 5.55 )
3600.04/3609.80 c learned cardinalities 86 ,( 0.01 )
3600.04/3609.80 c learned general constraints 1042495 ,( 94.45 )
3600.04/3609.80 c learned average constraint length 479.37
3600.04/3609.80 c learned average constraint degree 1012676953.69
3600.04/3609.80 c watched CF 32, 64, 128, Arb: 10131 , 0 , 0 , 0
3600.04/3609.80 c counting CF 32, 64, 128, Arb: 1034122 , 3 , 0 , 0
3600.04/3609.80 c watched constraints 10131 ,( 0.97 )
3600.04/3609.80 c counting constraints 1034125 ,( 99.03 )
3600.04/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 177669130 , 4547293 , 29016933731 ,( 15228591 , 29001705140 )
3600.04/3609.80 c gcd simplifications 27207
3600.04/3609.80 c detected cardinalities 39
3600.04/3609.80 c weakened non-implied lits 4780156
3600.04/3609.80 c weakened non-implying lits 377724
3600.04/3609.80 c original variables 5092
3600.04/3609.80 c clausal propagations 40685793
3600.04/3609.80 c cardinality propagations 425868
3600.04/3609.80 c watched propagations 156509
3600.04/3609.80 c counting propagations 48822967
3600.04/3609.80 c watch lookups 32671873944
3600.04/3609.80 c watch backjump lookups 0
3600.04/3609.80 c watch checks 450683793
3600.04/3609.80 c propagation checks 1188113070736
3600.04/3609.80 c constraint additions 1855229977
3600.04/3609.80 c trail pops 94183505
3600.04/3609.80 c formula constraints 8703
3600.04/3609.80 c learned constraints 900448
3600.04/3609.80 c bound constraints 0
3600.04/3609.80 c core-guided constraints 0
3600.04/3609.80 c encountered formula constraints 20241527
3600.04/3609.80 c encountered learned constraints 6729582
3600.04/3609.80 c encountered bound constraints 0
3600.04/3609.80 c encountered core-guided constraints 0
3600.04/3609.80 c LP total time 285.042 s
3600.04/3609.80 c LP solve time 208.48 s
3600.04/3609.80 c LP constraints added 9202
3600.04/3609.80 c LP constraints removed 80
3600.04/3609.80 c LP pivots internal 84027
3600.04/3609.80 c LP pivots root 55482
3600.04/3609.80 c LP calls 203951
3600.04/3609.80 c LP optimalities 224
3600.04/3609.80 c LP no pivot count 0
3600.04/3609.80 c LP infeasibilities 203716
3600.04/3609.80 c LP valid Farkas constraints 203002
3600.04/3609.80 c LP learned Farkas constraints 1
3600.04/3609.80 c LP basis resets 8
3600.04/3609.80 c LP cycling count 8
3600.04/3609.80 c LP singular count 0
3600.04/3609.80 c LP no primal count 0
3600.04/3609.80 c LP no farkas count 0
3600.04/3609.80 c LP other issue count 0
3600.04/3609.80 c LP Gomory cuts 338
3600.04/3609.80 c LP learned cuts 161
3600.04/3609.80 c LP deleted cuts 80
3600.04/3609.80 c LP encountered Gomory constraints 4468
3600.04/3609.80 c LP encountered Farkas constraints 14296
3600.04/3609.80 c LP encountered learned Farkas constraints 28086
3600.04/3609.80 c CG auxiliary variables introduced 0
3600.04/3609.80 c CG solutions found 0
3600.04/3609.80 c CG cores constructed 0
3600.04/3609.80 c CG core cardinality constraints returned 0
3600.04/3609.80 c CG unit cores 0
3600.04/3609.80 c CG single cores 0
3600.04/3609.80 c CG blocks removed during cardinality reduction 0
3600.04/3609.80 c CG first core best 0
3600.04/3609.80 c CG decision core best 0
3600.04/3609.80 c CG core reduction tie 0
3600.04/3609.80 c CG core degree average 0.00
3600.04/3609.80 c CG core slack average 0.00
3600.04/3609.80 c CG core upper bound improvements 0
3600.04/3609.80 c STR number of successful calls 0
3600.04/3609.80 c STR number of unsuccessful calls 0
3600.04/3609.80 c STR number of inconclusive calls 0
3600.04/3609.80 c STR number of successful attempts 0
3600.04/3609.80 c STR number of unsuccessful attempts 0
3600.04/3609.80 c STR number of inconclusive attempts 0
3600.04/3609.80 c STR average degree increase per successful call inf
3600.04/3609.80 c STR average degree increase per successful attempt inf
3600.04/3609.80 c STR total number of conflicts for successful attempts 0
3600.04/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.80 c STR average number of conflicts per successful attempt inf
3600.04/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.80 c AVG.sumWPerc 92.54
3600.04/3609.80 c bigint constraints 3
3600.04/3609.80 s UNKNOWN
3600.04/3609.80 c Program interrupted by user.
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 (61682 MiB free)
memory of node 1: 64465 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542038-1753211687/watcher-4542038-1753211687 -o /tmp/evaluation-result-4542038-1753211687/solver-4542038-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175477 --watchdog 3760 run-dec-break.sh HOME/instance-4542038-1753211687.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=175523, runsolver pid=175517
[startup+0.10006 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128161852/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=63204 memory=19580 CPUtime=0.02 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 2766 0 0 0 2 0 0 0 20 0 1 0 236848115 64720896 4895 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 15801 4895 2304 1147 0 3228 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 67396 KiB
Current children cumulated memory: 22524 KiB
[startup+0.20563 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128151960/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=74648 memory=27244 CPUtime=0.13 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 4745 0 0 0 12 1 0 0 20 0 1 0 236848115 76439552 6811 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 18662 6811 2336 1147 0 6089 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 78840 KiB
Current children cumulated memory: 30188 KiB
[startup+0.305695 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128147172/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=74648 memory=27244 CPUtime=0.23 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 4745 0 0 0 22 1 0 0 20 0 1 0 236848115 76439552 6811 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 18662 6811 2336 1147 0 6089 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78840 KiB
Current children cumulated memory: 30188 KiB
[startup+0.700179 s]
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128137092/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=81668 memory=36780 CPUtime=0.62 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 6602 0 0 0 60 2 0 0 20 0 1 0 236848115 83628032 9195 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 20417 9195 2368 1147 0 7844 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 85860 KiB
Current children cumulated memory: 39724 KiB
[startup+1.50018 s]
/proc/loadavg: 1.13 1.14 1.66 5/268 175544
/proc/meminfo: memFree=128066568/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=106232 memory=55084 CPUtime=1.42 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 11159 0 0 0 138 4 0 0 20 0 1 0 236848115 108781568 13771 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 26558 13771 2400 1147 0 13985 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 110424 KiB
Current children cumulated memory: 58028 KiB
[startup+3.10532 s]
/proc/loadavg: 1.36 1.18 1.67 5/268 175544
/proc/meminfo: memFree=128036024/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=107684 memory=61096 CPUtime=3.01 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 12158 0 0 0 297 4 0 0 20 0 1 0 236848115 110268416 15274 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 26921 15274 2400 1147 0 14348 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 111876 KiB
Current children cumulated memory: 64040 KiB
[startup+6.30017 s]
/proc/loadavg: 1.36 1.18 1.67 5/268 175544
/proc/meminfo: memFree=127992596/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=138600 memory=86392 CPUtime=6.2 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 17435 0 0 0 613 7 0 0 20 0 1 0 236848115 141926400 21598 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 34650 21598 2400 1147 0 22077 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 142792 KiB
Current children cumulated memory: 89336 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.23 1.68 5/268 175590
/proc/meminfo: memFree=127037004/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=153320 memory=94960 CPUtime=12.58 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 19081 0 0 0 1247 11 0 0 20 0 1 0 236848115 156999680 23740 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 38330 23740 2400 1147 0 25757 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 157512 KiB
Current children cumulated memory: 97904 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.73 5/269 175592
/proc/meminfo: memFree=124960876/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=175676 memory=115324 CPUtime=25.34 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 23581 0 0 0 2517 17 0 0 20 0 1 0 236848115 179892224 28831 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 43919 28831 2496 1147 0 31346 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 179868 KiB
Current children cumulated memory: 118268 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 1.59 1.79 5/269 175593
/proc/meminfo: memFree=124899988/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=202388 memory=141448 CPUtime=50.87 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 29086 0 0 0 5062 25 0 0 20 0 1 0 236848115 207245312 35362 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 50597 35362 2496 1147 0 38024 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 206580 KiB
Current children cumulated memory: 144392 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.91 5/270 175601
/proc/meminfo: memFree=124771992/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=223008 memory=158916 CPUtime=101.91 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 32967 0 0 0 10148 43 0 0 20 0 1 0 236848115 228360192 39729 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 55752 39729 2496 1147 0 43179 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 227200 KiB
Current children cumulated memory: 161860 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.40 2.06 5/270 175603
/proc/meminfo: memFree=124773652/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=248416 memory=174504 CPUtime=161.74 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 36379 0 0 0 16105 69 0 0 20 0 1 0 236848115 254377984 43626 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 62104 43626 2496 1147 0 49531 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 252608 KiB
Current children cumulated memory: 177448 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.19 5/270 175605
/proc/meminfo: memFree=124708532/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=286012 memory=216132 CPUtime=221.57 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 42497 0 0 0 22072 85 0 0 20 0 1 0 236848115 292876288 54033 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 71503 54033 2496 1147 0 58930 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
/proc/175543/statm: 163319 130221 2496 1147 0 150746 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 657468 KiB
Current children cumulated memory: 523828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/268 175766
/proc/meminfo: memFree=123100284/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=653484 memory=528436 CPUtime=3093.8 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 103105 0 0 0 308636 744 0 0 20 0 1 0 236848115 669167616 132109 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 163371 132109 2496 1147 0 150798 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 657676 KiB
Current children cumulated memory: 531380 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/269 175769
/proc/meminfo: memFree=123067516/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=653992 memory=549172 CPUtime=3153.64 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 103276 0 0 0 314602 762 0 0 20 0 1 0 236848115 669687808 137293 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 163498 137293 2496 1147 0 150925 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 658184 KiB
Current children cumulated memory: 552116 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/268 175771
/proc/meminfo: memFree=123000988/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=654764 memory=570164 CPUtime=3213.48 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 103465 0 0 0 320576 772 0 0 20 0 1 0 236848115 670478336 142541 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 163691 142541 2496 1147 0 151118 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 573108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/269 175774
/proc/meminfo: memFree=122940724/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=656972 memory=571828 CPUtime=3273.32 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 103906 0 0 0 326545 787 0 0 20 0 1 0 236848115 672739328 142957 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 164243 142957 2496 1147 0 151670 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 661164 KiB
Current children cumulated memory: 574772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 175776
/proc/meminfo: memFree=122932800/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=660780 memory=576888 CPUtime=3333.17 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 104661 0 0 0 332514 803 0 0 20 0 1 0 236848115 676638720 144222 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 165195 144222 2496 1147 0 152622 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 664972 KiB
Current children cumulated memory: 579832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/270 175779
/proc/meminfo: memFree=122932776/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=660780 memory=577016 CPUtime=3393.02 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 104697 0 0 0 338490 812 0 0 20 0 1 0 236848115 676638720 144254 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 165195 144254 2496 1147 0 152622 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 664972 KiB
Current children cumulated memory: 579960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/268 175781
/proc/meminfo: memFree=122916108/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=662320 memory=578552 CPUtime=3452.87 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 105030 0 0 0 344461 826 0 0 20 0 1 0 236848115 678215680 144638 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 165580 144638 2528 1147 0 153007 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 666512 KiB
Current children cumulated memory: 581496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/268 175783
/proc/meminfo: memFree=122899664/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=662480 memory=578680 CPUtime=3512.72 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 105076 0 0 0 350440 832 0 0 20 0 1 0 236848115 678379520 144670 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 165620 144670 2528 1147 0 153047 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 666672 KiB
Current children cumulated memory: 581624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/267 175785
/proc/meminfo: memFree=122871668/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=664984 memory=580472 CPUtime=3572.58 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 105510 0 0 0 356411 847 0 0 20 0 1 0 236848115 680943616 145118 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 166246 145118 2528 1147 0 153673 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 669176 KiB
Current children cumulated memory: 583416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.09 4.05 5/267 175785
/proc/meminfo: memFree=122871684/131250000 swapFree=33009904/33010684
[pid=175523] ppid=175517 vsize=4192 memory=2944 CPUtime=0.03 cores=0,2
/proc/175523/stat : 175523 (run-dec-break.s) S 175517 175523 175467 0 -1 4194304 235 1952 0 0 0 0 3 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94729884557312 94729885451845 140736947593376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94729885690896 94729885738640 94729914007552 140736947599711 140736947599840 140736947599840 140736947605444 0
/proc/175523/statm: 1048 736 672 219 0 110 0
[pid=175543] ppid=175523 vsize=664984 memory=580472 CPUtime=3600.01 cores=0,2
/proc/175543/stat : 175543 (roundingsat) R 175523 175523 175467 0 -1 4194304 105510 0 0 0 359150 851 0 0 20 0 1 0 236848115 680943616 145118 18446744073709551615 4227072 8923433 140737111565392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14966784 140737111570754 140737111570982 140737111570982 140737111576554 0
/proc/175543/statm: 166246 145118 2528 1147 0 153673 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 669176 KiB
Current children cumulated memory: 583416 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 175523 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.037368 s, system=0.008287 s
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 175543 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.55 s, system=8.52783 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.07
CPU user time (s): 3591.55
CPU system time (s): 8.52783
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 669176
Max. memory (cumulated for all children) (KiB): 583416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.55
system time used= 8.52783
maximum resident set size= 580600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344
involuntary context switches= 8056
# summary of solver processes directly reported to runsolver:
# pid: 175523,175543
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.55
# total CPU system time (s): 8.52783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2627 second user time and 16.7745 second system time
The end
Begin job on nodeC033 at 2025-07-22 21:14:47
IDJOB=4542038
IDBENCH=163735
IDSOLVER=3357
FILE ID=nodeC033/4542038-1753211687
RUNJOBID= nodeC033-1753211687-175477
SLURM_JOB_ID= 9687798
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542038-1753211687/watcher-4542038-1753211687 -o /tmp/evaluation-result-4542038-1753211687/solver-4542038-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175477 --watchdog 3760 run-dec-break.sh HOME/instance-4542038-1753211687.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=1445814348
nodeC033 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.325
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3601.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128222688 kB
MemAvailable: 129685312 kB
Buffers: 2128 kB
Cached: 2185872 kB
SwapCached: 64 kB
Active: 1293324 kB
Inactive: 958756 kB
Active(anon): 85024 kB
Inactive(anon): 5284 kB
Active(file): 1208300 kB
Inactive(file): 953472 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29808 kB
Writeback: 8 kB
AnonPages: 67200 kB
Mapped: 108492 kB
Shmem: 26228 kB
KReclaimable: 280180 kB
Slab: 378048 kB
SReclaimable: 280180 kB
SUnreclaim: 97868 kB
KernelStack: 4112 kB
PageTables: 2948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432412 MiB
End job on nodeC033 at 2025-07-22 22:14:57