0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4506909-1751172307.opb'
0.00/0.03 c read 1.36MB (18.60ms)
0.00/0.03 c [cnf: #variables 19754 #clauses 20088 #duplicates 0 #arr 129224]
0.00/0.03 c output proof to 'PROOFDIR/proof-4506909-1751172307'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2988] (24.46ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.28ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 99104 #edges 376972]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 4.80*10^1 #generators 5] (21.70ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.07ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 5 generators (0.06ms)
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-4506909-1751172307.opb.pre'
0.00/0.10 c wrote 1.39MB (3.23ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 24.46ms 27.31% approx_orbits
0.00/0.10 c 21.70ms 24.22% detect_generic
0.00/0.10 c 18.60ms 20.76% parse
0.00/0.10 c 16.41ms 18.32% other
0.00/0.10 c 4.28ms 4.77% detect_special
0.00/0.10 c 3.23ms 3.61% output
0.00/0.10 c 0.76ms 0.85% finalize_order
0.00/0.10 c 0.07ms 0.08% optimize_gens
0.00/0.10 c 0.06ms 0.07% break_generic
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 89.57ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.08/0.12 c RoundingSat 2
0.08/0.12 c branch pb25
0.08/0.12 c commit 63f22ad
0.18/0.28 c #variables 19799 #constraints 20226
114.25/114.76 c #Conflicts: 1000 | #Constraints: 21225
114.25/114.76 c #Conflicts: 2000 | #Constraints: 22225
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 3000 | #Constraints: 21510
114.25/114.76 c #Conflicts: 4000 | #Constraints: 22510
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 5000 | #Constraints: 21986
114.25/114.76 c #Conflicts: 6000 | #Constraints: 22986
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 7000 | #Constraints: 22129
114.25/114.76 c #Conflicts: 8000 | #Constraints: 23129
114.25/114.76 c #Conflicts: 9000 | #Constraints: 24129
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 10000 | #Constraints: 22967
114.25/114.76 c #Conflicts: 11000 | #Constraints: 23967
114.25/114.76 c #Conflicts: 12000 | #Constraints: 24967
114.25/114.76 c #Conflicts: 13000 | #Constraints: 25967
114.25/114.76 c #Conflicts: 14000 | #Constraints: 26967
114.25/114.76 c #Conflicts: 15000 | #Constraints: 27967
114.25/114.76 c #Conflicts: 16000 | #Constraints: 28967
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 17000 | #Constraints: 25268
114.25/114.76 c #Conflicts: 18000 | #Constraints: 26268
114.25/114.76 c #Conflicts: 19000 | #Constraints: 27268
114.25/114.76 c #Conflicts: 20000 | #Constraints: 28268
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 21000 | #Constraints: 24984
114.25/114.76 c #Conflicts: 22000 | #Constraints: 25984
114.25/114.76 c #Conflicts: 23000 | #Constraints: 26984
114.25/114.76 c #Conflicts: 24000 | #Constraints: 27984
114.25/114.76 c #Conflicts: 25000 | #Constraints: 28984
114.25/114.76 c #Conflicts: 26000 | #Constraints: 29984
114.25/114.76 c #Conflicts: 27000 | #Constraints: 30984
114.25/114.76 c #Conflicts: 28000 | #Constraints: 31984
114.25/114.76 c #Conflicts: 29000 | #Constraints: 32984
114.25/114.76 c #Conflicts: 30000 | #Constraints: 33984
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 31000 | #Constraints: 27835
114.25/114.76 c #Conflicts: 32000 | #Constraints: 28835
114.25/114.76 c #Conflicts: 33000 | #Constraints: 29835
114.25/114.76 c #Conflicts: 34000 | #Constraints: 30835
114.25/114.76 c #Conflicts: 35000 | #Constraints: 31835
114.25/114.76 c #Conflicts: 36000 | #Constraints: 32835
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 37000 | #Constraints: 27969
114.25/114.76 c #Conflicts: 38000 | #Constraints: 28969
114.25/114.76 c #Conflicts: 39000 | #Constraints: 29969
114.25/114.76 c #Conflicts: 40000 | #Constraints: 30969
114.25/114.76 c #Conflicts: 41000 | #Constraints: 31969
114.25/114.76 c #Conflicts: 42000 | #Constraints: 32969
114.25/114.76 c #Conflicts: 43000 | #Constraints: 33969
114.25/114.76 c #Conflicts: 44000 | #Constraints: 34969
114.25/114.76 c #Conflicts: 45000 | #Constraints: 35969
114.25/114.76 c #Conflicts: 46000 | #Constraints: 36969
114.25/114.76 c #Conflicts: 47000 | #Constraints: 37969
114.25/114.76 c #Conflicts: 48000 | #Constraints: 38969
114.25/114.76 c #Conflicts: 49000 | #Constraints: 39969
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 50000 | #Constraints: 31051
114.25/114.76 c #Conflicts: 51000 | #Constraints: 32051
114.25/114.76 c #Conflicts: 52000 | #Constraints: 33051
114.25/114.76 c #Conflicts: 53000 | #Constraints: 34051
114.25/114.76 c #Conflicts: 54000 | #Constraints: 35051
114.25/114.76 c #Conflicts: 55000 | #Constraints: 36051
114.25/114.76 c #Conflicts: 56000 | #Constraints: 37051
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
114.25/114.76 c #Conflicts: 57000 | #Constraints: 30232
114.25/114.76 c #Conflicts: 58000 | #Constraints: 31232
114.25/114.76 c #Conflicts: 59000 | #Constraints: 32232
114.25/114.76 c #Conflicts: 60000 | #Constraints: 33232
114.25/114.76 c #Conflicts: 61000 | #Constraints: 34232
114.25/114.76 c #Conflicts: 62000 | #Constraints: 35232
114.25/114.76 c #Conflicts: 63000 | #Constraints: 36232
114.25/114.76 c #Conflicts: 64000 | #Constraints: 37232
114.25/114.76 c #Conflicts: 65000 | #Constraints: 38232
114.25/114.76 c #Conflicts: 66000 | #Constraints: 39232
114.25/114.76 c #Conflicts: 67000 | #Constraints: 40232
114.25/114.76 c #Conflicts: 68000 | #Constraints: 41232
114.25/114.76 c #Conflicts: 69000 | #Constraints: 42232
114.25/114.76 c #Conflicts: 70000 | #Constraints: 43232
114.25/114.76 c #Conflicts: 71000 | #Constraints: 44232
114.25/114.76 c #Conflicts: 72000 | #Constraints: 45232
114.25/114.76 c INPROCESSING
114.25/114.76 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 73000 | #Constraints: 33697
230.36/232.56 c #Conflicts: 74000 | #Constraints: 34697
230.36/232.56 c #Conflicts: 75000 | #Constraints: 35697
230.36/232.56 c #Conflicts: 76000 | #Constraints: 36697
230.36/232.56 c #Conflicts: 77000 | #Constraints: 37697
230.36/232.56 c #Conflicts: 78000 | #Constraints: 38697
230.36/232.56 c #Conflicts: 79000 | #Constraints: 39697
230.36/232.56 c #Conflicts: 80000 | #Constraints: 40697
230.36/232.56 c INPROCESSING
230.36/232.56 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 81000 | #Constraints: 32590
230.36/232.56 c #Conflicts: 82000 | #Constraints: 33590
230.36/232.56 c #Conflicts: 83000 | #Constraints: 34590
230.36/232.56 c #Conflicts: 84000 | #Constraints: 35590
230.36/232.56 c #Conflicts: 85000 | #Constraints: 36590
230.36/232.56 c #Conflicts: 86000 | #Constraints: 37590
230.36/232.56 c #Conflicts: 87000 | #Constraints: 38590
230.36/232.56 c #Conflicts: 88000 | #Constraints: 39590
230.36/232.56 c #Conflicts: 89000 | #Constraints: 40590
230.36/232.56 c #Conflicts: 90000 | #Constraints: 41590
230.36/232.56 c #Conflicts: 91000 | #Constraints: 42590
230.36/232.56 c #Conflicts: 92000 | #Constraints: 43590
230.36/232.56 c #Conflicts: 93000 | #Constraints: 44590
230.36/232.56 c #Conflicts: 94000 | #Constraints: 45590
230.36/232.56 c #Conflicts: 95000 | #Constraints: 46590
230.36/232.56 c #Conflicts: 96000 | #Constraints: 47590
230.36/232.56 c #Conflicts: 97000 | #Constraints: 48590
230.36/232.56 c #Conflicts: 98000 | #Constraints: 49590
230.36/232.56 c #Conflicts: 99000 | #Constraints: 50590
230.36/232.56 c #Conflicts: 100000 | #Constraints: 51590
230.36/232.56 c INPROCESSING
230.36/232.56 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 101000 | #Constraints: 37211
230.36/232.56 c #Conflicts: 102000 | #Constraints: 38211
230.36/232.56 c #Conflicts: 103000 | #Constraints: 39211
230.36/232.56 c #Conflicts: 104000 | #Constraints: 40211
230.36/232.56 c #Conflicts: 105000 | #Constraints: 41211
230.36/232.56 c #Conflicts: 106000 | #Constraints: 42211
230.36/232.56 c #Conflicts: 107000 | #Constraints: 43211
230.36/232.56 c #Conflicts: 108000 | #Constraints: 44211
230.36/232.56 c #Conflicts: 109000 | #Constraints: 45211
230.36/232.56 c INPROCESSING
230.36/232.56 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 110000 | #Constraints: 35163
230.36/232.56 c #Conflicts: 111000 | #Constraints: 36163
230.36/232.56 c #Conflicts: 112000 | #Constraints: 37163
230.36/232.56 c #Conflicts: 113000 | #Constraints: 38163
230.36/232.56 c #Conflicts: 114000 | #Constraints: 39163
230.36/232.56 c #Conflicts: 115000 | #Constraints: 40163
230.36/232.56 c #Conflicts: 116000 | #Constraints: 41163
230.36/232.56 c #Conflicts: 117000 | #Constraints: 42163
230.36/232.56 c #Conflicts: 118000 | #Constraints: 43163
230.36/232.56 c #Conflicts: 119000 | #Constraints: 44163
230.36/232.56 c #Conflicts: 120000 | #Constraints: 45163
230.36/232.56 c #Conflicts: 121000 | #Constraints: 46163
230.36/232.56 c #Conflicts: 122000 | #Constraints: 47163
230.36/232.56 c #Conflicts: 123000 | #Constraints: 48163
230.36/232.56 c #Conflicts: 124000 | #Constraints: 49163
230.36/232.56 c #Conflicts: 125000 | #Constraints: 50163
230.36/232.56 c #Conflicts: 126000 | #Constraints: 51163
230.36/232.56 c #Conflicts: 127000 | #Constraints: 52163
230.36/232.56 c #Conflicts: 128000 | #Constraints: 53163
230.36/232.56 c #Conflicts: 129000 | #Constraints: 54163
230.36/232.56 c #Conflicts: 130000 | #Constraints: 55163
230.36/232.56 c #Conflicts: 131000 | #Constraints: 56163
230.36/232.56 c #Conflicts: 132000 | #Constraints: 57163
230.36/232.56 c INPROCESSING
230.36/232.56 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 133000 | #Constraints: 40320
230.36/232.56 c #Conflicts: 134000 | #Constraints: 41320
230.36/232.56 c #Conflicts: 135000 | #Constraints: 42320
230.36/232.56 c #Conflicts: 136000 | #Constraints: 43320
230.36/232.56 c #Conflicts: 137000 | #Constraints: 44320
230.36/232.56 c #Conflicts: 138000 | #Constraints: 45320
230.36/232.56 c #Conflicts: 139000 | #Constraints: 46320
230.36/232.56 c #Conflicts: 140000 | #Constraints: 47320
230.36/232.56 c #Conflicts: 141000 | #Constraints: 48320
230.36/232.56 c #Conflicts: 142000 | #Constraints: 49320
230.36/232.56 c INPROCESSING
230.36/232.56 c GARBAGE COLLECT
230.36/232.56 c #Conflicts: 143000 | #Constraints: 37578
230.36/232.56 c #Conflicts: 144000 | #Constraints: 38578
230.36/232.56 c #Conflicts: 145000 | #Constraints: 39578
230.36/232.56 c #Conflicts: 146000 | #Constraints: 40578
230.36/232.56 c #Conflicts: 147000 | #Constraints: 41578
230.36/232.56 c #Conflicts: 148000 | #Constraints: 42578
404.77/408.17 c #Conflicts: 149000 | #Constraints: 43578
404.77/408.17 c #Conflicts: 150000 | #Constraints: 44578
404.77/408.17 c #Conflicts: 151000 | #Constraints: 45578
404.77/408.17 c #Conflicts: 152000 | #Constraints: 46578
404.77/408.17 c #Conflicts: 153000 | #Constraints: 47578
404.77/408.17 c #Conflicts: 154000 | #Constraints: 48578
404.77/408.17 c #Conflicts: 155000 | #Constraints: 49578
404.77/408.17 c #Conflicts: 156000 | #Constraints: 50578
404.77/408.17 c #Conflicts: 157000 | #Constraints: 51578
404.77/408.17 c #Conflicts: 158000 | #Constraints: 52578
404.77/408.17 c #Conflicts: 159000 | #Constraints: 53578
404.77/408.17 c #Conflicts: 160000 | #Constraints: 54578
404.77/408.17 c #Conflicts: 161000 | #Constraints: 55578
404.77/408.17 c #Conflicts: 162000 | #Constraints: 56578
404.77/408.17 c #Conflicts: 163000 | #Constraints: 57578
404.77/408.17 c #Conflicts: 164000 | #Constraints: 58578
404.77/408.17 c #Conflicts: 165000 | #Constraints: 59578
404.77/408.17 c #Conflicts: 166000 | #Constraints: 60578
404.77/408.17 c #Conflicts: 167000 | #Constraints: 61578
404.77/408.17 c #Conflicts: 168000 | #Constraints: 62578
404.77/408.17 c INPROCESSING
404.77/408.17 c GARBAGE COLLECT
404.77/408.17 c #Conflicts: 169000 | #Constraints: 42781
404.77/408.17 c #Conflicts: 170000 | #Constraints: 43781
404.77/408.17 c #Conflicts: 171000 | #Constraints: 44781
404.77/408.17 c #Conflicts: 172000 | #Constraints: 45781
404.77/408.17 c #Conflicts: 173000 | #Constraints: 46781
404.77/408.17 c #Conflicts: 174000 | #Constraints: 47781
404.77/408.17 c #Conflicts: 175000 | #Constraints: 48781
404.77/408.17 c #Conflicts: 176000 | #Constraints: 49781
404.77/408.17 c #Conflicts: 177000 | #Constraints: 50781
404.77/408.17 c #Conflicts: 178000 | #Constraints: 51781
404.77/408.17 c #Conflicts: 179000 | #Constraints: 52781
404.77/408.17 c #Conflicts: 180000 | #Constraints: 53781
404.77/408.17 c INPROCESSING
404.77/408.17 c GARBAGE COLLECT
404.77/408.17 c #Conflicts: 181000 | #Constraints: 40871
404.77/408.17 c #Conflicts: 182000 | #Constraints: 41871
404.77/408.17 c #Conflicts: 183000 | #Constraints: 42871
404.77/408.17 c #Conflicts: 184000 | #Constraints: 43871
404.77/408.17 c #Conflicts: 185000 | #Constraints: 44871
404.77/408.17 c #Conflicts: 186000 | #Constraints: 45871
404.77/408.17 c #Conflicts: 187000 | #Constraints: 46871
404.77/408.17 c #Conflicts: 188000 | #Constraints: 47871
404.77/408.17 c #Conflicts: 189000 | #Constraints: 48871
404.77/408.17 c #Conflicts: 190000 | #Constraints: 49871
404.77/408.17 c #Conflicts: 191000 | #Constraints: 50871
404.77/408.17 c #Conflicts: 192000 | #Constraints: 51871
404.77/408.17 c #Conflicts: 193000 | #Constraints: 52871
404.77/408.17 c #Conflicts: 194000 | #Constraints: 53871
404.77/408.17 c #Conflicts: 195000 | #Constraints: 54871
404.77/408.17 c #Conflicts: 196000 | #Constraints: 55871
404.77/408.17 c #Conflicts: 197000 | #Constraints: 56871
404.77/408.17 c #Conflicts: 198000 | #Constraints: 57871
404.77/408.17 c #Conflicts: 199000 | #Constraints: 58871
404.77/408.17 c #Conflicts: 200000 | #Constraints: 59871
404.77/408.17 c #Conflicts: 201000 | #Constraints: 60871
404.77/408.17 c #Conflicts: 202000 | #Constraints: 61871
404.77/408.17 c #Conflicts: 203000 | #Constraints: 62871
404.77/408.17 c #Conflicts: 204000 | #Constraints: 63871
404.77/408.17 c #Conflicts: 205000 | #Constraints: 64871
404.77/408.17 c #Conflicts: 206000 | #Constraints: 65871
404.77/408.17 c #Conflicts: 207000 | #Constraints: 66871
404.77/408.17 c #Conflicts: 208000 | #Constraints: 67871
404.77/408.17 c #Conflicts: 209000 | #Constraints: 68871
404.77/408.17 c INPROCESSING
404.77/408.17 c GARBAGE COLLECT
404.77/408.17 c #Conflicts: 210000 | #Constraints: 46139
404.77/408.17 c #Conflicts: 211000 | #Constraints: 47139
404.77/408.17 c #Conflicts: 212000 | #Constraints: 48139
404.77/408.17 c #Conflicts: 213000 | #Constraints: 49139
404.77/408.17 c #Conflicts: 214000 | #Constraints: 50139
404.77/408.17 c #Conflicts: 215000 | #Constraints: 51139
404.77/408.17 c #Conflicts: 216000 | #Constraints: 52139
404.77/408.17 c #Conflicts: 217000 | #Constraints: 53139
404.77/408.17 c #Conflicts: 218000 | #Constraints: 54139
404.77/408.17 c #Conflicts: 219000 | #Constraints: 55139
404.77/408.17 c #Conflicts: 220000 | #Constraints: 56139
404.77/408.17 c #Conflicts: 221000 | #Constraints: 57139
404.77/408.17 c #Conflicts: 222000 | #Constraints: 58139
404.77/408.17 c INPROCESSING
404.77/408.17 c GARBAGE COLLECT
404.77/408.17 c #Conflicts: 223000 | #Constraints: 43099
404.77/408.17 c #Conflicts: 224000 | #Constraints: 44099
554.93/559.33 c #Conflicts: 225000 | #Constraints: 45099
554.93/559.33 c #Conflicts: 226000 | #Constraints: 46099
554.93/559.33 c #Conflicts: 227000 | #Constraints: 47099
554.93/559.33 c #Conflicts: 228000 | #Constraints: 48099
554.93/559.33 c #Conflicts: 229000 | #Constraints: 49099
554.93/559.33 c #Conflicts: 230000 | #Constraints: 50099
554.93/559.33 c #Conflicts: 231000 | #Constraints: 51099
554.93/559.33 c #Conflicts: 232000 | #Constraints: 52099
554.93/559.33 c #Conflicts: 233000 | #Constraints: 53099
554.93/559.33 c #Conflicts: 234000 | #Constraints: 54099
554.93/559.33 c #Conflicts: 235000 | #Constraints: 55099
554.93/559.33 c #Conflicts: 236000 | #Constraints: 56099
554.93/559.33 c #Conflicts: 237000 | #Constraints: 57099
554.93/559.33 c #Conflicts: 238000 | #Constraints: 58099
554.93/559.33 c #Conflicts: 239000 | #Constraints: 59099
554.93/559.33 c #Conflicts: 240000 | #Constraints: 60099
554.93/559.33 c #Conflicts: 241000 | #Constraints: 61099
554.93/559.33 c #Conflicts: 242000 | #Constraints: 62099
554.93/559.33 c #Conflicts: 243000 | #Constraints: 63099
554.93/559.33 c #Conflicts: 244000 | #Constraints: 64099
554.93/559.33 c #Conflicts: 245000 | #Constraints: 65099
554.93/559.33 c #Conflicts: 246000 | #Constraints: 66099
554.93/559.33 c #Conflicts: 247000 | #Constraints: 67099
554.93/559.33 c #Conflicts: 248000 | #Constraints: 68099
554.93/559.33 c #Conflicts: 249000 | #Constraints: 69099
554.93/559.33 c #Conflicts: 250000 | #Constraints: 70099
554.93/559.33 c #Conflicts: 251000 | #Constraints: 71099
554.93/559.33 c #Conflicts: 252000 | #Constraints: 72099
554.93/559.33 c #Conflicts: 253000 | #Constraints: 73099
554.93/559.33 c #Conflicts: 254000 | #Constraints: 74099
554.93/559.33 c INPROCESSING
554.93/559.33 c GARBAGE COLLECT
554.93/559.33 c #Conflicts: 255000 | #Constraints: 48924
554.93/559.33 c #Conflicts: 256000 | #Constraints: 49924
554.93/559.33 c #Conflicts: 257000 | #Constraints: 50924
554.93/559.33 c #Conflicts: 258000 | #Constraints: 51924
554.93/559.33 c #Conflicts: 259000 | #Constraints: 52924
554.93/559.33 c #Conflicts: 260000 | #Constraints: 53924
554.93/559.33 c #Conflicts: 261000 | #Constraints: 54924
554.93/559.33 c #Conflicts: 262000 | #Constraints: 55924
554.93/559.33 c #Conflicts: 263000 | #Constraints: 56924
554.93/559.33 c #Conflicts: 264000 | #Constraints: 57924
554.93/559.33 c #Conflicts: 265000 | #Constraints: 58924
554.93/559.33 c #Conflicts: 266000 | #Constraints: 59924
554.93/559.33 c #Conflicts: 267000 | #Constraints: 60924
554.93/559.33 c #Conflicts: 268000 | #Constraints: 61924
554.93/559.33 c INPROCESSING
554.93/559.33 c GARBAGE COLLECT
554.93/559.33 c #Conflicts: 269000 | #Constraints: 45634
554.93/559.33 c #Conflicts: 270000 | #Constraints: 46634
554.93/559.33 c #Conflicts: 271000 | #Constraints: 47634
554.93/559.33 c #Conflicts: 272000 | #Constraints: 48634
554.93/559.33 c #Conflicts: 273000 | #Constraints: 49634
554.93/559.33 c #Conflicts: 274000 | #Constraints: 50634
554.93/559.33 c #Conflicts: 275000 | #Constraints: 51634
554.93/559.33 c #Conflicts: 276000 | #Constraints: 52634
554.93/559.33 c #Conflicts: 277000 | #Constraints: 53634
554.93/559.33 c #Conflicts: 278000 | #Constraints: 54634
554.93/559.33 c #Conflicts: 279000 | #Constraints: 55634
554.93/559.33 c #Conflicts: 280000 | #Constraints: 56634
554.93/559.33 c #Conflicts: 281000 | #Constraints: 57634
554.93/559.33 c #Conflicts: 282000 | #Constraints: 58634
554.93/559.33 c #Conflicts: 283000 | #Constraints: 59634
554.93/559.33 c #Conflicts: 284000 | #Constraints: 60634
554.93/559.33 c #Conflicts: 285000 | #Constraints: 61634
554.93/559.33 c #Conflicts: 286000 | #Constraints: 62634
554.93/559.33 c #Conflicts: 287000 | #Constraints: 63634
554.93/559.33 c #Conflicts: 288000 | #Constraints: 64634
554.93/559.33 c #Conflicts: 289000 | #Constraints: 65634
554.93/559.33 c #Conflicts: 290000 | #Constraints: 66634
554.93/559.33 c #Conflicts: 291000 | #Constraints: 67634
554.93/559.33 c #Conflicts: 292000 | #Constraints: 68634
554.93/559.33 c #Conflicts: 293000 | #Constraints: 69634
554.93/559.33 c #Conflicts: 294000 | #Constraints: 70634
554.93/559.33 c #Conflicts: 295000 | #Constraints: 71634
554.93/559.33 c #Conflicts: 296000 | #Constraints: 72634
554.93/559.33 c #Conflicts: 297000 | #Constraints: 73634
554.93/559.33 c #Conflicts: 298000 | #Constraints: 74634
554.93/559.33 c #Conflicts: 299000 | #Constraints: 75634
554.93/559.33 c #Conflicts: 300000 | #Constraints: 76634
554.93/559.33 c #Conflicts: 301000 | #Constraints: 77634
554.93/559.33 c #Conflicts: 302000 | #Constraints: 78634
690.45/695.43 c #Conflicts: 303000 | #Constraints: 79634
690.45/695.43 c INPROCESSING
690.45/695.43 c GARBAGE COLLECT
690.45/695.43 c #Conflicts: 304000 | #Constraints: 51463
690.45/695.43 c #Conflicts: 305000 | #Constraints: 52463
690.45/695.43 c #Conflicts: 306000 | #Constraints: 53463
690.45/695.43 c #Conflicts: 307000 | #Constraints: 54463
690.45/695.43 c #Conflicts: 308000 | #Constraints: 55463
690.45/695.43 c #Conflicts: 309000 | #Constraints: 56463
690.45/695.43 c #Conflicts: 310000 | #Constraints: 57463
690.45/695.43 c #Conflicts: 311000 | #Constraints: 58463
690.45/695.43 c #Conflicts: 312000 | #Constraints: 59463
690.45/695.43 c #Conflicts: 313000 | #Constraints: 60463
690.45/695.43 c #Conflicts: 314000 | #Constraints: 61463
690.45/695.43 c #Conflicts: 315000 | #Constraints: 62463
690.45/695.43 c #Conflicts: 316000 | #Constraints: 63463
690.45/695.43 c #Conflicts: 317000 | #Constraints: 64463
690.45/695.43 c #Conflicts: 318000 | #Constraints: 65463
690.45/695.43 c #Conflicts: 319000 | #Constraints: 66463
690.45/695.43 c INPROCESSING
690.45/695.43 c GARBAGE COLLECT
690.45/695.43 c #Conflicts: 320000 | #Constraints: 48494
690.45/695.43 c #Conflicts: 321000 | #Constraints: 49494
690.45/695.43 c #Conflicts: 322000 | #Constraints: 50494
690.45/695.43 c #Conflicts: 323000 | #Constraints: 51494
690.45/695.43 c #Conflicts: 324000 | #Constraints: 52494
690.45/695.43 c #Conflicts: 325000 | #Constraints: 53494
690.45/695.43 c #Conflicts: 326000 | #Constraints: 54494
690.45/695.43 c #Conflicts: 327000 | #Constraints: 55494
690.45/695.43 c #Conflicts: 328000 | #Constraints: 56494
690.45/695.43 c #Conflicts: 329000 | #Constraints: 57494
690.45/695.43 c #Conflicts: 330000 | #Constraints: 58494
690.45/695.43 c #Conflicts: 331000 | #Constraints: 59494
690.45/695.43 c #Conflicts: 332000 | #Constraints: 60494
690.45/695.43 c #Conflicts: 333000 | #Constraints: 61494
690.45/695.43 c #Conflicts: 334000 | #Constraints: 62494
690.45/695.43 c #Conflicts: 335000 | #Constraints: 63494
690.45/695.43 c #Conflicts: 336000 | #Constraints: 64494
690.45/695.43 c #Conflicts: 337000 | #Constraints: 65494
690.45/695.43 c #Conflicts: 338000 | #Constraints: 66494
690.45/695.43 c #Conflicts: 339000 | #Constraints: 67494
690.45/695.43 c #Conflicts: 340000 | #Constraints: 68494
690.45/695.43 c #Conflicts: 341000 | #Constraints: 69494
690.45/695.43 c #Conflicts: 342000 | #Constraints: 70494
690.45/695.43 c #Conflicts: 343000 | #Constraints: 71494
690.45/695.43 c #Conflicts: 344000 | #Constraints: 72494
690.45/695.43 c #Conflicts: 345000 | #Constraints: 73494
690.45/695.43 c #Conflicts: 346000 | #Constraints: 74494
690.45/695.43 c #Conflicts: 347000 | #Constraints: 75494
690.45/695.43 c #Conflicts: 348000 | #Constraints: 76494
690.45/695.43 c #Conflicts: 349000 | #Constraints: 77494
690.45/695.43 c #Conflicts: 350000 | #Constraints: 78494
690.45/695.43 c #Conflicts: 351000 | #Constraints: 79494
690.45/695.43 c #Conflicts: 352000 | #Constraints: 80494
690.45/695.43 c #Conflicts: 353000 | #Constraints: 81494
690.45/695.43 c #Conflicts: 354000 | #Constraints: 82494
690.45/695.43 c #Conflicts: 355000 | #Constraints: 83494
690.45/695.43 c #Conflicts: 356000 | #Constraints: 84494
690.45/695.43 c #Conflicts: 357000 | #Constraints: 85494
690.45/695.43 c INPROCESSING
690.45/695.43 c GARBAGE COLLECT
690.45/695.43 c #Conflicts: 358000 | #Constraints: 54348
690.45/695.43 c #Conflicts: 359000 | #Constraints: 55348
690.45/695.43 c #Conflicts: 360000 | #Constraints: 56348
690.45/695.43 c #Conflicts: 361000 | #Constraints: 57348
690.45/695.43 c #Conflicts: 362000 | #Constraints: 58348
690.45/695.43 c #Conflicts: 363000 | #Constraints: 59348
690.45/695.43 c #Conflicts: 364000 | #Constraints: 60348
690.45/695.43 c #Conflicts: 365000 | #Constraints: 61348
690.45/695.43 c #Conflicts: 366000 | #Constraints: 62348
690.45/695.43 c #Conflicts: 367000 | #Constraints: 63348
690.45/695.43 c #Conflicts: 368000 | #Constraints: 64348
690.45/695.43 c #Conflicts: 369000 | #Constraints: 65348
690.45/695.43 c #Conflicts: 370000 | #Constraints: 66348
690.45/695.43 c #Conflicts: 371000 | #Constraints: 67348
690.45/695.43 c #Conflicts: 372000 | #Constraints: 68348
690.45/695.43 c #Conflicts: 373000 | #Constraints: 69348
690.45/695.43 c #Conflicts: 374000 | #Constraints: 70348
690.45/695.43 c INPROCESSING
690.45/695.43 c GARBAGE COLLECT
690.45/695.43 c #Conflicts: 375000 | #Constraints: 51085
690.45/695.43 c #Conflicts: 376000 | #Constraints: 52085
690.45/695.43 c #Conflicts: 377000 | #Constraints: 53085
690.45/695.43 c #Conflicts: 378000 | #Constraints: 54085
863.95/869.64 c #Conflicts: 379000 | #Constraints: 55085
863.95/869.64 c #Conflicts: 380000 | #Constraints: 56085
863.95/869.64 c #Conflicts: 381000 | #Constraints: 57085
863.95/869.64 c #Conflicts: 382000 | #Constraints: 58085
863.95/869.64 c #Conflicts: 383000 | #Constraints: 59085
863.95/869.64 c #Conflicts: 384000 | #Constraints: 60085
863.95/869.64 c #Conflicts: 385000 | #Constraints: 61085
863.95/869.64 c #Conflicts: 386000 | #Constraints: 62085
863.95/869.64 c #Conflicts: 387000 | #Constraints: 63085
863.95/869.64 c #Conflicts: 388000 | #Constraints: 64085
863.95/869.64 c #Conflicts: 389000 | #Constraints: 65085
863.95/869.64 c #Conflicts: 390000 | #Constraints: 66085
863.95/869.64 c #Conflicts: 391000 | #Constraints: 67085
863.95/869.64 c #Conflicts: 392000 | #Constraints: 68085
863.95/869.64 c #Conflicts: 393000 | #Constraints: 69085
863.95/869.64 c #Conflicts: 394000 | #Constraints: 70085
863.95/869.64 c #Conflicts: 395000 | #Constraints: 71085
863.95/869.64 c #Conflicts: 396000 | #Constraints: 72085
863.95/869.64 c #Conflicts: 397000 | #Constraints: 73085
863.95/869.64 c #Conflicts: 398000 | #Constraints: 74085
863.95/869.64 c #Conflicts: 399000 | #Constraints: 75085
863.95/869.64 c #Conflicts: 400000 | #Constraints: 76085
863.95/869.64 c #Conflicts: 401000 | #Constraints: 77085
863.95/869.64 c #Conflicts: 402000 | #Constraints: 78085
863.95/869.64 c #Conflicts: 403000 | #Constraints: 79085
863.95/869.64 c #Conflicts: 404000 | #Constraints: 80085
863.95/869.64 c #Conflicts: 405000 | #Constraints: 81085
863.95/869.64 c #Conflicts: 406000 | #Constraints: 82085
863.95/869.64 c #Conflicts: 407000 | #Constraints: 83085
863.95/869.64 c #Conflicts: 408000 | #Constraints: 84085
863.95/869.64 c #Conflicts: 409000 | #Constraints: 85085
863.95/869.64 c #Conflicts: 410000 | #Constraints: 86085
863.95/869.64 c #Conflicts: 411000 | #Constraints: 87085
863.95/869.64 c #Conflicts: 412000 | #Constraints: 88085
863.95/869.64 c #Conflicts: 413000 | #Constraints: 89085
863.95/869.64 c #Conflicts: 414000 | #Constraints: 90085
863.95/869.64 c #Conflicts: 415000 | #Constraints: 91085
863.95/869.64 c INPROCESSING
863.95/869.64 c GARBAGE COLLECT
863.95/869.64 c #Conflicts: 416000 | #Constraints: 57338
863.95/869.64 c #Conflicts: 417000 | #Constraints: 58338
863.95/869.64 c #Conflicts: 418000 | #Constraints: 59338
863.95/869.64 c #Conflicts: 419000 | #Constraints: 60338
863.95/869.64 c #Conflicts: 420000 | #Constraints: 61338
863.95/869.64 c #Conflicts: 421000 | #Constraints: 62338
863.95/869.64 c #Conflicts: 422000 | #Constraints: 63338
863.95/869.64 c #Conflicts: 423000 | #Constraints: 64338
863.95/869.64 c #Conflicts: 424000 | #Constraints: 65338
863.95/869.64 c #Conflicts: 425000 | #Constraints: 66338
863.95/869.64 c #Conflicts: 426000 | #Constraints: 67338
863.95/869.64 c #Conflicts: 427000 | #Constraints: 68338
863.95/869.64 c #Conflicts: 428000 | #Constraints: 69338
863.95/869.64 c #Conflicts: 429000 | #Constraints: 70338
863.95/869.64 c #Conflicts: 430000 | #Constraints: 71338
863.95/869.64 c #Conflicts: 431000 | #Constraints: 72338
863.95/869.64 c #Conflicts: 432000 | #Constraints: 73338
863.95/869.64 c #Conflicts: 433000 | #Constraints: 74338
863.95/869.64 c #Conflicts: 434000 | #Constraints: 75338
863.95/869.64 c INPROCESSING
863.95/869.64 c GARBAGE COLLECT
863.95/869.64 c #Conflicts: 435000 | #Constraints: 54146
863.95/869.64 c #Conflicts: 436000 | #Constraints: 55146
863.95/869.64 c #Conflicts: 437000 | #Constraints: 56146
863.95/869.64 c #Conflicts: 438000 | #Constraints: 57146
863.95/869.64 c #Conflicts: 439000 | #Constraints: 58146
863.95/869.64 c #Conflicts: 440000 | #Constraints: 59146
863.95/869.64 c #Conflicts: 441000 | #Constraints: 60146
863.95/869.64 c #Conflicts: 442000 | #Constraints: 61146
863.95/869.64 c #Conflicts: 443000 | #Constraints: 62146
863.95/869.64 c #Conflicts: 444000 | #Constraints: 63146
863.95/869.64 c #Conflicts: 445000 | #Constraints: 64146
863.95/869.64 c #Conflicts: 446000 | #Constraints: 65146
863.95/869.64 c #Conflicts: 447000 | #Constraints: 66146
863.95/869.64 c #Conflicts: 448000 | #Constraints: 67146
863.95/869.64 c #Conflicts: 449000 | #Constraints: 68146
863.95/869.64 c #Conflicts: 450000 | #Constraints: 69146
863.95/869.64 c #Conflicts: 451000 | #Constraints: 70146
863.95/869.64 c #Conflicts: 452000 | #Constraints: 71146
863.95/869.64 c #Conflicts: 453000 | #Constraints: 72146
863.95/869.64 c #Conflicts: 454000 | #Constraints: 73146
863.95/869.64 c #Conflicts: 455000 | #Constraints: 74146
1019.37/1025.86 c #Conflicts: 456000 | #Constraints: 75146
1019.37/1025.86 c #Conflicts: 457000 | #Constraints: 76146
1019.37/1025.86 c #Conflicts: 458000 | #Constraints: 77146
1019.37/1025.86 c #Conflicts: 459000 | #Constraints: 78146
1019.37/1025.86 c #Conflicts: 460000 | #Constraints: 79146
1019.37/1025.86 c #Conflicts: 461000 | #Constraints: 80146
1019.37/1025.86 c #Conflicts: 462000 | #Constraints: 81146
1019.37/1025.86 c #Conflicts: 463000 | #Constraints: 82146
1019.37/1025.86 c #Conflicts: 464000 | #Constraints: 83146
1019.37/1025.86 c #Conflicts: 465000 | #Constraints: 84146
1019.37/1025.86 c #Conflicts: 466000 | #Constraints: 85146
1019.37/1025.86 c #Conflicts: 467000 | #Constraints: 86146
1019.37/1025.86 c #Conflicts: 468000 | #Constraints: 87146
1019.37/1025.86 c #Conflicts: 469000 | #Constraints: 88146
1019.37/1025.86 c #Conflicts: 470000 | #Constraints: 89146
1019.37/1025.86 c #Conflicts: 471000 | #Constraints: 90146
1019.37/1025.86 c #Conflicts: 472000 | #Constraints: 91146
1019.37/1025.86 c #Conflicts: 473000 | #Constraints: 92146
1019.37/1025.86 c #Conflicts: 474000 | #Constraints: 93146
1019.37/1025.86 c #Conflicts: 475000 | #Constraints: 94146
1019.37/1025.86 c #Conflicts: 476000 | #Constraints: 95146
1019.37/1025.86 c #Conflicts: 477000 | #Constraints: 96146
1019.37/1025.86 c #Conflicts: 478000 | #Constraints: 97146
1019.37/1025.86 c INPROCESSING
1019.37/1025.86 c GARBAGE COLLECT
1019.37/1025.86 c #Conflicts: 479000 | #Constraints: 60252
1019.37/1025.86 c #Conflicts: 480000 | #Constraints: 61252
1019.37/1025.86 c #Conflicts: 481000 | #Constraints: 62252
1019.37/1025.86 c #Conflicts: 482000 | #Constraints: 63252
1019.37/1025.86 c #Conflicts: 483000 | #Constraints: 64252
1019.37/1025.86 c #Conflicts: 484000 | #Constraints: 65252
1019.37/1025.86 c #Conflicts: 485000 | #Constraints: 66252
1019.37/1025.86 c #Conflicts: 486000 | #Constraints: 67252
1019.37/1025.86 c #Conflicts: 487000 | #Constraints: 68252
1019.37/1025.86 c #Conflicts: 488000 | #Constraints: 69252
1019.37/1025.86 c #Conflicts: 489000 | #Constraints: 70252
1019.37/1025.86 c #Conflicts: 490000 | #Constraints: 71252
1019.37/1025.86 c #Conflicts: 491000 | #Constraints: 72252
1019.37/1025.86 c #Conflicts: 492000 | #Constraints: 73252
1019.37/1025.86 c #Conflicts: 493000 | #Constraints: 74252
1019.37/1025.86 c #Conflicts: 494000 | #Constraints: 75252
1019.37/1025.86 c #Conflicts: 495000 | #Constraints: 76252
1019.37/1025.86 c #Conflicts: 496000 | #Constraints: 77252
1019.37/1025.86 c #Conflicts: 497000 | #Constraints: 78252
1019.37/1025.86 c #Conflicts: 498000 | #Constraints: 79252
1019.37/1025.86 c INPROCESSING
1019.37/1025.86 c GARBAGE COLLECT
1019.37/1025.86 c #Conflicts: 499000 | #Constraints: 56261
1019.37/1025.86 c #Conflicts: 500000 | #Constraints: 57261
1019.37/1025.86 c #Conflicts: 501000 | #Constraints: 58261
1019.37/1025.86 c #Conflicts: 502000 | #Constraints: 59261
1019.37/1025.86 c #Conflicts: 503000 | #Constraints: 60261
1019.37/1025.86 c #Conflicts: 504000 | #Constraints: 61261
1019.37/1025.86 c #Conflicts: 505000 | #Constraints: 62261
1019.37/1025.86 c #Conflicts: 506000 | #Constraints: 63261
1019.37/1025.86 c #Conflicts: 507000 | #Constraints: 64261
1019.37/1025.86 c #Conflicts: 508000 | #Constraints: 65261
1019.37/1025.86 c #Conflicts: 509000 | #Constraints: 66261
1019.37/1025.86 c #Conflicts: 510000 | #Constraints: 67261
1019.37/1025.86 c #Conflicts: 511000 | #Constraints: 68261
1019.37/1025.86 c #Conflicts: 512000 | #Constraints: 69261
1019.37/1025.86 c #Conflicts: 513000 | #Constraints: 70261
1019.37/1025.86 c #Conflicts: 514000 | #Constraints: 71261
1019.37/1025.86 c #Conflicts: 515000 | #Constraints: 72261
1019.37/1025.86 c #Conflicts: 516000 | #Constraints: 73261
1019.37/1025.86 c #Conflicts: 517000 | #Constraints: 74261
1019.37/1025.86 c #Conflicts: 518000 | #Constraints: 75261
1019.37/1025.86 c #Conflicts: 519000 | #Constraints: 76261
1019.37/1025.86 c #Conflicts: 520000 | #Constraints: 77261
1019.37/1025.86 c #Conflicts: 521000 | #Constraints: 78261
1019.37/1025.86 c #Conflicts: 522000 | #Constraints: 79261
1019.37/1025.86 c #Conflicts: 523000 | #Constraints: 80261
1019.37/1025.86 c #Conflicts: 524000 | #Constraints: 81261
1019.37/1025.86 c #Conflicts: 525000 | #Constraints: 82261
1019.37/1025.86 c #Conflicts: 526000 | #Constraints: 83261
1019.37/1025.86 c #Conflicts: 527000 | #Constraints: 84261
1019.37/1025.86 c #Conflicts: 528000 | #Constraints: 85261
1019.37/1025.86 c #Conflicts: 529000 | #Constraints: 86261
1019.37/1025.86 c #Conflicts: 530000 | #Constraints: 87261
1019.37/1025.86 c #Conflicts: 531000 | #Constraints: 88261
1019.37/1025.86 c #Conflicts: 532000 | #Constraints: 89261
1019.37/1025.86 c #Conflicts: 533000 | #Constraints: 90261
1211.00/1218.28 c #Conflicts: 534000 | #Constraints: 91261
1211.00/1218.28 c #Conflicts: 535000 | #Constraints: 92261
1211.00/1218.28 c #Conflicts: 536000 | #Constraints: 93261
1211.00/1218.28 c #Conflicts: 537000 | #Constraints: 94261
1211.00/1218.28 c #Conflicts: 538000 | #Constraints: 95261
1211.00/1218.28 c #Conflicts: 539000 | #Constraints: 96261
1211.00/1218.28 c #Conflicts: 540000 | #Constraints: 97261
1211.00/1218.28 c #Conflicts: 541000 | #Constraints: 98261
1211.00/1218.28 c #Conflicts: 542000 | #Constraints: 99261
1211.00/1218.28 c #Conflicts: 543000 | #Constraints: 100261
1211.00/1218.28 c #Conflicts: 544000 | #Constraints: 101261
1211.00/1218.28 c #Conflicts: 545000 | #Constraints: 102261
1211.00/1218.28 c INPROCESSING
1211.00/1218.28 c GARBAGE COLLECT
1211.00/1218.28 c rational objective 166.031
1378.98/1387.51 c #Conflicts: 546000 | #Constraints: 63153
1378.98/1387.51 c #Conflicts: 547000 | #Constraints: 64153
1378.98/1387.51 c #Conflicts: 548000 | #Constraints: 65153
1378.98/1387.51 c #Conflicts: 549000 | #Constraints: 66153
1378.98/1387.51 c #Conflicts: 550000 | #Constraints: 67153
1378.98/1387.51 c #Conflicts: 551000 | #Constraints: 68153
1378.98/1387.51 c #Conflicts: 552000 | #Constraints: 69153
1378.98/1387.51 c #Conflicts: 553000 | #Constraints: 70153
1378.98/1387.51 c #Conflicts: 554000 | #Constraints: 71153
1378.98/1387.51 c #Conflicts: 555000 | #Constraints: 72153
1378.98/1387.51 c #Conflicts: 556000 | #Constraints: 73153
1378.98/1387.51 c #Conflicts: 557000 | #Constraints: 74153
1378.98/1387.51 c #Conflicts: 558000 | #Constraints: 75153
1378.98/1387.51 c #Conflicts: 559000 | #Constraints: 76153
1378.98/1387.51 c #Conflicts: 560000 | #Constraints: 77153
1378.98/1387.51 c #Conflicts: 561000 | #Constraints: 78153
1378.98/1387.51 c #Conflicts: 562000 | #Constraints: 79153
1378.98/1387.51 c #Conflicts: 563000 | #Constraints: 80153
1378.98/1387.51 c #Conflicts: 564000 | #Constraints: 81153
1378.98/1387.51 c #Conflicts: 565000 | #Constraints: 82153
1378.98/1387.51 c #Conflicts: 566000 | #Constraints: 83153
1378.98/1387.51 c INPROCESSING
1378.98/1387.51 c GARBAGE COLLECT
1378.98/1387.51 c #Conflicts: 567000 | #Constraints: 58532
1378.98/1387.51 c #Conflicts: 568000 | #Constraints: 59532
1378.98/1387.51 c #Conflicts: 569000 | #Constraints: 60532
1378.98/1387.51 c #Conflicts: 570000 | #Constraints: 61532
1378.98/1387.51 c #Conflicts: 571000 | #Constraints: 62532
1378.98/1387.51 c #Conflicts: 572000 | #Constraints: 63532
1378.98/1387.51 c #Conflicts: 573000 | #Constraints: 64532
1378.98/1387.51 c #Conflicts: 574000 | #Constraints: 65532
1378.98/1387.51 c #Conflicts: 575000 | #Constraints: 66532
1378.98/1387.51 c #Conflicts: 576000 | #Constraints: 67532
1378.98/1387.51 c #Conflicts: 577000 | #Constraints: 68532
1378.98/1387.51 c #Conflicts: 578000 | #Constraints: 69532
1378.98/1387.51 c #Conflicts: 579000 | #Constraints: 70532
1378.98/1387.51 c #Conflicts: 580000 | #Constraints: 71532
1378.98/1387.51 c #Conflicts: 581000 | #Constraints: 72532
1378.98/1387.51 c #Conflicts: 582000 | #Constraints: 73532
1378.98/1387.51 c #Conflicts: 583000 | #Constraints: 74532
1378.98/1387.51 c #Conflicts: 584000 | #Constraints: 75532
1378.98/1387.51 c #Conflicts: 585000 | #Constraints: 76532
1378.98/1387.51 c #Conflicts: 586000 | #Constraints: 77532
1378.98/1387.51 c #Conflicts: 587000 | #Constraints: 78532
1378.98/1387.51 c #Conflicts: 588000 | #Constraints: 79532
1378.98/1387.51 c #Conflicts: 589000 | #Constraints: 80532
1378.98/1387.51 c #Conflicts: 590000 | #Constraints: 81532
1378.98/1387.51 c #Conflicts: 591000 | #Constraints: 82532
1378.98/1387.51 c #Conflicts: 592000 | #Constraints: 83532
1378.98/1387.51 c #Conflicts: 593000 | #Constraints: 84532
1378.98/1387.51 c #Conflicts: 594000 | #Constraints: 85532
1378.98/1387.51 c #Conflicts: 595000 | #Constraints: 86532
1378.98/1387.51 c #Conflicts: 596000 | #Constraints: 87532
1378.98/1387.51 c #Conflicts: 597000 | #Constraints: 88532
1378.98/1387.51 c #Conflicts: 598000 | #Constraints: 89532
1378.98/1387.51 c #Conflicts: 599000 | #Constraints: 90532
1378.98/1387.51 c #Conflicts: 600000 | #Constraints: 91532
1378.98/1387.51 c #Conflicts: 601000 | #Constraints: 92532
1378.98/1387.51 c #Conflicts: 602000 | #Constraints: 93532
1378.98/1387.51 c #Conflicts: 603000 | #Constraints: 94532
1378.98/1387.51 c #Conflicts: 604000 | #Constraints: 95532
1378.98/1387.51 c #Conflicts: 605000 | #Constraints: 96532
1378.98/1387.51 c #Conflicts: 606000 | #Constraints: 97532
1378.98/1387.51 c #Conflicts: 607000 | #Constraints: 98532
1378.98/1387.51 c #Conflicts: 608000 | #Constraints: 99532
1378.98/1387.51 c #Conflicts: 609000 | #Constraints: 100532
1378.98/1387.51 c #Conflicts: 610000 | #Constraints: 101532
1378.98/1387.51 c #Conflicts: 611000 | #Constraints: 102532
1378.98/1387.51 c #Conflicts: 612000 | #Constraints: 103532
1378.98/1387.51 c #Conflicts: 613000 | #Constraints: 104532
1378.98/1387.51 c #Conflicts: 614000 | #Constraints: 105532
1378.98/1387.51 c #Conflicts: 615000 | #Constraints: 106532
1378.98/1387.51 c #Conflicts: 616000 | #Constraints: 107532
1378.98/1387.51 c #Conflicts: 617000 | #Constraints: 108532
1378.98/1387.51 c INPROCESSING
1378.98/1387.51 c GARBAGE COLLECT
1378.98/1387.51 c #Conflicts: 618000 | #Constraints: 66344
1378.98/1387.51 c #Conflicts: 619000 | #Constraints: 67344
1378.98/1387.51 c #Conflicts: 620000 | #Constraints: 68344
1378.98/1387.51 c #Conflicts: 621000 | #Constraints: 69344
1378.98/1387.51 c #Conflicts: 622000 | #Constraints: 70344
1378.98/1387.51 c #Conflicts: 623000 | #Constraints: 71344
1546.55/1555.98 c #Conflicts: 624000 | #Constraints: 72344
1546.55/1555.98 c #Conflicts: 625000 | #Constraints: 73344
1546.55/1555.98 c #Conflicts: 626000 | #Constraints: 74344
1546.55/1555.98 c #Conflicts: 627000 | #Constraints: 75344
1546.55/1555.98 c #Conflicts: 628000 | #Constraints: 76344
1546.55/1555.98 c #Conflicts: 629000 | #Constraints: 77344
1546.55/1555.98 c #Conflicts: 630000 | #Constraints: 78344
1546.55/1555.98 c #Conflicts: 631000 | #Constraints: 79344
1546.55/1555.98 c #Conflicts: 632000 | #Constraints: 80344
1546.55/1555.98 c #Conflicts: 633000 | #Constraints: 81344
1546.55/1555.98 c #Conflicts: 634000 | #Constraints: 82344
1546.55/1555.98 c #Conflicts: 635000 | #Constraints: 83344
1546.55/1555.98 c #Conflicts: 636000 | #Constraints: 84344
1546.55/1555.98 c #Conflicts: 637000 | #Constraints: 85344
1546.55/1555.98 c #Conflicts: 638000 | #Constraints: 86344
1546.55/1555.98 c #Conflicts: 639000 | #Constraints: 87344
1546.55/1555.98 c INPROCESSING
1546.55/1555.98 c GARBAGE COLLECT
1546.55/1555.98 c #Conflicts: 640000 | #Constraints: 61461
1546.55/1555.98 c #Conflicts: 641000 | #Constraints: 62461
1546.55/1555.98 c #Conflicts: 642000 | #Constraints: 63461
1546.55/1555.98 c #Conflicts: 643000 | #Constraints: 64461
1546.55/1555.98 c #Conflicts: 644000 | #Constraints: 65461
1546.55/1555.98 c #Conflicts: 645000 | #Constraints: 66461
1546.55/1555.98 c #Conflicts: 646000 | #Constraints: 67461
1546.55/1555.98 c #Conflicts: 647000 | #Constraints: 68461
1546.55/1555.98 c #Conflicts: 648000 | #Constraints: 69461
1546.55/1555.98 c #Conflicts: 649000 | #Constraints: 70461
1546.55/1555.98 c #Conflicts: 650000 | #Constraints: 71461
1546.55/1555.98 c #Conflicts: 651000 | #Constraints: 72461
1546.55/1555.98 c #Conflicts: 652000 | #Constraints: 73461
1546.55/1555.98 c #Conflicts: 653000 | #Constraints: 74461
1546.55/1555.98 c #Conflicts: 654000 | #Constraints: 75461
1546.55/1555.98 c #Conflicts: 655000 | #Constraints: 76461
1546.55/1555.98 c #Conflicts: 656000 | #Constraints: 77461
1546.55/1555.98 c #Conflicts: 657000 | #Constraints: 78461
1546.55/1555.98 c #Conflicts: 658000 | #Constraints: 79461
1546.55/1555.98 c #Conflicts: 659000 | #Constraints: 80461
1546.55/1555.98 c #Conflicts: 660000 | #Constraints: 81461
1546.55/1555.98 c #Conflicts: 661000 | #Constraints: 82461
1546.55/1555.98 c #Conflicts: 662000 | #Constraints: 83461
1546.55/1555.98 c #Conflicts: 663000 | #Constraints: 84461
1546.55/1555.98 c #Conflicts: 664000 | #Constraints: 85461
1546.55/1555.98 c #Conflicts: 665000 | #Constraints: 86461
1546.55/1555.98 c #Conflicts: 666000 | #Constraints: 87461
1546.55/1555.98 c #Conflicts: 667000 | #Constraints: 88461
1546.55/1555.98 c #Conflicts: 668000 | #Constraints: 89461
1546.55/1555.98 c #Conflicts: 669000 | #Constraints: 90461
1546.55/1555.98 c #Conflicts: 670000 | #Constraints: 91461
1546.55/1555.98 c #Conflicts: 671000 | #Constraints: 92461
1546.55/1555.98 c #Conflicts: 672000 | #Constraints: 93461
1546.55/1555.98 c #Conflicts: 673000 | #Constraints: 94461
1546.55/1555.98 c #Conflicts: 674000 | #Constraints: 95461
1546.55/1555.98 c #Conflicts: 675000 | #Constraints: 96461
1546.55/1555.98 c #Conflicts: 676000 | #Constraints: 97461
1546.55/1555.98 c #Conflicts: 677000 | #Constraints: 98461
1546.55/1555.98 c #Conflicts: 678000 | #Constraints: 99461
1546.55/1555.98 c #Conflicts: 679000 | #Constraints: 100461
1546.55/1555.98 c #Conflicts: 680000 | #Constraints: 101461
1546.55/1555.98 c #Conflicts: 681000 | #Constraints: 102461
1546.55/1555.98 c #Conflicts: 682000 | #Constraints: 103461
1546.55/1555.98 c #Conflicts: 683000 | #Constraints: 104461
1546.55/1555.98 c #Conflicts: 684000 | #Constraints: 105461
1546.55/1555.98 c #Conflicts: 685000 | #Constraints: 106461
1546.55/1555.98 c #Conflicts: 686000 | #Constraints: 107461
1546.55/1555.98 c #Conflicts: 687000 | #Constraints: 108461
1546.55/1555.98 c #Conflicts: 688000 | #Constraints: 109461
1546.55/1555.98 c #Conflicts: 689000 | #Constraints: 110461
1546.55/1555.98 c #Conflicts: 690000 | #Constraints: 111461
1546.55/1555.98 c #Conflicts: 691000 | #Constraints: 112461
1546.55/1555.98 c #Conflicts: 692000 | #Constraints: 113461
1546.55/1555.98 c #Conflicts: 693000 | #Constraints: 114461
1546.55/1555.98 c INPROCESSING
1546.55/1555.98 c GARBAGE COLLECT
1546.55/1555.98 c #Conflicts: 694000 | #Constraints: 69390
1546.55/1555.98 c #Conflicts: 695000 | #Constraints: 70390
1546.55/1555.98 c #Conflicts: 696000 | #Constraints: 71390
1546.55/1555.98 c #Conflicts: 697000 | #Constraints: 72390
1546.55/1555.98 c #Conflicts: 698000 | #Constraints: 73390
1546.55/1555.98 c #Conflicts: 699000 | #Constraints: 74390
1546.55/1555.98 c #Conflicts: 700000 | #Constraints: 75390
1716.29/1734.35 c #Conflicts: 701000 | #Constraints: 76390
1716.29/1734.35 c #Conflicts: 702000 | #Constraints: 77390
1716.29/1734.35 c #Conflicts: 703000 | #Constraints: 78390
1716.29/1734.35 c #Conflicts: 704000 | #Constraints: 79390
1716.29/1734.35 c #Conflicts: 705000 | #Constraints: 80390
1716.29/1734.35 c #Conflicts: 706000 | #Constraints: 81390
1716.29/1734.35 c #Conflicts: 707000 | #Constraints: 82390
1716.29/1734.35 c #Conflicts: 708000 | #Constraints: 83390
1716.29/1734.35 c #Conflicts: 709000 | #Constraints: 84390
1716.29/1734.35 c #Conflicts: 710000 | #Constraints: 85390
1716.29/1734.35 c #Conflicts: 711000 | #Constraints: 86390
1716.29/1734.35 c #Conflicts: 712000 | #Constraints: 87390
1716.29/1734.35 c #Conflicts: 713000 | #Constraints: 88390
1716.29/1734.35 c #Conflicts: 714000 | #Constraints: 89390
1716.29/1734.35 c #Conflicts: 715000 | #Constraints: 90390
1716.29/1734.35 c #Conflicts: 716000 | #Constraints: 91390
1716.29/1734.35 c INPROCESSING
1716.29/1734.35 c GARBAGE COLLECT
1716.29/1734.35 c #Conflicts: 717000 | #Constraints: 63975
1716.29/1734.35 c #Conflicts: 718000 | #Constraints: 64975
1716.29/1734.35 c #Conflicts: 719000 | #Constraints: 65975
1716.29/1734.35 c #Conflicts: 720000 | #Constraints: 66975
1716.29/1734.35 c #Conflicts: 721000 | #Constraints: 67975
1716.29/1734.35 c #Conflicts: 722000 | #Constraints: 68975
1716.29/1734.35 c #Conflicts: 723000 | #Constraints: 69975
1716.29/1734.35 c #Conflicts: 724000 | #Constraints: 70975
1716.29/1734.35 c #Conflicts: 725000 | #Constraints: 71975
1716.29/1734.35 c #Conflicts: 726000 | #Constraints: 72975
1716.29/1734.35 c #Conflicts: 727000 | #Constraints: 73975
1716.29/1734.35 c #Conflicts: 728000 | #Constraints: 74975
1716.29/1734.35 c #Conflicts: 729000 | #Constraints: 75975
1716.29/1734.35 c #Conflicts: 730000 | #Constraints: 76975
1716.29/1734.35 c #Conflicts: 731000 | #Constraints: 77975
1716.29/1734.35 c #Conflicts: 732000 | #Constraints: 78975
1716.29/1734.35 c #Conflicts: 733000 | #Constraints: 79975
1716.29/1734.35 c #Conflicts: 734000 | #Constraints: 80975
1716.29/1734.35 c #Conflicts: 735000 | #Constraints: 81975
1716.29/1734.35 c #Conflicts: 736000 | #Constraints: 82975
1716.29/1734.35 c #Conflicts: 737000 | #Constraints: 83975
1716.29/1734.35 c #Conflicts: 738000 | #Constraints: 84975
1716.29/1734.35 c #Conflicts: 739000 | #Constraints: 85975
1716.29/1734.35 c #Conflicts: 740000 | #Constraints: 86975
1716.29/1734.35 c #Conflicts: 741000 | #Constraints: 87975
1716.29/1734.35 c #Conflicts: 742000 | #Constraints: 88975
1716.29/1734.35 c #Conflicts: 743000 | #Constraints: 89975
1716.29/1734.35 c #Conflicts: 744000 | #Constraints: 90975
1716.29/1734.35 c #Conflicts: 745000 | #Constraints: 91975
1716.29/1734.35 c #Conflicts: 746000 | #Constraints: 92975
1716.29/1734.35 c #Conflicts: 747000 | #Constraints: 93975
1716.29/1734.35 c #Conflicts: 748000 | #Constraints: 94975
1716.29/1734.35 c #Conflicts: 749000 | #Constraints: 95975
1716.29/1734.35 c #Conflicts: 750000 | #Constraints: 96975
1716.29/1734.35 c #Conflicts: 751000 | #Constraints: 97975
1716.29/1734.35 c #Conflicts: 752000 | #Constraints: 98975
1716.29/1734.35 c #Conflicts: 753000 | #Constraints: 99975
1716.29/1734.35 c #Conflicts: 754000 | #Constraints: 100975
1716.29/1734.35 c #Conflicts: 755000 | #Constraints: 101975
1716.29/1734.35 c #Conflicts: 756000 | #Constraints: 102975
1716.29/1734.35 c #Conflicts: 757000 | #Constraints: 103975
1716.29/1734.35 c #Conflicts: 758000 | #Constraints: 104975
1716.29/1734.35 c #Conflicts: 759000 | #Constraints: 105975
1716.29/1734.35 c #Conflicts: 760000 | #Constraints: 106975
1716.29/1734.35 c #Conflicts: 761000 | #Constraints: 107975
1716.29/1734.35 c #Conflicts: 762000 | #Constraints: 108975
1716.29/1734.35 c #Conflicts: 763000 | #Constraints: 109975
1716.29/1734.35 c #Conflicts: 764000 | #Constraints: 110975
1716.29/1734.35 c #Conflicts: 765000 | #Constraints: 111975
1716.29/1734.35 c #Conflicts: 766000 | #Constraints: 112975
1716.29/1734.35 c #Conflicts: 767000 | #Constraints: 113975
1716.29/1734.35 c #Conflicts: 768000 | #Constraints: 114975
1716.29/1734.35 c #Conflicts: 769000 | #Constraints: 115975
1716.29/1734.35 c #Conflicts: 770000 | #Constraints: 116975
1716.29/1734.35 c #Conflicts: 771000 | #Constraints: 117975
1716.29/1734.35 c #Conflicts: 772000 | #Constraints: 118975
1716.29/1734.35 c #Conflicts: 773000 | #Constraints: 119975
1716.29/1734.35 c INPROCESSING
1716.29/1734.35 c GARBAGE COLLECT
1716.29/1734.35 c #Conflicts: 774000 | #Constraints: 71992
1716.29/1734.35 c #Conflicts: 775000 | #Constraints: 72992
1716.29/1734.35 c #Conflicts: 776000 | #Constraints: 73992
1716.29/1734.35 c #Conflicts: 777000 | #Constraints: 74992
1716.29/1734.35 c #Conflicts: 778000 | #Constraints: 75992
1964.49/1983.48 c #Conflicts: 779000 | #Constraints: 76992
1964.49/1983.48 c #Conflicts: 780000 | #Constraints: 77992
1964.49/1983.48 c #Conflicts: 781000 | #Constraints: 78992
1964.49/1983.48 c #Conflicts: 782000 | #Constraints: 79992
1964.49/1983.48 c #Conflicts: 783000 | #Constraints: 80992
1964.49/1983.48 c #Conflicts: 784000 | #Constraints: 81992
1964.49/1983.48 c #Conflicts: 785000 | #Constraints: 82992
1964.49/1983.48 c #Conflicts: 786000 | #Constraints: 83992
1964.49/1983.48 c #Conflicts: 787000 | #Constraints: 84992
1964.49/1983.48 c #Conflicts: 788000 | #Constraints: 85992
1964.49/1983.48 c #Conflicts: 789000 | #Constraints: 86992
1964.49/1983.48 c #Conflicts: 790000 | #Constraints: 87992
1964.49/1983.48 c #Conflicts: 791000 | #Constraints: 88992
1964.49/1983.48 c #Conflicts: 792000 | #Constraints: 89992
1964.49/1983.48 c #Conflicts: 793000 | #Constraints: 90992
1964.49/1983.48 c #Conflicts: 794000 | #Constraints: 91992
1964.49/1983.48 c #Conflicts: 795000 | #Constraints: 92992
1964.49/1983.48 c #Conflicts: 796000 | #Constraints: 93992
1964.49/1983.48 c #Conflicts: 797000 | #Constraints: 94992
1964.49/1983.48 c #Conflicts: 798000 | #Constraints: 95992
1964.49/1983.48 c INPROCESSING
1964.49/1983.48 c GARBAGE COLLECT
1964.49/1983.48 c #Conflicts: 799000 | #Constraints: 66858
1964.49/1983.48 c #Conflicts: 800000 | #Constraints: 67858
1964.49/1983.48 c #Conflicts: 801000 | #Constraints: 68858
1964.49/1983.48 c #Conflicts: 802000 | #Constraints: 69858
1964.49/1983.48 c #Conflicts: 803000 | #Constraints: 70858
1964.49/1983.48 c #Conflicts: 804000 | #Constraints: 71859
1964.49/1983.48 c #Conflicts: 805000 | #Constraints: 72859
1964.49/1983.48 c #Conflicts: 806000 | #Constraints: 73859
1964.49/1983.48 c #Conflicts: 807000 | #Constraints: 74859
1964.49/1983.48 c #Conflicts: 808000 | #Constraints: 75859
1964.49/1983.48 c #Conflicts: 809000 | #Constraints: 76859
1964.49/1983.48 c #Conflicts: 810000 | #Constraints: 77859
1964.49/1983.48 c #Conflicts: 811000 | #Constraints: 78859
1964.49/1983.48 c #Conflicts: 812000 | #Constraints: 79859
1964.49/1983.48 c #Conflicts: 813000 | #Constraints: 80859
1964.49/1983.48 c #Conflicts: 814000 | #Constraints: 81859
1964.49/1983.48 c #Conflicts: 815000 | #Constraints: 82859
1964.49/1983.48 c #Conflicts: 816000 | #Constraints: 83859
1964.49/1983.48 c #Conflicts: 817000 | #Constraints: 84859
1964.49/1983.48 c #Conflicts: 818000 | #Constraints: 85859
1964.49/1983.48 c #Conflicts: 819000 | #Constraints: 86859
1964.49/1983.48 c #Conflicts: 820000 | #Constraints: 87859
1964.49/1983.48 c #Conflicts: 821000 | #Constraints: 88859
1964.49/1983.48 c #Conflicts: 822000 | #Constraints: 89859
1964.49/1983.48 c #Conflicts: 823000 | #Constraints: 90859
1964.49/1983.48 c #Conflicts: 824000 | #Constraints: 91859
1964.49/1983.48 c #Conflicts: 825000 | #Constraints: 92859
1964.49/1983.48 c #Conflicts: 826000 | #Constraints: 93859
1964.49/1983.48 c #Conflicts: 827000 | #Constraints: 94859
1964.49/1983.48 c #Conflicts: 828000 | #Constraints: 95859
1964.49/1983.48 c #Conflicts: 829000 | #Constraints: 96859
1964.49/1983.48 c #Conflicts: 830000 | #Constraints: 97859
1964.49/1983.48 c #Conflicts: 831000 | #Constraints: 98859
1964.49/1983.48 c #Conflicts: 832000 | #Constraints: 99859
1964.49/1983.48 c #Conflicts: 833000 | #Constraints: 100859
1964.49/1983.48 c #Conflicts: 834000 | #Constraints: 101859
1964.49/1983.48 c #Conflicts: 835000 | #Constraints: 102859
1964.49/1983.48 c #Conflicts: 836000 | #Constraints: 103859
1964.49/1983.48 c #Conflicts: 837000 | #Constraints: 104859
1964.49/1983.48 c #Conflicts: 838000 | #Constraints: 105859
1964.49/1983.48 c #Conflicts: 839000 | #Constraints: 106859
1964.49/1983.48 c #Conflicts: 840000 | #Constraints: 107859
1964.49/1983.48 c #Conflicts: 841000 | #Constraints: 108859
1964.49/1983.48 c #Conflicts: 842000 | #Constraints: 109859
1964.49/1983.48 c #Conflicts: 843000 | #Constraints: 110859
1964.49/1983.48 c #Conflicts: 844000 | #Constraints: 111859
1964.49/1983.48 c #Conflicts: 845000 | #Constraints: 112859
1964.49/1983.48 c #Conflicts: 846000 | #Constraints: 113859
1964.49/1983.48 c #Conflicts: 847000 | #Constraints: 114859
1964.49/1983.48 c #Conflicts: 848000 | #Constraints: 115859
1964.49/1983.48 c #Conflicts: 849000 | #Constraints: 116859
1964.49/1983.48 c #Conflicts: 850000 | #Constraints: 117859
1964.49/1983.48 c #Conflicts: 851000 | #Constraints: 118859
1964.49/1983.48 c #Conflicts: 852000 | #Constraints: 119859
1964.49/1983.48 c #Conflicts: 853000 | #Constraints: 120859
1964.49/1983.48 c #Conflicts: 854000 | #Constraints: 121859
1964.49/1983.48 c #Conflicts: 855000 | #Constraints: 122859
1964.49/1983.48 c #Conflicts: 856000 | #Constraints: 123859
2144.04/2173.00 c #Conflicts: 857000 | #Constraints: 124859
2144.04/2173.00 c #Conflicts: 858000 | #Constraints: 125859
2144.04/2173.00 c INPROCESSING
2144.04/2173.00 c GARBAGE COLLECT
2144.04/2173.00 c #Conflicts: 859000 | #Constraints: 75252
2144.04/2173.00 c #Conflicts: 860000 | #Constraints: 76252
2144.04/2173.00 c #Conflicts: 861000 | #Constraints: 77252
2144.04/2173.00 c #Conflicts: 862000 | #Constraints: 78252
2144.04/2173.00 c #Conflicts: 863000 | #Constraints: 79252
2144.04/2173.00 c #Conflicts: 864000 | #Constraints: 80252
2144.04/2173.00 c #Conflicts: 865000 | #Constraints: 81252
2144.04/2173.00 c #Conflicts: 866000 | #Constraints: 82252
2144.04/2173.00 c #Conflicts: 867000 | #Constraints: 83252
2144.04/2173.00 c #Conflicts: 868000 | #Constraints: 84252
2144.04/2173.00 c #Conflicts: 869000 | #Constraints: 85252
2144.04/2173.00 c #Conflicts: 870000 | #Constraints: 86252
2144.04/2173.00 c #Conflicts: 871000 | #Constraints: 87252
2144.04/2173.00 c #Conflicts: 872000 | #Constraints: 88252
2144.04/2173.00 c #Conflicts: 873000 | #Constraints: 89252
2144.04/2173.00 c #Conflicts: 874000 | #Constraints: 90252
2144.04/2173.00 c #Conflicts: 875000 | #Constraints: 91252
2144.04/2173.00 c #Conflicts: 876000 | #Constraints: 92252
2144.04/2173.00 c #Conflicts: 877000 | #Constraints: 93252
2144.04/2173.00 c #Conflicts: 878000 | #Constraints: 94252
2144.04/2173.00 c #Conflicts: 879000 | #Constraints: 95252
2144.04/2173.00 c #Conflicts: 880000 | #Constraints: 96252
2144.04/2173.00 c #Conflicts: 881000 | #Constraints: 97252
2144.04/2173.00 c #Conflicts: 882000 | #Constraints: 98252
2144.04/2173.00 c #Conflicts: 883000 | #Constraints: 99252
2144.04/2173.00 c #Conflicts: 884000 | #Constraints: 100252
2144.04/2173.00 c INPROCESSING
2144.04/2173.00 c GARBAGE COLLECT
2144.04/2173.00 c #Conflicts: 885000 | #Constraints: 69616
2144.04/2173.00 c #Conflicts: 886000 | #Constraints: 70616
2144.04/2173.00 c #Conflicts: 887000 | #Constraints: 71616
2144.04/2173.00 c #Conflicts: 888000 | #Constraints: 72616
2144.04/2173.00 c #Conflicts: 889000 | #Constraints: 73616
2144.04/2173.00 c #Conflicts: 890000 | #Constraints: 74616
2144.04/2173.00 c #Conflicts: 891000 | #Constraints: 75616
2144.04/2173.00 c #Conflicts: 892000 | #Constraints: 76616
2144.04/2173.00 c #Conflicts: 893000 | #Constraints: 77616
2144.04/2173.00 c #Conflicts: 894000 | #Constraints: 78616
2144.04/2173.00 c #Conflicts: 895000 | #Constraints: 79616
2144.04/2173.00 c #Conflicts: 896000 | #Constraints: 80616
2144.04/2173.00 c #Conflicts: 897000 | #Constraints: 81616
2144.04/2173.00 c #Conflicts: 898000 | #Constraints: 82616
2144.04/2173.00 c #Conflicts: 899000 | #Constraints: 83616
2144.04/2173.00 c #Conflicts: 900000 | #Constraints: 84616
2144.04/2173.00 c #Conflicts: 901000 | #Constraints: 85616
2144.04/2173.00 c #Conflicts: 902000 | #Constraints: 86616
2144.04/2173.00 c #Conflicts: 903000 | #Constraints: 87616
2144.04/2173.00 c #Conflicts: 904000 | #Constraints: 88616
2144.04/2173.00 c #Conflicts: 905000 | #Constraints: 89616
2144.04/2173.00 c #Conflicts: 906000 | #Constraints: 90616
2144.04/2173.00 c #Conflicts: 907000 | #Constraints: 91616
2144.04/2173.00 c #Conflicts: 908000 | #Constraints: 92616
2144.04/2173.00 c #Conflicts: 909000 | #Constraints: 93616
2144.04/2173.00 c #Conflicts: 910000 | #Constraints: 94616
2144.04/2173.00 c #Conflicts: 911000 | #Constraints: 95616
2144.04/2173.00 c #Conflicts: 912000 | #Constraints: 96616
2144.04/2173.00 c #Conflicts: 913000 | #Constraints: 97616
2144.04/2173.00 c #Conflicts: 914000 | #Constraints: 98616
2144.04/2173.00 c #Conflicts: 915000 | #Constraints: 99616
2144.04/2173.00 c #Conflicts: 916000 | #Constraints: 100616
2144.04/2173.00 c #Conflicts: 917000 | #Constraints: 101616
2144.04/2173.00 c #Conflicts: 918000 | #Constraints: 102616
2144.04/2173.00 c #Conflicts: 919000 | #Constraints: 103616
2144.04/2173.00 c #Conflicts: 920000 | #Constraints: 104616
2144.04/2173.00 c #Conflicts: 921000 | #Constraints: 105616
2144.04/2173.00 c #Conflicts: 922000 | #Constraints: 106616
2144.04/2173.00 c #Conflicts: 923000 | #Constraints: 107616
2144.04/2173.00 c #Conflicts: 924000 | #Constraints: 108616
2144.04/2173.00 c #Conflicts: 925000 | #Constraints: 109616
2144.04/2173.00 c #Conflicts: 926000 | #Constraints: 110616
2144.04/2173.00 c #Conflicts: 927000 | #Constraints: 111616
2144.04/2173.00 c #Conflicts: 928000 | #Constraints: 112616
2144.04/2173.00 c #Conflicts: 929000 | #Constraints: 113616
2144.04/2173.00 c #Conflicts: 930000 | #Constraints: 114616
2144.04/2173.00 c #Conflicts: 931000 | #Constraints: 115616
2144.04/2173.00 c #Conflicts: 932000 | #Constraints: 116616
2144.04/2173.00 c #Conflicts: 933000 | #Constraints: 117616
2144.04/2173.00 c #Conflicts: 934000 | #Constraints: 118616
2415.70/2450.53 c #Conflicts: 935000 | #Constraints: 119616
2415.70/2450.53 c #Conflicts: 936000 | #Constraints: 120616
2415.70/2450.53 c #Conflicts: 937000 | #Constraints: 121616
2415.70/2450.53 c #Conflicts: 938000 | #Constraints: 122616
2415.70/2450.53 c #Conflicts: 939000 | #Constraints: 123616
2415.70/2450.53 c #Conflicts: 940000 | #Constraints: 124616
2415.70/2450.53 c #Conflicts: 941000 | #Constraints: 125616
2415.70/2450.53 c #Conflicts: 942000 | #Constraints: 126616
2415.70/2450.53 c #Conflicts: 943000 | #Constraints: 127616
2415.70/2450.53 c #Conflicts: 944000 | #Constraints: 128616
2415.70/2450.53 c #Conflicts: 945000 | #Constraints: 129616
2415.70/2450.53 c #Conflicts: 946000 | #Constraints: 130616
2415.70/2450.53 c #Conflicts: 947000 | #Constraints: 131616
2415.70/2450.53 c INPROCESSING
2415.70/2450.53 c GARBAGE COLLECT
2415.70/2450.53 c #Conflicts: 948000 | #Constraints: 78049
2415.70/2450.53 c #Conflicts: 949000 | #Constraints: 79049
2415.70/2450.53 c #Conflicts: 950000 | #Constraints: 80049
2415.70/2450.53 c #Conflicts: 951000 | #Constraints: 81049
2415.70/2450.53 c #Conflicts: 952000 | #Constraints: 82049
2415.70/2450.53 c #Conflicts: 953000 | #Constraints: 83049
2415.70/2450.53 c #Conflicts: 954000 | #Constraints: 84049
2415.70/2450.53 c #Conflicts: 955000 | #Constraints: 85049
2415.70/2450.53 c #Conflicts: 956000 | #Constraints: 86049
2415.70/2450.53 c #Conflicts: 957000 | #Constraints: 87049
2415.70/2450.53 c #Conflicts: 958000 | #Constraints: 88049
2415.70/2450.53 c #Conflicts: 959000 | #Constraints: 89049
2415.70/2450.53 c #Conflicts: 960000 | #Constraints: 90049
2415.70/2450.53 c #Conflicts: 961000 | #Constraints: 91049
2415.70/2450.53 c #Conflicts: 962000 | #Constraints: 92049
2415.70/2450.53 c #Conflicts: 963000 | #Constraints: 93049
2415.70/2450.53 c #Conflicts: 964000 | #Constraints: 94049
2415.70/2450.53 c #Conflicts: 965000 | #Constraints: 95049
2415.70/2450.53 c #Conflicts: 966000 | #Constraints: 96049
2415.70/2450.53 c #Conflicts: 967000 | #Constraints: 97049
2415.70/2450.53 c #Conflicts: 968000 | #Constraints: 98049
2415.70/2450.53 c #Conflicts: 969000 | #Constraints: 99049
2415.70/2450.53 c #Conflicts: 970000 | #Constraints: 100049
2415.70/2450.53 c #Conflicts: 971000 | #Constraints: 101049
2415.70/2450.53 c #Conflicts: 972000 | #Constraints: 102049
2415.70/2450.53 c #Conflicts: 973000 | #Constraints: 103049
2415.70/2450.53 c #Conflicts: 974000 | #Constraints: 104049
2415.70/2450.53 c INPROCESSING
2415.70/2450.53 c GARBAGE COLLECT
2415.70/2450.53 c #Conflicts: 975000 | #Constraints: 71670
2415.70/2450.53 c #Conflicts: 976000 | #Constraints: 72670
2415.70/2450.53 c #Conflicts: 977000 | #Constraints: 73670
2415.70/2450.53 c #Conflicts: 978000 | #Constraints: 74670
2415.70/2450.53 c #Conflicts: 979000 | #Constraints: 75670
2415.70/2450.53 c #Conflicts: 980000 | #Constraints: 76670
2415.70/2450.53 c #Conflicts: 981000 | #Constraints: 77670
2415.70/2450.53 c #Conflicts: 982000 | #Constraints: 78670
2415.70/2450.53 c #Conflicts: 983000 | #Constraints: 79670
2415.70/2450.53 c #Conflicts: 984000 | #Constraints: 80670
2415.70/2450.53 c #Conflicts: 985000 | #Constraints: 81670
2415.70/2450.53 c #Conflicts: 986000 | #Constraints: 82670
2415.70/2450.53 c #Conflicts: 987000 | #Constraints: 83670
2415.70/2450.53 c #Conflicts: 988000 | #Constraints: 84670
2415.70/2450.53 c #Conflicts: 989000 | #Constraints: 85670
2415.70/2450.53 c #Conflicts: 990000 | #Constraints: 86670
2415.70/2450.53 c #Conflicts: 991000 | #Constraints: 87670
2415.70/2450.53 c #Conflicts: 992000 | #Constraints: 88670
2415.70/2450.53 c #Conflicts: 993000 | #Constraints: 89670
2415.70/2450.53 c #Conflicts: 994000 | #Constraints: 90670
2415.70/2450.53 c #Conflicts: 995000 | #Constraints: 91670
2415.70/2450.53 c #Conflicts: 996000 | #Constraints: 92670
2415.70/2450.53 c #Conflicts: 997000 | #Constraints: 93670
2415.70/2450.53 c #Conflicts: 998000 | #Constraints: 94670
2415.70/2450.53 c #Conflicts: 999000 | #Constraints: 95670
2415.70/2450.53 c #Conflicts: 1000000 | #Constraints: 96670
2415.70/2450.53 c #Conflicts: 1001000 | #Constraints: 97670
2415.70/2450.53 c #Conflicts: 1002000 | #Constraints: 98670
2415.70/2450.53 c #Conflicts: 1003000 | #Constraints: 99670
2415.70/2450.53 c #Conflicts: 1004000 | #Constraints: 100670
2415.70/2450.53 c #Conflicts: 1005000 | #Constraints: 101670
2415.70/2450.53 c #Conflicts: 1006000 | #Constraints: 102670
2415.70/2450.53 c #Conflicts: 1007000 | #Constraints: 103670
2415.70/2450.53 c #Conflicts: 1008000 | #Constraints: 104670
2415.70/2450.53 c #Conflicts: 1009000 | #Constraints: 105670
2415.70/2450.53 c #Conflicts: 1010000 | #Constraints: 106670
2415.70/2450.53 c #Conflicts: 1011000 | #Constraints: 107670
2673.01/2709.18 c #Conflicts: 1012000 | #Constraints: 108670
2673.01/2709.18 c #Conflicts: 1013000 | #Constraints: 109670
2673.01/2709.18 c #Conflicts: 1014000 | #Constraints: 110670
2673.01/2709.18 c #Conflicts: 1015000 | #Constraints: 111670
2673.01/2709.18 c #Conflicts: 1016000 | #Constraints: 112670
2673.01/2709.18 c #Conflicts: 1017000 | #Constraints: 113670
2673.01/2709.18 c #Conflicts: 1018000 | #Constraints: 114670
2673.01/2709.18 c #Conflicts: 1019000 | #Constraints: 115670
2673.01/2709.18 c #Conflicts: 1020000 | #Constraints: 116670
2673.01/2709.18 c #Conflicts: 1021000 | #Constraints: 117670
2673.01/2709.18 c #Conflicts: 1022000 | #Constraints: 118670
2673.01/2709.18 c #Conflicts: 1023000 | #Constraints: 119670
2673.01/2709.18 c #Conflicts: 1024000 | #Constraints: 120670
2673.01/2709.18 c #Conflicts: 1025000 | #Constraints: 121670
2673.01/2709.18 c #Conflicts: 1026000 | #Constraints: 122670
2673.01/2709.18 c #Conflicts: 1027000 | #Constraints: 123670
2673.01/2709.18 c #Conflicts: 1028000 | #Constraints: 124670
2673.01/2709.18 c #Conflicts: 1029000 | #Constraints: 125670
2673.01/2709.18 c #Conflicts: 1030000 | #Constraints: 126670
2673.01/2709.18 c #Conflicts: 1031000 | #Constraints: 127670
2673.01/2709.18 c #Conflicts: 1032000 | #Constraints: 128670
2673.01/2709.18 c #Conflicts: 1033000 | #Constraints: 129670
2673.01/2709.18 c #Conflicts: 1034000 | #Constraints: 130670
2673.01/2709.18 c #Conflicts: 1035000 | #Constraints: 131670
2673.01/2709.18 c #Conflicts: 1036000 | #Constraints: 132670
2673.01/2709.18 c #Conflicts: 1037000 | #Constraints: 133670
2673.01/2709.18 c #Conflicts: 1038000 | #Constraints: 134670
2673.01/2709.18 c #Conflicts: 1039000 | #Constraints: 135670
2673.01/2709.18 c #Conflicts: 1040000 | #Constraints: 136670
2673.01/2709.18 c INPROCESSING
2673.01/2709.18 c GARBAGE COLLECT
2673.01/2709.18 c #Conflicts: 1041000 | #Constraints: 80359
2673.01/2709.18 c #Conflicts: 1042000 | #Constraints: 81359
2673.01/2709.18 c #Conflicts: 1043000 | #Constraints: 82359
2673.01/2709.18 c #Conflicts: 1044000 | #Constraints: 83359
2673.01/2709.18 c #Conflicts: 1045000 | #Constraints: 84359
2673.01/2709.18 c #Conflicts: 1046000 | #Constraints: 85359
2673.01/2709.18 c #Conflicts: 1047000 | #Constraints: 86359
2673.01/2709.18 c #Conflicts: 1048000 | #Constraints: 87359
2673.01/2709.18 c #Conflicts: 1049000 | #Constraints: 88359
2673.01/2709.18 c #Conflicts: 1050000 | #Constraints: 89359
2673.01/2709.18 c #Conflicts: 1051000 | #Constraints: 90359
2673.01/2709.18 c #Conflicts: 1052000 | #Constraints: 91359
2673.01/2709.18 c #Conflicts: 1053000 | #Constraints: 92359
2673.01/2709.18 c #Conflicts: 1054000 | #Constraints: 93359
2673.01/2709.18 c #Conflicts: 1055000 | #Constraints: 94359
2673.01/2709.18 c #Conflicts: 1056000 | #Constraints: 95359
2673.01/2709.18 c #Conflicts: 1057000 | #Constraints: 96359
2673.01/2709.18 c #Conflicts: 1058000 | #Constraints: 97359
2673.01/2709.18 c #Conflicts: 1059000 | #Constraints: 98359
2673.01/2709.18 c #Conflicts: 1060000 | #Constraints: 99359
2673.01/2709.18 c #Conflicts: 1061000 | #Constraints: 100359
2673.01/2709.18 c #Conflicts: 1062000 | #Constraints: 101359
2673.01/2709.18 c #Conflicts: 1063000 | #Constraints: 102359
2673.01/2709.18 c #Conflicts: 1064000 | #Constraints: 103359
2673.01/2709.18 c #Conflicts: 1065000 | #Constraints: 104359
2673.01/2709.18 c #Conflicts: 1066000 | #Constraints: 105359
2673.01/2709.18 c #Conflicts: 1067000 | #Constraints: 106359
2673.01/2709.18 c #Conflicts: 1068000 | #Constraints: 107359
2673.01/2709.18 c #Conflicts: 1069000 | #Constraints: 108359
2673.01/2709.18 c INPROCESSING
2673.01/2709.18 c GARBAGE COLLECT
2673.01/2709.18 c #Conflicts: 1070000 | #Constraints: 73100
2673.01/2709.18 c #Conflicts: 1071000 | #Constraints: 74100
2673.01/2709.18 c #Conflicts: 1072000 | #Constraints: 75100
2673.01/2709.18 c #Conflicts: 1073000 | #Constraints: 76100
2673.01/2709.18 c #Conflicts: 1074000 | #Constraints: 77100
2673.01/2709.18 c #Conflicts: 1075000 | #Constraints: 78100
2673.01/2709.18 c #Conflicts: 1076000 | #Constraints: 79100
2673.01/2709.18 c #Conflicts: 1077000 | #Constraints: 80100
2673.01/2709.18 c #Conflicts: 1078000 | #Constraints: 81100
2673.01/2709.18 c #Conflicts: 1079000 | #Constraints: 82100
2673.01/2709.18 c #Conflicts: 1080000 | #Constraints: 83100
2673.01/2709.18 c #Conflicts: 1081000 | #Constraints: 84100
2673.01/2709.18 c #Conflicts: 1082000 | #Constraints: 85100
2673.01/2709.18 c #Conflicts: 1083000 | #Constraints: 86100
2673.01/2709.18 c #Conflicts: 1084000 | #Constraints: 87100
2673.01/2709.18 c #Conflicts: 1085000 | #Constraints: 88100
2673.01/2709.18 c #Conflicts: 1086000 | #Constraints: 89100
2673.01/2709.18 c #Conflicts: 1087000 | #Constraints: 90100
2673.01/2709.18 c #Conflicts: 1088000 | #Constraints: 91100
2673.01/2709.18 c #Conflicts: 1089000 | #Constraints: 92100
3059.09/3096.88 c #Conflicts: 1090000 | #Constraints: 93100
3059.09/3096.88 c #Conflicts: 1091000 | #Constraints: 94100
3059.09/3096.88 c #Conflicts: 1092000 | #Constraints: 95100
3059.09/3096.88 c #Conflicts: 1093000 | #Constraints: 96100
3059.09/3096.88 c #Conflicts: 1094000 | #Constraints: 97100
3059.09/3096.88 c #Conflicts: 1095000 | #Constraints: 98100
3059.09/3096.88 c #Conflicts: 1096000 | #Constraints: 99100
3059.09/3096.88 c #Conflicts: 1097000 | #Constraints: 100100
3059.09/3096.88 c #Conflicts: 1098000 | #Constraints: 101100
3059.09/3096.88 c #Conflicts: 1099000 | #Constraints: 102100
3059.09/3096.88 c #Conflicts: 1100000 | #Constraints: 103100
3059.09/3096.88 c #Conflicts: 1101000 | #Constraints: 104100
3059.09/3096.88 c #Conflicts: 1102000 | #Constraints: 105100
3059.09/3096.88 c #Conflicts: 1103000 | #Constraints: 106100
3059.09/3096.88 c #Conflicts: 1104000 | #Constraints: 107100
3059.09/3096.88 c #Conflicts: 1105000 | #Constraints: 108100
3059.09/3096.88 c #Conflicts: 1106000 | #Constraints: 109100
3059.09/3096.88 c #Conflicts: 1107000 | #Constraints: 110100
3059.09/3096.88 c #Conflicts: 1108000 | #Constraints: 111100
3059.09/3096.88 c #Conflicts: 1109000 | #Constraints: 112100
3059.09/3096.88 c #Conflicts: 1110000 | #Constraints: 113100
3059.09/3096.88 c #Conflicts: 1111000 | #Constraints: 114100
3059.09/3096.88 c #Conflicts: 1112000 | #Constraints: 115100
3059.09/3096.88 c #Conflicts: 1113000 | #Constraints: 116100
3059.09/3096.88 c #Conflicts: 1114000 | #Constraints: 117100
3059.09/3096.88 c #Conflicts: 1115000 | #Constraints: 118100
3059.09/3096.88 c #Conflicts: 1116000 | #Constraints: 119100
3059.09/3096.88 c #Conflicts: 1117000 | #Constraints: 120100
3059.09/3096.88 c #Conflicts: 1118000 | #Constraints: 121100
3059.09/3096.88 c #Conflicts: 1119000 | #Constraints: 122100
3059.09/3096.88 c #Conflicts: 1120000 | #Constraints: 123100
3059.09/3096.88 c #Conflicts: 1121000 | #Constraints: 124100
3059.09/3096.88 c #Conflicts: 1122000 | #Constraints: 125100
3059.09/3096.88 c #Conflicts: 1123000 | #Constraints: 126100
3059.09/3096.88 c #Conflicts: 1124000 | #Constraints: 127100
3059.09/3096.88 c #Conflicts: 1125000 | #Constraints: 128100
3059.09/3096.88 c #Conflicts: 1126000 | #Constraints: 129100
3059.09/3096.88 c #Conflicts: 1127000 | #Constraints: 130100
3059.09/3096.88 c #Conflicts: 1128000 | #Constraints: 131100
3059.09/3096.88 c #Conflicts: 1129000 | #Constraints: 132100
3059.09/3096.88 c #Conflicts: 1130000 | #Constraints: 133100
3059.09/3096.88 c #Conflicts: 1131000 | #Constraints: 134100
3059.09/3096.88 c #Conflicts: 1132000 | #Constraints: 135100
3059.09/3096.88 c #Conflicts: 1133000 | #Constraints: 136100
3059.09/3096.88 c #Conflicts: 1134000 | #Constraints: 137100
3059.09/3096.88 c #Conflicts: 1135000 | #Constraints: 138100
3059.09/3096.88 c #Conflicts: 1136000 | #Constraints: 139100
3059.09/3096.88 c #Conflicts: 1137000 | #Constraints: 140100
3059.09/3096.88 c #Conflicts: 1138000 | #Constraints: 141100
3059.09/3096.88 c INPROCESSING
3059.09/3096.88 c GARBAGE COLLECT
3059.09/3096.88 c #Conflicts: 1139000 | #Constraints: 82272
3059.09/3096.88 c #Conflicts: 1140000 | #Constraints: 83272
3059.09/3096.88 c #Conflicts: 1141000 | #Constraints: 84272
3059.09/3096.88 c #Conflicts: 1142000 | #Constraints: 85272
3059.09/3096.88 c #Conflicts: 1143000 | #Constraints: 86273
3059.09/3096.88 c #Conflicts: 1144000 | #Constraints: 87273
3059.09/3096.88 c #Conflicts: 1145000 | #Constraints: 88273
3059.09/3096.88 c #Conflicts: 1146000 | #Constraints: 89273
3059.09/3096.88 c #Conflicts: 1147000 | #Constraints: 90273
3059.09/3096.88 c #Conflicts: 1148000 | #Constraints: 91273
3059.09/3096.88 c #Conflicts: 1149000 | #Constraints: 92273
3059.09/3096.88 c #Conflicts: 1150000 | #Constraints: 93273
3059.09/3096.88 c #Conflicts: 1151000 | #Constraints: 94273
3059.09/3096.88 c #Conflicts: 1152000 | #Constraints: 95273
3059.09/3096.88 c #Conflicts: 1153000 | #Constraints: 96273
3059.09/3096.88 c #Conflicts: 1154000 | #Constraints: 97273
3059.09/3096.88 c #Conflicts: 1155000 | #Constraints: 98273
3059.09/3096.88 c #Conflicts: 1156000 | #Constraints: 99273
3059.09/3096.88 c #Conflicts: 1157000 | #Constraints: 100273
3059.09/3096.88 c #Conflicts: 1158000 | #Constraints: 101273
3059.09/3096.88 c #Conflicts: 1159000 | #Constraints: 102273
3059.09/3096.88 c #Conflicts: 1160000 | #Constraints: 103273
3059.09/3096.88 c #Conflicts: 1161000 | #Constraints: 104273
3059.09/3096.88 c #Conflicts: 1162000 | #Constraints: 105273
3059.09/3096.88 c #Conflicts: 1163000 | #Constraints: 106273
3059.09/3096.88 c #Conflicts: 1164000 | #Constraints: 107273
3059.09/3096.88 c #Conflicts: 1165000 | #Constraints: 108273
3059.09/3096.88 c #Conflicts: 1166000 | #Constraints: 109273
3059.09/3096.88 c #Conflicts: 1167000 | #Constraints: 110273
3278.54/3321.60 c #Conflicts: 1168000 | #Constraints: 111273
3278.54/3321.60 c INPROCESSING
3278.54/3321.60 c GARBAGE COLLECT
3278.54/3321.60 c #Conflicts: 1169000 | #Constraints: 74814
3278.54/3321.60 c #Conflicts: 1170000 | #Constraints: 75814
3278.54/3321.60 c #Conflicts: 1171000 | #Constraints: 76814
3278.54/3321.60 c #Conflicts: 1172000 | #Constraints: 77814
3278.54/3321.60 c #Conflicts: 1173000 | #Constraints: 78814
3278.54/3321.60 c #Conflicts: 1174000 | #Constraints: 79814
3278.54/3321.60 c #Conflicts: 1175000 | #Constraints: 80814
3278.54/3321.60 c #Conflicts: 1176000 | #Constraints: 81814
3278.54/3321.60 c #Conflicts: 1177000 | #Constraints: 82814
3278.54/3321.60 c #Conflicts: 1178000 | #Constraints: 83814
3278.54/3321.60 c #Conflicts: 1179000 | #Constraints: 84814
3278.54/3321.60 c #Conflicts: 1180000 | #Constraints: 85814
3278.54/3321.60 c #Conflicts: 1181000 | #Constraints: 86814
3278.54/3321.60 c #Conflicts: 1182000 | #Constraints: 87814
3278.54/3321.60 c #Conflicts: 1183000 | #Constraints: 88814
3278.54/3321.60 c #Conflicts: 1184000 | #Constraints: 89814
3278.54/3321.60 c #Conflicts: 1185000 | #Constraints: 90814
3278.54/3321.60 c #Conflicts: 1186000 | #Constraints: 91814
3278.54/3321.60 c #Conflicts: 1187000 | #Constraints: 92814
3278.54/3321.60 c #Conflicts: 1188000 | #Constraints: 93814
3278.54/3321.60 c #Conflicts: 1189000 | #Constraints: 94814
3278.54/3321.60 c #Conflicts: 1190000 | #Constraints: 95814
3278.54/3321.60 c #Conflicts: 1191000 | #Constraints: 96814
3278.54/3321.60 c #Conflicts: 1192000 | #Constraints: 97814
3278.54/3321.60 c #Conflicts: 1193000 | #Constraints: 98814
3278.54/3321.60 c #Conflicts: 1194000 | #Constraints: 99814
3278.54/3321.60 c #Conflicts: 1195000 | #Constraints: 100814
3278.54/3321.60 c #Conflicts: 1196000 | #Constraints: 101814
3278.54/3321.60 c #Conflicts: 1197000 | #Constraints: 102814
3278.54/3321.60 c #Conflicts: 1198000 | #Constraints: 103814
3278.54/3321.60 c #Conflicts: 1199000 | #Constraints: 104814
3278.54/3321.60 c #Conflicts: 1200000 | #Constraints: 105814
3278.54/3321.60 c #Conflicts: 1201000 | #Constraints: 106814
3278.54/3321.60 c #Conflicts: 1202000 | #Constraints: 107814
3278.54/3321.60 c #Conflicts: 1203000 | #Constraints: 108814
3278.54/3321.60 c #Conflicts: 1204000 | #Constraints: 109814
3278.54/3321.60 c #Conflicts: 1205000 | #Constraints: 110814
3278.54/3321.60 c #Conflicts: 1206000 | #Constraints: 111814
3278.54/3321.60 c #Conflicts: 1207000 | #Constraints: 112814
3278.54/3321.60 c #Conflicts: 1208000 | #Constraints: 113814
3278.54/3321.60 c #Conflicts: 1209000 | #Constraints: 114814
3278.54/3321.60 c #Conflicts: 1210000 | #Constraints: 115814
3278.54/3321.60 c #Conflicts: 1211000 | #Constraints: 116814
3278.54/3321.60 c #Conflicts: 1212000 | #Constraints: 117814
3278.54/3321.60 c #Conflicts: 1213000 | #Constraints: 118814
3278.54/3321.60 c #Conflicts: 1214000 | #Constraints: 119814
3278.54/3321.60 c #Conflicts: 1215000 | #Constraints: 120814
3278.54/3321.60 c #Conflicts: 1216000 | #Constraints: 121814
3278.54/3321.60 c #Conflicts: 1217000 | #Constraints: 122814
3278.54/3321.60 c #Conflicts: 1218000 | #Constraints: 123814
3278.54/3321.60 c #Conflicts: 1219000 | #Constraints: 124814
3278.54/3321.60 c #Conflicts: 1220000 | #Constraints: 125814
3278.54/3321.60 c #Conflicts: 1221000 | #Constraints: 126814
3278.54/3321.60 c #Conflicts: 1222000 | #Constraints: 127814
3278.54/3321.60 c #Conflicts: 1223000 | #Constraints: 128814
3278.54/3321.60 c #Conflicts: 1224000 | #Constraints: 129814
3278.54/3321.60 c #Conflicts: 1225000 | #Constraints: 130814
3278.54/3321.60 c #Conflicts: 1226000 | #Constraints: 131814
3278.54/3321.60 c #Conflicts: 1227000 | #Constraints: 132814
3278.54/3321.60 c #Conflicts: 1228000 | #Constraints: 133814
3278.54/3321.60 c #Conflicts: 1229000 | #Constraints: 134814
3278.54/3321.60 c #Conflicts: 1230000 | #Constraints: 135814
3278.54/3321.60 c #Conflicts: 1231000 | #Constraints: 136814
3278.54/3321.60 c #Conflicts: 1232000 | #Constraints: 137814
3278.54/3321.60 c #Conflicts: 1233000 | #Constraints: 138814
3278.54/3321.60 c #Conflicts: 1234000 | #Constraints: 139814
3278.54/3321.60 c #Conflicts: 1235000 | #Constraints: 140814
3278.54/3321.60 c #Conflicts: 1236000 | #Constraints: 141814
3278.54/3321.60 c #Conflicts: 1237000 | #Constraints: 142814
3278.54/3321.60 c #Conflicts: 1238000 | #Constraints: 143814
3278.54/3321.60 c #Conflicts: 1239000 | #Constraints: 144814
3278.54/3321.60 c #Conflicts: 1240000 | #Constraints: 145814
3278.54/3321.60 c INPROCESSING
3278.54/3321.60 c GARBAGE COLLECT
3278.54/3321.60 c #Conflicts: 1241000 | #Constraints: 84962
3278.54/3321.60 c #Conflicts: 1242000 | #Constraints: 85962
3278.54/3321.60 c #Conflicts: 1243000 | #Constraints: 86962
3278.54/3321.60 c #Conflicts: 1244000 | #Constraints: 87962
3482.90/3539.67 c #Conflicts: 1245000 | #Constraints: 88962
3482.90/3539.67 c #Conflicts: 1246000 | #Constraints: 89962
3482.90/3539.67 c #Conflicts: 1247000 | #Constraints: 90962
3482.90/3539.67 c #Conflicts: 1248000 | #Constraints: 91962
3482.90/3539.67 c #Conflicts: 1249000 | #Constraints: 92962
3482.90/3539.67 c #Conflicts: 1250000 | #Constraints: 93962
3482.90/3539.67 c #Conflicts: 1251000 | #Constraints: 94962
3482.90/3539.67 c #Conflicts: 1252000 | #Constraints: 95962
3482.90/3539.67 c #Conflicts: 1253000 | #Constraints: 96962
3482.90/3539.67 c #Conflicts: 1254000 | #Constraints: 97962
3482.90/3539.67 c #Conflicts: 1255000 | #Constraints: 98962
3482.90/3539.67 c #Conflicts: 1256000 | #Constraints: 99962
3482.90/3539.67 c #Conflicts: 1257000 | #Constraints: 100962
3482.90/3539.67 c #Conflicts: 1258000 | #Constraints: 101962
3482.90/3539.67 c #Conflicts: 1259000 | #Constraints: 102962
3482.90/3539.67 c #Conflicts: 1260000 | #Constraints: 103962
3482.90/3539.67 c #Conflicts: 1261000 | #Constraints: 104962
3482.90/3539.67 c #Conflicts: 1262000 | #Constraints: 105962
3482.90/3539.67 c #Conflicts: 1263000 | #Constraints: 106962
3482.90/3539.67 c #Conflicts: 1264000 | #Constraints: 107962
3482.90/3539.67 c #Conflicts: 1265000 | #Constraints: 108962
3482.90/3539.67 c #Conflicts: 1266000 | #Constraints: 109962
3482.90/3539.67 c #Conflicts: 1267000 | #Constraints: 110962
3482.90/3539.67 c #Conflicts: 1268000 | #Constraints: 111962
3482.90/3539.67 c #Conflicts: 1269000 | #Constraints: 112962
3482.90/3539.67 c #Conflicts: 1270000 | #Constraints: 113962
3482.90/3539.67 c #Conflicts: 1271000 | #Constraints: 114962
3482.90/3539.67 c #Conflicts: 1272000 | #Constraints: 115962
3482.90/3539.67 c INPROCESSING
3482.90/3539.67 c GARBAGE COLLECT
3482.90/3539.67 c #Conflicts: 1273000 | #Constraints: 78057
3482.90/3539.67 c #Conflicts: 1274000 | #Constraints: 79057
3482.90/3539.67 c #Conflicts: 1275000 | #Constraints: 80057
3482.90/3539.67 c #Conflicts: 1276000 | #Constraints: 81057
3482.90/3539.67 c #Conflicts: 1277000 | #Constraints: 82057
3482.90/3539.67 c #Conflicts: 1278000 | #Constraints: 83057
3482.90/3539.67 c #Conflicts: 1279000 | #Constraints: 84057
3482.90/3539.67 c #Conflicts: 1280000 | #Constraints: 85057
3482.90/3539.67 c #Conflicts: 1281000 | #Constraints: 86057
3482.90/3539.67 c #Conflicts: 1282000 | #Constraints: 87057
3482.90/3539.67 c #Conflicts: 1283000 | #Constraints: 88057
3482.90/3539.67 c #Conflicts: 1284000 | #Constraints: 89057
3482.90/3539.67 c #Conflicts: 1285000 | #Constraints: 90057
3482.90/3539.67 c #Conflicts: 1286000 | #Constraints: 91057
3482.90/3539.67 c #Conflicts: 1287000 | #Constraints: 92057
3482.90/3539.67 c #Conflicts: 1288000 | #Constraints: 93057
3482.90/3539.67 c #Conflicts: 1289000 | #Constraints: 94057
3482.90/3539.67 c #Conflicts: 1290000 | #Constraints: 95057
3482.90/3539.67 c #Conflicts: 1291000 | #Constraints: 96057
3482.90/3539.67 c #Conflicts: 1292000 | #Constraints: 97057
3482.90/3539.67 c #Conflicts: 1293000 | #Constraints: 98057
3482.90/3539.67 c #Conflicts: 1294000 | #Constraints: 99057
3482.90/3539.67 c #Conflicts: 1295000 | #Constraints: 100057
3482.90/3539.67 c #Conflicts: 1296000 | #Constraints: 101057
3482.90/3539.67 c #Conflicts: 1297000 | #Constraints: 102057
3482.90/3539.67 c #Conflicts: 1298000 | #Constraints: 103057
3482.90/3539.67 c #Conflicts: 1299000 | #Constraints: 104057
3482.90/3539.67 c #Conflicts: 1300000 | #Constraints: 105057
3482.90/3539.67 c #Conflicts: 1301000 | #Constraints: 106057
3482.90/3539.67 c #Conflicts: 1302000 | #Constraints: 107057
3482.90/3539.67 c #Conflicts: 1303000 | #Constraints: 108057
3482.90/3539.67 c #Conflicts: 1304000 | #Constraints: 109057
3482.90/3539.67 c #Conflicts: 1305000 | #Constraints: 110057
3482.90/3539.67 c #Conflicts: 1306000 | #Constraints: 111057
3482.90/3539.67 c #Conflicts: 1307000 | #Constraints: 112057
3482.90/3539.67 c #Conflicts: 1308000 | #Constraints: 113057
3482.90/3539.67 c #Conflicts: 1309000 | #Constraints: 114057
3482.90/3539.67 c #Conflicts: 1310000 | #Constraints: 115057
3482.90/3539.67 c #Conflicts: 1311000 | #Constraints: 116057
3482.90/3539.67 c #Conflicts: 1312000 | #Constraints: 117058
3482.90/3539.67 c #Conflicts: 1313000 | #Constraints: 118058
3482.90/3539.67 c #Conflicts: 1314000 | #Constraints: 119058
3482.90/3539.67 c #Conflicts: 1315000 | #Constraints: 120058
3482.90/3539.67 c #Conflicts: 1316000 | #Constraints: 121058
3482.90/3539.67 c #Conflicts: 1317000 | #Constraints: 122058
3482.90/3539.67 c #Conflicts: 1318000 | #Constraints: 123058
3482.90/3539.67 c #Conflicts: 1319000 | #Constraints: 124058
3482.90/3539.67 c #Conflicts: 1320000 | #Constraints: 125058
3482.90/3539.67 c #Conflicts: 1321000 | #Constraints: 126058
3482.90/3539.67 c #Conflicts: 1322000 | #Constraints: 127058
3600.07/3657.40 c #Conflicts: 1323000 | #Constraints: 128058
3600.07/3657.40 c #Conflicts: 1324000 | #Constraints: 129058
3600.07/3657.40 c #Conflicts: 1325000 | #Constraints: 130058
3600.07/3657.40 c #Conflicts: 1326000 | #Constraints: 131058
3600.07/3657.40 c #Conflicts: 1327000 | #Constraints: 132058
3600.07/3657.40 c #Conflicts: 1328000 | #Constraints: 133058
3600.07/3657.40 c #Conflicts: 1329000 | #Constraints: 134058
3600.07/3657.40 c #Conflicts: 1330000 | #Constraints: 135058
3600.07/3657.40 c #Conflicts: 1331000 | #Constraints: 136058
3600.07/3657.40 c #Conflicts: 1332000 | #Constraints: 137058
3600.07/3657.40 c #Conflicts: 1333000 | #Constraints: 138058
3600.07/3657.40 c #Conflicts: 1334000 | #Constraints: 139058
3600.07/3657.40 c #Conflicts: 1335000 | #Constraints: 140058
3600.07/3657.40 c #Conflicts: 1336000 | #Constraints: 141058
3600.07/3657.40 c #Conflicts: 1337000 | #Constraints: 142058
3600.07/3657.40 c #Conflicts: 1338000 | #Constraints: 143058
3600.07/3657.40 c #Conflicts: 1339000 | #Constraints: 144058
3600.07/3657.40 c #Conflicts: 1340000 | #Constraints: 145058
3600.07/3657.40 c #Conflicts: 1341000 | #Constraints: 146058
3600.07/3657.40 c #Conflicts: 1342000 | #Constraints: 147058
3600.07/3657.40 c #Conflicts: 1343000 | #Constraints: 148058
3600.07/3657.40 c #Conflicts: 1344000 | #Constraints: 149058
3600.07/3657.40 c cpu time 3567.1 s
3600.07/3657.40 c deterministic time 221906402655 2.22e+11
3600.07/3657.40 c optimization time 249.542 s
3600.07/3657.40 c total solve time 3317.43 s
3600.07/3657.40 c core-guided solve time 0 s
3600.07/3657.40 c propagation time 1699.67 s
3600.07/3657.40 c conflict analysis time 1370.22 s
3600.07/3657.40 c propagations 1367860065
3600.07/3657.40 c resolve steps 87522111
3600.07/3657.40 c decisions 28990557
3600.07/3657.40 c conflicts 1344894
3600.07/3657.40 c restarts 2557
3600.07/3657.40 c inprocessing phases 48
3600.07/3657.40 c garbage collections 48 ,( 100.00 )
3600.07/3657.40 c input clauses 20060 ,( 99.18 )
3600.07/3657.40 c input cardinalities 166 ,( 0.82 )
3600.07/3657.40 c input general constraints 0 ,( 0.00 )
3600.07/3657.40 c input average constraint length 6.41
3600.07/3657.40 c input average constraint degree 1.96
3600.07/3657.40 c learned clauses 1003053 ,( 74.58 )
3600.07/3657.40 c learned cardinalities 42611 ,( 3.17 )
3600.07/3657.40 c learned general constraints 299234 ,( 22.25 )
3600.07/3657.40 c learned average constraint length 777.95
3600.07/3657.40 c learned average constraint degree 16281394.38
3600.07/3657.40 c watched CF 32, 64, 128, Arb: 78721 , 0 , 0 , 0
3600.07/3657.40 c counting CF 32, 64, 128, Arb: 220513 , 0 , 0 , 0
3600.07/3657.40 c watched constraints 78721 ,( 26.31 )
3600.07/3657.40 c counting constraints 220513 ,( 73.69 )
3600.07/3657.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1349867857 , 652155908 , 1634402556 ,( 78588223 , 1555814333 )
3600.07/3657.40 c gcd simplifications 638
3600.07/3657.40 c detected cardinalities 6100
3600.07/3657.40 c weakened non-implied lits 377339690
3600.07/3657.40 c weakened non-implying lits 179504
3600.07/3657.40 c original variables 19799
3600.07/3657.40 c clausal propagations 629267233
3600.07/3657.40 c cardinality propagations 499998863
3600.07/3657.40 c watched propagations 4270660
3600.07/3657.40 c counting propagations 222368329
3600.07/3657.40 c watch lookups 71301649256
3600.07/3657.40 c watch backjump lookups 0
3600.07/3657.40 c watch checks 34871650055
3600.07/3657.40 c propagation checks 108039932387
3600.07/3657.40 c constraint additions 4897822741
3600.07/3657.40 c trail pops 1398179298
3600.07/3657.40 c formula constraints 20226
3600.07/3657.40 c learned constraints 1344889
3600.07/3657.40 c bound constraints 0
3600.07/3657.40 c core-guided constraints 0
3600.07/3657.40 c encountered formula constraints 56023990
3600.07/3657.40 c encountered learned constraints 32842952
3600.07/3657.40 c encountered bound constraints 0
3600.07/3657.40 c encountered core-guided constraints 0
3600.07/3657.40 c LP total time 496.052 s
3600.07/3657.40 c LP solve time 488.75 s
3600.07/3657.40 c LP constraints added 20424
3600.07/3657.40 c LP constraints removed 0
3600.07/3657.40 c LP pivots internal 147344
3600.07/3657.40 c LP pivots root 170951
3600.07/3657.40 c LP calls 14
3600.07/3657.40 c LP optimalities 3
3600.07/3657.40 c LP no pivot count 0
3600.07/3657.40 c LP infeasibilities 4
3600.07/3657.40 c LP valid Farkas constraints 4
3600.07/3657.40 c LP learned Farkas constraints 4
3600.07/3657.40 c LP basis resets 0
3600.07/3657.40 c LP cycling count 0
3600.07/3657.40 c LP singular count 0
3600.07/3657.40 c LP no primal count 0
3600.07/3657.40 c LP no farkas count 0
3600.07/3657.40 c LP other issue count 0
3600.07/3657.40 c LP Gomory cuts 1
3600.07/3657.40 c LP learned cuts 197
3600.07/3657.40 c LP deleted cuts 0
3600.07/3657.40 c LP encountered Gomory constraints 0
3600.07/3657.40 c LP encountered Farkas constraints 56
3600.07/3657.40 c LP encountered learned Farkas constraints 3
3600.07/3657.40 c CG auxiliary variables introduced 0
3600.07/3657.40 c CG solutions found 0
3600.07/3657.40 c CG cores constructed 0
3600.07/3657.40 c CG core cardinality constraints returned 0
3600.07/3657.40 c CG unit cores 0
3600.07/3657.40 c CG single cores 0
3600.07/3657.40 c CG blocks removed during cardinality reduction 0
3600.07/3657.40 c CG first core best 0
3600.07/3657.40 c CG decision core best 0
3600.07/3657.40 c CG core reduction tie 0
3600.07/3657.40 c CG core degree average 0.00
3600.07/3657.40 c CG core slack average 0.00
3600.07/3657.40 c CG core upper bound improvements 0
3600.07/3657.40 c STR number of successful calls 0
3600.07/3657.40 c STR number of unsuccessful calls 0
3600.07/3657.40 c STR number of inconclusive calls 0
3600.07/3657.40 c STR number of successful attempts 0
3600.07/3657.40 c STR number of unsuccessful attempts 0
3600.07/3657.40 c STR number of inconclusive attempts 0
3600.07/3657.40 c STR average degree increase per successful call inf
3600.07/3657.40 c STR average degree increase per successful attempt inf
3600.07/3657.40 c STR total number of conflicts for successful attempts 0
3600.07/3657.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3657.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3657.40 c STR average number of conflicts per successful attempt inf
3600.07/3657.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3657.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3657.40 c AVG.sumWPerc 65.37
3600.07/3657.40 c bigint constraints 0
3600.07/3657.40 s UNKNOWN
3600.07/3657.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60249 MiB free)
memory of node 1: 64465 MiB (63830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506909-1751172307/watcher-4506909-1751172307 -o /tmp/evaluation-result-4506909-1751172307/solver-4506909-1751172307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22056 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506909-1751172307.opb PROOFDIR/proof-4506909-1751172307
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22634, runsolver pid=22631
[startup+0.100057 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22636
/proc/meminfo: memFree=127025764/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32909372 4292608 736 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 736 672 219 0 110 0
[pid=22636] ppid=22634 vsize=39800 memory=28196 CPUtime=0.08 cores=5,7
/proc/22636/stat : 22636 (pbsuma) D 22634 22634 22043 0 -1 4194304 13743 0 0 0 6 2 0 0 20 0 1 0 32909373 40755200 7049 18446744073709551615 4210688 4653049 140721722646976 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 29839360 140721722648803 140721722649138 140721722649138 140721722654703 0
/proc/22636/statm: 9950 7049 1024 108 0 7358 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 31140 KiB
[startup+0.205928 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=127023844/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=67748 memory=22660 CPUtime=0.09 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 3481 0 0 0 7 2 0 0 20 0 1 0 32909383 69373952 5665 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 16937 5665 2016 1147 0 4364 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 25732 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=127011316/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=106728 memory=56780 CPUtime=0.19 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 11326 0 0 0 15 4 0 0 20 0 1 0 32909383 109289472 14195 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 26682 14195 2272 1147 0 14109 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110920 KiB
Current children cumulated memory: 59852 KiB
[startup+0.700159 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=127011316/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=116036 memory=63052 CPUtime=0.57 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 12913 0 0 0 53 4 0 0 20 0 1 0 32909383 118820864 15763 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 29009 15763 2304 1147 0 16436 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 66124 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=127011316/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=116036 memory=63052 CPUtime=1.37 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 12913 0 0 0 133 4 0 0 20 0 1 0 32909383 118820864 15763 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 29009 15763 2304 1147 0 16436 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 66124 KiB
[startup+3.1056 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=126997964/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=117900 memory=66124 CPUtime=2.97 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 13689 0 0 0 293 4 0 0 20 0 1 0 32909383 120729600 16531 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 29475 16531 2304 1147 0 16902 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 122092 KiB
Current children cumulated memory: 69196 KiB
[startup+6.30014 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=126980352/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=122392 memory=73516 CPUtime=6.16 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 15021 0 0 0 603 13 0 0 20 0 1 0 32909383 125329408 18379 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 30598 18379 2336 1147 0 18025 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 126584 KiB
Current children cumulated memory: 76588 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.10 4.06 5/270 22637
/proc/meminfo: memFree=126942308/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=131384 memory=80556 CPUtime=12.55 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 16800 0 0 0 1223 32 0 0 20 0 1 0 32909383 134537216 20139 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 32846 20139 2336 1147 0 20273 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 83628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.06 5/270 22637
/proc/meminfo: memFree=126852428/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=160884 memory=105204 CPUtime=25.26 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 22445 0 0 0 2462 64 0 0 20 0 1 0 32909383 164745216 26301 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 40221 26301 2336 1147 0 27648 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 165076 KiB
Current children cumulated memory: 108276 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.06 5/270 22639
/proc/meminfo: memFree=126692604/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=186244 memory=129760 CPUtime=50.73 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 26617 0 0 0 4951 122 0 0 20 0 1 0 32909383 190713856 32440 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 46561 32440 2336 1147 0 33988 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 132832 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/271 22645
/proc/meminfo: memFree=126423608/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=227132 memory=169496 CPUtime=101.79 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 32982 0 0 0 9986 193 0 0 20 0 1 0 32909383 232583168 42374 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 56783 42374 2336 1147 0 44210 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 231324 KiB
Current children cumulated memory: 172568 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/273 22650
/proc/meminfo: memFree=126059964/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=285412 memory=221392 CPUtime=160.34 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 40350 0 0 0 15742 292 0 0 20 0 1 0 32909383 292261888 55348 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 71353 55348 2336 1147 0 58780 0
Current children cumulated CPU time: 160.43 s
Current children cumulated vsize: 289604 KiB
Current children cumulated memory: 224464 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.17 4.09 5/273 22652
/proc/meminfo: memFree=125711396/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=304208 memory=240464 CPUtime=220.1 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 45061 0 0 0 21611 399 0 0 20 0 1 0 32909383 311508992 60116 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 76052 60116 2368 1147 0 63479 0
################
# More data... #
################
/proc/22637/statm: 372087 276543 2368 1147 0 359514 0
Current children cumulated CPU time: 3064.58 s
Current children cumulated vsize: 1492540 KiB
Current children cumulated memory: 1109244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 22908
/proc/meminfo: memFree=108147188/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1488348 memory=1106172 CPUtime=3124.21 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 129943 0 0 0 309486 2935 0 0 20 0 1 0 32909383 1524068352 276543 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 372087 276543 2368 1147 0 359514 0
Current children cumulated CPU time: 3124.3 s
Current children cumulated vsize: 1492540 KiB
Current children cumulated memory: 1109244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 22910
/proc/meminfo: memFree=107706900/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1489600 memory=1107324 CPUtime=3183.96 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 130250 0 0 0 315414 2982 0 0 20 0 1 0 32909383 1525350400 276831 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 372400 276831 2368 1147 0 359827 0
Current children cumulated CPU time: 3184.05 s
Current children cumulated vsize: 1493792 KiB
Current children cumulated memory: 1110396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 22912
/proc/meminfo: memFree=107255220/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1496660 memory=1113724 CPUtime=3239.26 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 131835 0 0 0 320914 3012 0 0 20 0 1 0 32909383 1532579840 278431 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 374165 278431 2368 1147 0 361592 0
Current children cumulated CPU time: 3239.35 s
Current children cumulated vsize: 1500852 KiB
Current children cumulated memory: 1116796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 22914
/proc/meminfo: memFree=106767508/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1506128 memory=1121532 CPUtime=3299.06 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 133797 0 0 0 326828 3078 0 0 20 0 1 0 32909383 1542275072 280383 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 376532 280383 2368 1147 0 363959 0
Current children cumulated CPU time: 3299.15 s
Current children cumulated vsize: 1510320 KiB
Current children cumulated memory: 1124604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 3/273 22917
/proc/meminfo: memFree=106340916/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1506128 memory=1121532 CPUtime=3350.33 cores=5,7
/proc/22637/stat : 22637 (roundingsat) D 22634 22634 22043 0 -1 4194304 133802 0 0 0 331919 3114 0 0 20 0 1 0 32909383 1542275072 280383 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 376532 280383 2368 1147 0 363959 0
Current children cumulated CPU time: 3350.42 s
Current children cumulated vsize: 1510320 KiB
Current children cumulated memory: 1124604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 22920
/proc/meminfo: memFree=105953156/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1506128 memory=1121532 CPUtime=3406.79 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 133802 0 0 0 337494 3185 0 0 20 0 1 0 32909383 1542275072 280383 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 376532 280383 2368 1147 0 363959 0
Current children cumulated CPU time: 3406.88 s
Current children cumulated vsize: 1510320 KiB
Current children cumulated memory: 1124604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 22922
/proc/meminfo: memFree=105534404/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1507276 memory=1122172 CPUtime=3466.55 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 133966 0 0 0 343424 3231 0 0 20 0 1 0 32909383 1543450624 280543 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 376819 280543 2368 1147 0 364246 0
Current children cumulated CPU time: 3466.64 s
Current children cumulated vsize: 1511468 KiB
Current children cumulated memory: 1125244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 22924
/proc/meminfo: memFree=105204256/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1508116 memory=1123452 CPUtime=3525.26 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 134428 0 0 0 349257 3269 0 0 20 0 1 0 32909383 1544310784 280863 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 377029 280863 2368 1147 0 364456 0
Current children cumulated CPU time: 3525.35 s
Current children cumulated vsize: 1512308 KiB
Current children cumulated memory: 1126524 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/274 22930
/proc/meminfo: memFree=104996652/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1509752 memory=1125116 CPUtime=3584.97 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 134855 0 0 0 355212 3285 0 0 20 0 1 0 32909383 1545986048 281279 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 377438 281279 2368 1147 0 364865 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 1513944 KiB
Current children cumulated memory: 1128188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3657.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/274 22931
/proc/meminfo: memFree=104935452/131250000 swapFree=33010684/33010684
[pid=22634] ppid=22631 vsize=4192 memory=3072 CPUtime=0.09 cores=5,7
/proc/22634/stat : 22634 (run-dec-break-l) S 22631 22634 22043 0 -1 4194304 241 13746 0 0 0 0 6 3 20 0 1 0 32909372 4292608 768 18446744073709551615 94116916625408 94116917519941 140721157725120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116917758992 94116917806736 94116943888384 140721157728533 140721157728734 140721157728734 140721157734336 0
/proc/22634/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22634 vsize=1510024 memory=1125372 CPUtime=3599.98 cores=5,7
/proc/22637/stat : 22637 (roundingsat) R 22634 22634 22043 0 -1 4194304 134935 0 0 0 356709 3289 0 0 20 0 1 0 32909383 1546264576 281343 18446744073709551615 4227072 8923433 140732231692864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14499840 140732231698676 140732231698984 140732231698984 140732231704554 0
/proc/22637/statm: 377506 281343 2368 1147 0 364933 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1514216 KiB
Current children cumulated memory: 1128444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3657.4 s]
# the end of solver process 22634 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.064058 s, system=0.033404 s
[startup+3657.45 s]
# the end of solver process 22637 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3567.18 s, system=32.9481 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): 3657.45
CPU time (s): 3600.13
CPU user time (s): 3567.18
CPU system time (s): 32.9481
CPU usage (%): 98.4329
Max. virtual memory (cumulated for all children) (KiB): 1514216
Max. memory (cumulated for all children) (KiB): 1128444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.18
system time used= 32.9481
maximum resident set size= 1125756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11434496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 672
involuntary context switches= 5604
# summary of solver processes directly reported to runsolver:
# pid: 22634,22637
# total CPU time (s): 3600.13
# total CPU user time (s): 3567.18
# total CPU system time (s): 32.9481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43257 second user time and 16.739 second system time
The end
Begin job on nodeC026 at 2025-06-29 06:45:07
IDJOB=4506909
IDBENCH=158308
IDSOLVER=3358
FILE ID=nodeC026/4506909-1751172307
RUNJOBID= nodeC026-1751168686-22056
SLURM_JOB_ID= 9587513
Free space on /tmp= 432920 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506909-1751172307/watcher-4506909-1751172307 -o /tmp/evaluation-result-4506909-1751172307/solver-4506909-1751172307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22056 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506909-1751172307.opb PROOFDIR/proof-4506909-1751172307
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1559674471
nodeC026 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.786
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.59
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 : 3599.426
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.764
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.517
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.59
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.883
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.59
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.791
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.59
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 : 3596.675
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.59
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 : 3463.700
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127058136 kB
MemAvailable: 128498416 kB
Buffers: 3280 kB
Cached: 2248588 kB
SwapCached: 0 kB
Active: 1577524 kB
Inactive: 2029436 kB
Active(anon): 1373184 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 2029436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20412 kB
Writeback: 0 kB
AnonPages: 1355920 kB
Mapped: 115672 kB
Shmem: 18080 kB
KReclaimable: 91484 kB
Slab: 176212 kB
SReclaimable: 91484 kB
SUnreclaim: 84728 kB
KernelStack: 4348 kB
PageTables: 5852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1829636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1069056 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC026 at 2025-06-29 07:46:05