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-4506908-1751172706.opb'
0.00/0.04 c read 1.36MB (19.07ms)
0.00/0.04 c [cnf: #variables 19754 #clauses 20088 #duplicates 0 #arr 129224]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2988] (25.22ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.77ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 99104 #edges 376972]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (22.15ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.07ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.18ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4506908-1751172706.opb.pre'
0.00/0.10 c wrote 1.39MB (3.79ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 25.22ms 32.60% approx_orbits
0.00/0.10 c 22.15ms 28.63% detect_generic
0.00/0.10 c 19.07ms 24.64% parse
0.00/0.10 c 4.77ms 6.17% detect_special
0.00/0.10 c 3.79ms 4.90% output
0.00/0.10 c 1.34ms 1.74% other
0.00/0.10 c 0.78ms 1.00% finalize_order
0.00/0.10 c 0.18ms 0.23% break_generic
0.00/0.10 c 0.07ms 0.09% optimize_gens
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 77.37ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.07/0.12 c RoundingSat 2
0.07/0.12 c branch pb25
0.07/0.12 c commit 63f22ad
0.15/0.24 c #variables 19799 #constraints 20226
109.18/109.52 c #Conflicts: 1000 | #Constraints: 21225
109.18/109.52 c #Conflicts: 2000 | #Constraints: 22225
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 3000 | #Constraints: 21510
109.18/109.52 c #Conflicts: 4000 | #Constraints: 22510
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 5000 | #Constraints: 21986
109.18/109.52 c #Conflicts: 6000 | #Constraints: 22986
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 7000 | #Constraints: 22129
109.18/109.52 c #Conflicts: 8000 | #Constraints: 23129
109.18/109.52 c #Conflicts: 9000 | #Constraints: 24129
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 10000 | #Constraints: 22967
109.18/109.52 c #Conflicts: 11000 | #Constraints: 23967
109.18/109.52 c #Conflicts: 12000 | #Constraints: 24967
109.18/109.52 c #Conflicts: 13000 | #Constraints: 25967
109.18/109.52 c #Conflicts: 14000 | #Constraints: 26967
109.18/109.52 c #Conflicts: 15000 | #Constraints: 27967
109.18/109.52 c #Conflicts: 16000 | #Constraints: 28967
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 17000 | #Constraints: 25268
109.18/109.52 c #Conflicts: 18000 | #Constraints: 26268
109.18/109.52 c #Conflicts: 19000 | #Constraints: 27268
109.18/109.52 c #Conflicts: 20000 | #Constraints: 28268
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 21000 | #Constraints: 24984
109.18/109.52 c #Conflicts: 22000 | #Constraints: 25984
109.18/109.52 c #Conflicts: 23000 | #Constraints: 26984
109.18/109.52 c #Conflicts: 24000 | #Constraints: 27984
109.18/109.52 c #Conflicts: 25000 | #Constraints: 28984
109.18/109.52 c #Conflicts: 26000 | #Constraints: 29984
109.18/109.52 c #Conflicts: 27000 | #Constraints: 30984
109.18/109.52 c #Conflicts: 28000 | #Constraints: 31984
109.18/109.52 c #Conflicts: 29000 | #Constraints: 32984
109.18/109.52 c #Conflicts: 30000 | #Constraints: 33984
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 31000 | #Constraints: 27835
109.18/109.52 c #Conflicts: 32000 | #Constraints: 28835
109.18/109.52 c #Conflicts: 33000 | #Constraints: 29835
109.18/109.52 c #Conflicts: 34000 | #Constraints: 30835
109.18/109.52 c #Conflicts: 35000 | #Constraints: 31835
109.18/109.52 c #Conflicts: 36000 | #Constraints: 32835
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 37000 | #Constraints: 27969
109.18/109.52 c #Conflicts: 38000 | #Constraints: 28969
109.18/109.52 c #Conflicts: 39000 | #Constraints: 29969
109.18/109.52 c #Conflicts: 40000 | #Constraints: 30969
109.18/109.52 c #Conflicts: 41000 | #Constraints: 31969
109.18/109.52 c #Conflicts: 42000 | #Constraints: 32969
109.18/109.52 c #Conflicts: 43000 | #Constraints: 33969
109.18/109.52 c #Conflicts: 44000 | #Constraints: 34969
109.18/109.52 c #Conflicts: 45000 | #Constraints: 35969
109.18/109.52 c #Conflicts: 46000 | #Constraints: 36969
109.18/109.52 c #Conflicts: 47000 | #Constraints: 37969
109.18/109.52 c #Conflicts: 48000 | #Constraints: 38969
109.18/109.52 c #Conflicts: 49000 | #Constraints: 39969
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 50000 | #Constraints: 31051
109.18/109.52 c #Conflicts: 51000 | #Constraints: 32051
109.18/109.52 c #Conflicts: 52000 | #Constraints: 33051
109.18/109.52 c #Conflicts: 53000 | #Constraints: 34051
109.18/109.52 c #Conflicts: 54000 | #Constraints: 35051
109.18/109.52 c #Conflicts: 55000 | #Constraints: 36051
109.18/109.52 c #Conflicts: 56000 | #Constraints: 37051
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
109.18/109.52 c #Conflicts: 57000 | #Constraints: 30232
109.18/109.52 c #Conflicts: 58000 | #Constraints: 31232
109.18/109.52 c #Conflicts: 59000 | #Constraints: 32232
109.18/109.52 c #Conflicts: 60000 | #Constraints: 33232
109.18/109.52 c #Conflicts: 61000 | #Constraints: 34232
109.18/109.52 c #Conflicts: 62000 | #Constraints: 35232
109.18/109.52 c #Conflicts: 63000 | #Constraints: 36232
109.18/109.52 c #Conflicts: 64000 | #Constraints: 37232
109.18/109.52 c #Conflicts: 65000 | #Constraints: 38232
109.18/109.52 c #Conflicts: 66000 | #Constraints: 39232
109.18/109.52 c #Conflicts: 67000 | #Constraints: 40232
109.18/109.52 c #Conflicts: 68000 | #Constraints: 41232
109.18/109.52 c #Conflicts: 69000 | #Constraints: 42232
109.18/109.52 c #Conflicts: 70000 | #Constraints: 43232
109.18/109.52 c #Conflicts: 71000 | #Constraints: 44232
109.18/109.52 c #Conflicts: 72000 | #Constraints: 45232
109.18/109.52 c INPROCESSING
109.18/109.52 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 73000 | #Constraints: 33697
219.53/220.18 c #Conflicts: 74000 | #Constraints: 34697
219.53/220.18 c #Conflicts: 75000 | #Constraints: 35697
219.53/220.18 c #Conflicts: 76000 | #Constraints: 36697
219.53/220.18 c #Conflicts: 77000 | #Constraints: 37697
219.53/220.18 c #Conflicts: 78000 | #Constraints: 38697
219.53/220.18 c #Conflicts: 79000 | #Constraints: 39697
219.53/220.18 c #Conflicts: 80000 | #Constraints: 40697
219.53/220.18 c INPROCESSING
219.53/220.18 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 81000 | #Constraints: 32590
219.53/220.18 c #Conflicts: 82000 | #Constraints: 33590
219.53/220.18 c #Conflicts: 83000 | #Constraints: 34590
219.53/220.18 c #Conflicts: 84000 | #Constraints: 35590
219.53/220.18 c #Conflicts: 85000 | #Constraints: 36590
219.53/220.18 c #Conflicts: 86000 | #Constraints: 37590
219.53/220.18 c #Conflicts: 87000 | #Constraints: 38590
219.53/220.18 c #Conflicts: 88000 | #Constraints: 39590
219.53/220.18 c #Conflicts: 89000 | #Constraints: 40590
219.53/220.18 c #Conflicts: 90000 | #Constraints: 41590
219.53/220.18 c #Conflicts: 91000 | #Constraints: 42590
219.53/220.18 c #Conflicts: 92000 | #Constraints: 43590
219.53/220.18 c #Conflicts: 93000 | #Constraints: 44590
219.53/220.18 c #Conflicts: 94000 | #Constraints: 45590
219.53/220.18 c #Conflicts: 95000 | #Constraints: 46590
219.53/220.18 c #Conflicts: 96000 | #Constraints: 47590
219.53/220.18 c #Conflicts: 97000 | #Constraints: 48590
219.53/220.18 c #Conflicts: 98000 | #Constraints: 49590
219.53/220.18 c #Conflicts: 99000 | #Constraints: 50590
219.53/220.18 c #Conflicts: 100000 | #Constraints: 51590
219.53/220.18 c INPROCESSING
219.53/220.18 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 101000 | #Constraints: 37211
219.53/220.18 c #Conflicts: 102000 | #Constraints: 38211
219.53/220.18 c #Conflicts: 103000 | #Constraints: 39211
219.53/220.18 c #Conflicts: 104000 | #Constraints: 40211
219.53/220.18 c #Conflicts: 105000 | #Constraints: 41211
219.53/220.18 c #Conflicts: 106000 | #Constraints: 42211
219.53/220.18 c #Conflicts: 107000 | #Constraints: 43211
219.53/220.18 c #Conflicts: 108000 | #Constraints: 44211
219.53/220.18 c #Conflicts: 109000 | #Constraints: 45211
219.53/220.18 c INPROCESSING
219.53/220.18 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 110000 | #Constraints: 35163
219.53/220.18 c #Conflicts: 111000 | #Constraints: 36163
219.53/220.18 c #Conflicts: 112000 | #Constraints: 37163
219.53/220.18 c #Conflicts: 113000 | #Constraints: 38163
219.53/220.18 c #Conflicts: 114000 | #Constraints: 39163
219.53/220.18 c #Conflicts: 115000 | #Constraints: 40163
219.53/220.18 c #Conflicts: 116000 | #Constraints: 41163
219.53/220.18 c #Conflicts: 117000 | #Constraints: 42163
219.53/220.18 c #Conflicts: 118000 | #Constraints: 43163
219.53/220.18 c #Conflicts: 119000 | #Constraints: 44163
219.53/220.18 c #Conflicts: 120000 | #Constraints: 45163
219.53/220.18 c #Conflicts: 121000 | #Constraints: 46163
219.53/220.18 c #Conflicts: 122000 | #Constraints: 47163
219.53/220.18 c #Conflicts: 123000 | #Constraints: 48163
219.53/220.18 c #Conflicts: 124000 | #Constraints: 49163
219.53/220.18 c #Conflicts: 125000 | #Constraints: 50163
219.53/220.18 c #Conflicts: 126000 | #Constraints: 51163
219.53/220.18 c #Conflicts: 127000 | #Constraints: 52163
219.53/220.18 c #Conflicts: 128000 | #Constraints: 53163
219.53/220.18 c #Conflicts: 129000 | #Constraints: 54163
219.53/220.18 c #Conflicts: 130000 | #Constraints: 55163
219.53/220.18 c #Conflicts: 131000 | #Constraints: 56163
219.53/220.18 c #Conflicts: 132000 | #Constraints: 57163
219.53/220.18 c INPROCESSING
219.53/220.18 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 133000 | #Constraints: 40320
219.53/220.18 c #Conflicts: 134000 | #Constraints: 41320
219.53/220.18 c #Conflicts: 135000 | #Constraints: 42320
219.53/220.18 c #Conflicts: 136000 | #Constraints: 43320
219.53/220.18 c #Conflicts: 137000 | #Constraints: 44320
219.53/220.18 c #Conflicts: 138000 | #Constraints: 45320
219.53/220.18 c #Conflicts: 139000 | #Constraints: 46320
219.53/220.18 c #Conflicts: 140000 | #Constraints: 47320
219.53/220.18 c #Conflicts: 141000 | #Constraints: 48320
219.53/220.18 c #Conflicts: 142000 | #Constraints: 49320
219.53/220.18 c INPROCESSING
219.53/220.18 c GARBAGE COLLECT
219.53/220.18 c #Conflicts: 143000 | #Constraints: 37578
219.53/220.18 c #Conflicts: 144000 | #Constraints: 38578
219.53/220.18 c #Conflicts: 145000 | #Constraints: 39578
219.53/220.18 c #Conflicts: 146000 | #Constraints: 40578
219.53/220.18 c #Conflicts: 147000 | #Constraints: 41578
219.53/220.18 c #Conflicts: 148000 | #Constraints: 42578
387.76/388.81 c #Conflicts: 149000 | #Constraints: 43578
387.76/388.81 c #Conflicts: 150000 | #Constraints: 44578
387.76/388.81 c #Conflicts: 151000 | #Constraints: 45578
387.76/388.81 c #Conflicts: 152000 | #Constraints: 46578
387.76/388.81 c #Conflicts: 153000 | #Constraints: 47578
387.76/388.81 c #Conflicts: 154000 | #Constraints: 48578
387.76/388.81 c #Conflicts: 155000 | #Constraints: 49578
387.76/388.81 c #Conflicts: 156000 | #Constraints: 50578
387.76/388.81 c #Conflicts: 157000 | #Constraints: 51578
387.76/388.81 c #Conflicts: 158000 | #Constraints: 52578
387.76/388.81 c #Conflicts: 159000 | #Constraints: 53578
387.76/388.81 c #Conflicts: 160000 | #Constraints: 54578
387.76/388.81 c #Conflicts: 161000 | #Constraints: 55578
387.76/388.81 c #Conflicts: 162000 | #Constraints: 56578
387.76/388.81 c #Conflicts: 163000 | #Constraints: 57578
387.76/388.81 c #Conflicts: 164000 | #Constraints: 58578
387.76/388.81 c #Conflicts: 165000 | #Constraints: 59578
387.76/388.81 c #Conflicts: 166000 | #Constraints: 60578
387.76/388.81 c #Conflicts: 167000 | #Constraints: 61578
387.76/388.81 c #Conflicts: 168000 | #Constraints: 62578
387.76/388.81 c INPROCESSING
387.76/388.81 c GARBAGE COLLECT
387.76/388.81 c #Conflicts: 169000 | #Constraints: 42781
387.76/388.81 c #Conflicts: 170000 | #Constraints: 43781
387.76/388.81 c #Conflicts: 171000 | #Constraints: 44781
387.76/388.81 c #Conflicts: 172000 | #Constraints: 45781
387.76/388.81 c #Conflicts: 173000 | #Constraints: 46781
387.76/388.81 c #Conflicts: 174000 | #Constraints: 47781
387.76/388.81 c #Conflicts: 175000 | #Constraints: 48781
387.76/388.81 c #Conflicts: 176000 | #Constraints: 49781
387.76/388.81 c #Conflicts: 177000 | #Constraints: 50781
387.76/388.81 c #Conflicts: 178000 | #Constraints: 51781
387.76/388.81 c #Conflicts: 179000 | #Constraints: 52781
387.76/388.81 c #Conflicts: 180000 | #Constraints: 53781
387.76/388.81 c INPROCESSING
387.76/388.81 c GARBAGE COLLECT
387.76/388.81 c #Conflicts: 181000 | #Constraints: 40871
387.76/388.81 c #Conflicts: 182000 | #Constraints: 41871
387.76/388.81 c #Conflicts: 183000 | #Constraints: 42871
387.76/388.81 c #Conflicts: 184000 | #Constraints: 43871
387.76/388.81 c #Conflicts: 185000 | #Constraints: 44871
387.76/388.81 c #Conflicts: 186000 | #Constraints: 45871
387.76/388.81 c #Conflicts: 187000 | #Constraints: 46871
387.76/388.81 c #Conflicts: 188000 | #Constraints: 47871
387.76/388.81 c #Conflicts: 189000 | #Constraints: 48871
387.76/388.81 c #Conflicts: 190000 | #Constraints: 49871
387.76/388.81 c #Conflicts: 191000 | #Constraints: 50871
387.76/388.81 c #Conflicts: 192000 | #Constraints: 51871
387.76/388.81 c #Conflicts: 193000 | #Constraints: 52871
387.76/388.81 c #Conflicts: 194000 | #Constraints: 53871
387.76/388.81 c #Conflicts: 195000 | #Constraints: 54871
387.76/388.81 c #Conflicts: 196000 | #Constraints: 55871
387.76/388.81 c #Conflicts: 197000 | #Constraints: 56871
387.76/388.81 c #Conflicts: 198000 | #Constraints: 57871
387.76/388.81 c #Conflicts: 199000 | #Constraints: 58871
387.76/388.81 c #Conflicts: 200000 | #Constraints: 59871
387.76/388.81 c #Conflicts: 201000 | #Constraints: 60871
387.76/388.81 c #Conflicts: 202000 | #Constraints: 61871
387.76/388.81 c #Conflicts: 203000 | #Constraints: 62871
387.76/388.81 c #Conflicts: 204000 | #Constraints: 63871
387.76/388.81 c #Conflicts: 205000 | #Constraints: 64871
387.76/388.81 c #Conflicts: 206000 | #Constraints: 65871
387.76/388.81 c #Conflicts: 207000 | #Constraints: 66871
387.76/388.81 c #Conflicts: 208000 | #Constraints: 67871
387.76/388.81 c #Conflicts: 209000 | #Constraints: 68871
387.76/388.81 c INPROCESSING
387.76/388.81 c GARBAGE COLLECT
387.76/388.81 c #Conflicts: 210000 | #Constraints: 46139
387.76/388.81 c #Conflicts: 211000 | #Constraints: 47139
387.76/388.81 c #Conflicts: 212000 | #Constraints: 48139
387.76/388.81 c #Conflicts: 213000 | #Constraints: 49139
387.76/388.81 c #Conflicts: 214000 | #Constraints: 50139
387.76/388.81 c #Conflicts: 215000 | #Constraints: 51139
387.76/388.81 c #Conflicts: 216000 | #Constraints: 52139
387.76/388.81 c #Conflicts: 217000 | #Constraints: 53139
387.76/388.81 c #Conflicts: 218000 | #Constraints: 54139
387.76/388.81 c #Conflicts: 219000 | #Constraints: 55139
387.76/388.81 c #Conflicts: 220000 | #Constraints: 56139
387.76/388.81 c #Conflicts: 221000 | #Constraints: 57139
387.76/388.81 c #Conflicts: 222000 | #Constraints: 58139
387.76/388.81 c INPROCESSING
387.76/388.81 c GARBAGE COLLECT
387.76/388.81 c #Conflicts: 223000 | #Constraints: 43099
387.76/388.81 c #Conflicts: 224000 | #Constraints: 44099
535.24/536.74 c #Conflicts: 225000 | #Constraints: 45099
535.24/536.74 c #Conflicts: 226000 | #Constraints: 46099
535.24/536.74 c #Conflicts: 227000 | #Constraints: 47099
535.24/536.74 c #Conflicts: 228000 | #Constraints: 48099
535.24/536.74 c #Conflicts: 229000 | #Constraints: 49099
535.24/536.74 c #Conflicts: 230000 | #Constraints: 50099
535.24/536.74 c #Conflicts: 231000 | #Constraints: 51099
535.24/536.74 c #Conflicts: 232000 | #Constraints: 52099
535.24/536.74 c #Conflicts: 233000 | #Constraints: 53099
535.24/536.74 c #Conflicts: 234000 | #Constraints: 54099
535.24/536.74 c #Conflicts: 235000 | #Constraints: 55099
535.24/536.74 c #Conflicts: 236000 | #Constraints: 56099
535.24/536.74 c #Conflicts: 237000 | #Constraints: 57099
535.24/536.74 c #Conflicts: 238000 | #Constraints: 58099
535.24/536.74 c #Conflicts: 239000 | #Constraints: 59099
535.24/536.74 c #Conflicts: 240000 | #Constraints: 60099
535.24/536.74 c #Conflicts: 241000 | #Constraints: 61099
535.24/536.74 c #Conflicts: 242000 | #Constraints: 62099
535.24/536.74 c #Conflicts: 243000 | #Constraints: 63099
535.24/536.74 c #Conflicts: 244000 | #Constraints: 64099
535.24/536.74 c #Conflicts: 245000 | #Constraints: 65099
535.24/536.74 c #Conflicts: 246000 | #Constraints: 66099
535.24/536.74 c #Conflicts: 247000 | #Constraints: 67099
535.24/536.74 c #Conflicts: 248000 | #Constraints: 68099
535.24/536.74 c #Conflicts: 249000 | #Constraints: 69099
535.24/536.74 c #Conflicts: 250000 | #Constraints: 70099
535.24/536.74 c #Conflicts: 251000 | #Constraints: 71099
535.24/536.74 c #Conflicts: 252000 | #Constraints: 72099
535.24/536.74 c #Conflicts: 253000 | #Constraints: 73099
535.24/536.74 c #Conflicts: 254000 | #Constraints: 74099
535.24/536.74 c INPROCESSING
535.24/536.74 c GARBAGE COLLECT
535.24/536.74 c #Conflicts: 255000 | #Constraints: 48924
535.24/536.74 c #Conflicts: 256000 | #Constraints: 49924
535.24/536.74 c #Conflicts: 257000 | #Constraints: 50924
535.24/536.74 c #Conflicts: 258000 | #Constraints: 51924
535.24/536.74 c #Conflicts: 259000 | #Constraints: 52924
535.24/536.74 c #Conflicts: 260000 | #Constraints: 53924
535.24/536.74 c #Conflicts: 261000 | #Constraints: 54924
535.24/536.74 c #Conflicts: 262000 | #Constraints: 55924
535.24/536.74 c #Conflicts: 263000 | #Constraints: 56924
535.24/536.74 c #Conflicts: 264000 | #Constraints: 57924
535.24/536.74 c #Conflicts: 265000 | #Constraints: 58924
535.24/536.74 c #Conflicts: 266000 | #Constraints: 59924
535.24/536.74 c #Conflicts: 267000 | #Constraints: 60924
535.24/536.74 c #Conflicts: 268000 | #Constraints: 61924
535.24/536.74 c INPROCESSING
535.24/536.74 c GARBAGE COLLECT
535.24/536.74 c #Conflicts: 269000 | #Constraints: 45634
535.24/536.74 c #Conflicts: 270000 | #Constraints: 46634
535.24/536.74 c #Conflicts: 271000 | #Constraints: 47634
535.24/536.74 c #Conflicts: 272000 | #Constraints: 48634
535.24/536.74 c #Conflicts: 273000 | #Constraints: 49634
535.24/536.74 c #Conflicts: 274000 | #Constraints: 50634
535.24/536.74 c #Conflicts: 275000 | #Constraints: 51634
535.24/536.74 c #Conflicts: 276000 | #Constraints: 52634
535.24/536.74 c #Conflicts: 277000 | #Constraints: 53634
535.24/536.74 c #Conflicts: 278000 | #Constraints: 54634
535.24/536.74 c #Conflicts: 279000 | #Constraints: 55634
535.24/536.74 c #Conflicts: 280000 | #Constraints: 56634
535.24/536.74 c #Conflicts: 281000 | #Constraints: 57634
535.24/536.74 c #Conflicts: 282000 | #Constraints: 58634
535.24/536.74 c #Conflicts: 283000 | #Constraints: 59634
535.24/536.74 c #Conflicts: 284000 | #Constraints: 60634
535.24/536.74 c #Conflicts: 285000 | #Constraints: 61634
535.24/536.74 c #Conflicts: 286000 | #Constraints: 62634
535.24/536.74 c #Conflicts: 287000 | #Constraints: 63634
535.24/536.74 c #Conflicts: 288000 | #Constraints: 64634
535.24/536.74 c #Conflicts: 289000 | #Constraints: 65634
535.24/536.74 c #Conflicts: 290000 | #Constraints: 66634
535.24/536.74 c #Conflicts: 291000 | #Constraints: 67634
535.24/536.74 c #Conflicts: 292000 | #Constraints: 68634
535.24/536.74 c #Conflicts: 293000 | #Constraints: 69634
535.24/536.74 c #Conflicts: 294000 | #Constraints: 70634
535.24/536.74 c #Conflicts: 295000 | #Constraints: 71634
535.24/536.74 c #Conflicts: 296000 | #Constraints: 72634
535.24/536.74 c #Conflicts: 297000 | #Constraints: 73634
535.24/536.74 c #Conflicts: 298000 | #Constraints: 74634
535.24/536.74 c #Conflicts: 299000 | #Constraints: 75634
535.24/536.74 c #Conflicts: 300000 | #Constraints: 76634
535.24/536.74 c #Conflicts: 301000 | #Constraints: 77634
535.24/536.74 c #Conflicts: 302000 | #Constraints: 78634
670.88/672.75 c #Conflicts: 303000 | #Constraints: 79634
670.88/672.75 c INPROCESSING
670.88/672.75 c GARBAGE COLLECT
670.88/672.75 c #Conflicts: 304000 | #Constraints: 51463
670.88/672.75 c #Conflicts: 305000 | #Constraints: 52463
670.88/672.75 c #Conflicts: 306000 | #Constraints: 53463
670.88/672.75 c #Conflicts: 307000 | #Constraints: 54463
670.88/672.75 c #Conflicts: 308000 | #Constraints: 55463
670.88/672.75 c #Conflicts: 309000 | #Constraints: 56463
670.88/672.75 c #Conflicts: 310000 | #Constraints: 57463
670.88/672.75 c #Conflicts: 311000 | #Constraints: 58463
670.88/672.75 c #Conflicts: 312000 | #Constraints: 59463
670.88/672.75 c #Conflicts: 313000 | #Constraints: 60463
670.88/672.75 c #Conflicts: 314000 | #Constraints: 61463
670.88/672.75 c #Conflicts: 315000 | #Constraints: 62463
670.88/672.75 c #Conflicts: 316000 | #Constraints: 63463
670.88/672.75 c #Conflicts: 317000 | #Constraints: 64463
670.88/672.75 c #Conflicts: 318000 | #Constraints: 65463
670.88/672.75 c #Conflicts: 319000 | #Constraints: 66463
670.88/672.75 c INPROCESSING
670.88/672.75 c GARBAGE COLLECT
670.88/672.75 c #Conflicts: 320000 | #Constraints: 48494
670.88/672.75 c #Conflicts: 321000 | #Constraints: 49494
670.88/672.75 c #Conflicts: 322000 | #Constraints: 50494
670.88/672.75 c #Conflicts: 323000 | #Constraints: 51494
670.88/672.75 c #Conflicts: 324000 | #Constraints: 52494
670.88/672.75 c #Conflicts: 325000 | #Constraints: 53494
670.88/672.75 c #Conflicts: 326000 | #Constraints: 54494
670.88/672.75 c #Conflicts: 327000 | #Constraints: 55494
670.88/672.75 c #Conflicts: 328000 | #Constraints: 56494
670.88/672.75 c #Conflicts: 329000 | #Constraints: 57494
670.88/672.75 c #Conflicts: 330000 | #Constraints: 58494
670.88/672.75 c #Conflicts: 331000 | #Constraints: 59494
670.88/672.75 c #Conflicts: 332000 | #Constraints: 60494
670.88/672.75 c #Conflicts: 333000 | #Constraints: 61494
670.88/672.75 c #Conflicts: 334000 | #Constraints: 62494
670.88/672.75 c #Conflicts: 335000 | #Constraints: 63494
670.88/672.75 c #Conflicts: 336000 | #Constraints: 64494
670.88/672.75 c #Conflicts: 337000 | #Constraints: 65494
670.88/672.75 c #Conflicts: 338000 | #Constraints: 66494
670.88/672.75 c #Conflicts: 339000 | #Constraints: 67494
670.88/672.75 c #Conflicts: 340000 | #Constraints: 68494
670.88/672.75 c #Conflicts: 341000 | #Constraints: 69494
670.88/672.75 c #Conflicts: 342000 | #Constraints: 70494
670.88/672.75 c #Conflicts: 343000 | #Constraints: 71494
670.88/672.75 c #Conflicts: 344000 | #Constraints: 72494
670.88/672.75 c #Conflicts: 345000 | #Constraints: 73494
670.88/672.75 c #Conflicts: 346000 | #Constraints: 74494
670.88/672.75 c #Conflicts: 347000 | #Constraints: 75494
670.88/672.75 c #Conflicts: 348000 | #Constraints: 76494
670.88/672.75 c #Conflicts: 349000 | #Constraints: 77494
670.88/672.75 c #Conflicts: 350000 | #Constraints: 78494
670.88/672.75 c #Conflicts: 351000 | #Constraints: 79494
670.88/672.75 c #Conflicts: 352000 | #Constraints: 80494
670.88/672.75 c #Conflicts: 353000 | #Constraints: 81494
670.88/672.75 c #Conflicts: 354000 | #Constraints: 82494
670.88/672.75 c #Conflicts: 355000 | #Constraints: 83494
670.88/672.75 c #Conflicts: 356000 | #Constraints: 84494
670.88/672.75 c #Conflicts: 357000 | #Constraints: 85494
670.88/672.75 c INPROCESSING
670.88/672.75 c GARBAGE COLLECT
670.88/672.75 c #Conflicts: 358000 | #Constraints: 54348
670.88/672.75 c #Conflicts: 359000 | #Constraints: 55348
670.88/672.75 c #Conflicts: 360000 | #Constraints: 56348
670.88/672.75 c #Conflicts: 361000 | #Constraints: 57348
670.88/672.75 c #Conflicts: 362000 | #Constraints: 58348
670.88/672.75 c #Conflicts: 363000 | #Constraints: 59348
670.88/672.75 c #Conflicts: 364000 | #Constraints: 60348
670.88/672.75 c #Conflicts: 365000 | #Constraints: 61348
670.88/672.75 c #Conflicts: 366000 | #Constraints: 62348
670.88/672.75 c #Conflicts: 367000 | #Constraints: 63348
670.88/672.75 c #Conflicts: 368000 | #Constraints: 64348
670.88/672.75 c #Conflicts: 369000 | #Constraints: 65348
670.88/672.75 c #Conflicts: 370000 | #Constraints: 66348
670.88/672.75 c #Conflicts: 371000 | #Constraints: 67348
670.88/672.75 c #Conflicts: 372000 | #Constraints: 68348
670.88/672.75 c #Conflicts: 373000 | #Constraints: 69348
670.88/672.75 c #Conflicts: 374000 | #Constraints: 70348
670.88/672.75 c INPROCESSING
670.88/672.75 c GARBAGE COLLECT
670.88/672.75 c #Conflicts: 375000 | #Constraints: 51085
670.88/672.75 c #Conflicts: 376000 | #Constraints: 52085
670.88/672.75 c #Conflicts: 377000 | #Constraints: 53085
670.88/672.75 c #Conflicts: 378000 | #Constraints: 54085
839.26/841.57 c #Conflicts: 379000 | #Constraints: 55085
839.26/841.57 c #Conflicts: 380000 | #Constraints: 56085
839.26/841.57 c #Conflicts: 381000 | #Constraints: 57085
839.26/841.57 c #Conflicts: 382000 | #Constraints: 58085
839.26/841.57 c #Conflicts: 383000 | #Constraints: 59085
839.26/841.57 c #Conflicts: 384000 | #Constraints: 60085
839.26/841.57 c #Conflicts: 385000 | #Constraints: 61085
839.26/841.57 c #Conflicts: 386000 | #Constraints: 62085
839.26/841.57 c #Conflicts: 387000 | #Constraints: 63085
839.26/841.57 c #Conflicts: 388000 | #Constraints: 64085
839.26/841.57 c #Conflicts: 389000 | #Constraints: 65085
839.26/841.57 c #Conflicts: 390000 | #Constraints: 66085
839.26/841.57 c #Conflicts: 391000 | #Constraints: 67085
839.26/841.57 c #Conflicts: 392000 | #Constraints: 68085
839.26/841.57 c #Conflicts: 393000 | #Constraints: 69085
839.26/841.57 c #Conflicts: 394000 | #Constraints: 70085
839.26/841.57 c #Conflicts: 395000 | #Constraints: 71085
839.26/841.57 c #Conflicts: 396000 | #Constraints: 72085
839.26/841.57 c #Conflicts: 397000 | #Constraints: 73085
839.26/841.57 c #Conflicts: 398000 | #Constraints: 74085
839.26/841.57 c #Conflicts: 399000 | #Constraints: 75085
839.26/841.57 c #Conflicts: 400000 | #Constraints: 76085
839.26/841.57 c #Conflicts: 401000 | #Constraints: 77085
839.26/841.57 c #Conflicts: 402000 | #Constraints: 78085
839.26/841.57 c #Conflicts: 403000 | #Constraints: 79085
839.26/841.57 c #Conflicts: 404000 | #Constraints: 80085
839.26/841.57 c #Conflicts: 405000 | #Constraints: 81085
839.26/841.57 c #Conflicts: 406000 | #Constraints: 82085
839.26/841.57 c #Conflicts: 407000 | #Constraints: 83085
839.26/841.57 c #Conflicts: 408000 | #Constraints: 84085
839.26/841.57 c #Conflicts: 409000 | #Constraints: 85085
839.26/841.57 c #Conflicts: 410000 | #Constraints: 86085
839.26/841.57 c #Conflicts: 411000 | #Constraints: 87085
839.26/841.57 c #Conflicts: 412000 | #Constraints: 88085
839.26/841.57 c #Conflicts: 413000 | #Constraints: 89085
839.26/841.57 c #Conflicts: 414000 | #Constraints: 90085
839.26/841.57 c #Conflicts: 415000 | #Constraints: 91085
839.26/841.57 c INPROCESSING
839.26/841.57 c GARBAGE COLLECT
839.26/841.57 c #Conflicts: 416000 | #Constraints: 57338
839.26/841.57 c #Conflicts: 417000 | #Constraints: 58338
839.26/841.57 c #Conflicts: 418000 | #Constraints: 59338
839.26/841.57 c #Conflicts: 419000 | #Constraints: 60338
839.26/841.57 c #Conflicts: 420000 | #Constraints: 61338
839.26/841.57 c #Conflicts: 421000 | #Constraints: 62338
839.26/841.57 c #Conflicts: 422000 | #Constraints: 63338
839.26/841.57 c #Conflicts: 423000 | #Constraints: 64338
839.26/841.57 c #Conflicts: 424000 | #Constraints: 65338
839.26/841.57 c #Conflicts: 425000 | #Constraints: 66338
839.26/841.57 c #Conflicts: 426000 | #Constraints: 67338
839.26/841.57 c #Conflicts: 427000 | #Constraints: 68338
839.26/841.57 c #Conflicts: 428000 | #Constraints: 69338
839.26/841.57 c #Conflicts: 429000 | #Constraints: 70338
839.26/841.57 c #Conflicts: 430000 | #Constraints: 71338
839.26/841.57 c #Conflicts: 431000 | #Constraints: 72338
839.26/841.57 c #Conflicts: 432000 | #Constraints: 73338
839.26/841.57 c #Conflicts: 433000 | #Constraints: 74338
839.26/841.57 c #Conflicts: 434000 | #Constraints: 75338
839.26/841.57 c INPROCESSING
839.26/841.57 c GARBAGE COLLECT
839.26/841.57 c #Conflicts: 435000 | #Constraints: 54146
839.26/841.57 c #Conflicts: 436000 | #Constraints: 55146
839.26/841.57 c #Conflicts: 437000 | #Constraints: 56146
839.26/841.57 c #Conflicts: 438000 | #Constraints: 57146
839.26/841.57 c #Conflicts: 439000 | #Constraints: 58146
839.26/841.57 c #Conflicts: 440000 | #Constraints: 59146
839.26/841.57 c #Conflicts: 441000 | #Constraints: 60146
839.26/841.57 c #Conflicts: 442000 | #Constraints: 61146
839.26/841.57 c #Conflicts: 443000 | #Constraints: 62146
839.26/841.57 c #Conflicts: 444000 | #Constraints: 63146
839.26/841.57 c #Conflicts: 445000 | #Constraints: 64146
839.26/841.57 c #Conflicts: 446000 | #Constraints: 65146
839.26/841.57 c #Conflicts: 447000 | #Constraints: 66146
839.26/841.57 c #Conflicts: 448000 | #Constraints: 67146
839.26/841.57 c #Conflicts: 449000 | #Constraints: 68146
839.26/841.57 c #Conflicts: 450000 | #Constraints: 69146
839.26/841.57 c #Conflicts: 451000 | #Constraints: 70146
839.26/841.57 c #Conflicts: 452000 | #Constraints: 71146
839.26/841.57 c #Conflicts: 453000 | #Constraints: 72146
839.26/841.57 c #Conflicts: 454000 | #Constraints: 73146
839.26/841.57 c #Conflicts: 455000 | #Constraints: 74146
987.23/989.87 c #Conflicts: 456000 | #Constraints: 75146
987.23/989.87 c #Conflicts: 457000 | #Constraints: 76146
987.23/989.87 c #Conflicts: 458000 | #Constraints: 77146
987.23/989.87 c #Conflicts: 459000 | #Constraints: 78146
987.23/989.87 c #Conflicts: 460000 | #Constraints: 79146
987.23/989.87 c #Conflicts: 461000 | #Constraints: 80146
987.23/989.87 c #Conflicts: 462000 | #Constraints: 81146
987.23/989.87 c #Conflicts: 463000 | #Constraints: 82146
987.23/989.87 c #Conflicts: 464000 | #Constraints: 83146
987.23/989.87 c #Conflicts: 465000 | #Constraints: 84146
987.23/989.87 c #Conflicts: 466000 | #Constraints: 85146
987.23/989.87 c #Conflicts: 467000 | #Constraints: 86146
987.23/989.87 c #Conflicts: 468000 | #Constraints: 87146
987.23/989.87 c #Conflicts: 469000 | #Constraints: 88146
987.23/989.87 c #Conflicts: 470000 | #Constraints: 89146
987.23/989.87 c #Conflicts: 471000 | #Constraints: 90146
987.23/989.87 c #Conflicts: 472000 | #Constraints: 91146
987.23/989.87 c #Conflicts: 473000 | #Constraints: 92146
987.23/989.87 c #Conflicts: 474000 | #Constraints: 93146
987.23/989.87 c #Conflicts: 475000 | #Constraints: 94146
987.23/989.87 c #Conflicts: 476000 | #Constraints: 95146
987.23/989.87 c #Conflicts: 477000 | #Constraints: 96146
987.23/989.87 c #Conflicts: 478000 | #Constraints: 97146
987.23/989.87 c INPROCESSING
987.23/989.87 c GARBAGE COLLECT
987.23/989.87 c #Conflicts: 479000 | #Constraints: 60252
987.23/989.87 c #Conflicts: 480000 | #Constraints: 61252
987.23/989.87 c #Conflicts: 481000 | #Constraints: 62252
987.23/989.87 c #Conflicts: 482000 | #Constraints: 63252
987.23/989.87 c #Conflicts: 483000 | #Constraints: 64252
987.23/989.87 c #Conflicts: 484000 | #Constraints: 65252
987.23/989.87 c #Conflicts: 485000 | #Constraints: 66252
987.23/989.87 c #Conflicts: 486000 | #Constraints: 67252
987.23/989.87 c #Conflicts: 487000 | #Constraints: 68252
987.23/989.87 c #Conflicts: 488000 | #Constraints: 69252
987.23/989.87 c #Conflicts: 489000 | #Constraints: 70252
987.23/989.87 c #Conflicts: 490000 | #Constraints: 71252
987.23/989.87 c #Conflicts: 491000 | #Constraints: 72252
987.23/989.87 c #Conflicts: 492000 | #Constraints: 73252
987.23/989.87 c #Conflicts: 493000 | #Constraints: 74252
987.23/989.87 c #Conflicts: 494000 | #Constraints: 75252
987.23/989.87 c #Conflicts: 495000 | #Constraints: 76252
987.23/989.87 c #Conflicts: 496000 | #Constraints: 77252
987.23/989.87 c #Conflicts: 497000 | #Constraints: 78252
987.23/989.87 c #Conflicts: 498000 | #Constraints: 79252
987.23/989.87 c INPROCESSING
987.23/989.87 c GARBAGE COLLECT
987.23/989.87 c #Conflicts: 499000 | #Constraints: 56261
987.23/989.87 c #Conflicts: 500000 | #Constraints: 57261
987.23/989.87 c #Conflicts: 501000 | #Constraints: 58261
987.23/989.87 c #Conflicts: 502000 | #Constraints: 59261
987.23/989.87 c #Conflicts: 503000 | #Constraints: 60261
987.23/989.87 c #Conflicts: 504000 | #Constraints: 61261
987.23/989.87 c #Conflicts: 505000 | #Constraints: 62261
987.23/989.87 c #Conflicts: 506000 | #Constraints: 63261
987.23/989.87 c #Conflicts: 507000 | #Constraints: 64261
987.23/989.87 c #Conflicts: 508000 | #Constraints: 65261
987.23/989.87 c #Conflicts: 509000 | #Constraints: 66261
987.23/989.87 c #Conflicts: 510000 | #Constraints: 67261
987.23/989.87 c #Conflicts: 511000 | #Constraints: 68261
987.23/989.87 c #Conflicts: 512000 | #Constraints: 69261
987.23/989.87 c #Conflicts: 513000 | #Constraints: 70261
987.23/989.87 c #Conflicts: 514000 | #Constraints: 71261
987.23/989.87 c #Conflicts: 515000 | #Constraints: 72261
987.23/989.87 c #Conflicts: 516000 | #Constraints: 73261
987.23/989.87 c #Conflicts: 517000 | #Constraints: 74261
987.23/989.87 c #Conflicts: 518000 | #Constraints: 75261
987.23/989.87 c #Conflicts: 519000 | #Constraints: 76261
987.23/989.87 c #Conflicts: 520000 | #Constraints: 77261
987.23/989.87 c #Conflicts: 521000 | #Constraints: 78261
987.23/989.87 c #Conflicts: 522000 | #Constraints: 79261
987.23/989.87 c #Conflicts: 523000 | #Constraints: 80261
987.23/989.87 c #Conflicts: 524000 | #Constraints: 81261
987.23/989.87 c #Conflicts: 525000 | #Constraints: 82261
987.23/989.87 c #Conflicts: 526000 | #Constraints: 83261
987.23/989.87 c #Conflicts: 527000 | #Constraints: 84261
987.23/989.87 c #Conflicts: 528000 | #Constraints: 85261
987.23/989.87 c #Conflicts: 529000 | #Constraints: 86261
987.23/989.87 c #Conflicts: 530000 | #Constraints: 87261
987.23/989.87 c #Conflicts: 531000 | #Constraints: 88261
987.23/989.87 c #Conflicts: 532000 | #Constraints: 89261
987.23/989.87 c #Conflicts: 533000 | #Constraints: 90261
1181.88/1184.93 c #Conflicts: 534000 | #Constraints: 91261
1181.88/1184.93 c #Conflicts: 535000 | #Constraints: 92261
1181.88/1184.93 c #Conflicts: 536000 | #Constraints: 93261
1181.88/1184.93 c #Conflicts: 537000 | #Constraints: 94261
1181.88/1184.93 c #Conflicts: 538000 | #Constraints: 95261
1181.88/1184.93 c #Conflicts: 539000 | #Constraints: 96261
1181.88/1184.93 c #Conflicts: 540000 | #Constraints: 97261
1181.88/1184.93 c #Conflicts: 541000 | #Constraints: 98261
1181.88/1184.93 c #Conflicts: 542000 | #Constraints: 99261
1181.88/1184.93 c #Conflicts: 543000 | #Constraints: 100261
1181.88/1184.93 c #Conflicts: 544000 | #Constraints: 101261
1181.88/1184.93 c #Conflicts: 545000 | #Constraints: 102261
1181.88/1184.93 c INPROCESSING
1181.88/1184.93 c GARBAGE COLLECT
1181.88/1184.93 c rational objective 166.031
1338.01/1341.46 c #Conflicts: 546000 | #Constraints: 63153
1338.01/1341.46 c #Conflicts: 547000 | #Constraints: 64153
1338.01/1341.46 c #Conflicts: 548000 | #Constraints: 65153
1338.01/1341.46 c #Conflicts: 549000 | #Constraints: 66153
1338.01/1341.46 c #Conflicts: 550000 | #Constraints: 67153
1338.01/1341.46 c #Conflicts: 551000 | #Constraints: 68153
1338.01/1341.46 c #Conflicts: 552000 | #Constraints: 69153
1338.01/1341.46 c #Conflicts: 553000 | #Constraints: 70153
1338.01/1341.46 c #Conflicts: 554000 | #Constraints: 71153
1338.01/1341.46 c #Conflicts: 555000 | #Constraints: 72153
1338.01/1341.46 c #Conflicts: 556000 | #Constraints: 73153
1338.01/1341.46 c #Conflicts: 557000 | #Constraints: 74153
1338.01/1341.46 c #Conflicts: 558000 | #Constraints: 75153
1338.01/1341.46 c #Conflicts: 559000 | #Constraints: 76153
1338.01/1341.46 c #Conflicts: 560000 | #Constraints: 77153
1338.01/1341.46 c #Conflicts: 561000 | #Constraints: 78153
1338.01/1341.46 c #Conflicts: 562000 | #Constraints: 79153
1338.01/1341.46 c #Conflicts: 563000 | #Constraints: 80153
1338.01/1341.46 c #Conflicts: 564000 | #Constraints: 81153
1338.01/1341.46 c #Conflicts: 565000 | #Constraints: 82153
1338.01/1341.46 c #Conflicts: 566000 | #Constraints: 83153
1338.01/1341.46 c INPROCESSING
1338.01/1341.46 c GARBAGE COLLECT
1338.01/1341.46 c #Conflicts: 567000 | #Constraints: 58532
1338.01/1341.46 c #Conflicts: 568000 | #Constraints: 59532
1338.01/1341.46 c #Conflicts: 569000 | #Constraints: 60532
1338.01/1341.46 c #Conflicts: 570000 | #Constraints: 61532
1338.01/1341.46 c #Conflicts: 571000 | #Constraints: 62532
1338.01/1341.46 c #Conflicts: 572000 | #Constraints: 63532
1338.01/1341.46 c #Conflicts: 573000 | #Constraints: 64532
1338.01/1341.46 c #Conflicts: 574000 | #Constraints: 65532
1338.01/1341.46 c #Conflicts: 575000 | #Constraints: 66532
1338.01/1341.46 c #Conflicts: 576000 | #Constraints: 67532
1338.01/1341.46 c #Conflicts: 577000 | #Constraints: 68532
1338.01/1341.46 c #Conflicts: 578000 | #Constraints: 69532
1338.01/1341.46 c #Conflicts: 579000 | #Constraints: 70532
1338.01/1341.46 c #Conflicts: 580000 | #Constraints: 71532
1338.01/1341.46 c #Conflicts: 581000 | #Constraints: 72532
1338.01/1341.46 c #Conflicts: 582000 | #Constraints: 73532
1338.01/1341.46 c #Conflicts: 583000 | #Constraints: 74532
1338.01/1341.46 c #Conflicts: 584000 | #Constraints: 75532
1338.01/1341.46 c #Conflicts: 585000 | #Constraints: 76532
1338.01/1341.46 c #Conflicts: 586000 | #Constraints: 77532
1338.01/1341.46 c #Conflicts: 587000 | #Constraints: 78532
1338.01/1341.46 c #Conflicts: 588000 | #Constraints: 79532
1338.01/1341.46 c #Conflicts: 589000 | #Constraints: 80532
1338.01/1341.46 c #Conflicts: 590000 | #Constraints: 81532
1338.01/1341.46 c #Conflicts: 591000 | #Constraints: 82532
1338.01/1341.46 c #Conflicts: 592000 | #Constraints: 83532
1338.01/1341.46 c #Conflicts: 593000 | #Constraints: 84532
1338.01/1341.46 c #Conflicts: 594000 | #Constraints: 85532
1338.01/1341.46 c #Conflicts: 595000 | #Constraints: 86532
1338.01/1341.46 c #Conflicts: 596000 | #Constraints: 87532
1338.01/1341.46 c #Conflicts: 597000 | #Constraints: 88532
1338.01/1341.46 c #Conflicts: 598000 | #Constraints: 89532
1338.01/1341.46 c #Conflicts: 599000 | #Constraints: 90532
1338.01/1341.46 c #Conflicts: 600000 | #Constraints: 91532
1338.01/1341.46 c #Conflicts: 601000 | #Constraints: 92532
1338.01/1341.46 c #Conflicts: 602000 | #Constraints: 93532
1338.01/1341.46 c #Conflicts: 603000 | #Constraints: 94532
1338.01/1341.46 c #Conflicts: 604000 | #Constraints: 95532
1338.01/1341.46 c #Conflicts: 605000 | #Constraints: 96532
1338.01/1341.46 c #Conflicts: 606000 | #Constraints: 97532
1338.01/1341.46 c #Conflicts: 607000 | #Constraints: 98532
1338.01/1341.46 c #Conflicts: 608000 | #Constraints: 99532
1338.01/1341.46 c #Conflicts: 609000 | #Constraints: 100532
1338.01/1341.46 c #Conflicts: 610000 | #Constraints: 101532
1338.01/1341.46 c #Conflicts: 611000 | #Constraints: 102532
1338.01/1341.46 c #Conflicts: 612000 | #Constraints: 103532
1338.01/1341.46 c #Conflicts: 613000 | #Constraints: 104532
1338.01/1341.46 c #Conflicts: 614000 | #Constraints: 105532
1338.01/1341.46 c #Conflicts: 615000 | #Constraints: 106532
1338.01/1341.46 c #Conflicts: 616000 | #Constraints: 107532
1338.01/1341.46 c #Conflicts: 617000 | #Constraints: 108532
1338.01/1341.46 c INPROCESSING
1338.01/1341.46 c GARBAGE COLLECT
1338.01/1341.46 c #Conflicts: 618000 | #Constraints: 66344
1338.01/1341.46 c #Conflicts: 619000 | #Constraints: 67344
1338.01/1341.46 c #Conflicts: 620000 | #Constraints: 68344
1338.01/1341.46 c #Conflicts: 621000 | #Constraints: 69344
1338.01/1341.46 c #Conflicts: 622000 | #Constraints: 70344
1338.01/1341.46 c #Conflicts: 623000 | #Constraints: 71344
1498.55/1502.33 c #Conflicts: 624000 | #Constraints: 72344
1498.55/1502.33 c #Conflicts: 625000 | #Constraints: 73344
1498.55/1502.33 c #Conflicts: 626000 | #Constraints: 74344
1498.55/1502.33 c #Conflicts: 627000 | #Constraints: 75344
1498.55/1502.33 c #Conflicts: 628000 | #Constraints: 76344
1498.55/1502.33 c #Conflicts: 629000 | #Constraints: 77344
1498.55/1502.33 c #Conflicts: 630000 | #Constraints: 78344
1498.55/1502.33 c #Conflicts: 631000 | #Constraints: 79344
1498.55/1502.33 c #Conflicts: 632000 | #Constraints: 80344
1498.55/1502.33 c #Conflicts: 633000 | #Constraints: 81344
1498.55/1502.33 c #Conflicts: 634000 | #Constraints: 82344
1498.55/1502.33 c #Conflicts: 635000 | #Constraints: 83344
1498.55/1502.33 c #Conflicts: 636000 | #Constraints: 84344
1498.55/1502.33 c #Conflicts: 637000 | #Constraints: 85344
1498.55/1502.33 c #Conflicts: 638000 | #Constraints: 86344
1498.55/1502.33 c #Conflicts: 639000 | #Constraints: 87344
1498.55/1502.33 c INPROCESSING
1498.55/1502.33 c GARBAGE COLLECT
1498.55/1502.33 c #Conflicts: 640000 | #Constraints: 61461
1498.55/1502.33 c #Conflicts: 641000 | #Constraints: 62461
1498.55/1502.33 c #Conflicts: 642000 | #Constraints: 63461
1498.55/1502.34 c #Conflicts: 643000 | #Constraints: 64461
1498.55/1502.34 c #Conflicts: 644000 | #Constraints: 65461
1498.55/1502.34 c #Conflicts: 645000 | #Constraints: 66461
1498.55/1502.34 c #Conflicts: 646000 | #Constraints: 67461
1498.55/1502.34 c #Conflicts: 647000 | #Constraints: 68461
1498.55/1502.34 c #Conflicts: 648000 | #Constraints: 69461
1498.55/1502.34 c #Conflicts: 649000 | #Constraints: 70461
1498.55/1502.34 c #Conflicts: 650000 | #Constraints: 71461
1498.55/1502.34 c #Conflicts: 651000 | #Constraints: 72461
1498.55/1502.34 c #Conflicts: 652000 | #Constraints: 73461
1498.55/1502.34 c #Conflicts: 653000 | #Constraints: 74461
1498.55/1502.34 c #Conflicts: 654000 | #Constraints: 75461
1498.55/1502.34 c #Conflicts: 655000 | #Constraints: 76461
1498.55/1502.34 c #Conflicts: 656000 | #Constraints: 77461
1498.55/1502.34 c #Conflicts: 657000 | #Constraints: 78461
1498.55/1502.34 c #Conflicts: 658000 | #Constraints: 79461
1498.55/1502.34 c #Conflicts: 659000 | #Constraints: 80461
1498.55/1502.34 c #Conflicts: 660000 | #Constraints: 81461
1498.55/1502.34 c #Conflicts: 661000 | #Constraints: 82461
1498.55/1502.34 c #Conflicts: 662000 | #Constraints: 83461
1498.55/1502.34 c #Conflicts: 663000 | #Constraints: 84461
1498.55/1502.34 c #Conflicts: 664000 | #Constraints: 85461
1498.55/1502.34 c #Conflicts: 665000 | #Constraints: 86461
1498.55/1502.34 c #Conflicts: 666000 | #Constraints: 87461
1498.55/1502.34 c #Conflicts: 667000 | #Constraints: 88461
1498.55/1502.34 c #Conflicts: 668000 | #Constraints: 89461
1498.55/1502.34 c #Conflicts: 669000 | #Constraints: 90461
1498.55/1502.34 c #Conflicts: 670000 | #Constraints: 91461
1498.55/1502.34 c #Conflicts: 671000 | #Constraints: 92461
1498.55/1502.34 c #Conflicts: 672000 | #Constraints: 93461
1498.55/1502.34 c #Conflicts: 673000 | #Constraints: 94461
1498.55/1502.34 c #Conflicts: 674000 | #Constraints: 95461
1498.55/1502.34 c #Conflicts: 675000 | #Constraints: 96461
1498.55/1502.34 c #Conflicts: 676000 | #Constraints: 97461
1498.55/1502.34 c #Conflicts: 677000 | #Constraints: 98461
1498.55/1502.34 c #Conflicts: 678000 | #Constraints: 99461
1498.55/1502.34 c #Conflicts: 679000 | #Constraints: 100461
1498.55/1502.34 c #Conflicts: 680000 | #Constraints: 101461
1498.55/1502.34 c #Conflicts: 681000 | #Constraints: 102461
1498.55/1502.34 c #Conflicts: 682000 | #Constraints: 103461
1498.55/1502.34 c #Conflicts: 683000 | #Constraints: 104461
1498.55/1502.34 c #Conflicts: 684000 | #Constraints: 105461
1498.55/1502.34 c #Conflicts: 685000 | #Constraints: 106461
1498.55/1502.34 c #Conflicts: 686000 | #Constraints: 107461
1498.55/1502.34 c #Conflicts: 687000 | #Constraints: 108461
1498.55/1502.34 c #Conflicts: 688000 | #Constraints: 109461
1498.55/1502.34 c #Conflicts: 689000 | #Constraints: 110461
1498.55/1502.34 c #Conflicts: 690000 | #Constraints: 111461
1498.55/1502.34 c #Conflicts: 691000 | #Constraints: 112461
1498.55/1502.34 c #Conflicts: 692000 | #Constraints: 113461
1498.55/1502.34 c #Conflicts: 693000 | #Constraints: 114461
1498.55/1502.34 c INPROCESSING
1498.55/1502.34 c GARBAGE COLLECT
1498.55/1502.34 c #Conflicts: 694000 | #Constraints: 69390
1498.55/1502.34 c #Conflicts: 695000 | #Constraints: 70390
1498.55/1502.34 c #Conflicts: 696000 | #Constraints: 71390
1498.55/1502.34 c #Conflicts: 697000 | #Constraints: 72390
1498.55/1502.34 c #Conflicts: 698000 | #Constraints: 73390
1498.55/1502.34 c #Conflicts: 699000 | #Constraints: 74390
1498.55/1502.34 c #Conflicts: 700000 | #Constraints: 75390
1660.51/1664.78 c #Conflicts: 701000 | #Constraints: 76390
1660.51/1664.78 c #Conflicts: 702000 | #Constraints: 77390
1660.51/1664.78 c #Conflicts: 703000 | #Constraints: 78390
1660.51/1664.78 c #Conflicts: 704000 | #Constraints: 79390
1660.51/1664.78 c #Conflicts: 705000 | #Constraints: 80390
1660.51/1664.78 c #Conflicts: 706000 | #Constraints: 81390
1660.51/1664.78 c #Conflicts: 707000 | #Constraints: 82390
1660.51/1664.78 c #Conflicts: 708000 | #Constraints: 83390
1660.51/1664.78 c #Conflicts: 709000 | #Constraints: 84390
1660.51/1664.78 c #Conflicts: 710000 | #Constraints: 85390
1660.51/1664.78 c #Conflicts: 711000 | #Constraints: 86390
1660.51/1664.78 c #Conflicts: 712000 | #Constraints: 87390
1660.51/1664.78 c #Conflicts: 713000 | #Constraints: 88390
1660.51/1664.78 c #Conflicts: 714000 | #Constraints: 89390
1660.51/1664.78 c #Conflicts: 715000 | #Constraints: 90390
1660.51/1664.78 c #Conflicts: 716000 | #Constraints: 91390
1660.51/1664.78 c INPROCESSING
1660.51/1664.78 c GARBAGE COLLECT
1660.51/1664.78 c #Conflicts: 717000 | #Constraints: 63975
1660.51/1664.78 c #Conflicts: 718000 | #Constraints: 64975
1660.51/1664.78 c #Conflicts: 719000 | #Constraints: 65975
1660.51/1664.78 c #Conflicts: 720000 | #Constraints: 66975
1660.51/1664.78 c #Conflicts: 721000 | #Constraints: 67975
1660.51/1664.78 c #Conflicts: 722000 | #Constraints: 68975
1660.51/1664.78 c #Conflicts: 723000 | #Constraints: 69975
1660.51/1664.78 c #Conflicts: 724000 | #Constraints: 70975
1660.51/1664.78 c #Conflicts: 725000 | #Constraints: 71975
1660.51/1664.78 c #Conflicts: 726000 | #Constraints: 72975
1660.51/1664.78 c #Conflicts: 727000 | #Constraints: 73975
1660.51/1664.78 c #Conflicts: 728000 | #Constraints: 74975
1660.51/1664.78 c #Conflicts: 729000 | #Constraints: 75975
1660.51/1664.78 c #Conflicts: 730000 | #Constraints: 76975
1660.51/1664.78 c #Conflicts: 731000 | #Constraints: 77975
1660.51/1664.78 c #Conflicts: 732000 | #Constraints: 78975
1660.51/1664.78 c #Conflicts: 733000 | #Constraints: 79975
1660.51/1664.78 c #Conflicts: 734000 | #Constraints: 80975
1660.51/1664.78 c #Conflicts: 735000 | #Constraints: 81975
1660.51/1664.78 c #Conflicts: 736000 | #Constraints: 82975
1660.51/1664.78 c #Conflicts: 737000 | #Constraints: 83975
1660.51/1664.78 c #Conflicts: 738000 | #Constraints: 84975
1660.51/1664.78 c #Conflicts: 739000 | #Constraints: 85975
1660.51/1664.78 c #Conflicts: 740000 | #Constraints: 86975
1660.51/1664.78 c #Conflicts: 741000 | #Constraints: 87975
1660.51/1664.78 c #Conflicts: 742000 | #Constraints: 88975
1660.51/1664.78 c #Conflicts: 743000 | #Constraints: 89975
1660.51/1664.78 c #Conflicts: 744000 | #Constraints: 90975
1660.51/1664.78 c #Conflicts: 745000 | #Constraints: 91975
1660.51/1664.78 c #Conflicts: 746000 | #Constraints: 92975
1660.51/1664.78 c #Conflicts: 747000 | #Constraints: 93975
1660.51/1664.78 c #Conflicts: 748000 | #Constraints: 94975
1660.51/1664.78 c #Conflicts: 749000 | #Constraints: 95975
1660.51/1664.78 c #Conflicts: 750000 | #Constraints: 96975
1660.51/1664.78 c #Conflicts: 751000 | #Constraints: 97975
1660.51/1664.78 c #Conflicts: 752000 | #Constraints: 98975
1660.51/1664.78 c #Conflicts: 753000 | #Constraints: 99975
1660.51/1664.78 c #Conflicts: 754000 | #Constraints: 100975
1660.51/1664.78 c #Conflicts: 755000 | #Constraints: 101975
1660.51/1664.78 c #Conflicts: 756000 | #Constraints: 102975
1660.51/1664.78 c #Conflicts: 757000 | #Constraints: 103975
1660.51/1664.78 c #Conflicts: 758000 | #Constraints: 104975
1660.51/1664.78 c #Conflicts: 759000 | #Constraints: 105975
1660.51/1664.78 c #Conflicts: 760000 | #Constraints: 106975
1660.51/1664.78 c #Conflicts: 761000 | #Constraints: 107975
1660.51/1664.78 c #Conflicts: 762000 | #Constraints: 108975
1660.51/1664.78 c #Conflicts: 763000 | #Constraints: 109975
1660.51/1664.78 c #Conflicts: 764000 | #Constraints: 110975
1660.51/1664.78 c #Conflicts: 765000 | #Constraints: 111975
1660.51/1664.78 c #Conflicts: 766000 | #Constraints: 112975
1660.51/1664.78 c #Conflicts: 767000 | #Constraints: 113975
1660.51/1664.78 c #Conflicts: 768000 | #Constraints: 114975
1660.51/1664.78 c #Conflicts: 769000 | #Constraints: 115975
1660.51/1664.78 c #Conflicts: 770000 | #Constraints: 116975
1660.51/1664.78 c #Conflicts: 771000 | #Constraints: 117975
1660.51/1664.78 c #Conflicts: 772000 | #Constraints: 118975
1660.51/1664.78 c #Conflicts: 773000 | #Constraints: 119975
1660.51/1664.78 c INPROCESSING
1660.51/1664.78 c GARBAGE COLLECT
1660.51/1664.78 c #Conflicts: 774000 | #Constraints: 71992
1660.51/1664.78 c #Conflicts: 775000 | #Constraints: 72992
1660.51/1664.78 c #Conflicts: 776000 | #Constraints: 73992
1660.51/1664.78 c #Conflicts: 777000 | #Constraints: 74992
1660.51/1664.78 c #Conflicts: 778000 | #Constraints: 75992
1902.44/1907.35 c #Conflicts: 779000 | #Constraints: 76992
1902.44/1907.35 c #Conflicts: 780000 | #Constraints: 77992
1902.44/1907.35 c #Conflicts: 781000 | #Constraints: 78992
1902.44/1907.35 c #Conflicts: 782000 | #Constraints: 79992
1902.44/1907.35 c #Conflicts: 783000 | #Constraints: 80992
1902.44/1907.35 c #Conflicts: 784000 | #Constraints: 81992
1902.44/1907.35 c #Conflicts: 785000 | #Constraints: 82992
1902.44/1907.35 c #Conflicts: 786000 | #Constraints: 83992
1902.44/1907.35 c #Conflicts: 787000 | #Constraints: 84992
1902.44/1907.35 c #Conflicts: 788000 | #Constraints: 85992
1902.44/1907.35 c #Conflicts: 789000 | #Constraints: 86992
1902.44/1907.35 c #Conflicts: 790000 | #Constraints: 87992
1902.44/1907.35 c #Conflicts: 791000 | #Constraints: 88992
1902.44/1907.35 c #Conflicts: 792000 | #Constraints: 89992
1902.44/1907.35 c #Conflicts: 793000 | #Constraints: 90992
1902.44/1907.35 c #Conflicts: 794000 | #Constraints: 91992
1902.44/1907.35 c #Conflicts: 795000 | #Constraints: 92992
1902.44/1907.35 c #Conflicts: 796000 | #Constraints: 93992
1902.44/1907.35 c #Conflicts: 797000 | #Constraints: 94992
1902.44/1907.35 c #Conflicts: 798000 | #Constraints: 95992
1902.44/1907.35 c INPROCESSING
1902.44/1907.35 c GARBAGE COLLECT
1902.44/1907.35 c #Conflicts: 799000 | #Constraints: 66858
1902.44/1907.35 c #Conflicts: 800000 | #Constraints: 67858
1902.44/1907.35 c #Conflicts: 801000 | #Constraints: 68858
1902.44/1907.35 c #Conflicts: 802000 | #Constraints: 69858
1902.44/1907.35 c #Conflicts: 803000 | #Constraints: 70858
1902.44/1907.35 c #Conflicts: 804000 | #Constraints: 71859
1902.44/1907.35 c #Conflicts: 805000 | #Constraints: 72859
1902.44/1907.35 c #Conflicts: 806000 | #Constraints: 73859
1902.44/1907.35 c #Conflicts: 807000 | #Constraints: 74859
1902.44/1907.35 c #Conflicts: 808000 | #Constraints: 75859
1902.44/1907.35 c #Conflicts: 809000 | #Constraints: 76859
1902.44/1907.35 c #Conflicts: 810000 | #Constraints: 77859
1902.44/1907.35 c #Conflicts: 811000 | #Constraints: 78859
1902.44/1907.35 c #Conflicts: 812000 | #Constraints: 79859
1902.44/1907.35 c #Conflicts: 813000 | #Constraints: 80859
1902.44/1907.35 c #Conflicts: 814000 | #Constraints: 81859
1902.44/1907.35 c #Conflicts: 815000 | #Constraints: 82859
1902.44/1907.35 c #Conflicts: 816000 | #Constraints: 83859
1902.44/1907.35 c #Conflicts: 817000 | #Constraints: 84859
1902.44/1907.35 c #Conflicts: 818000 | #Constraints: 85859
1902.44/1907.35 c #Conflicts: 819000 | #Constraints: 86859
1902.44/1907.35 c #Conflicts: 820000 | #Constraints: 87859
1902.44/1907.35 c #Conflicts: 821000 | #Constraints: 88859
1902.44/1907.35 c #Conflicts: 822000 | #Constraints: 89859
1902.44/1907.35 c #Conflicts: 823000 | #Constraints: 90859
1902.44/1907.35 c #Conflicts: 824000 | #Constraints: 91859
1902.44/1907.35 c #Conflicts: 825000 | #Constraints: 92859
1902.44/1907.35 c #Conflicts: 826000 | #Constraints: 93859
1902.44/1907.35 c #Conflicts: 827000 | #Constraints: 94859
1902.44/1907.35 c #Conflicts: 828000 | #Constraints: 95859
1902.44/1907.35 c #Conflicts: 829000 | #Constraints: 96859
1902.44/1907.35 c #Conflicts: 830000 | #Constraints: 97859
1902.44/1907.35 c #Conflicts: 831000 | #Constraints: 98859
1902.44/1907.35 c #Conflicts: 832000 | #Constraints: 99859
1902.44/1907.35 c #Conflicts: 833000 | #Constraints: 100859
1902.44/1907.35 c #Conflicts: 834000 | #Constraints: 101859
1902.44/1907.35 c #Conflicts: 835000 | #Constraints: 102859
1902.44/1907.35 c #Conflicts: 836000 | #Constraints: 103859
1902.44/1907.35 c #Conflicts: 837000 | #Constraints: 104859
1902.44/1907.35 c #Conflicts: 838000 | #Constraints: 105859
1902.44/1907.35 c #Conflicts: 839000 | #Constraints: 106859
1902.44/1907.35 c #Conflicts: 840000 | #Constraints: 107859
1902.44/1907.35 c #Conflicts: 841000 | #Constraints: 108859
1902.44/1907.35 c #Conflicts: 842000 | #Constraints: 109859
1902.44/1907.35 c #Conflicts: 843000 | #Constraints: 110859
1902.44/1907.35 c #Conflicts: 844000 | #Constraints: 111859
1902.44/1907.35 c #Conflicts: 845000 | #Constraints: 112859
1902.44/1907.35 c #Conflicts: 846000 | #Constraints: 113859
1902.44/1907.35 c #Conflicts: 847000 | #Constraints: 114859
1902.44/1907.35 c #Conflicts: 848000 | #Constraints: 115859
1902.44/1907.35 c #Conflicts: 849000 | #Constraints: 116859
1902.44/1907.35 c #Conflicts: 850000 | #Constraints: 117859
1902.44/1907.35 c #Conflicts: 851000 | #Constraints: 118859
1902.44/1907.35 c #Conflicts: 852000 | #Constraints: 119859
1902.44/1907.35 c #Conflicts: 853000 | #Constraints: 120859
1902.44/1907.35 c #Conflicts: 854000 | #Constraints: 121859
1902.44/1907.35 c #Conflicts: 855000 | #Constraints: 122859
1902.44/1907.35 c #Conflicts: 856000 | #Constraints: 123859
2072.27/2077.64 c #Conflicts: 857000 | #Constraints: 124859
2072.27/2077.64 c #Conflicts: 858000 | #Constraints: 125859
2072.27/2077.64 c INPROCESSING
2072.27/2077.64 c GARBAGE COLLECT
2072.27/2077.64 c #Conflicts: 859000 | #Constraints: 75252
2072.27/2077.64 c #Conflicts: 860000 | #Constraints: 76252
2072.27/2077.64 c #Conflicts: 861000 | #Constraints: 77252
2072.27/2077.64 c #Conflicts: 862000 | #Constraints: 78252
2072.27/2077.64 c #Conflicts: 863000 | #Constraints: 79252
2072.27/2077.64 c #Conflicts: 864000 | #Constraints: 80252
2072.27/2077.64 c #Conflicts: 865000 | #Constraints: 81252
2072.27/2077.64 c #Conflicts: 866000 | #Constraints: 82252
2072.27/2077.64 c #Conflicts: 867000 | #Constraints: 83252
2072.27/2077.64 c #Conflicts: 868000 | #Constraints: 84252
2072.27/2077.64 c #Conflicts: 869000 | #Constraints: 85252
2072.27/2077.64 c #Conflicts: 870000 | #Constraints: 86252
2072.27/2077.64 c #Conflicts: 871000 | #Constraints: 87252
2072.27/2077.64 c #Conflicts: 872000 | #Constraints: 88252
2072.27/2077.64 c #Conflicts: 873000 | #Constraints: 89252
2072.27/2077.64 c #Conflicts: 874000 | #Constraints: 90252
2072.27/2077.64 c #Conflicts: 875000 | #Constraints: 91252
2072.27/2077.64 c #Conflicts: 876000 | #Constraints: 92252
2072.27/2077.64 c #Conflicts: 877000 | #Constraints: 93252
2072.27/2077.64 c #Conflicts: 878000 | #Constraints: 94252
2072.27/2077.64 c #Conflicts: 879000 | #Constraints: 95252
2072.27/2077.64 c #Conflicts: 880000 | #Constraints: 96252
2072.27/2077.64 c #Conflicts: 881000 | #Constraints: 97252
2072.27/2077.64 c #Conflicts: 882000 | #Constraints: 98252
2072.27/2077.64 c #Conflicts: 883000 | #Constraints: 99252
2072.27/2077.64 c #Conflicts: 884000 | #Constraints: 100252
2072.27/2077.64 c INPROCESSING
2072.27/2077.64 c GARBAGE COLLECT
2072.27/2077.64 c #Conflicts: 885000 | #Constraints: 69616
2072.27/2077.64 c #Conflicts: 886000 | #Constraints: 70616
2072.27/2077.64 c #Conflicts: 887000 | #Constraints: 71616
2072.27/2077.64 c #Conflicts: 888000 | #Constraints: 72616
2072.27/2077.64 c #Conflicts: 889000 | #Constraints: 73616
2072.27/2077.64 c #Conflicts: 890000 | #Constraints: 74616
2072.27/2077.64 c #Conflicts: 891000 | #Constraints: 75616
2072.27/2077.64 c #Conflicts: 892000 | #Constraints: 76616
2072.27/2077.64 c #Conflicts: 893000 | #Constraints: 77616
2072.27/2077.64 c #Conflicts: 894000 | #Constraints: 78616
2072.27/2077.64 c #Conflicts: 895000 | #Constraints: 79616
2072.27/2077.64 c #Conflicts: 896000 | #Constraints: 80616
2072.27/2077.64 c #Conflicts: 897000 | #Constraints: 81616
2072.27/2077.64 c #Conflicts: 898000 | #Constraints: 82616
2072.27/2077.64 c #Conflicts: 899000 | #Constraints: 83616
2072.27/2077.64 c #Conflicts: 900000 | #Constraints: 84616
2072.27/2077.64 c #Conflicts: 901000 | #Constraints: 85616
2072.27/2077.64 c #Conflicts: 902000 | #Constraints: 86616
2072.27/2077.64 c #Conflicts: 903000 | #Constraints: 87616
2072.27/2077.64 c #Conflicts: 904000 | #Constraints: 88616
2072.27/2077.64 c #Conflicts: 905000 | #Constraints: 89616
2072.27/2077.64 c #Conflicts: 906000 | #Constraints: 90616
2072.27/2077.64 c #Conflicts: 907000 | #Constraints: 91616
2072.27/2077.64 c #Conflicts: 908000 | #Constraints: 92616
2072.27/2077.64 c #Conflicts: 909000 | #Constraints: 93616
2072.27/2077.64 c #Conflicts: 910000 | #Constraints: 94616
2072.27/2077.64 c #Conflicts: 911000 | #Constraints: 95616
2072.27/2077.64 c #Conflicts: 912000 | #Constraints: 96616
2072.27/2077.64 c #Conflicts: 913000 | #Constraints: 97616
2072.27/2077.64 c #Conflicts: 914000 | #Constraints: 98616
2072.27/2077.64 c #Conflicts: 915000 | #Constraints: 99616
2072.27/2077.64 c #Conflicts: 916000 | #Constraints: 100616
2072.27/2077.64 c #Conflicts: 917000 | #Constraints: 101616
2072.27/2077.64 c #Conflicts: 918000 | #Constraints: 102616
2072.27/2077.64 c #Conflicts: 919000 | #Constraints: 103616
2072.27/2077.64 c #Conflicts: 920000 | #Constraints: 104616
2072.27/2077.64 c #Conflicts: 921000 | #Constraints: 105616
2072.27/2077.64 c #Conflicts: 922000 | #Constraints: 106616
2072.27/2077.64 c #Conflicts: 923000 | #Constraints: 107616
2072.27/2077.64 c #Conflicts: 924000 | #Constraints: 108616
2072.27/2077.64 c #Conflicts: 925000 | #Constraints: 109616
2072.27/2077.64 c #Conflicts: 926000 | #Constraints: 110616
2072.27/2077.64 c #Conflicts: 927000 | #Constraints: 111616
2072.27/2077.64 c #Conflicts: 928000 | #Constraints: 112616
2072.27/2077.64 c #Conflicts: 929000 | #Constraints: 113616
2072.27/2077.64 c #Conflicts: 930000 | #Constraints: 114616
2072.27/2077.64 c #Conflicts: 931000 | #Constraints: 115616
2072.27/2077.64 c #Conflicts: 932000 | #Constraints: 116616
2072.27/2077.64 c #Conflicts: 933000 | #Constraints: 117616
2072.27/2077.64 c #Conflicts: 934000 | #Constraints: 118616
2331.22/2337.25 c #Conflicts: 935000 | #Constraints: 119616
2331.22/2337.25 c #Conflicts: 936000 | #Constraints: 120616
2331.22/2337.25 c #Conflicts: 937000 | #Constraints: 121616
2331.22/2337.25 c #Conflicts: 938000 | #Constraints: 122616
2331.22/2337.25 c #Conflicts: 939000 | #Constraints: 123616
2331.22/2337.25 c #Conflicts: 940000 | #Constraints: 124616
2331.22/2337.25 c #Conflicts: 941000 | #Constraints: 125616
2331.22/2337.25 c #Conflicts: 942000 | #Constraints: 126616
2331.22/2337.25 c #Conflicts: 943000 | #Constraints: 127616
2331.22/2337.25 c #Conflicts: 944000 | #Constraints: 128616
2331.22/2337.25 c #Conflicts: 945000 | #Constraints: 129616
2331.22/2337.25 c #Conflicts: 946000 | #Constraints: 130616
2331.22/2337.25 c #Conflicts: 947000 | #Constraints: 131616
2331.22/2337.25 c INPROCESSING
2331.22/2337.25 c GARBAGE COLLECT
2331.22/2337.25 c #Conflicts: 948000 | #Constraints: 78049
2331.22/2337.25 c #Conflicts: 949000 | #Constraints: 79049
2331.22/2337.25 c #Conflicts: 950000 | #Constraints: 80049
2331.22/2337.25 c #Conflicts: 951000 | #Constraints: 81049
2331.22/2337.25 c #Conflicts: 952000 | #Constraints: 82049
2331.22/2337.25 c #Conflicts: 953000 | #Constraints: 83049
2331.22/2337.25 c #Conflicts: 954000 | #Constraints: 84049
2331.22/2337.25 c #Conflicts: 955000 | #Constraints: 85049
2331.22/2337.25 c #Conflicts: 956000 | #Constraints: 86049
2331.22/2337.25 c #Conflicts: 957000 | #Constraints: 87049
2331.22/2337.25 c #Conflicts: 958000 | #Constraints: 88049
2331.22/2337.25 c #Conflicts: 959000 | #Constraints: 89049
2331.22/2337.25 c #Conflicts: 960000 | #Constraints: 90049
2331.22/2337.25 c #Conflicts: 961000 | #Constraints: 91049
2331.22/2337.25 c #Conflicts: 962000 | #Constraints: 92049
2331.22/2337.25 c #Conflicts: 963000 | #Constraints: 93049
2331.22/2337.25 c #Conflicts: 964000 | #Constraints: 94049
2331.22/2337.25 c #Conflicts: 965000 | #Constraints: 95049
2331.22/2337.25 c #Conflicts: 966000 | #Constraints: 96049
2331.22/2337.25 c #Conflicts: 967000 | #Constraints: 97049
2331.22/2337.25 c #Conflicts: 968000 | #Constraints: 98049
2331.22/2337.25 c #Conflicts: 969000 | #Constraints: 99049
2331.22/2337.25 c #Conflicts: 970000 | #Constraints: 100049
2331.22/2337.25 c #Conflicts: 971000 | #Constraints: 101049
2331.22/2337.25 c #Conflicts: 972000 | #Constraints: 102049
2331.22/2337.25 c #Conflicts: 973000 | #Constraints: 103049
2331.22/2337.25 c #Conflicts: 974000 | #Constraints: 104049
2331.22/2337.25 c INPROCESSING
2331.22/2337.25 c GARBAGE COLLECT
2331.22/2337.25 c #Conflicts: 975000 | #Constraints: 71670
2331.22/2337.25 c #Conflicts: 976000 | #Constraints: 72670
2331.22/2337.25 c #Conflicts: 977000 | #Constraints: 73670
2331.22/2337.25 c #Conflicts: 978000 | #Constraints: 74670
2331.22/2337.25 c #Conflicts: 979000 | #Constraints: 75670
2331.22/2337.25 c #Conflicts: 980000 | #Constraints: 76670
2331.22/2337.25 c #Conflicts: 981000 | #Constraints: 77670
2331.22/2337.25 c #Conflicts: 982000 | #Constraints: 78670
2331.22/2337.25 c #Conflicts: 983000 | #Constraints: 79670
2331.22/2337.25 c #Conflicts: 984000 | #Constraints: 80670
2331.22/2337.25 c #Conflicts: 985000 | #Constraints: 81670
2331.22/2337.25 c #Conflicts: 986000 | #Constraints: 82670
2331.22/2337.25 c #Conflicts: 987000 | #Constraints: 83670
2331.22/2337.25 c #Conflicts: 988000 | #Constraints: 84670
2331.22/2337.25 c #Conflicts: 989000 | #Constraints: 85670
2331.22/2337.25 c #Conflicts: 990000 | #Constraints: 86670
2331.22/2337.25 c #Conflicts: 991000 | #Constraints: 87670
2331.22/2337.25 c #Conflicts: 992000 | #Constraints: 88670
2331.22/2337.25 c #Conflicts: 993000 | #Constraints: 89670
2331.22/2337.25 c #Conflicts: 994000 | #Constraints: 90670
2331.22/2337.25 c #Conflicts: 995000 | #Constraints: 91670
2331.22/2337.25 c #Conflicts: 996000 | #Constraints: 92670
2331.22/2337.25 c #Conflicts: 997000 | #Constraints: 93670
2331.22/2337.25 c #Conflicts: 998000 | #Constraints: 94670
2331.22/2337.25 c #Conflicts: 999000 | #Constraints: 95670
2331.22/2337.25 c #Conflicts: 1000000 | #Constraints: 96670
2331.22/2337.25 c #Conflicts: 1001000 | #Constraints: 97670
2331.22/2337.25 c #Conflicts: 1002000 | #Constraints: 98670
2331.22/2337.25 c #Conflicts: 1003000 | #Constraints: 99670
2331.22/2337.25 c #Conflicts: 1004000 | #Constraints: 100670
2331.22/2337.25 c #Conflicts: 1005000 | #Constraints: 101670
2331.22/2337.25 c #Conflicts: 1006000 | #Constraints: 102670
2331.22/2337.25 c #Conflicts: 1007000 | #Constraints: 103670
2331.22/2337.25 c #Conflicts: 1008000 | #Constraints: 104670
2331.22/2337.25 c #Conflicts: 1009000 | #Constraints: 105670
2331.22/2337.25 c #Conflicts: 1010000 | #Constraints: 106670
2331.22/2337.25 c #Conflicts: 1011000 | #Constraints: 107670
2577.96/2584.52 c #Conflicts: 1012000 | #Constraints: 108670
2577.96/2584.52 c #Conflicts: 1013000 | #Constraints: 109670
2577.96/2584.52 c #Conflicts: 1014000 | #Constraints: 110670
2577.96/2584.52 c #Conflicts: 1015000 | #Constraints: 111670
2577.96/2584.52 c #Conflicts: 1016000 | #Constraints: 112670
2577.96/2584.52 c #Conflicts: 1017000 | #Constraints: 113670
2577.96/2584.52 c #Conflicts: 1018000 | #Constraints: 114670
2577.96/2584.52 c #Conflicts: 1019000 | #Constraints: 115670
2577.96/2584.52 c #Conflicts: 1020000 | #Constraints: 116670
2577.96/2584.52 c #Conflicts: 1021000 | #Constraints: 117670
2577.96/2584.52 c #Conflicts: 1022000 | #Constraints: 118670
2577.96/2584.52 c #Conflicts: 1023000 | #Constraints: 119670
2577.96/2584.52 c #Conflicts: 1024000 | #Constraints: 120670
2577.96/2584.52 c #Conflicts: 1025000 | #Constraints: 121670
2577.96/2584.52 c #Conflicts: 1026000 | #Constraints: 122670
2577.96/2584.52 c #Conflicts: 1027000 | #Constraints: 123670
2577.96/2584.52 c #Conflicts: 1028000 | #Constraints: 124670
2577.96/2584.52 c #Conflicts: 1029000 | #Constraints: 125670
2577.96/2584.52 c #Conflicts: 1030000 | #Constraints: 126670
2577.96/2584.52 c #Conflicts: 1031000 | #Constraints: 127670
2577.96/2584.52 c #Conflicts: 1032000 | #Constraints: 128670
2577.96/2584.52 c #Conflicts: 1033000 | #Constraints: 129670
2577.96/2584.52 c #Conflicts: 1034000 | #Constraints: 130670
2577.96/2584.52 c #Conflicts: 1035000 | #Constraints: 131670
2577.96/2584.52 c #Conflicts: 1036000 | #Constraints: 132670
2577.96/2584.52 c #Conflicts: 1037000 | #Constraints: 133670
2577.96/2584.52 c #Conflicts: 1038000 | #Constraints: 134670
2577.96/2584.52 c #Conflicts: 1039000 | #Constraints: 135670
2577.96/2584.52 c #Conflicts: 1040000 | #Constraints: 136670
2577.96/2584.52 c INPROCESSING
2577.96/2584.52 c GARBAGE COLLECT
2577.96/2584.52 c #Conflicts: 1041000 | #Constraints: 80359
2577.96/2584.52 c #Conflicts: 1042000 | #Constraints: 81359
2577.96/2584.52 c #Conflicts: 1043000 | #Constraints: 82359
2577.96/2584.52 c #Conflicts: 1044000 | #Constraints: 83359
2577.96/2584.52 c #Conflicts: 1045000 | #Constraints: 84359
2577.96/2584.52 c #Conflicts: 1046000 | #Constraints: 85359
2577.96/2584.52 c #Conflicts: 1047000 | #Constraints: 86359
2577.96/2584.52 c #Conflicts: 1048000 | #Constraints: 87359
2577.96/2584.52 c #Conflicts: 1049000 | #Constraints: 88359
2577.96/2584.52 c #Conflicts: 1050000 | #Constraints: 89359
2577.96/2584.52 c #Conflicts: 1051000 | #Constraints: 90359
2577.96/2584.52 c #Conflicts: 1052000 | #Constraints: 91359
2577.96/2584.52 c #Conflicts: 1053000 | #Constraints: 92359
2577.96/2584.52 c #Conflicts: 1054000 | #Constraints: 93359
2577.96/2584.52 c #Conflicts: 1055000 | #Constraints: 94359
2577.96/2584.52 c #Conflicts: 1056000 | #Constraints: 95359
2577.96/2584.52 c #Conflicts: 1057000 | #Constraints: 96359
2577.96/2584.52 c #Conflicts: 1058000 | #Constraints: 97359
2577.96/2584.52 c #Conflicts: 1059000 | #Constraints: 98359
2577.96/2584.52 c #Conflicts: 1060000 | #Constraints: 99359
2577.96/2584.52 c #Conflicts: 1061000 | #Constraints: 100359
2577.96/2584.52 c #Conflicts: 1062000 | #Constraints: 101359
2577.96/2584.52 c #Conflicts: 1063000 | #Constraints: 102359
2577.96/2584.52 c #Conflicts: 1064000 | #Constraints: 103359
2577.96/2584.52 c #Conflicts: 1065000 | #Constraints: 104359
2577.96/2584.52 c #Conflicts: 1066000 | #Constraints: 105359
2577.96/2584.52 c #Conflicts: 1067000 | #Constraints: 106359
2577.96/2584.52 c #Conflicts: 1068000 | #Constraints: 107359
2577.96/2584.52 c #Conflicts: 1069000 | #Constraints: 108359
2577.96/2584.52 c INPROCESSING
2577.96/2584.52 c GARBAGE COLLECT
2577.96/2584.52 c #Conflicts: 1070000 | #Constraints: 73100
2577.96/2584.52 c #Conflicts: 1071000 | #Constraints: 74100
2577.96/2584.52 c #Conflicts: 1072000 | #Constraints: 75100
2577.96/2584.52 c #Conflicts: 1073000 | #Constraints: 76100
2577.96/2584.52 c #Conflicts: 1074000 | #Constraints: 77100
2577.96/2584.52 c #Conflicts: 1075000 | #Constraints: 78100
2577.96/2584.52 c #Conflicts: 1076000 | #Constraints: 79100
2577.96/2584.52 c #Conflicts: 1077000 | #Constraints: 80100
2577.96/2584.52 c #Conflicts: 1078000 | #Constraints: 81100
2577.96/2584.52 c #Conflicts: 1079000 | #Constraints: 82100
2577.96/2584.52 c #Conflicts: 1080000 | #Constraints: 83100
2577.96/2584.52 c #Conflicts: 1081000 | #Constraints: 84100
2577.96/2584.52 c #Conflicts: 1082000 | #Constraints: 85100
2577.96/2584.52 c #Conflicts: 1083000 | #Constraints: 86100
2577.96/2584.52 c #Conflicts: 1084000 | #Constraints: 87100
2577.96/2584.52 c #Conflicts: 1085000 | #Constraints: 88100
2577.96/2584.52 c #Conflicts: 1086000 | #Constraints: 89100
2577.96/2584.52 c #Conflicts: 1087000 | #Constraints: 90100
2577.96/2584.52 c #Conflicts: 1088000 | #Constraints: 91100
2577.96/2584.52 c #Conflicts: 1089000 | #Constraints: 92100
2957.08/2964.51 c #Conflicts: 1090000 | #Constraints: 93100
2957.08/2964.51 c #Conflicts: 1091000 | #Constraints: 94100
2957.08/2964.51 c #Conflicts: 1092000 | #Constraints: 95100
2957.08/2964.51 c #Conflicts: 1093000 | #Constraints: 96100
2957.08/2964.51 c #Conflicts: 1094000 | #Constraints: 97100
2957.08/2964.51 c #Conflicts: 1095000 | #Constraints: 98100
2957.08/2964.51 c #Conflicts: 1096000 | #Constraints: 99100
2957.08/2964.51 c #Conflicts: 1097000 | #Constraints: 100100
2957.08/2964.51 c #Conflicts: 1098000 | #Constraints: 101100
2957.08/2964.51 c #Conflicts: 1099000 | #Constraints: 102100
2957.08/2964.51 c #Conflicts: 1100000 | #Constraints: 103100
2957.08/2964.51 c #Conflicts: 1101000 | #Constraints: 104100
2957.08/2964.51 c #Conflicts: 1102000 | #Constraints: 105100
2957.08/2964.51 c #Conflicts: 1103000 | #Constraints: 106100
2957.08/2964.51 c #Conflicts: 1104000 | #Constraints: 107100
2957.08/2964.51 c #Conflicts: 1105000 | #Constraints: 108100
2957.08/2964.51 c #Conflicts: 1106000 | #Constraints: 109100
2957.08/2964.51 c #Conflicts: 1107000 | #Constraints: 110100
2957.08/2964.51 c #Conflicts: 1108000 | #Constraints: 111100
2957.08/2964.51 c #Conflicts: 1109000 | #Constraints: 112100
2957.08/2964.51 c #Conflicts: 1110000 | #Constraints: 113100
2957.08/2964.51 c #Conflicts: 1111000 | #Constraints: 114100
2957.08/2964.51 c #Conflicts: 1112000 | #Constraints: 115100
2957.08/2964.51 c #Conflicts: 1113000 | #Constraints: 116100
2957.08/2964.51 c #Conflicts: 1114000 | #Constraints: 117100
2957.08/2964.51 c #Conflicts: 1115000 | #Constraints: 118100
2957.08/2964.51 c #Conflicts: 1116000 | #Constraints: 119100
2957.08/2964.51 c #Conflicts: 1117000 | #Constraints: 120100
2957.08/2964.51 c #Conflicts: 1118000 | #Constraints: 121100
2957.08/2964.51 c #Conflicts: 1119000 | #Constraints: 122100
2957.08/2964.51 c #Conflicts: 1120000 | #Constraints: 123100
2957.08/2964.51 c #Conflicts: 1121000 | #Constraints: 124100
2957.08/2964.51 c #Conflicts: 1122000 | #Constraints: 125100
2957.08/2964.51 c #Conflicts: 1123000 | #Constraints: 126100
2957.08/2964.51 c #Conflicts: 1124000 | #Constraints: 127100
2957.08/2964.51 c #Conflicts: 1125000 | #Constraints: 128100
2957.08/2964.51 c #Conflicts: 1126000 | #Constraints: 129100
2957.08/2964.51 c #Conflicts: 1127000 | #Constraints: 130100
2957.08/2964.51 c #Conflicts: 1128000 | #Constraints: 131100
2957.08/2964.51 c #Conflicts: 1129000 | #Constraints: 132100
2957.08/2964.51 c #Conflicts: 1130000 | #Constraints: 133100
2957.08/2964.51 c #Conflicts: 1131000 | #Constraints: 134100
2957.08/2964.51 c #Conflicts: 1132000 | #Constraints: 135100
2957.08/2964.51 c #Conflicts: 1133000 | #Constraints: 136100
2957.08/2964.51 c #Conflicts: 1134000 | #Constraints: 137100
2957.08/2964.51 c #Conflicts: 1135000 | #Constraints: 138100
2957.08/2964.51 c #Conflicts: 1136000 | #Constraints: 139100
2957.08/2964.51 c #Conflicts: 1137000 | #Constraints: 140100
2957.08/2964.51 c #Conflicts: 1138000 | #Constraints: 141100
2957.08/2964.51 c INPROCESSING
2957.08/2964.51 c GARBAGE COLLECT
2957.08/2964.51 c #Conflicts: 1139000 | #Constraints: 82272
2957.08/2964.51 c #Conflicts: 1140000 | #Constraints: 83272
2957.08/2964.51 c #Conflicts: 1141000 | #Constraints: 84272
2957.08/2964.51 c #Conflicts: 1142000 | #Constraints: 85272
2957.08/2964.51 c #Conflicts: 1143000 | #Constraints: 86273
2957.08/2964.51 c #Conflicts: 1144000 | #Constraints: 87273
2957.08/2964.51 c #Conflicts: 1145000 | #Constraints: 88273
2957.08/2964.51 c #Conflicts: 1146000 | #Constraints: 89273
2957.08/2964.51 c #Conflicts: 1147000 | #Constraints: 90273
2957.08/2964.51 c #Conflicts: 1148000 | #Constraints: 91273
2957.08/2964.51 c #Conflicts: 1149000 | #Constraints: 92273
2957.08/2964.51 c #Conflicts: 1150000 | #Constraints: 93273
2957.08/2964.51 c #Conflicts: 1151000 | #Constraints: 94273
2957.08/2964.51 c #Conflicts: 1152000 | #Constraints: 95273
2957.08/2964.51 c #Conflicts: 1153000 | #Constraints: 96273
2957.08/2964.51 c #Conflicts: 1154000 | #Constraints: 97273
2957.08/2964.51 c #Conflicts: 1155000 | #Constraints: 98273
2957.08/2964.51 c #Conflicts: 1156000 | #Constraints: 99273
2957.08/2964.51 c #Conflicts: 1157000 | #Constraints: 100273
2957.08/2964.51 c #Conflicts: 1158000 | #Constraints: 101273
2957.08/2964.51 c #Conflicts: 1159000 | #Constraints: 102273
2957.08/2964.51 c #Conflicts: 1160000 | #Constraints: 103273
2957.08/2964.51 c #Conflicts: 1161000 | #Constraints: 104273
2957.08/2964.51 c #Conflicts: 1162000 | #Constraints: 105273
2957.08/2964.51 c #Conflicts: 1163000 | #Constraints: 106273
2957.08/2964.51 c #Conflicts: 1164000 | #Constraints: 107273
2957.08/2964.51 c #Conflicts: 1165000 | #Constraints: 108273
2957.08/2964.51 c #Conflicts: 1166000 | #Constraints: 109273
2957.08/2964.51 c #Conflicts: 1167000 | #Constraints: 110273
3166.59/3174.50 c #Conflicts: 1168000 | #Constraints: 111273
3166.59/3174.50 c INPROCESSING
3166.59/3174.50 c GARBAGE COLLECT
3166.59/3174.50 c #Conflicts: 1169000 | #Constraints: 74814
3166.59/3174.50 c #Conflicts: 1170000 | #Constraints: 75814
3166.59/3174.50 c #Conflicts: 1171000 | #Constraints: 76814
3166.59/3174.50 c #Conflicts: 1172000 | #Constraints: 77814
3166.59/3174.50 c #Conflicts: 1173000 | #Constraints: 78814
3166.59/3174.50 c #Conflicts: 1174000 | #Constraints: 79814
3166.59/3174.50 c #Conflicts: 1175000 | #Constraints: 80814
3166.59/3174.50 c #Conflicts: 1176000 | #Constraints: 81814
3166.59/3174.50 c #Conflicts: 1177000 | #Constraints: 82814
3166.59/3174.50 c #Conflicts: 1178000 | #Constraints: 83814
3166.59/3174.50 c #Conflicts: 1179000 | #Constraints: 84814
3166.59/3174.50 c #Conflicts: 1180000 | #Constraints: 85814
3166.59/3174.50 c #Conflicts: 1181000 | #Constraints: 86814
3166.59/3174.50 c #Conflicts: 1182000 | #Constraints: 87814
3166.59/3174.50 c #Conflicts: 1183000 | #Constraints: 88814
3166.59/3174.50 c #Conflicts: 1184000 | #Constraints: 89814
3166.59/3174.50 c #Conflicts: 1185000 | #Constraints: 90814
3166.59/3174.50 c #Conflicts: 1186000 | #Constraints: 91814
3166.59/3174.50 c #Conflicts: 1187000 | #Constraints: 92814
3166.59/3174.50 c #Conflicts: 1188000 | #Constraints: 93814
3166.59/3174.50 c #Conflicts: 1189000 | #Constraints: 94814
3166.59/3174.50 c #Conflicts: 1190000 | #Constraints: 95814
3166.59/3174.50 c #Conflicts: 1191000 | #Constraints: 96814
3166.59/3174.50 c #Conflicts: 1192000 | #Constraints: 97814
3166.59/3174.50 c #Conflicts: 1193000 | #Constraints: 98814
3166.59/3174.50 c #Conflicts: 1194000 | #Constraints: 99814
3166.59/3174.50 c #Conflicts: 1195000 | #Constraints: 100814
3166.59/3174.50 c #Conflicts: 1196000 | #Constraints: 101814
3166.59/3174.50 c #Conflicts: 1197000 | #Constraints: 102814
3166.59/3174.50 c #Conflicts: 1198000 | #Constraints: 103814
3166.59/3174.50 c #Conflicts: 1199000 | #Constraints: 104814
3166.59/3174.50 c #Conflicts: 1200000 | #Constraints: 105814
3166.59/3174.50 c #Conflicts: 1201000 | #Constraints: 106814
3166.59/3174.50 c #Conflicts: 1202000 | #Constraints: 107814
3166.59/3174.50 c #Conflicts: 1203000 | #Constraints: 108814
3166.59/3174.50 c #Conflicts: 1204000 | #Constraints: 109814
3166.59/3174.50 c #Conflicts: 1205000 | #Constraints: 110814
3166.59/3174.50 c #Conflicts: 1206000 | #Constraints: 111814
3166.59/3174.50 c #Conflicts: 1207000 | #Constraints: 112814
3166.59/3174.50 c #Conflicts: 1208000 | #Constraints: 113814
3166.59/3174.50 c #Conflicts: 1209000 | #Constraints: 114814
3166.59/3174.50 c #Conflicts: 1210000 | #Constraints: 115814
3166.59/3174.50 c #Conflicts: 1211000 | #Constraints: 116814
3166.59/3174.50 c #Conflicts: 1212000 | #Constraints: 117814
3166.59/3174.50 c #Conflicts: 1213000 | #Constraints: 118814
3166.59/3174.50 c #Conflicts: 1214000 | #Constraints: 119814
3166.59/3174.50 c #Conflicts: 1215000 | #Constraints: 120814
3166.59/3174.50 c #Conflicts: 1216000 | #Constraints: 121814
3166.59/3174.50 c #Conflicts: 1217000 | #Constraints: 122814
3166.59/3174.50 c #Conflicts: 1218000 | #Constraints: 123814
3166.59/3174.50 c #Conflicts: 1219000 | #Constraints: 124814
3166.59/3174.50 c #Conflicts: 1220000 | #Constraints: 125814
3166.59/3174.50 c #Conflicts: 1221000 | #Constraints: 126814
3166.59/3174.50 c #Conflicts: 1222000 | #Constraints: 127814
3166.59/3174.50 c #Conflicts: 1223000 | #Constraints: 128814
3166.59/3174.50 c #Conflicts: 1224000 | #Constraints: 129814
3166.59/3174.50 c #Conflicts: 1225000 | #Constraints: 130814
3166.59/3174.50 c #Conflicts: 1226000 | #Constraints: 131814
3166.59/3174.50 c #Conflicts: 1227000 | #Constraints: 132814
3166.59/3174.50 c #Conflicts: 1228000 | #Constraints: 133814
3166.59/3174.50 c #Conflicts: 1229000 | #Constraints: 134814
3166.59/3174.50 c #Conflicts: 1230000 | #Constraints: 135814
3166.59/3174.50 c #Conflicts: 1231000 | #Constraints: 136814
3166.59/3174.50 c #Conflicts: 1232000 | #Constraints: 137814
3166.59/3174.50 c #Conflicts: 1233000 | #Constraints: 138814
3166.59/3174.50 c #Conflicts: 1234000 | #Constraints: 139814
3166.59/3174.50 c #Conflicts: 1235000 | #Constraints: 140814
3166.59/3174.50 c #Conflicts: 1236000 | #Constraints: 141814
3166.59/3174.50 c #Conflicts: 1237000 | #Constraints: 142814
3166.59/3174.50 c #Conflicts: 1238000 | #Constraints: 143814
3166.59/3174.50 c #Conflicts: 1239000 | #Constraints: 144814
3166.59/3174.50 c #Conflicts: 1240000 | #Constraints: 145814
3166.59/3174.50 c INPROCESSING
3166.59/3174.50 c GARBAGE COLLECT
3166.59/3174.50 c #Conflicts: 1241000 | #Constraints: 84962
3166.59/3174.50 c #Conflicts: 1242000 | #Constraints: 85962
3166.59/3174.50 c #Conflicts: 1243000 | #Constraints: 86962
3166.59/3174.50 c #Conflicts: 1244000 | #Constraints: 87962
3361.93/3370.30 c #Conflicts: 1245000 | #Constraints: 88962
3361.93/3370.30 c #Conflicts: 1246000 | #Constraints: 89962
3361.93/3370.30 c #Conflicts: 1247000 | #Constraints: 90962
3361.93/3370.30 c #Conflicts: 1248000 | #Constraints: 91962
3361.93/3370.30 c #Conflicts: 1249000 | #Constraints: 92962
3361.93/3370.30 c #Conflicts: 1250000 | #Constraints: 93962
3361.93/3370.30 c #Conflicts: 1251000 | #Constraints: 94962
3361.93/3370.30 c #Conflicts: 1252000 | #Constraints: 95962
3361.93/3370.30 c #Conflicts: 1253000 | #Constraints: 96962
3361.93/3370.30 c #Conflicts: 1254000 | #Constraints: 97962
3361.93/3370.30 c #Conflicts: 1255000 | #Constraints: 98962
3361.93/3370.30 c #Conflicts: 1256000 | #Constraints: 99962
3361.93/3370.30 c #Conflicts: 1257000 | #Constraints: 100962
3361.93/3370.30 c #Conflicts: 1258000 | #Constraints: 101962
3361.93/3370.30 c #Conflicts: 1259000 | #Constraints: 102962
3361.93/3370.30 c #Conflicts: 1260000 | #Constraints: 103962
3361.93/3370.30 c #Conflicts: 1261000 | #Constraints: 104962
3361.93/3370.30 c #Conflicts: 1262000 | #Constraints: 105962
3361.93/3370.30 c #Conflicts: 1263000 | #Constraints: 106962
3361.93/3370.30 c #Conflicts: 1264000 | #Constraints: 107962
3361.93/3370.30 c #Conflicts: 1265000 | #Constraints: 108962
3361.93/3370.30 c #Conflicts: 1266000 | #Constraints: 109962
3361.93/3370.30 c #Conflicts: 1267000 | #Constraints: 110962
3361.93/3370.30 c #Conflicts: 1268000 | #Constraints: 111962
3361.93/3370.30 c #Conflicts: 1269000 | #Constraints: 112962
3361.93/3370.30 c #Conflicts: 1270000 | #Constraints: 113962
3361.93/3370.30 c #Conflicts: 1271000 | #Constraints: 114962
3361.93/3370.30 c #Conflicts: 1272000 | #Constraints: 115962
3361.93/3370.30 c INPROCESSING
3361.93/3370.30 c GARBAGE COLLECT
3361.93/3370.30 c #Conflicts: 1273000 | #Constraints: 78057
3361.93/3370.30 c #Conflicts: 1274000 | #Constraints: 79057
3361.93/3370.30 c #Conflicts: 1275000 | #Constraints: 80057
3361.93/3370.30 c #Conflicts: 1276000 | #Constraints: 81057
3361.93/3370.30 c #Conflicts: 1277000 | #Constraints: 82057
3361.93/3370.30 c #Conflicts: 1278000 | #Constraints: 83057
3361.93/3370.30 c #Conflicts: 1279000 | #Constraints: 84057
3361.93/3370.30 c #Conflicts: 1280000 | #Constraints: 85057
3361.93/3370.30 c #Conflicts: 1281000 | #Constraints: 86057
3361.93/3370.30 c #Conflicts: 1282000 | #Constraints: 87057
3361.93/3370.30 c #Conflicts: 1283000 | #Constraints: 88057
3361.93/3370.30 c #Conflicts: 1284000 | #Constraints: 89057
3361.93/3370.30 c #Conflicts: 1285000 | #Constraints: 90057
3361.93/3370.30 c #Conflicts: 1286000 | #Constraints: 91057
3361.93/3370.30 c #Conflicts: 1287000 | #Constraints: 92057
3361.93/3370.30 c #Conflicts: 1288000 | #Constraints: 93057
3361.93/3370.30 c #Conflicts: 1289000 | #Constraints: 94057
3361.93/3370.30 c #Conflicts: 1290000 | #Constraints: 95057
3361.93/3370.30 c #Conflicts: 1291000 | #Constraints: 96057
3361.93/3370.30 c #Conflicts: 1292000 | #Constraints: 97057
3361.93/3370.30 c #Conflicts: 1293000 | #Constraints: 98057
3361.93/3370.30 c #Conflicts: 1294000 | #Constraints: 99057
3361.93/3370.30 c #Conflicts: 1295000 | #Constraints: 100057
3361.93/3370.30 c #Conflicts: 1296000 | #Constraints: 101057
3361.93/3370.30 c #Conflicts: 1297000 | #Constraints: 102057
3361.93/3370.30 c #Conflicts: 1298000 | #Constraints: 103057
3361.93/3370.30 c #Conflicts: 1299000 | #Constraints: 104057
3361.93/3370.30 c #Conflicts: 1300000 | #Constraints: 105057
3361.93/3370.30 c #Conflicts: 1301000 | #Constraints: 106057
3361.93/3370.30 c #Conflicts: 1302000 | #Constraints: 107057
3361.93/3370.30 c #Conflicts: 1303000 | #Constraints: 108057
3361.93/3370.30 c #Conflicts: 1304000 | #Constraints: 109057
3361.93/3370.30 c #Conflicts: 1305000 | #Constraints: 110057
3361.93/3370.30 c #Conflicts: 1306000 | #Constraints: 111057
3361.93/3370.30 c #Conflicts: 1307000 | #Constraints: 112057
3361.93/3370.30 c #Conflicts: 1308000 | #Constraints: 113057
3361.93/3370.30 c #Conflicts: 1309000 | #Constraints: 114057
3361.93/3370.30 c #Conflicts: 1310000 | #Constraints: 115057
3361.93/3370.30 c #Conflicts: 1311000 | #Constraints: 116057
3361.93/3370.30 c #Conflicts: 1312000 | #Constraints: 117058
3361.93/3370.30 c #Conflicts: 1313000 | #Constraints: 118058
3361.93/3370.30 c #Conflicts: 1314000 | #Constraints: 119058
3361.93/3370.30 c #Conflicts: 1315000 | #Constraints: 120058
3361.93/3370.30 c #Conflicts: 1316000 | #Constraints: 121058
3361.93/3370.30 c #Conflicts: 1317000 | #Constraints: 122058
3361.93/3370.30 c #Conflicts: 1318000 | #Constraints: 123058
3361.93/3370.30 c #Conflicts: 1319000 | #Constraints: 124058
3361.93/3370.30 c #Conflicts: 1320000 | #Constraints: 125058
3361.93/3370.30 c #Conflicts: 1321000 | #Constraints: 126058
3361.93/3370.30 c #Conflicts: 1322000 | #Constraints: 127058
3600.09/3609.00 c #Conflicts: 1323000 | #Constraints: 128058
3600.09/3609.00 c #Conflicts: 1324000 | #Constraints: 129058
3600.09/3609.00 c #Conflicts: 1325000 | #Constraints: 130058
3600.09/3609.00 c #Conflicts: 1326000 | #Constraints: 131058
3600.09/3609.00 c #Conflicts: 1327000 | #Constraints: 132058
3600.09/3609.00 c #Conflicts: 1328000 | #Constraints: 133058
3600.09/3609.00 c #Conflicts: 1329000 | #Constraints: 134058
3600.09/3609.00 c #Conflicts: 1330000 | #Constraints: 135058
3600.09/3609.00 c #Conflicts: 1331000 | #Constraints: 136058
3600.09/3609.00 c #Conflicts: 1332000 | #Constraints: 137058
3600.09/3609.00 c #Conflicts: 1333000 | #Constraints: 138058
3600.09/3609.00 c #Conflicts: 1334000 | #Constraints: 139058
3600.09/3609.00 c #Conflicts: 1335000 | #Constraints: 140058
3600.09/3609.00 c #Conflicts: 1336000 | #Constraints: 141058
3600.09/3609.00 c #Conflicts: 1337000 | #Constraints: 142058
3600.09/3609.00 c #Conflicts: 1338000 | #Constraints: 143058
3600.09/3609.00 c #Conflicts: 1339000 | #Constraints: 144058
3600.09/3609.00 c #Conflicts: 1340000 | #Constraints: 145058
3600.09/3609.00 c #Conflicts: 1341000 | #Constraints: 146058
3600.09/3609.00 c #Conflicts: 1342000 | #Constraints: 147058
3600.09/3609.00 c #Conflicts: 1343000 | #Constraints: 148058
3600.09/3609.00 c #Conflicts: 1344000 | #Constraints: 149058
3600.09/3609.00 c #Conflicts: 1345000 | #Constraints: 150058
3600.09/3609.00 c #Conflicts: 1346000 | #Constraints: 151058
3600.09/3609.00 c #Conflicts: 1347000 | #Constraints: 152058
3600.09/3609.00 c INPROCESSING
3600.09/3609.00 c GARBAGE COLLECT
3600.09/3609.00 c #Conflicts: 1348000 | #Constraints: 88413
3600.09/3609.00 c #Conflicts: 1349000 | #Constraints: 89413
3600.09/3609.00 c #Conflicts: 1350000 | #Constraints: 90413
3600.09/3609.00 c #Conflicts: 1351000 | #Constraints: 91413
3600.09/3609.00 c #Conflicts: 1352000 | #Constraints: 92413
3600.09/3609.00 c #Conflicts: 1353000 | #Constraints: 93413
3600.09/3609.00 c #Conflicts: 1354000 | #Constraints: 94413
3600.09/3609.00 c #Conflicts: 1355000 | #Constraints: 95413
3600.09/3609.00 c #Conflicts: 1356000 | #Constraints: 96413
3600.09/3609.00 c #Conflicts: 1357000 | #Constraints: 97413
3600.09/3609.00 c #Conflicts: 1358000 | #Constraints: 98413
3600.09/3609.00 c #Conflicts: 1359000 | #Constraints: 99413
3600.09/3609.00 c #Conflicts: 1360000 | #Constraints: 100413
3600.09/3609.00 c #Conflicts: 1361000 | #Constraints: 101413
3600.09/3609.00 c #Conflicts: 1362000 | #Constraints: 102413
3600.09/3609.00 c #Conflicts: 1363000 | #Constraints: 103413
3600.09/3609.00 c #Conflicts: 1364000 | #Constraints: 104413
3600.09/3609.00 c #Conflicts: 1365000 | #Constraints: 105413
3600.09/3609.00 c #Conflicts: 1366000 | #Constraints: 106413
3600.09/3609.00 c #Conflicts: 1367000 | #Constraints: 107413
3600.09/3609.00 c #Conflicts: 1368000 | #Constraints: 108413
3600.09/3609.00 c #Conflicts: 1369000 | #Constraints: 109413
3600.09/3609.00 c #Conflicts: 1370000 | #Constraints: 110413
3600.09/3609.00 c #Conflicts: 1371000 | #Constraints: 111413
3600.09/3609.00 c #Conflicts: 1372000 | #Constraints: 112413
3600.09/3609.00 c #Conflicts: 1373000 | #Constraints: 113413
3600.09/3609.00 c #Conflicts: 1374000 | #Constraints: 114413
3600.09/3609.00 c #Conflicts: 1375000 | #Constraints: 115413
3600.09/3609.00 c #Conflicts: 1376000 | #Constraints: 116413
3600.09/3609.00 c #Conflicts: 1377000 | #Constraints: 117413
3600.09/3609.00 c #Conflicts: 1378000 | #Constraints: 118413
3600.09/3609.00 c #Conflicts: 1379000 | #Constraints: 119413
3600.09/3609.00 c #Conflicts: 1380000 | #Constraints: 120413
3600.09/3609.00 c INPROCESSING
3600.09/3609.00 c GARBAGE COLLECT
3600.09/3609.00 c #Conflicts: 1381000 | #Constraints: 80280
3600.09/3609.00 c #Conflicts: 1382000 | #Constraints: 81280
3600.09/3609.00 c #Conflicts: 1383000 | #Constraints: 82280
3600.09/3609.00 c #Conflicts: 1384000 | #Constraints: 83280
3600.09/3609.00 c #Conflicts: 1385000 | #Constraints: 84280
3600.09/3609.00 c #Conflicts: 1386000 | #Constraints: 85280
3600.09/3609.00 c #Conflicts: 1387000 | #Constraints: 86280
3600.09/3609.00 c #Conflicts: 1388000 | #Constraints: 87280
3600.09/3609.00 c #Conflicts: 1389000 | #Constraints: 88280
3600.09/3609.00 c #Conflicts: 1390000 | #Constraints: 89280
3600.09/3609.00 c #Conflicts: 1391000 | #Constraints: 90280
3600.09/3609.00 c #Conflicts: 1392000 | #Constraints: 91280
3600.09/3609.00 c #Conflicts: 1393000 | #Constraints: 92280
3600.09/3609.00 c cpu time 3572.59 s
3600.09/3609.00 c deterministic time 231202393421 2.31e+11
3600.09/3609.00 c optimization time 21.3896 s
3600.09/3609.00 c total solve time 3551.11 s
3600.09/3609.00 c core-guided solve time 0 s
3600.09/3609.00 c propagation time 1702.06 s
3600.09/3609.00 c conflict analysis time 1365.95 s
3600.09/3609.00 c propagations 1420858202
3600.09/3609.00 c resolve steps 90895137
3600.09/3609.00 c decisions 29993456
3600.09/3609.00 c conflicts 1393132
3600.09/3609.00 c restarts 2682
3600.09/3609.00 c inprocessing phases 50
3600.09/3609.00 c garbage collections 50 ,( 100.00 )
3600.09/3609.00 c input clauses 20060 ,( 99.18 )
3600.09/3609.00 c input cardinalities 166 ,( 0.82 )
3600.09/3609.00 c input general constraints 0 ,( 0.00 )
3600.09/3609.00 c input average constraint length 6.41
3600.09/3609.00 c input average constraint degree 1.96
3600.09/3609.00 c learned clauses 1041717 ,( 74.77 )
3600.09/3609.00 c learned cardinalities 43453 ,( 3.12 )
3600.09/3609.00 c learned general constraints 307967 ,( 22.11 )
3600.09/3609.00 c learned average constraint length 783.41
3600.09/3609.00 c learned average constraint degree 16281531.90
3600.09/3609.00 c watched CF 32, 64, 128, Arb: 81074 , 0 , 0 , 0
3600.09/3609.00 c counting CF 32, 64, 128, Arb: 226893 , 0 , 0 , 0
3600.09/3609.00 c watched constraints 81074 ,( 26.33 )
3600.09/3609.00 c counting constraints 226893 ,( 73.67 )
3600.09/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1403369798 , 682336915 , 1693161426 ,( 80809142 , 1612352284 )
3600.09/3609.00 c gcd simplifications 653
3600.09/3609.00 c detected cardinalities 6195
3600.09/3609.00 c weakened non-implied lits 392541721
3600.09/3609.00 c weakened non-implying lits 184658
3600.09/3609.00 c original variables 19799
3600.09/3609.00 c clausal propagations 651396595
3600.09/3609.00 c cardinality propagations 520713315
3600.09/3609.00 c watched propagations 4411204
3600.09/3609.00 c counting propagations 232066975
3600.09/3609.00 c watch lookups 73595470744
3600.09/3609.00 c watch backjump lookups 0
3600.09/3609.00 c watch checks 36389845483
3600.09/3609.00 c propagation checks 113196316641
3600.09/3609.00 c constraint additions 5117355228
3600.09/3609.00 c trail pops 1452235371
3600.09/3609.00 c formula constraints 20226
3600.09/3609.00 c learned constraints 1393128
3600.09/3609.00 c bound constraints 0
3600.09/3609.00 c core-guided constraints 0
3600.09/3609.00 c encountered formula constraints 57911483
3600.09/3609.00 c encountered learned constraints 34376723
3600.09/3609.00 c encountered bound constraints 0
3600.09/3609.00 c encountered core-guided constraints 0
3600.09/3609.00 c LP total time 500.331 s
3600.09/3609.00 c LP solve time 496.61 s
3600.09/3609.00 c LP constraints added 20424
3600.09/3609.00 c LP constraints removed 0
3600.09/3609.00 c LP pivots internal 147344
3600.09/3609.00 c LP pivots root 170951
3600.09/3609.00 c LP calls 14
3600.09/3609.00 c LP optimalities 3
3600.09/3609.00 c LP no pivot count 0
3600.09/3609.00 c LP infeasibilities 4
3600.09/3609.00 c LP valid Farkas constraints 4
3600.09/3609.00 c LP learned Farkas constraints 4
3600.09/3609.00 c LP basis resets 0
3600.09/3609.00 c LP cycling count 0
3600.09/3609.00 c LP singular count 0
3600.09/3609.00 c LP no primal count 0
3600.09/3609.00 c LP no farkas count 0
3600.09/3609.00 c LP other issue count 0
3600.09/3609.00 c LP Gomory cuts 1
3600.09/3609.00 c LP learned cuts 197
3600.09/3609.00 c LP deleted cuts 0
3600.09/3609.00 c LP encountered Gomory constraints 0
3600.09/3609.00 c LP encountered Farkas constraints 56
3600.09/3609.00 c LP encountered learned Farkas constraints 3
3600.09/3609.00 c CG auxiliary variables introduced 0
3600.09/3609.00 c CG solutions found 0
3600.09/3609.00 c CG cores constructed 0
3600.09/3609.00 c CG core cardinality constraints returned 0
3600.09/3609.00 c CG unit cores 0
3600.09/3609.00 c CG single cores 0
3600.09/3609.00 c CG blocks removed during cardinality reduction 0
3600.09/3609.00 c CG first core best 0
3600.09/3609.00 c CG decision core best 0
3600.09/3609.00 c CG core reduction tie 0
3600.09/3609.00 c CG core degree average 0.00
3600.09/3609.00 c CG core slack average 0.00
3600.09/3609.00 c CG core upper bound improvements 0
3600.09/3609.00 c STR number of successful calls 0
3600.09/3609.00 c STR number of unsuccessful calls 0
3600.09/3609.00 c STR number of inconclusive calls 0
3600.09/3609.00 c STR number of successful attempts 0
3600.09/3609.00 c STR number of unsuccessful attempts 0
3600.09/3609.00 c STR number of inconclusive attempts 0
3600.09/3609.00 c STR average degree increase per successful call inf
3600.09/3609.00 c STR average degree increase per successful attempt inf
3600.09/3609.00 c STR total number of conflicts for successful attempts 0
3600.09/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.00 c STR average number of conflicts per successful attempt inf
3600.09/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.00 c AVG.sumWPerc 65.35
3600.09/3609.00 c bigint constraints 0
3600.09/3609.00 s UNKNOWN
3600.09/3609.00 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: 63665 MiB (63042 MiB free)
memory of node 1: 64507 MiB (64036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506908-1751172706/watcher-4506908-1751172706 -o /tmp/evaluation-result-4506908-1751172706/solver-4506908-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4506908-1751172706.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18933, runsolver pid=18919
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18941
/proc/meminfo: memFree=129986288/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) R 18919 18933 18866 0 -1 4194304 217 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 81922 4 65536 0 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+0.205771 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129931048/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=76632 memory=31720 CPUtime=0.08 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 6364 0 1 0 7 1 0 0 20 0 1 0 32948430 78471168 7930 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 19158 7930 2240 1147 0 6585 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 80824 KiB
Current children cumulated memory: 34664 KiB
[startup+0.305851 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129880136/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=112844 memory=59004 CPUtime=0.18 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 11918 0 1 0 15 3 0 0 20 0 1 0 32948430 115552256 14751 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 28211 14751 2272 1147 0 15638 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 117036 KiB
Current children cumulated memory: 61948 KiB
[startup+0.700184 s]
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=114812 memory=61052 CPUtime=0.57 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 12447 0 1 0 54 3 0 0 20 0 1 0 32948430 117567488 15263 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 28703 15263 2272 1147 0 16130 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 119004 KiB
Current children cumulated memory: 63996 KiB
[startup+1.50017 s]
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=114812 memory=61052 CPUtime=1.37 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 12447 0 1 0 134 3 0 0 20 0 1 0 32948430 117567488 15263 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 28703 15263 2272 1147 0 16130 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 119004 KiB
Current children cumulated memory: 63996 KiB
[startup+3.10567 s]
/proc/loadavg: 0.77 0.98 1.24 8/269 18944
/proc/meminfo: memFree=129865324/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=116816 memory=64252 CPUtime=2.96 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 13232 0 1 0 293 3 0 0 20 0 1 0 32948430 119619584 16063 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 29204 16063 2272 1147 0 16631 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 121008 KiB
Current children cumulated memory: 67196 KiB
[startup+6.30017 s]
/proc/loadavg: 0.77 0.98 1.24 8/269 18944
/proc/meminfo: memFree=129853648/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=120800 memory=71220 CPUtime=6.15 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 14410 0 1 0 604 11 0 0 20 0 1 0 32948430 123699200 17805 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 30200 17805 2336 1147 0 17627 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 74164 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.08 1.27 8/269 18944
/proc/meminfo: memFree=129842136/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=129668 memory=79664 CPUtime=12.54 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 16011 0 1 0 1225 29 0 0 20 0 1 0 32948430 132780032 19916 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 32417 19916 2336 1147 0 19844 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 133860 KiB
Current children cumulated memory: 82608 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.19 1.30 8/269 18944
/proc/meminfo: memFree=129770240/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=158680 memory=102348 CPUtime=25.32 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 21190 0 1 0 2470 62 0 0 20 0 1 0 32948430 162488320 25587 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 39670 25587 2336 1147 0 27097 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162872 KiB
Current children cumulated memory: 105292 KiB
[startup+51.1057 s]
/proc/loadavg: 2.53 1.42 1.38 8/269 18946
/proc/meminfo: memFree=129666272/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=183852 memory=126244 CPUtime=50.85 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 25683 0 1 0 4971 114 0 0 20 0 1 0 32948430 188264448 31561 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 45963 31561 2336 1147 0 33390 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 188044 KiB
Current children cumulated memory: 129188 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.87 1.54 8/270 18949
/proc/meminfo: memFree=129499708/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=224584 memory=166272 CPUtime=101.93 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 31614 0 1 0 10008 185 0 0 20 0 1 0 32948430 229974016 41568 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 56146 41568 2336 1147 0 43573 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 228776 KiB
Current children cumulated memory: 169216 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.28 1.70 8/270 18950
/proc/meminfo: memFree=129350872/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=282396 memory=217480 CPUtime=161.78 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 38271 0 1 0 15914 264 0 0 20 0 1 0 32948430 289173504 54370 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 70599 54370 2368 1147 0 58026 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 220424 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.62 1.86 8/270 18952
/proc/meminfo: memFree=129275968/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=301032 memory=236040 CPUtime=221.65 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 42898 0 1 0 21795 370 0 0 20 0 1 0 32948430 308256768 59010 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 75258 59010 2368 1147 0 62685 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 305224 KiB
Current children cumulated memory: 238984 KiB
################
# More data... #
################
/proc/18944/statm: 369516 274455 2368 1147 0 356943 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 1482256 KiB
Current children cumulated memory: 1100764 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/268 19099
/proc/meminfo: memFree=125785140/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1481836 memory=1101532 CPUtime=3094.49 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 128526 0 1 0 307017 2432 0 0 20 0 1 0 32948430 1517400064 275383 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 370459 275383 2368 1147 0 357886 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 1486028 KiB
Current children cumulated memory: 1104476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/268 19101
/proc/meminfo: memFree=125777320/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1491760 memory=1109212 CPUtime=3154.34 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 130618 0 1 0 312966 2468 0 0 20 0 1 0 32948430 1527562240 277303 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 372940 277303 2368 1147 0 360367 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 1495952 KiB
Current children cumulated memory: 1112156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 8/268 19103
/proc/meminfo: memFree=125776920/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1495368 memory=1112412 CPUtime=3214.21 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 131425 0 1 0 318899 2522 0 0 20 0 1 0 32948430 1531256832 278103 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 373842 278103 2368 1147 0 361269 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 1499560 KiB
Current children cumulated memory: 1115356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 8/268 19105
/proc/meminfo: memFree=125776756/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1495368 memory=1112412 CPUtime=3274.07 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 131429 0 1 0 324840 2567 0 0 20 0 1 0 32948430 1531256832 278103 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 373842 278103 2368 1147 0 361269 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 1499560 KiB
Current children cumulated memory: 1115356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.03 8/268 19109
/proc/meminfo: memFree=125733104/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1496192 memory=1112668 CPUtime=3333.93 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 131510 0 1 0 330777 2616 0 0 20 0 1 0 32948430 1532100608 278167 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 374048 278167 2368 1147 0 361475 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 1500384 KiB
Current children cumulated memory: 1115612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 8/267 19116
/proc/meminfo: memFree=125708672/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1496192 memory=1112796 CPUtime=3393.79 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 131522 0 1 0 336734 2645 0 0 20 0 1 0 32948430 1532100608 278199 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 374048 278199 2368 1147 0 361475 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 1500384 KiB
Current children cumulated memory: 1115740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 8/268 19119
/proc/meminfo: memFree=125677888/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1498148 memory=1115100 CPUtime=3453.65 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 132100 0 1 0 342710 2655 0 0 20 0 1 0 32948430 1534103552 278775 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 374537 278775 2368 1147 0 361964 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1502340 KiB
Current children cumulated memory: 1118044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 8/268 19121
/proc/meminfo: memFree=125659944/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1503708 memory=1120476 CPUtime=3513.51 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 133654 0 1 0 348684 2667 0 0 20 0 1 0 32948430 1539796992 280119 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 375927 280119 2368 1147 0 363354 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 1507900 KiB
Current children cumulated memory: 1123420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 8/268 19123
/proc/meminfo: memFree=125653648/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1503708 memory=1120476 CPUtime=3573.37 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 133659 0 1 0 354627 2710 0 0 20 0 1 0 32948430 1539796992 280119 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 375927 280119 2368 1147 0 363354 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 1507900 KiB
Current children cumulated memory: 1123420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.10 4.03 7/263 19133
/proc/meminfo: memFree=126542724/131249996 swapFree=33010684/33010684
[pid=18933] ppid=18919 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/18933/stat : 18933 (run-dec-break.s) S 18919 18933 18866 0 -1 4194304 235 13744 0 0 0 0 5 2 20 0 1 0 32948419 4292608 736 18446744073709551615 94315581177856 94315582072389 140727481433504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94315582311440 94315582359184 94315587182592 140727481440609 140727481440738 140727481440738 140727481446340 0
/proc/18933/statm: 1048 736 672 219 0 110 0
[pid=18944] ppid=18933 vsize=1503708 memory=1120604 CPUtime=3600.02 cores=5,7
/proc/18944/stat : 18944 (roundingsat) R 18933 18933 18866 0 -1 4194304 133682 0 1 0 357259 2743 0 0 20 0 1 0 32948430 1539796992 280151 18446744073709551615 4227072 8923433 140731751982160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24211456 140731751983428 140731751983656 140731751983656 140731751989226 0
/proc/18944/statm: 375927 280151 2368 1147 0 363354 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1507900 KiB
Current children cumulated memory: 1123548 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 18933 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.05342 s, system=0.032078 s
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 18944 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3572.66 s, system=27.4783 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.02
CPU time (s): 3600.13
CPU user time (s): 3572.66
CPU system time (s): 27.4783
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 1507900
Max. memory (cumulated for all children) (KiB): 1123548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.66
system time used= 27.4783
maximum resident set size= 1120860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147704
page faults= 1
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482
involuntary context switches= 3085
# summary of solver processes directly reported to runsolver:
# pid: 18933,18944
# total CPU time (s): 3600.13
# total CPU user time (s): 3572.66
# total CPU system time (s): 27.4783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09193 second user time and 16.8239 second system time
The end
Begin job on nodeC022 at 2025-06-29 06:51:46
IDJOB=4506908
IDBENCH=158308
IDSOLVER=3357
FILE ID=nodeC022/4506908-1751172706
RUNJOBID= nodeC022-1751172706-18879
SLURM_JOB_ID= 9587539
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506908-1751172706/watcher-4506908-1751172706 -o /tmp/evaluation-result-4506908-1751172706/solver-4506908-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4506908-1751172706.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1606326041
nodeC022 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.863
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3548.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3385.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.957
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.611
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3551.008
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130133188 kB
MemAvailable: 129784472 kB
Buffers: 3280 kB
Cached: 462228 kB
SwapCached: 0 kB
Active: 315984 kB
Inactive: 213884 kB
Active(anon): 82420 kB
Inactive(anon): 0 kB
Active(file): 233564 kB
Inactive(file): 213884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33424 kB
Writeback: 0 kB
AnonPages: 67428 kB
Mapped: 101804 kB
Shmem: 18060 kB
KReclaimable: 85748 kB
Slab: 168748 kB
SReclaimable: 85748 kB
SUnreclaim: 83000 kB
KernelStack: 4144 kB
PageTables: 2760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 07:51:56