0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 4929 #constraints 6976
0.00/0.06 c rational objective 0
58.64/58.89 c #Conflicts: 1000 | #Constraints: 7976
58.64/58.89 c #Conflicts: 2000 | #Constraints: 8976
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 3000 | #Constraints: 9000
58.64/58.89 c #Conflicts: 4000 | #Constraints: 10001
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 5000 | #Constraints: 9449
58.64/58.89 c #Conflicts: 6000 | #Constraints: 10449
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 7000 | #Constraints: 9455
58.64/58.89 c #Conflicts: 8000 | #Constraints: 10455
58.64/58.89 c #Conflicts: 9000 | #Constraints: 11455
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 10000 | #Constraints: 10189
58.64/58.89 c #Conflicts: 11000 | #Constraints: 11189
58.64/58.89 c #Conflicts: 12000 | #Constraints: 12189
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 13000 | #Constraints: 10660
58.64/58.89 c #Conflicts: 14000 | #Constraints: 11660
58.64/58.89 c #Conflicts: 15000 | #Constraints: 12660
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 16000 | #Constraints: 10901
58.64/58.89 c #Conflicts: 17000 | #Constraints: 11901
58.64/58.89 c #Conflicts: 18000 | #Constraints: 12901
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 19000 | #Constraints: 10946
58.64/58.89 c #Conflicts: 20000 | #Constraints: 11946
58.64/58.89 c #Conflicts: 21000 | #Constraints: 12946
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 22000 | #Constraints: 10762
58.64/58.89 c #Conflicts: 23000 | #Constraints: 11762
58.64/58.89 c #Conflicts: 24000 | #Constraints: 12762
58.64/58.89 c #Conflicts: 25000 | #Constraints: 13762
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 26000 | #Constraints: 11380
58.64/58.89 c #Conflicts: 27000 | #Constraints: 12380
58.64/58.89 c #Conflicts: 28000 | #Constraints: 13380
58.64/58.89 c #Conflicts: 29000 | #Constraints: 14380
58.64/58.89 c #Conflicts: 30000 | #Constraints: 15380
58.64/58.89 c #Conflicts: 31000 | #Constraints: 16380
58.64/58.89 c #Conflicts: 32000 | #Constraints: 17380
58.64/58.89 c #Conflicts: 33000 | #Constraints: 18380
58.64/58.89 c #Conflicts: 34000 | #Constraints: 19380
58.64/58.89 c #Conflicts: 35000 | #Constraints: 20380
58.64/58.89 c #Conflicts: 36000 | #Constraints: 21380
58.64/58.89 c #Conflicts: 37000 | #Constraints: 22380
58.64/58.89 c #Conflicts: 38000 | #Constraints: 23380
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 39000 | #Constraints: 16358
58.64/58.89 c #Conflicts: 40000 | #Constraints: 17358
58.64/58.89 c #Conflicts: 41000 | #Constraints: 18358
58.64/58.89 c #Conflicts: 42000 | #Constraints: 19358
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 43000 | #Constraints: 13906
58.64/58.89 c #Conflicts: 44000 | #Constraints: 14906
58.64/58.89 c #Conflicts: 45000 | #Constraints: 15906
58.64/58.89 c #Conflicts: 46000 | #Constraints: 16906
58.64/58.89 c #Conflicts: 47000 | #Constraints: 17906
58.64/58.89 c #Conflicts: 48000 | #Constraints: 18906
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 49000 | #Constraints: 14129
58.64/58.89 c #Conflicts: 50000 | #Constraints: 15129
58.64/58.89 c #Conflicts: 51000 | #Constraints: 16129
58.64/58.89 c #Conflicts: 52000 | #Constraints: 17129
58.64/58.89 c #Conflicts: 53000 | #Constraints: 18129
58.64/58.89 c #Conflicts: 54000 | #Constraints: 19129
58.64/58.89 c #Conflicts: 55000 | #Constraints: 20129
58.64/58.89 c #Conflicts: 56000 | #Constraints: 21129
58.64/58.89 c #Conflicts: 57000 | #Constraints: 22129
58.64/58.89 c #Conflicts: 58000 | #Constraints: 23129
58.64/58.89 c #Conflicts: 59000 | #Constraints: 24129
58.64/58.89 c #Conflicts: 60000 | #Constraints: 25129
58.64/58.89 c #Conflicts: 61000 | #Constraints: 26129
58.64/58.89 c #Conflicts: 62000 | #Constraints: 27129
58.64/58.89 c #Conflicts: 63000 | #Constraints: 28129
58.64/58.89 c #Conflicts: 64000 | #Constraints: 29129
58.64/58.89 c #Conflicts: 65000 | #Constraints: 30129
58.64/58.89 c INPROCESSING
58.64/58.89 c GARBAGE COLLECT
58.64/58.89 c #Conflicts: 66000 | #Constraints: 19758
58.64/58.89 c #Conflicts: 67000 | #Constraints: 20758
58.64/58.89 c #Conflicts: 68000 | #Constraints: 21758
58.64/58.89 c #Conflicts: 69000 | #Constraints: 22758
58.64/58.89 c #Conflicts: 70000 | #Constraints: 23758
58.64/58.89 c #Conflicts: 71000 | #Constraints: 24758
59.34/59.59 c INPROCESSING
59.34/59.59 c GARBAGE COLLECT
59.34/59.59 c rational objective -1.22008e-13
130.88/131.22 c #Conflicts: 72000 | #Constraints: 16871
130.88/131.22 c #Conflicts: 73000 | #Constraints: 17871
130.88/131.22 c #Conflicts: 74000 | #Constraints: 18871
130.88/131.22 c #Conflicts: 75000 | #Constraints: 19871
130.88/131.22 c #Conflicts: 76000 | #Constraints: 20871
130.88/131.22 c #Conflicts: 77000 | #Constraints: 21871
130.88/131.22 c #Conflicts: 78000 | #Constraints: 22871
130.88/131.22 c INPROCESSING
130.88/131.22 c GARBAGE COLLECT
130.88/131.22 c #Conflicts: 79000 | #Constraints: 16202
130.88/131.22 c #Conflicts: 80000 | #Constraints: 17202
130.88/131.22 c #Conflicts: 81000 | #Constraints: 18202
130.88/131.22 c #Conflicts: 82000 | #Constraints: 19202
130.88/131.22 c #Conflicts: 83000 | #Constraints: 20202
130.88/131.22 c #Conflicts: 84000 | #Constraints: 21202
130.88/131.22 c #Conflicts: 85000 | #Constraints: 22202
130.88/131.22 c #Conflicts: 86000 | #Constraints: 23202
130.88/131.22 c #Conflicts: 87000 | #Constraints: 24202
130.88/131.22 c #Conflicts: 88000 | #Constraints: 25202
130.88/131.22 c #Conflicts: 89000 | #Constraints: 26202
130.88/131.22 c #Conflicts: 90000 | #Constraints: 27202
130.88/131.22 c #Conflicts: 91000 | #Constraints: 28202
130.88/131.22 c #Conflicts: 92000 | #Constraints: 29202
130.88/131.22 c #Conflicts: 93000 | #Constraints: 30202
130.88/131.22 c #Conflicts: 94000 | #Constraints: 31202
130.88/131.22 c #Conflicts: 95000 | #Constraints: 32202
130.88/131.22 c #Conflicts: 96000 | #Constraints: 33202
130.88/131.22 c #Conflicts: 97000 | #Constraints: 34202
130.88/131.22 c #Conflicts: 98000 | #Constraints: 35202
130.88/131.22 c #Conflicts: 99000 | #Constraints: 36202
130.88/131.22 c INPROCESSING
130.88/131.22 c GARBAGE COLLECT
130.88/131.22 c #Conflicts: 100000 | #Constraints: 22790
130.88/131.22 c #Conflicts: 101000 | #Constraints: 23790
130.88/131.22 c #Conflicts: 102000 | #Constraints: 24790
130.88/131.22 c #Conflicts: 103000 | #Constraints: 25790
130.88/131.22 c #Conflicts: 104000 | #Constraints: 26790
130.88/131.22 c #Conflicts: 105000 | #Constraints: 27790
130.88/131.22 c #Conflicts: 106000 | #Constraints: 28790
130.88/131.22 c #Conflicts: 107000 | #Constraints: 29790
130.88/131.22 c INPROCESSING
130.88/131.22 c GARBAGE COLLECT
130.88/131.22 c #Conflicts: 108000 | #Constraints: 19644
130.88/131.22 c #Conflicts: 109000 | #Constraints: 20644
130.88/131.22 c #Conflicts: 110000 | #Constraints: 21644
130.88/131.22 c #Conflicts: 111000 | #Constraints: 22644
130.88/131.22 c #Conflicts: 112000 | #Constraints: 23644
130.88/131.22 c #Conflicts: 113000 | #Constraints: 24644
130.88/131.22 c #Conflicts: 114000 | #Constraints: 25645
130.88/131.22 c #Conflicts: 115000 | #Constraints: 26645
130.88/131.22 c INPROCESSING
130.88/131.22 c GARBAGE COLLECT
130.88/131.22 c #Conflicts: 116000 | #Constraints: 18026
130.88/131.22 c #Conflicts: 117000 | #Constraints: 19026
130.88/131.22 c #Conflicts: 118000 | #Constraints: 20026
130.88/131.22 c #Conflicts: 119000 | #Constraints: 21026
130.88/131.22 c #Conflicts: 120000 | #Constraints: 22026
130.88/131.22 c #Conflicts: 121000 | #Constraints: 23026
130.88/131.22 c #Conflicts: 122000 | #Constraints: 24026
130.88/131.22 c #Conflicts: 123000 | #Constraints: 25026
130.88/131.22 c #Conflicts: 124000 | #Constraints: 26026
130.88/131.22 c #Conflicts: 125000 | #Constraints: 27026
130.88/131.22 c #Conflicts: 126000 | #Constraints: 28026
130.88/131.22 c #Conflicts: 127000 | #Constraints: 29026
130.88/131.22 c #Conflicts: 128000 | #Constraints: 30026
130.88/131.22 c #Conflicts: 129000 | #Constraints: 31026
130.88/131.22 c #Conflicts: 130000 | #Constraints: 32026
130.88/131.22 c #Conflicts: 131000 | #Constraints: 33026
130.88/131.22 c #Conflicts: 132000 | #Constraints: 34026
130.88/131.22 c #Conflicts: 133000 | #Constraints: 35026
130.88/131.22 c #Conflicts: 134000 | #Constraints: 36026
130.88/131.22 c #Conflicts: 135000 | #Constraints: 37026
130.88/131.22 c #Conflicts: 136000 | #Constraints: 38026
130.88/131.22 c #Conflicts: 137000 | #Constraints: 39026
130.88/131.22 c #Conflicts: 138000 | #Constraints: 40026
130.88/131.22 c #Conflicts: 139000 | #Constraints: 41026
130.88/131.22 c #Conflicts: 140000 | #Constraints: 42026
130.88/131.22 c INPROCESSING
130.88/131.22 c GARBAGE COLLECT
130.88/131.22 c rational objective 1.22008e-13
203.19/203.75 c #Conflicts: 141000 | #Constraints: 25543
203.19/203.75 c #Conflicts: 142000 | #Constraints: 26543
203.19/203.75 c #Conflicts: 143000 | #Constraints: 27543
203.19/203.75 c #Conflicts: 144000 | #Constraints: 28543
203.19/203.75 c #Conflicts: 145000 | #Constraints: 29543
203.19/203.75 c #Conflicts: 146000 | #Constraints: 30543
203.19/203.75 c #Conflicts: 147000 | #Constraints: 31543
203.19/203.75 c #Conflicts: 148000 | #Constraints: 32543
203.19/203.75 c #Conflicts: 149000 | #Constraints: 33543
203.19/203.75 c #Conflicts: 150000 | #Constraints: 34543
203.19/203.75 c INPROCESSING
203.19/203.75 c GARBAGE COLLECT
203.19/203.75 c #Conflicts: 151000 | #Constraints: 22152
203.19/203.75 c #Conflicts: 152000 | #Constraints: 23152
203.19/203.75 c #Conflicts: 153000 | #Constraints: 24152
203.19/203.75 c #Conflicts: 154000 | #Constraints: 25152
203.19/203.75 c #Conflicts: 155000 | #Constraints: 26152
203.19/203.75 c #Conflicts: 156000 | #Constraints: 27152
203.19/203.75 c #Conflicts: 157000 | #Constraints: 28152
203.19/203.75 c #Conflicts: 158000 | #Constraints: 29152
203.19/203.75 c #Conflicts: 159000 | #Constraints: 30152
203.19/203.75 c INPROCESSING
203.19/203.75 c GARBAGE COLLECT
203.19/203.75 c #Conflicts: 160000 | #Constraints: 19618
203.19/203.75 c #Conflicts: 161000 | #Constraints: 20618
203.19/203.75 c #Conflicts: 162000 | #Constraints: 21618
203.19/203.75 c #Conflicts: 163000 | #Constraints: 22618
203.19/203.75 c #Conflicts: 164000 | #Constraints: 23618
203.19/203.75 c #Conflicts: 165000 | #Constraints: 24618
203.19/203.75 c #Conflicts: 166000 | #Constraints: 25618
203.19/203.75 c #Conflicts: 167000 | #Constraints: 26618
203.19/203.75 c #Conflicts: 168000 | #Constraints: 27618
203.19/203.75 c #Conflicts: 169000 | #Constraints: 28618
203.19/203.75 c #Conflicts: 170000 | #Constraints: 29618
203.19/203.75 c #Conflicts: 171000 | #Constraints: 30618
203.19/203.75 c #Conflicts: 172000 | #Constraints: 31618
203.19/203.75 c #Conflicts: 173000 | #Constraints: 32618
203.19/203.75 c #Conflicts: 174000 | #Constraints: 33618
203.19/203.75 c #Conflicts: 175000 | #Constraints: 34618
203.19/203.75 c #Conflicts: 176000 | #Constraints: 35618
203.19/203.75 c #Conflicts: 177000 | #Constraints: 36618
203.19/203.75 c #Conflicts: 178000 | #Constraints: 37618
203.19/203.75 c #Conflicts: 179000 | #Constraints: 38618
203.19/203.75 c #Conflicts: 180000 | #Constraints: 39618
203.19/203.75 c #Conflicts: 181000 | #Constraints: 40618
203.19/203.75 c #Conflicts: 182000 | #Constraints: 41618
203.19/203.75 c #Conflicts: 183000 | #Constraints: 42618
203.19/203.75 c #Conflicts: 184000 | #Constraints: 43618
203.19/203.75 c #Conflicts: 185000 | #Constraints: 44618
203.19/203.75 c #Conflicts: 186000 | #Constraints: 45618
203.19/203.75 c #Conflicts: 187000 | #Constraints: 46618
203.19/203.75 c #Conflicts: 188000 | #Constraints: 47618
203.19/203.75 c #Conflicts: 189000 | #Constraints: 48618
203.19/203.75 c INPROCESSING
203.19/203.75 c GARBAGE COLLECT
203.19/203.75 c #Conflicts: 190000 | #Constraints: 29142
203.19/203.75 c #Conflicts: 191000 | #Constraints: 30142
203.19/203.75 c #Conflicts: 192000 | #Constraints: 31142
203.19/203.75 c #Conflicts: 193000 | #Constraints: 32142
203.19/203.75 c #Conflicts: 194000 | #Constraints: 33142
203.19/203.75 c #Conflicts: 195000 | #Constraints: 34142
203.19/203.75 c #Conflicts: 196000 | #Constraints: 35142
203.19/203.75 c #Conflicts: 197000 | #Constraints: 36142
203.19/203.75 c #Conflicts: 198000 | #Constraints: 37142
203.19/203.75 c #Conflicts: 199000 | #Constraints: 38142
203.19/203.75 c #Conflicts: 200000 | #Constraints: 39142
203.19/203.75 c INPROCESSING
203.19/203.75 c GARBAGE COLLECT
203.19/203.75 c rational objective 0
216.06/216.69 c #Conflicts: 201000 | #Constraints: 24420
216.06/216.69 c #Conflicts: 202000 | #Constraints: 25420
216.06/216.69 c #Conflicts: 203000 | #Constraints: 26420
216.06/216.69 c #Conflicts: 204000 | #Constraints: 27420
216.06/216.69 c #Conflicts: 205000 | #Constraints: 28420
216.06/216.69 c #Conflicts: 206000 | #Constraints: 29420
216.06/216.69 c #Conflicts: 207000 | #Constraints: 30420
216.06/216.69 c #Conflicts: 208000 | #Constraints: 31420
216.06/216.69 c #Conflicts: 209000 | #Constraints: 32420
216.06/216.69 c #Conflicts: 210000 | #Constraints: 33420
216.06/216.69 c #Conflicts: 211000 | #Constraints: 34420
216.06/216.69 c INPROCESSING
216.06/216.69 c GARBAGE COLLECT
216.06/216.69 c rational objective 0
279.52/280.28 c #Conflicts: 212000 | #Constraints: 22019
279.52/280.28 c #Conflicts: 213000 | #Constraints: 23019
279.52/280.28 c #Conflicts: 214000 | #Constraints: 24019
279.52/280.28 c #Conflicts: 215000 | #Constraints: 25019
279.52/280.28 c #Conflicts: 216000 | #Constraints: 26019
279.52/280.28 c #Conflicts: 217000 | #Constraints: 27019
279.52/280.28 c #Conflicts: 218000 | #Constraints: 28019
279.52/280.28 c #Conflicts: 219000 | #Constraints: 29019
279.52/280.28 c #Conflicts: 220000 | #Constraints: 30019
279.52/280.28 c #Conflicts: 221000 | #Constraints: 31019
279.52/280.28 c #Conflicts: 222000 | #Constraints: 32019
279.52/280.28 c #Conflicts: 223000 | #Constraints: 33019
279.52/280.28 c #Conflicts: 224000 | #Constraints: 34019
279.52/280.28 c #Conflicts: 225000 | #Constraints: 35019
279.52/280.28 c #Conflicts: 226000 | #Constraints: 36019
279.52/280.28 c #Conflicts: 227000 | #Constraints: 37019
279.52/280.28 c #Conflicts: 228000 | #Constraints: 38019
279.52/280.28 c #Conflicts: 229000 | #Constraints: 39019
279.52/280.28 c #Conflicts: 230000 | #Constraints: 40019
279.52/280.28 c #Conflicts: 231000 | #Constraints: 41019
279.52/280.28 c #Conflicts: 232000 | #Constraints: 42019
279.52/280.28 c #Conflicts: 233000 | #Constraints: 43019
279.52/280.28 c #Conflicts: 234000 | #Constraints: 44019
279.52/280.28 c #Conflicts: 235000 | #Constraints: 45019
279.52/280.28 c #Conflicts: 236000 | #Constraints: 46019
279.52/280.28 c #Conflicts: 237000 | #Constraints: 47019
279.52/280.28 c #Conflicts: 238000 | #Constraints: 48019
279.52/280.28 c #Conflicts: 239000 | #Constraints: 49019
279.52/280.28 c #Conflicts: 240000 | #Constraints: 50019
279.52/280.28 c #Conflicts: 241000 | #Constraints: 51019
279.52/280.28 c #Conflicts: 242000 | #Constraints: 52019
279.52/280.28 c #Conflicts: 243000 | #Constraints: 53019
279.52/280.28 c #Conflicts: 244000 | #Constraints: 54019
279.52/280.28 c #Conflicts: 245000 | #Constraints: 55019
279.52/280.28 c INPROCESSING
279.52/280.28 c GARBAGE COLLECT
279.52/280.28 c rational objective 1.22008e-13
297.48/298.21 c #Conflicts: 246000 | #Constraints: 32448
297.48/298.21 c #Conflicts: 247000 | #Constraints: 33448
297.48/298.21 c #Conflicts: 248000 | #Constraints: 34448
297.48/298.21 c #Conflicts: 249000 | #Constraints: 35448
297.48/298.21 c #Conflicts: 250000 | #Constraints: 36448
297.48/298.21 c #Conflicts: 251000 | #Constraints: 37448
297.48/298.21 c #Conflicts: 252000 | #Constraints: 38448
297.48/298.21 c #Conflicts: 253000 | #Constraints: 39448
297.48/298.21 c #Conflicts: 254000 | #Constraints: 40448
297.48/298.21 c #Conflicts: 255000 | #Constraints: 41448
297.48/298.21 c #Conflicts: 256000 | #Constraints: 42448
297.48/298.21 c #Conflicts: 257000 | #Constraints: 43448
297.48/298.21 c INPROCESSING
297.48/298.21 c GARBAGE COLLECT
297.48/298.21 c rational objective 1.22008e-13
313.14/313.93 c #Conflicts: 258000 | #Constraints: 26430
313.14/313.93 c #Conflicts: 259000 | #Constraints: 27430
313.14/313.93 c #Conflicts: 260000 | #Constraints: 28430
313.14/313.93 c #Conflicts: 261000 | #Constraints: 29430
313.14/313.93 c #Conflicts: 262000 | #Constraints: 30430
313.14/313.93 c #Conflicts: 263000 | #Constraints: 31430
313.14/313.93 c #Conflicts: 264000 | #Constraints: 32430
313.14/313.93 c #Conflicts: 265000 | #Constraints: 33430
313.14/313.93 c #Conflicts: 266000 | #Constraints: 34430
313.14/313.93 c #Conflicts: 267000 | #Constraints: 35430
313.14/313.93 c #Conflicts: 268000 | #Constraints: 36430
313.14/313.93 c #Conflicts: 269000 | #Constraints: 37430
313.14/313.93 c #Conflicts: 270000 | #Constraints: 38430
313.14/313.93 c INPROCESSING
313.14/313.93 c GARBAGE COLLECT
313.14/313.93 c rational objective 1.22008e-13
396.75/397.76 c #Conflicts: 271000 | #Constraints: 24497
396.75/397.76 c #Conflicts: 272000 | #Constraints: 25497
396.75/397.76 c #Conflicts: 273000 | #Constraints: 26497
396.75/397.76 c #Conflicts: 274000 | #Constraints: 27497
396.75/397.76 c #Conflicts: 275000 | #Constraints: 28497
396.75/397.76 c #Conflicts: 276000 | #Constraints: 29497
396.75/397.76 c #Conflicts: 277000 | #Constraints: 30497
396.75/397.76 c #Conflicts: 278000 | #Constraints: 31498
396.75/397.76 c #Conflicts: 279000 | #Constraints: 32498
396.75/397.76 c #Conflicts: 280000 | #Constraints: 33498
396.75/397.76 c #Conflicts: 281000 | #Constraints: 34498
396.75/397.76 c #Conflicts: 282000 | #Constraints: 35498
396.75/397.76 c #Conflicts: 283000 | #Constraints: 36498
396.75/397.76 c #Conflicts: 284000 | #Constraints: 37498
396.75/397.76 c #Conflicts: 285000 | #Constraints: 38498
396.75/397.76 c #Conflicts: 286000 | #Constraints: 39498
396.75/397.76 c #Conflicts: 287000 | #Constraints: 40498
396.75/397.76 c #Conflicts: 288000 | #Constraints: 41498
396.75/397.76 c #Conflicts: 289000 | #Constraints: 42498
396.75/397.76 c #Conflicts: 290000 | #Constraints: 43498
396.75/397.76 c #Conflicts: 291000 | #Constraints: 44498
396.75/397.76 c #Conflicts: 292000 | #Constraints: 45498
396.75/397.76 c #Conflicts: 293000 | #Constraints: 46498
396.75/397.76 c #Conflicts: 294000 | #Constraints: 47498
396.75/397.76 c #Conflicts: 295000 | #Constraints: 48498
396.75/397.76 c #Conflicts: 296000 | #Constraints: 49498
396.75/397.76 c #Conflicts: 297000 | #Constraints: 50498
396.75/397.76 c #Conflicts: 298000 | #Constraints: 51498
396.75/397.76 c #Conflicts: 299000 | #Constraints: 52498
396.75/397.76 c #Conflicts: 300000 | #Constraints: 53498
396.75/397.76 c #Conflicts: 301000 | #Constraints: 54498
396.75/397.76 c #Conflicts: 302000 | #Constraints: 55498
396.75/397.76 c #Conflicts: 303000 | #Constraints: 56498
396.75/397.76 c #Conflicts: 304000 | #Constraints: 57498
396.75/397.76 c #Conflicts: 305000 | #Constraints: 58498
396.75/397.76 c #Conflicts: 306000 | #Constraints: 59498
396.75/397.76 c #Conflicts: 307000 | #Constraints: 60498
396.75/397.76 c #Conflicts: 308000 | #Constraints: 61498
396.75/397.76 c INPROCESSING
396.75/397.76 c GARBAGE COLLECT
396.75/397.76 c #Conflicts: 309000 | #Constraints: 35735
396.75/397.76 c #Conflicts: 310000 | #Constraints: 36735
396.75/397.76 c #Conflicts: 311000 | #Constraints: 37735
396.75/397.76 c #Conflicts: 312000 | #Constraints: 38735
396.75/397.76 c #Conflicts: 313000 | #Constraints: 39735
396.75/397.76 c #Conflicts: 314000 | #Constraints: 40735
396.75/397.76 c #Conflicts: 315000 | #Constraints: 41735
396.75/397.76 c #Conflicts: 316000 | #Constraints: 42735
396.75/397.76 c #Conflicts: 317000 | #Constraints: 43735
396.75/397.76 c #Conflicts: 318000 | #Constraints: 44735
396.75/397.76 c #Conflicts: 319000 | #Constraints: 45735
396.75/397.76 c #Conflicts: 320000 | #Constraints: 46735
396.75/397.76 c #Conflicts: 321000 | #Constraints: 47735
396.75/397.76 c INPROCESSING
396.75/397.76 c GARBAGE COLLECT
396.75/397.76 c rational objective 1.22008e-13
412.12/413.16 c #Conflicts: 322000 | #Constraints: 28383
412.12/413.16 c #Conflicts: 323000 | #Constraints: 29383
412.12/413.16 c #Conflicts: 324000 | #Constraints: 30383
412.12/413.16 c #Conflicts: 325000 | #Constraints: 31383
412.12/413.16 c #Conflicts: 326000 | #Constraints: 32383
412.12/413.16 c #Conflicts: 327000 | #Constraints: 33383
412.12/413.16 c #Conflicts: 328000 | #Constraints: 34383
412.12/413.16 c #Conflicts: 329000 | #Constraints: 35383
412.12/413.16 c #Conflicts: 330000 | #Constraints: 36383
412.12/413.16 c #Conflicts: 331000 | #Constraints: 37383
412.12/413.16 c #Conflicts: 332000 | #Constraints: 38383
412.12/413.16 c #Conflicts: 333000 | #Constraints: 39383
412.12/413.16 c #Conflicts: 334000 | #Constraints: 40383
412.12/413.16 c #Conflicts: 335000 | #Constraints: 41383
412.12/413.16 c #Conflicts: 336000 | #Constraints: 42384
412.12/413.16 c INPROCESSING
412.12/413.16 c GARBAGE COLLECT
412.12/413.16 c rational objective 1.22008e-13
432.87/433.92 c #Conflicts: 337000 | #Constraints: 27247
432.87/433.92 c #Conflicts: 338000 | #Constraints: 28247
432.87/433.92 c #Conflicts: 339000 | #Constraints: 29247
432.87/433.92 c #Conflicts: 340000 | #Constraints: 30247
432.87/433.92 c #Conflicts: 341000 | #Constraints: 31247
432.87/433.92 c #Conflicts: 342000 | #Constraints: 32247
432.87/433.92 c #Conflicts: 343000 | #Constraints: 33247
432.87/433.92 c #Conflicts: 344000 | #Constraints: 34247
432.87/433.92 c #Conflicts: 345000 | #Constraints: 35247
432.87/433.92 c #Conflicts: 346000 | #Constraints: 36247
432.87/433.92 c #Conflicts: 347000 | #Constraints: 37247
432.87/433.92 c #Conflicts: 348000 | #Constraints: 38247
432.87/433.92 c #Conflicts: 349000 | #Constraints: 39247
432.87/433.92 c #Conflicts: 350000 | #Constraints: 40247
432.87/433.92 c #Conflicts: 351000 | #Constraints: 41247
432.87/433.92 c #Conflicts: 352000 | #Constraints: 42247
432.87/433.92 c #Conflicts: 353000 | #Constraints: 43247
432.87/433.92 c #Conflicts: 354000 | #Constraints: 44247
432.87/433.92 c #Conflicts: 355000 | #Constraints: 45247
432.87/433.92 c #Conflicts: 356000 | #Constraints: 46247
432.87/433.92 WSVECS04 Frhs2[2]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[5]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[34]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[36]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[40]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[41]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[96]: 6 -2.75069 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[98]: 6 -2.4688 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[101]: 6 -4.97466 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[102]: 6 -4.94928 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[103]: 6 -5.89852 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[104]: 6 -6.29693 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[107]: 6 -4.12509 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[108]: 6 -4.50002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[114]: 6 -5.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[118]: 6 -3.00034 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[122]: 6 -4.004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[189]: 6 -1.0048 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[191]: 6 -2.50006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[194]: 6 -3.00076 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[195]: 6 -3.00101 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[196]: 6 -10.8131 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[197]: 6 -2.50307 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[200]: 6 -7.00035 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[201]: 6 -3.00042 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[207]: 6 -3.00054 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[211]: 6 -3.00251 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[215]: 6 -3.00024 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[220]: 6 -2.00953 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[222]: 6 -2.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[225]: 6 -3.00157 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[226]: 6 -3.00202 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[227]: 6 -3.0031 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[228]: 6 -2.00606 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[231]: 6 -3.00138 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[232]: 6 -3.00083 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[238]: 6 -3.0011 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[242]: 6 -3.00496 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[246]: 6 -3.00044 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[313]: 6 -3.11978 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[315]: 6 -3.04154 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[318]: 6 -4.01196 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[319]: 6 -3.01606 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[320]: 6 -3.02417 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[321]: 6 -1.04825 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[324]: 6 -3.01097 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[325]: 6 -3.00624 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[331]: 6 -3.00847 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[335]: 6 -3.03932 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[339]: 6 -3.00304 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[592]: 6 -1.25827 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[594]: 6 -2.50004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[597]: 6 -9.08711 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[598]: 6 -11.1743 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[599]: 6 -7.19766 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[656]: 6 -3.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[659]: 6 -2.62502 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[660]: 6 -2.96882 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[661]: 6 -2.99911 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[716]: 6 -2.50004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[718]: 6 -3.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[721]: 6 -1.50002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[722]: 6 -2.87501 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[723]: 6 -2.99615 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[747]: 6 -2.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[749]: 6 -3.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[753]: 6 -2.75008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[754]: 6 -2.99219 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[811]: 6 -3.00006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[814]: 6 -2.74999 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[815]: 6 -2.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[816]: 6 -2.96863 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[842]: 6 -3.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[845]: 6 -2.5 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[846]: 6 -0.999893 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[847]: 6 -2.93728 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[902]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[904]: 6 -3 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[907]: 6 -2.9998 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[908]: 6 -2.99948 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[909]: 6 -2.74899 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[997]: 6 -2.99978 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1000]: 6 -2.99788 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1001]: 6 -2.99575 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1002]: 6 -2.9915 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1027]: 6 0 2.50003 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1071]: 6 0 3.99988 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1075]: 6 0 3.99974 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1100]: 6 0 6.99941 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1166]: 6 0 2.9981 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1170]: 6 0 2.49225 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1310]: 6 0 1.50009 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1320]: 6 0 1.87509 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1352]: 6 0 4.20321 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1370]: 6 0 2.75006 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1447]: 6 0 2.6422 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1478]: 6 0 3.0687 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1810]: 6 -2.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1957]: 6 0 2.03127 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1972]: 6 0 2.00007 shouldn't be
432.87/433.92 WSVECS04 Frhs2[1976]: 6 0 1.75007 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2001]: 6 0 4.00003 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2005]: 6 0 4.00005 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2028]: 6 0 4.00001 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2030]: 6 0 7.00006 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2041]: 6 0 2.00784 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2056]: 6 0 4.99979 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2057]: 6 0 5.99994 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2063]: 6 0 8.00004 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2163]: 6 0 0.500037 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2250]: 6 0 2.0001 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2253]: 6 0 3.00008 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2282]: 6 0 4.99932 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2300]: 6 0 2.98442 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2345]: 6 0 2.95922 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2366]: 6 0 2.98445 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2376]: 6 0 3.33654 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2377]: 6 0 2.79807 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2383]: 6 0 3.0001 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2408]: 6 0 3.69224 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2413]: 6 0 6.15052 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2426]: 6 0 2.93755 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2446]: 6 0 2.40828 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2508]: 6 0 2.52855 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2540]: 6 0 2.23555 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2576]: 6 0 1.0001 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2606]: 6 0 2.25006 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2620]: 6 -5.87501 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2631]: 6 0 3.83066 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2632]: 6 0 3.56752 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2635]: 6 0 3.75005 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2832]: 6 -2.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2917]: 6 -0.750027 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2919]: 6 -1.50007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2921]: 6 -1.53714 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2939]: 6 -1.28108 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2951]: 6 -0.999932 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2964]: 6 -0.999935 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2981]: 6 -3.00022 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2984]: 6 -3.29682 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2987]: 6 -2.62456 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2992]: 6 -2.99984 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[2994]: 6 -1.99956 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3001]: 6 -2.12435 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3005]: 6 -1.00774 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3010]: 6 -2.50004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3014]: 6 -0.999889 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3018]: 6 -2.49899 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3022]: 6 -0.999989 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3036]: 6 -1.01551 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3041]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3042]: 6 -0.989041 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3044]: 6 -0.999118 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3046]: 6 -0.999797 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3049]: 6 -3.99797 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3050]: 6 -5.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3061]: 6 -1.99905 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3062]: 6 -1.99811 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3064]: 6 -1.99228 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3071]: 6 0 0.130579 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3072]: 6 -0.750087 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3074]: 6 -2.00133 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3075]: 6 -0.998061 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3076]: 6 -0.999564 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3080]: 6 -0.99596 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3081]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3083]: 6 -0.999096 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3085]: 6 -0.999549 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3097]: 6 -1.98439 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3098]: 6 -1.06182 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3104]: 6 -0.955843 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3105]: 6 -0.99223 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3106]: 6 -0.996131 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3108]: 6 -0.999072 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3111]: 6 -0.991878 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3116]: 6 -0.999099 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3118]: 6 -1.99224 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3121]: 6 -0.999098 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3122]: 6 -0.998087 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3125]: 6 -1.9844 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3128]: 6 -1.96883 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3136]: 6 -0.984471 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3140]: 6 -0.998079 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3142]: 6 -3.98446 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3146]: 6 -0.999115 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3147]: 6 -0.998121 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3152]: 6 -0.998137 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3170]: 6 -0.996108 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3171]: 6 -0.996146 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3178]: 6 -0.996171 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3183]: 6 -0.996116 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3191]: 6 -1.49416 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3200]: 6 -0.992202 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3204]: 6 -0.750099 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3209]: 6 -0.992266 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3214]: 6 -0.992203 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3219]: 6 -1.75006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3230]: 6 -0.937529 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3233]: 6 -0.984434 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3235]: 6 -0.500042 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3238]: 6 -0.968808 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3240]: 6 -0.984467 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3244]: 6 -0.99226 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3250]: 6 -1.50001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3252]: 6 -0.750066 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3254]: 6 -0.203224 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3260]: 6 -0.750016 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3262]: 6 -0.968783 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3268]: 6 -2.04951 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3269]: 6 -0.937556 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3271]: 6 -0.968778 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3273]: 6 -1.75005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3278]: 6 -1.87504 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3290]: 6 -0.500088 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3292]: 6 -0.750055 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3295]: 6 -0.937547 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3298]: 6 -0.950623 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3299]: 6 -0.500088 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3300]: 6 -0.875027 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3302]: 6 -0.93754 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3308]: 6 -0.875026 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3320]: 6 -1.92309 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3323]: 6 -0.500094 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3325]: 6 -0.875043 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3329]: 6 -0.500091 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3331]: 6 -0.750077 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3332]: 6 -0.937581 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3338]: 6 -0.875045 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3353]: 6 -1.64225 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3356]: 6 -0.75004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3357]: 6 -0.750056 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3388]: 6 -0.500049 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3416]: 6 -3.1374 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3451]: 6 -1.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3452]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3453]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3454]: 6 -1.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3475]: 6 -3.96734 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3505]: 6 0 0.967377 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3507]: 6 -1.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3515]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3540]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3546]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3547]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3570]: 6 -1.00006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3577]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3578]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3609]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3630]: 6 -3.95321 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3633]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3661]: 6 -3.75004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3667]: 6 -3.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3669]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3693]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3695]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3699]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3723]: 6 -2.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3725]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3729]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3785]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3786]: 6 -1.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3791]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3871]: 6 -0.437286 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3878]: 6 -0.992276 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3880]: 6 -0.531307 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3881]: 6 -1.50004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3882]: 6 -2.45023 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3912]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3925]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3941]: 6 -0.995334 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3942]: 6 -0.125012 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3945]: 6 -2.60138 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3955]: 6 -2.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3962]: 6 -2.12558 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3975]: 6 -1.99894 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3980]: 6 -3.75002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3983]: 6 -0.999974 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3992]: 6 -2.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[3997]: 6 -1.01568 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4002]: 6 -0.875041 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4003]: 6 -0.981161 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4011]: 6 -5.50005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4012]: 6 -2.00032 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4017]: 6 -1.9999 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4025]: 6 -2.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4026]: 6 -2.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4033]: 6 -0.750039 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4035]: 6 -2.00138 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4036]: 6 -0.998137 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4039]: 6 -0.999555 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4041]: 6 -0.992107 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4042]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4044]: 6 -0.999038 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4046]: 6 -0.999827 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4052]: 6 -1.00007 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4058]: 6 -2.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4059]: 6 -1.06258 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4065]: 6 -0.924536 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4066]: 6 -0.992277 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4067]: 6 -0.996156 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4069]: 6 -0.999062 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4072]: 6 -0.984139 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4074]: 6 -2.00122 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4076]: 6 -0.999594 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4077]: 6 -0.999611 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4079]: 6 -1.99953 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4082]: 6 -1.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4083]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4085]: 6 -1.99995 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4086]: 6 -2 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4089]: 6 -2.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4100]: 6 -0.998131 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4101]: 6 -0.998071 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4103]: 6 -0.968215 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4113]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4120]: 6 -2.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4121]: 6 -1.25 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4131]: 6 -0.996108 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4139]: 6 -0.998062 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4144]: 6 -0.999989 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4161]: 6 -0.992205 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4165]: 6 -0.750085 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4175]: 6 -0.999948 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4191]: 6 -0.937587 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4199]: 6 -0.968808 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4204]: 6 -0.999611 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4211]: 6 -1.49961 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4215]: 6 -0.999316 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4221]: 6 -0.750066 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4224]: 6 -0.968819 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4234]: 6 -1.98446 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4241]: 6 -0.500073 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4251]: 6 -0.500059 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4256]: 6 -0.93754 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4269]: 6 -0.999114 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4281]: 6 -1.95916 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4284]: 6 -0.500081 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4291]: 6 -1.15055 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4299]: 6 -0.998085 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4303]: 6 -1.99813 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4305]: 6 -0.999074 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4314]: 6 -1.79811 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4318]: 6 -0.750098 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4331]: 6 -0.996132 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4334]: 6 -1.99618 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4347]: 6 -0.50008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4361]: 6 -0.992214 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4364]: 6 -1.93757 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4374]: 6 -2.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4377]: 6 -4.38444 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4391]: 6 -0.968828 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4414]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4415]: 6 -0.999803 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4416]: 6 -1.81659 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4427]: 6 -1.96881 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4428]: 6 -1.93751 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4436]: 6 -1.03275 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4449]: 6 -1.52854 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4454]: 6 -0.937587 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4455]: 6 -0.937536 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4457]: 6 -1.50006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4459]: 6 -1.87504 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4471]: 6 -0.875027 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4472]: 6 -1.73439 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4474]: 6 -1.00202 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4476]: 6 -1.00002 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4478]: 6 -1.00199 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4479]: 6 -1.0001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4482]: 6 -1.23553 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4483]: 6 -0.750098 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4485]: 6 -0.875013 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4501]: 6 -0.882885 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4507]: 6 -1.0001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4508]: 6 -0.998102 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4514]: 6 -0.500026 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4517]: 6 -0.750054 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4529]: 6 -1.26178 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4538]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4539]: 6 -0.996155 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4540]: 6 -1.00791 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4543]: 6 -0.992269 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4547]: 6 -0.500052 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4548]: 6 -0.500083 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4561]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4563]: 6 -0.53133 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4565]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4569]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4570]: 6 -0.992242 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4577]: 6 -2.56758 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4591]: 6 -2.04693 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4594]: 6 -0.062593 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4598]: 6 -1.0313 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4599]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4601]: 6 -0.984402 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4602]: 6 -1.03135 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4604]: 6 -0.98446 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4607]: 6 -1.09369 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4609]: 6 -4.39463 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4622]: 6 -1.25009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4629]: 6 -1.06257 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4636]: 6 -0.937543 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4637]: 6 -0.875013 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4653]: 6 -1.50008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4656]: 6 -0.937596 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4664]: 6 -1.12506 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4665]: 6 -1.00009 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4667]: 6 -0.875084 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4670]: 6 -2.75099 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4684]: 6 -2.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4686]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4690]: 6 -0.875091 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4693]: 6 -1.00001 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4694]: 6 -0.875035 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4697]: 6 -0.875212 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4723]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4724]: 6 -1.00006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4725]: 6 -0.750111 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4726]: 6 -1.50003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4727]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4750]: 6 -2.00006 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4759]: 6 -0.500557 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4762]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4777]: 6 -4.00003 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4785]: 6 -1.00005 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4786]: 6 -1.00008 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4894]: 6 -1.00004 0 shouldn't be
432.87/433.92 WSVECS04 Frhs2[4908]: 6 -1.00008 0 shouldn't be
434.77/435.90 WSVECS04 Frhs2[2]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[5]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[6]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[34]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[36]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[39]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[40]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[41]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[96]: 6 -2.75059 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[98]: 6 -2.46875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[101]: 6 -4.97461 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[102]: 6 -4.94922 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[103]: 6 -5.89844 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[104]: 6 -6.29688 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[107]: 6 -4.125 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[108]: 6 -4.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[114]: 6 -5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[118]: 6 -3.00031 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[122]: 6 -4.00391 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[189]: 6 -1.00472 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[191]: 6 -2.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[194]: 6 -3.00074 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[195]: 6 -3.001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[196]: 6 -10.813 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[197]: 6 -2.50302 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[200]: 6 -7.00029 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[201]: 6 -3.00038 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[207]: 6 -3.00053 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[211]: 6 -3.00246 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[215]: 6 -3.00019 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[220]: 6 -2.00944 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[222]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[225]: 6 -3.00149 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[226]: 6 -3.002 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[227]: 6 -3.00302 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[228]: 6 -2.00603 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[231]: 6 -3.00136 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[232]: 6 -3.00077 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[238]: 6 -3.00105 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[242]: 6 -3.00491 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[246]: 6 -3.00037 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[313]: 6 -3.11976 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[315]: 6 -3.04153 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[318]: 6 -4.01189 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[319]: 6 -3.01597 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[320]: 6 -3.02412 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[321]: 6 -1.04824 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[324]: 6 -3.01089 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[325]: 6 -3.00615 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[331]: 6 -3.00839 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[335]: 6 -3.03928 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[339]: 6 -3.00298 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[592]: 6 -1.25818 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[594]: 6 -2.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[597]: 6 -9.0871 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[598]: 6 -11.1742 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[599]: 6 -7.19764 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[656]: 6 -3 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[659]: 6 -2.625 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[660]: 6 -2.96875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[661]: 6 -2.99902 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[716]: 6 -2.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[718]: 6 -3 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[721]: 6 -1.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[722]: 6 -2.87499 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[723]: 6 -2.99608 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[747]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[749]: 6 -3 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[753]: 6 -2.74998 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[754]: 6 -2.99215 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[811]: 6 -3 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[814]: 6 -2.74997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[815]: 6 -1.99993 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[816]: 6 -2.96862 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[842]: 6 -2.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[845]: 6 -2.49993 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[846]: 6 -0.999866 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[847]: 6 -2.93723 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[902]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[904]: 6 -2.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[907]: 6 -2.99973 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[908]: 6 -2.99946 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[909]: 6 -2.74893 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[997]: 6 -2.99973 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1000]: 6 -2.99785 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1001]: 6 -2.9957 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1002]: 6 -2.9914 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1027]: 6 0 2.5 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1031]: 6 0 0.851563 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1170]: 6 0 2.49219 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1310]: 6 0 1.5 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1320]: 6 0 1.875 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1352]: 6 0 4.20313 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1370]: 6 0 2.75 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1415]: 6 0 2.923 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1478]: 6 0 3.06868 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1810]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1957]: 6 0 2.03125 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1972]: 6 0 2 shouldn't be
434.87/435.90 WSVECS04 Frhs2[1976]: 6 0 1.75 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2001]: 6 0 4 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2005]: 6 0 4 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2020]: 6 0 3.60135 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2028]: 6 0 3.99996 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2030]: 6 0 6.99997 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2040]: 6 0 1 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2041]: 6 0 2.00781 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2057]: 6 0 5.9999 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2063]: 6 0 8 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2066]: 6 0 2.99998 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2070]: 6 0 3.00781 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2082]: 6 0 15.623 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2100]: 6 0 2.5 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2163]: 6 0 0.5 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2250]: 6 0 2.00006 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2253]: 6 0 3 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2282]: 6 0 4.99927 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2300]: 6 0 2.98438 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2366]: 6 0 2.98438 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2376]: 6 0 3.33653 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2413]: 6 0 6.1505 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2426]: 6 0 2.9375 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2446]: 6 0 2.40827 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2508]: 6 0 2.52846 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2540]: 6 0 2.2355 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2576]: 6 0 1 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2606]: 6 0 2.25 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2620]: 6 -5.87498 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2631]: 6 0 3.83057 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2632]: 6 0 3.56751 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2635]: 6 0 3.75 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2832]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2890]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2917]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2919]: 6 -1.50004 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2921]: 6 -1.53708 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2939]: 6 -1.28107 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2951]: 6 -0.999879 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2964]: 6 -0.999879 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2980]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2981]: 6 -3.00016 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2984]: 6 -3.29672 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2987]: 6 -2.62449 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2992]: 6 -2.99978 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[2994]: 6 -1.99951 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3001]: 6 -2.12426 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3010]: 6 -2.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3014]: 6 -0.999879 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3018]: 6 -2.49898 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3022]: 6 -0.999939 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3026]: 6 -0.999512 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3036]: 6 -1.01544 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3041]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3042]: 6 -0.988945 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3044]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3045]: 6 -0.999756 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3046]: 6 -0.999757 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3049]: 6 -3.99795 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3050]: 6 -5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3056]: 6 -1.99805 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3061]: 6 -1.99902 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3062]: 6 -1.99805 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3064]: 6 -1.99219 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3071]: 6 0 0.130528 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3072]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3074]: 6 -2.00125 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3075]: 6 -0.998048 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3080]: 6 -0.995901 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3081]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3083]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3085]: 6 -0.999512 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3091]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3097]: 6 -1.98438 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3098]: 6 -1.06177 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3105]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3106]: 6 -0.996095 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3108]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3111]: 6 -0.991802 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3116]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3121]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3122]: 6 -0.998048 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3125]: 6 -1.98438 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3128]: 6 -1.96875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3136]: 6 -0.984375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3140]: 6 -0.998047 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3142]: 6 -3.98438 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3146]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3147]: 6 -0.998047 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3152]: 6 -0.998048 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3170]: 6 -0.996095 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3171]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3178]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3183]: 6 -0.996095 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3191]: 6 -1.49414 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3204]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3209]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3214]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3219]: 6 -1.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3235]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3238]: 6 -0.96875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3239]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3240]: 6 -0.984376 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3244]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3252]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3254]: 6 -0.203127 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3260]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3262]: 6 -0.968751 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3268]: 6 -2.04947 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3269]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3271]: 6 -0.96875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3273]: 6 -1.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3278]: 6 -1.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3290]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3292]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3293]: 6 -0.937501 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3295]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3298]: 6 -0.950531 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3299]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3302]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3308]: 6 -0.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3320]: 6 -1.923 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3323]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3325]: 6 -0.875001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3329]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3331]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3332]: 6 -0.937501 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3338]: 6 -0.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3353]: 6 -1.64217 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3356]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3357]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3383]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3388]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3413]: 6 -1.74182 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3416]: 6 -3.13737 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3445]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3452]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3454]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3475]: 6 -3.96729 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3505]: 6 0 0.967286 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3514]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3515]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3537]: 6 -1.36914 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3546]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3547]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3570]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3575]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3577]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3578]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3609]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3630]: 6 -3.95313 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3632]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3637]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3661]: 6 -3.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3663]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3669]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3692]: 6 -1.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3693]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3699]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3723]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3725]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3729]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3755]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3785]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3791]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3816]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3819]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3871]: 6 -0.437256 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3878]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3881]: 6 -1.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3882]: 6 -2.4502 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3900]: 6 -1.28137 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3912]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3925]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3942]: 6 -0.125 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3953]: 6 -2.99996 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3955]: 6 -1.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3971]: 6 -0.937501 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3972]: 6 -0.990559 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3975]: 6 -1.9989 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3980]: 6 -3.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3992]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[3997]: 6 -1.01562 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4002]: 6 -0.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4003]: 6 -0.981117 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4006]: 6 -0.999757 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4007]: 6 -0.999756 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4011]: 6 -5.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4012]: 6 -2.00029 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4017]: 6 -1.99988 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4023]: 6 -1.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4025]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4035]: 6 -2.00131 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4036]: 6 -0.998047 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4039]: 6 -0.999513 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4041]: 6 -0.992041 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4042]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4044]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4046]: 6 -0.999756 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4052]: 6 -0.999993 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4058]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4059]: 6 -1.06249 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4065]: 6 -0.924467 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4066]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4067]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4072]: 6 -0.984081 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4074]: 6 -2.00118 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4077]: 6 -0.999512 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4079]: 6 -1.99951 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4085]: 6 -1.99988 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4086]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4089]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4097]: 6 -0.984376 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4101]: 6 -0.998048 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4103]: 6 -0.968163 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4113]: 6 -0.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4114]: 6 -0.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4120]: 6 -1.99999 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4132]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4152]: 6 -1.49991 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4163]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4165]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4175]: 6 -0.999878 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4181]: 6 -1.99997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4194]: 6 -0.984375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4196]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4215]: 6 -0.999267 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4221]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4234]: 6 -1.98438 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4241]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4253]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4256]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4269]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4284]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4286]: 6 -0.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4291]: 6 -1.1505 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4299]: 6 -0.998047 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4303]: 6 -1.99805 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4305]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4314]: 6 -1.79805 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4317]: 6 -0.75 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4318]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4331]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4334]: 6 -1.99609 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4349]: 6 -0.500001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4361]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4364]: 6 -1.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4374]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4377]: 6 -4.38441 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4391]: 6 -0.968751 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4415]: 6 -0.999756 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4416]: 6 -1.81655 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4421]: 6 -0.937501 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4427]: 6 -1.96875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4428]: 6 -1.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4436]: 6 -1.03272 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4455]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4457]: 6 -1.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4459]: 6 -1.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4471]: 6 -0.875001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4473]: 6 -0.999024 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4476]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4478]: 6 -1.00195 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4479]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4482]: 6 -1.23551 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4485]: 6 -0.875 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4499]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4507]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4508]: 6 -0.998048 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4514]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4517]: 6 -0.750001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4538]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4539]: 6 -0.996094 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4540]: 6 -1.00781 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4543]: 6 -0.992188 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4547]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4548]: 6 -0.5 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4565]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4569]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4576]: 6 -2.83057 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4577]: 6 -2.56751 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4594]: 6 -0.0625092 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4599]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4601]: 6 -0.984377 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4602]: 6 -1.03125 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4604]: 6 -0.984391 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4606]: 6 -0.9375 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4607]: 6 -1.09363 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4609]: 6 -4.39455 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4628]: 6 -0.968751 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4632]: 6 -0.968754 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4634]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4637]: 6 -0.875001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4659]: 6 -0.937501 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4660]: 6 -1.125 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4664]: 6 -1.12499 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4665]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4667]: 6 -0.875001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4670]: 6 -2.75098 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4690]: 6 -0.875001 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4693]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4694]: 6 -0.875016 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4697]: 6 -0.875122 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4716]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4723]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4724]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4725]: 6 -0.750031 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4726]: 6 -1.49994 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4727]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4746]: 6 -2.49997 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4747]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4750]: 6 -2 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4752]: 6 -0.500004 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4759]: 6 -0.500489 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4762]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4777]: 6 -3.99993 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4780]: 6 -1.80796e-06 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4785]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4786]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4894]: 6 -1 0 shouldn't be
434.87/435.90 WSVECS04 Frhs2[4908]: 6 -1 0 shouldn't be
551.80/553.18 c #Conflicts: 357000 | #Constraints: 47247
551.80/553.18 c #Conflicts: 358000 | #Constraints: 48247
551.80/553.18 c #Conflicts: 359000 | #Constraints: 49247
551.80/553.18 c #Conflicts: 360000 | #Constraints: 50247
551.80/553.18 c #Conflicts: 361000 | #Constraints: 51247
551.80/553.18 c #Conflicts: 362000 | #Constraints: 52247
551.80/553.18 c #Conflicts: 363000 | #Constraints: 53247
551.80/553.18 c #Conflicts: 364000 | #Constraints: 54247
551.80/553.18 c #Conflicts: 365000 | #Constraints: 55247
551.80/553.18 c #Conflicts: 366000 | #Constraints: 56247
551.80/553.18 c #Conflicts: 367000 | #Constraints: 57247
551.80/553.18 c #Conflicts: 368000 | #Constraints: 58247
551.80/553.18 c #Conflicts: 369000 | #Constraints: 59247
551.80/553.18 c #Conflicts: 370000 | #Constraints: 60247
551.80/553.18 c #Conflicts: 371000 | #Constraints: 61247
551.80/553.18 c #Conflicts: 372000 | #Constraints: 62247
551.80/553.18 c #Conflicts: 373000 | #Constraints: 63247
551.80/553.18 c #Conflicts: 374000 | #Constraints: 64247
551.80/553.18 c #Conflicts: 375000 | #Constraints: 65247
551.80/553.18 c #Conflicts: 376000 | #Constraints: 66247
551.80/553.18 c #Conflicts: 377000 | #Constraints: 67247
551.80/553.18 c #Conflicts: 378000 | #Constraints: 68247
551.80/553.18 c INPROCESSING
551.80/553.18 c GARBAGE COLLECT
551.80/553.18 c #Conflicts: 379000 | #Constraints: 38944
551.80/553.18 c #Conflicts: 380000 | #Constraints: 39944
551.80/553.18 c #Conflicts: 381000 | #Constraints: 40944
551.80/553.18 c #Conflicts: 382000 | #Constraints: 41944
551.80/553.18 c #Conflicts: 383000 | #Constraints: 42944
551.80/553.18 c #Conflicts: 384000 | #Constraints: 43944
551.80/553.18 c #Conflicts: 385000 | #Constraints: 44944
551.80/553.18 c #Conflicts: 386000 | #Constraints: 45944
551.80/553.18 c #Conflicts: 387000 | #Constraints: 46944
551.80/553.18 c #Conflicts: 388000 | #Constraints: 47944
551.80/553.18 c #Conflicts: 389000 | #Constraints: 48944
551.80/553.18 c #Conflicts: 390000 | #Constraints: 49944
551.80/553.18 c #Conflicts: 391000 | #Constraints: 50944
551.80/553.18 c #Conflicts: 392000 | #Constraints: 51944
551.80/553.18 c #Conflicts: 393000 | #Constraints: 52944
551.80/553.18 c INPROCESSING
551.80/553.18 c GARBAGE COLLECT
551.80/553.18 c #Conflicts: 394000 | #Constraints: 31266
551.80/553.18 c #Conflicts: 395000 | #Constraints: 32266
551.80/553.18 c #Conflicts: 396000 | #Constraints: 33266
551.80/553.18 c #Conflicts: 397000 | #Constraints: 34266
551.80/553.18 c #Conflicts: 398000 | #Constraints: 35266
551.80/553.18 c #Conflicts: 399000 | #Constraints: 36266
551.80/553.18 c #Conflicts: 400000 | #Constraints: 37266
551.80/553.18 c #Conflicts: 401000 | #Constraints: 38266
551.80/553.18 c #Conflicts: 402000 | #Constraints: 39266
551.80/553.18 c #Conflicts: 403000 | #Constraints: 40266
551.80/553.18 c #Conflicts: 404000 | #Constraints: 41266
551.80/553.18 c #Conflicts: 405000 | #Constraints: 42266
551.80/553.18 c #Conflicts: 406000 | #Constraints: 43266
551.80/553.18 c #Conflicts: 407000 | #Constraints: 44266
551.80/553.18 c #Conflicts: 408000 | #Constraints: 45266
551.80/553.18 c #Conflicts: 409000 | #Constraints: 46266
551.80/553.18 c #Conflicts: 410000 | #Constraints: 47266
551.80/553.18 c #Conflicts: 411000 | #Constraints: 48266
551.80/553.18 c #Conflicts: 412000 | #Constraints: 49266
551.80/553.18 c #Conflicts: 413000 | #Constraints: 50266
551.80/553.18 c #Conflicts: 414000 | #Constraints: 51266
551.80/553.18 c #Conflicts: 415000 | #Constraints: 52266
551.80/553.18 c #Conflicts: 416000 | #Constraints: 53266
551.80/553.18 c #Conflicts: 417000 | #Constraints: 54266
551.80/553.18 c #Conflicts: 418000 | #Constraints: 55266
551.80/553.18 c #Conflicts: 419000 | #Constraints: 56266
551.80/553.18 c #Conflicts: 420000 | #Constraints: 57266
551.80/553.18 c #Conflicts: 421000 | #Constraints: 58266
551.80/553.18 c #Conflicts: 422000 | #Constraints: 59266
551.80/553.18 c #Conflicts: 423000 | #Constraints: 60266
551.80/553.18 c #Conflicts: 424000 | #Constraints: 61266
551.80/553.18 c #Conflicts: 425000 | #Constraints: 62266
551.80/553.18 c #Conflicts: 426000 | #Constraints: 63266
551.80/553.18 c #Conflicts: 427000 | #Constraints: 64266
551.80/553.18 c #Conflicts: 428000 | #Constraints: 65266
551.80/553.18 c #Conflicts: 429000 | #Constraints: 66266
551.80/553.18 c #Conflicts: 430000 | #Constraints: 67266
551.80/553.18 c #Conflicts: 431000 | #Constraints: 68266
551.80/553.18 c #Conflicts: 432000 | #Constraints: 69266
551.80/553.18 c #Conflicts: 433000 | #Constraints: 70266
551.80/553.18 c #Conflicts: 434000 | #Constraints: 71266
564.06/565.47 c #Conflicts: 435000 | #Constraints: 72266
564.06/565.47 c #Conflicts: 436000 | #Constraints: 73266
564.06/565.47 c #Conflicts: 437000 | #Constraints: 74266
564.06/565.47 c #Conflicts: 438000 | #Constraints: 75266
564.06/565.47 c INPROCESSING
564.06/565.47 c GARBAGE COLLECT
564.06/565.47 c rational objective 0
695.24/696.98 c #Conflicts: 439000 | #Constraints: 42176
695.24/696.98 c #Conflicts: 440000 | #Constraints: 43176
695.24/696.98 c #Conflicts: 441000 | #Constraints: 44176
695.24/696.98 c #Conflicts: 442000 | #Constraints: 45176
695.24/696.98 c #Conflicts: 443000 | #Constraints: 46176
695.24/696.98 c #Conflicts: 444000 | #Constraints: 47176
695.24/696.98 c #Conflicts: 445000 | #Constraints: 48176
695.24/696.98 c #Conflicts: 446000 | #Constraints: 49176
695.24/696.98 c #Conflicts: 447000 | #Constraints: 50176
695.24/696.98 c #Conflicts: 448000 | #Constraints: 51176
695.24/696.98 c #Conflicts: 449000 | #Constraints: 52176
695.24/696.98 c #Conflicts: 450000 | #Constraints: 53176
695.24/696.98 c #Conflicts: 451000 | #Constraints: 54176
695.24/696.98 c #Conflicts: 452000 | #Constraints: 55176
695.24/696.98 c #Conflicts: 453000 | #Constraints: 56176
695.24/696.98 c #Conflicts: 454000 | #Constraints: 57176
695.24/696.98 c #Conflicts: 455000 | #Constraints: 58176
695.24/696.98 c INPROCESSING
695.24/696.98 c GARBAGE COLLECT
695.24/696.98 c rational objective 0
1015.68/1018.15 c #Conflicts: 456000 | #Constraints: 33787
1015.68/1018.15 c #Conflicts: 457000 | #Constraints: 34787
1015.68/1018.15 c #Conflicts: 458000 | #Constraints: 35787
1015.68/1018.15 c #Conflicts: 459000 | #Constraints: 36787
1015.68/1018.15 c #Conflicts: 460000 | #Constraints: 37787
1015.68/1018.15 c #Conflicts: 461000 | #Constraints: 38787
1015.68/1018.15 c #Conflicts: 462000 | #Constraints: 39787
1015.68/1018.15 c #Conflicts: 463000 | #Constraints: 40787
1015.68/1018.15 c #Conflicts: 464000 | #Constraints: 41787
1015.68/1018.15 c #Conflicts: 465000 | #Constraints: 42787
1015.68/1018.15 c #Conflicts: 466000 | #Constraints: 43787
1015.68/1018.15 c #Conflicts: 467000 | #Constraints: 44787
1015.68/1018.15 c #Conflicts: 468000 | #Constraints: 45787
1015.68/1018.15 c #Conflicts: 469000 | #Constraints: 46787
1015.68/1018.15 c #Conflicts: 470000 | #Constraints: 47787
1015.68/1018.15 c #Conflicts: 471000 | #Constraints: 48787
1015.68/1018.15 c #Conflicts: 472000 | #Constraints: 49787
1015.68/1018.15 c #Conflicts: 473000 | #Constraints: 50787
1015.68/1018.15 c #Conflicts: 474000 | #Constraints: 51787
1015.68/1018.15 c #Conflicts: 475000 | #Constraints: 52787
1015.68/1018.15 c #Conflicts: 476000 | #Constraints: 53787
1015.68/1018.15 c #Conflicts: 477000 | #Constraints: 54787
1015.68/1018.15 c #Conflicts: 478000 | #Constraints: 55787
1015.68/1018.15 c #Conflicts: 479000 | #Constraints: 56787
1015.68/1018.15 c #Conflicts: 480000 | #Constraints: 57787
1015.68/1018.15 c #Conflicts: 481000 | #Constraints: 58787
1015.68/1018.15 c #Conflicts: 482000 | #Constraints: 59787
1015.68/1018.15 c #Conflicts: 483000 | #Constraints: 60787
1015.68/1018.15 c #Conflicts: 484000 | #Constraints: 61787
1015.68/1018.15 c #Conflicts: 485000 | #Constraints: 62787
1015.68/1018.15 c #Conflicts: 486000 | #Constraints: 63787
1015.68/1018.15 c #Conflicts: 487000 | #Constraints: 64787
1015.68/1018.15 c #Conflicts: 488000 | #Constraints: 65787
1015.68/1018.15 c #Conflicts: 489000 | #Constraints: 66787
1015.68/1018.15 c #Conflicts: 490000 | #Constraints: 67787
1015.68/1018.15 c #Conflicts: 491000 | #Constraints: 68787
1015.68/1018.15 c #Conflicts: 492000 | #Constraints: 69787
1015.68/1018.15 c #Conflicts: 493000 | #Constraints: 70787
1015.68/1018.15 c #Conflicts: 494000 | #Constraints: 71787
1015.68/1018.15 c #Conflicts: 495000 | #Constraints: 72787
1015.68/1018.15 c #Conflicts: 496000 | #Constraints: 73787
1015.68/1018.15 c #Conflicts: 497000 | #Constraints: 74787
1015.68/1018.15 c #Conflicts: 498000 | #Constraints: 75787
1015.68/1018.15 c #Conflicts: 499000 | #Constraints: 76787
1015.68/1018.15 c #Conflicts: 500000 | #Constraints: 77787
1015.68/1018.15 c #Conflicts: 501000 | #Constraints: 78787
1015.68/1018.15 c #Conflicts: 502000 | #Constraints: 79787
1015.68/1018.15 c #Conflicts: 503000 | #Constraints: 80787
1015.68/1018.15 c #Conflicts: 504000 | #Constraints: 81787
1015.68/1018.15 c INPROCESSING
1015.68/1018.15 c GARBAGE COLLECT
1015.68/1018.15 c rational objective 1.22008e-13
1045.30/1047.89 c #Conflicts: 505000 | #Constraints: 45940
1045.30/1047.89 c #Conflicts: 506000 | #Constraints: 46940
1045.30/1047.89 c #Conflicts: 507000 | #Constraints: 47940
1045.30/1047.89 c #Conflicts: 508000 | #Constraints: 48940
1045.30/1047.89 c #Conflicts: 509000 | #Constraints: 49940
1045.30/1047.89 c #Conflicts: 510000 | #Constraints: 50940
1045.30/1047.89 c #Conflicts: 511000 | #Constraints: 51940
1045.30/1047.89 c #Conflicts: 512000 | #Constraints: 52940
1045.30/1047.89 c #Conflicts: 513000 | #Constraints: 53941
1045.30/1047.89 c #Conflicts: 514000 | #Constraints: 54941
1045.30/1047.89 c #Conflicts: 515000 | #Constraints: 55941
1045.30/1047.89 c #Conflicts: 516000 | #Constraints: 56941
1045.30/1047.89 c #Conflicts: 517000 | #Constraints: 57941
1045.30/1047.89 c #Conflicts: 518000 | #Constraints: 58941
1045.30/1047.89 c #Conflicts: 519000 | #Constraints: 59941
1045.30/1047.89 c #Conflicts: 520000 | #Constraints: 60941
1045.30/1047.89 c #Conflicts: 521000 | #Constraints: 61941
1045.30/1047.89 c #Conflicts: 522000 | #Constraints: 62941
1045.30/1047.89 c INPROCESSING
1045.30/1047.89 c GARBAGE COLLECT
1045.30/1047.89 c rational objective 1.22008e-13
1187.97/1190.89 c #Conflicts: 523000 | #Constraints: 36516
1187.97/1190.89 c #Conflicts: 524000 | #Constraints: 37516
1187.97/1190.89 c #Conflicts: 525000 | #Constraints: 38516
1187.97/1190.89 c #Conflicts: 526000 | #Constraints: 39516
1187.97/1190.89 c #Conflicts: 527000 | #Constraints: 40516
1187.97/1190.89 c #Conflicts: 528000 | #Constraints: 41516
1187.97/1190.89 c #Conflicts: 529000 | #Constraints: 42516
1187.97/1190.89 c #Conflicts: 530000 | #Constraints: 43516
1187.97/1190.89 c #Conflicts: 531000 | #Constraints: 44516
1187.97/1190.89 c #Conflicts: 532000 | #Constraints: 45516
1187.97/1190.89 c #Conflicts: 533000 | #Constraints: 46516
1187.97/1190.89 c #Conflicts: 534000 | #Constraints: 47516
1187.97/1190.89 c #Conflicts: 535000 | #Constraints: 48516
1187.97/1190.89 c #Conflicts: 536000 | #Constraints: 49516
1187.97/1190.89 c #Conflicts: 537000 | #Constraints: 50516
1187.97/1190.89 c #Conflicts: 538000 | #Constraints: 51516
1187.97/1190.89 c #Conflicts: 539000 | #Constraints: 52516
1187.97/1190.89 c #Conflicts: 540000 | #Constraints: 53516
1187.97/1190.89 c #Conflicts: 541000 | #Constraints: 54516
1187.97/1190.89 c #Conflicts: 542000 | #Constraints: 55516
1187.97/1190.89 c #Conflicts: 543000 | #Constraints: 56516
1187.97/1190.89 c #Conflicts: 544000 | #Constraints: 57516
1187.97/1190.89 c #Conflicts: 545000 | #Constraints: 58516
1187.97/1190.89 c #Conflicts: 546000 | #Constraints: 59516
1187.97/1190.89 c #Conflicts: 547000 | #Constraints: 60516
1187.97/1190.89 c #Conflicts: 548000 | #Constraints: 61516
1187.97/1190.89 c #Conflicts: 549000 | #Constraints: 62516
1187.97/1190.89 c #Conflicts: 550000 | #Constraints: 63516
1187.97/1190.89 c #Conflicts: 551000 | #Constraints: 64516
1187.97/1190.89 c #Conflicts: 552000 | #Constraints: 65516
1187.97/1190.89 c #Conflicts: 553000 | #Constraints: 66516
1187.97/1190.89 c #Conflicts: 554000 | #Constraints: 67516
1187.97/1190.89 c #Conflicts: 555000 | #Constraints: 68516
1187.97/1190.89 c #Conflicts: 556000 | #Constraints: 69516
1187.97/1190.89 c #Conflicts: 557000 | #Constraints: 70516
1187.97/1190.89 c #Conflicts: 558000 | #Constraints: 71516
1187.97/1190.89 c #Conflicts: 559000 | #Constraints: 72516
1187.97/1190.89 c #Conflicts: 560000 | #Constraints: 73516
1187.97/1190.89 c #Conflicts: 561000 | #Constraints: 74516
1187.97/1190.89 c #Conflicts: 562000 | #Constraints: 75516
1187.97/1190.89 c #Conflicts: 563000 | #Constraints: 76516
1187.97/1190.89 c #Conflicts: 564000 | #Constraints: 77516
1187.97/1190.89 c #Conflicts: 565000 | #Constraints: 78516
1187.97/1190.89 c #Conflicts: 566000 | #Constraints: 79516
1187.97/1190.89 c #Conflicts: 567000 | #Constraints: 80516
1187.97/1190.89 c #Conflicts: 568000 | #Constraints: 81516
1187.97/1190.89 c #Conflicts: 569000 | #Constraints: 82516
1187.97/1190.89 c #Conflicts: 570000 | #Constraints: 83516
1187.97/1190.89 c #Conflicts: 571000 | #Constraints: 84516
1187.97/1190.89 c #Conflicts: 572000 | #Constraints: 85516
1187.97/1190.89 c #Conflicts: 573000 | #Constraints: 86516
1187.97/1190.89 c INPROCESSING
1187.97/1190.89 c GARBAGE COLLECT
1187.97/1190.89 c #Conflicts: 574000 | #Constraints: 48130
1187.97/1190.89 c #Conflicts: 575000 | #Constraints: 49130
1187.97/1190.89 c #Conflicts: 576000 | #Constraints: 50130
1187.97/1190.89 c #Conflicts: 577000 | #Constraints: 51130
1187.97/1190.89 c #Conflicts: 578000 | #Constraints: 52130
1187.97/1190.89 c #Conflicts: 579000 | #Constraints: 53130
1187.97/1190.89 c #Conflicts: 580000 | #Constraints: 54130
1187.97/1190.89 c #Conflicts: 581000 | #Constraints: 55130
1187.97/1190.89 c #Conflicts: 582000 | #Constraints: 56130
1187.97/1190.89 c #Conflicts: 583000 | #Constraints: 57130
1187.97/1190.89 c #Conflicts: 584000 | #Constraints: 58130
1187.97/1190.89 c #Conflicts: 585000 | #Constraints: 59130
1187.97/1190.89 c #Conflicts: 586000 | #Constraints: 60130
1187.97/1190.89 c #Conflicts: 587000 | #Constraints: 61130
1187.97/1190.89 c #Conflicts: 588000 | #Constraints: 62130
1187.97/1190.89 c #Conflicts: 589000 | #Constraints: 63130
1187.97/1190.89 c #Conflicts: 590000 | #Constraints: 64130
1187.97/1190.89 c #Conflicts: 591000 | #Constraints: 65130
1187.97/1190.89 c #Conflicts: 592000 | #Constraints: 66130
1187.97/1190.89 c INPROCESSING
1187.97/1190.89 c GARBAGE COLLECT
1187.97/1190.89 c #Conflicts: 593000 | #Constraints: 37772
1187.97/1190.89 c #Conflicts: 594000 | #Constraints: 38772
1187.97/1190.89 c #Conflicts: 595000 | #Constraints: 39772
1187.97/1190.89 c #Conflicts: 596000 | #Constraints: 40772
1187.97/1190.89 c #Conflicts: 597000 | #Constraints: 41772
1187.97/1190.89 c #Conflicts: 598000 | #Constraints: 42772
1187.97/1190.89 c #Conflicts: 599000 | #Constraints: 43772
1187.97/1190.89 c #Conflicts: 600000 | #Constraints: 44772
1379.02/1382.39 c #Conflicts: 601000 | #Constraints: 45772
1379.02/1382.39 c #Conflicts: 602000 | #Constraints: 46772
1379.02/1382.39 c #Conflicts: 603000 | #Constraints: 47772
1379.02/1382.39 c #Conflicts: 604000 | #Constraints: 48772
1379.02/1382.39 c #Conflicts: 605000 | #Constraints: 49772
1379.02/1382.39 c #Conflicts: 606000 | #Constraints: 50772
1379.02/1382.39 c #Conflicts: 607000 | #Constraints: 51772
1379.02/1382.39 c #Conflicts: 608000 | #Constraints: 52772
1379.02/1382.39 c #Conflicts: 609000 | #Constraints: 53772
1379.02/1382.39 c #Conflicts: 610000 | #Constraints: 54772
1379.02/1382.39 c #Conflicts: 611000 | #Constraints: 55772
1379.02/1382.39 c #Conflicts: 612000 | #Constraints: 56772
1379.02/1382.39 c #Conflicts: 613000 | #Constraints: 57772
1379.02/1382.39 c #Conflicts: 614000 | #Constraints: 58772
1379.02/1382.39 c #Conflicts: 615000 | #Constraints: 59772
1379.02/1382.39 c #Conflicts: 616000 | #Constraints: 60772
1379.02/1382.39 c #Conflicts: 617000 | #Constraints: 61772
1379.02/1382.39 c #Conflicts: 618000 | #Constraints: 62772
1379.02/1382.39 c #Conflicts: 619000 | #Constraints: 63772
1379.02/1382.39 c #Conflicts: 620000 | #Constraints: 64772
1379.02/1382.39 c #Conflicts: 621000 | #Constraints: 65772
1379.02/1382.39 c #Conflicts: 622000 | #Constraints: 66772
1379.02/1382.39 c #Conflicts: 623000 | #Constraints: 67772
1379.02/1382.39 c #Conflicts: 624000 | #Constraints: 68772
1379.02/1382.39 c #Conflicts: 625000 | #Constraints: 69772
1379.02/1382.39 c #Conflicts: 626000 | #Constraints: 70772
1379.02/1382.39 c #Conflicts: 627000 | #Constraints: 71772
1379.02/1382.39 c #Conflicts: 628000 | #Constraints: 72772
1379.02/1382.39 c #Conflicts: 629000 | #Constraints: 73772
1379.02/1382.39 c #Conflicts: 630000 | #Constraints: 74772
1379.02/1382.39 c #Conflicts: 631000 | #Constraints: 75772
1379.02/1382.39 c #Conflicts: 632000 | #Constraints: 76772
1379.02/1382.39 c #Conflicts: 633000 | #Constraints: 77772
1379.02/1382.39 c #Conflicts: 634000 | #Constraints: 78772
1379.02/1382.39 c #Conflicts: 635000 | #Constraints: 79772
1379.02/1382.39 c #Conflicts: 636000 | #Constraints: 80772
1379.02/1382.39 c #Conflicts: 637000 | #Constraints: 81772
1379.02/1382.39 c #Conflicts: 638000 | #Constraints: 82772
1379.02/1382.39 c #Conflicts: 639000 | #Constraints: 83772
1379.02/1382.39 c #Conflicts: 640000 | #Constraints: 84772
1379.02/1382.39 c #Conflicts: 641000 | #Constraints: 85772
1379.02/1382.39 c #Conflicts: 642000 | #Constraints: 86772
1379.02/1382.39 c #Conflicts: 643000 | #Constraints: 87772
1379.02/1382.39 c #Conflicts: 644000 | #Constraints: 88772
1379.02/1382.39 c #Conflicts: 645000 | #Constraints: 89772
1379.02/1382.39 c #Conflicts: 646000 | #Constraints: 90772
1379.02/1382.39 c #Conflicts: 647000 | #Constraints: 91772
1379.02/1382.39 c INPROCESSING
1379.02/1382.39 c GARBAGE COLLECT
1379.02/1382.39 c rational objective -1.22008e-13
1405.46/1408.86 c #Conflicts: 648000 | #Constraints: 50741
1405.46/1408.86 c #Conflicts: 649000 | #Constraints: 51741
1405.46/1408.86 c #Conflicts: 650000 | #Constraints: 52741
1405.46/1408.86 c #Conflicts: 651000 | #Constraints: 53741
1405.46/1408.86 c #Conflicts: 652000 | #Constraints: 54741
1405.46/1408.86 c #Conflicts: 653000 | #Constraints: 55741
1405.46/1408.86 c #Conflicts: 654000 | #Constraints: 56741
1405.46/1408.86 c #Conflicts: 655000 | #Constraints: 57741
1405.46/1408.86 c #Conflicts: 656000 | #Constraints: 58741
1405.46/1408.86 c #Conflicts: 657000 | #Constraints: 59741
1405.46/1408.86 c #Conflicts: 658000 | #Constraints: 60741
1405.46/1408.86 c #Conflicts: 659000 | #Constraints: 61741
1405.46/1408.86 c #Conflicts: 660000 | #Constraints: 62741
1405.46/1408.86 c #Conflicts: 661000 | #Constraints: 63742
1405.46/1408.86 c #Conflicts: 662000 | #Constraints: 64742
1405.46/1408.86 c #Conflicts: 663000 | #Constraints: 65742
1405.46/1408.86 c #Conflicts: 664000 | #Constraints: 66742
1405.46/1408.86 c #Conflicts: 665000 | #Constraints: 67742
1405.46/1408.86 c #Conflicts: 666000 | #Constraints: 68742
1405.46/1408.86 c #Conflicts: 667000 | #Constraints: 69742
1405.46/1408.86 c #Conflicts: 668000 | #Constraints: 70742
1405.46/1408.86 c INPROCESSING
1405.46/1408.86 c GARBAGE COLLECT
1405.46/1408.86 c rational objective -1.22008e-13
1660.65/1664.60 c #Conflicts: 669000 | #Constraints: 40523
1660.65/1664.60 c #Conflicts: 670000 | #Constraints: 41523
1660.65/1664.60 c #Conflicts: 671000 | #Constraints: 42523
1660.65/1664.60 c #Conflicts: 672000 | #Constraints: 43523
1660.65/1664.60 c #Conflicts: 673000 | #Constraints: 44523
1660.65/1664.60 c #Conflicts: 674000 | #Constraints: 45523
1660.65/1664.60 c #Conflicts: 675000 | #Constraints: 46523
1660.65/1664.60 c #Conflicts: 676000 | #Constraints: 47523
1660.65/1664.60 c #Conflicts: 677000 | #Constraints: 48523
1660.65/1664.60 c #Conflicts: 678000 | #Constraints: 49523
1660.65/1664.60 c #Conflicts: 679000 | #Constraints: 50523
1660.65/1664.60 c #Conflicts: 680000 | #Constraints: 51523
1660.65/1664.60 c #Conflicts: 681000 | #Constraints: 52523
1660.65/1664.60 c #Conflicts: 682000 | #Constraints: 53523
1660.65/1664.60 c #Conflicts: 683000 | #Constraints: 54523
1660.65/1664.60 c #Conflicts: 684000 | #Constraints: 55523
1660.65/1664.60 c #Conflicts: 685000 | #Constraints: 56524
1660.65/1664.60 c #Conflicts: 686000 | #Constraints: 57524
1660.65/1664.60 c #Conflicts: 687000 | #Constraints: 58524
1660.65/1664.60 c #Conflicts: 688000 | #Constraints: 59524
1660.65/1664.60 c #Conflicts: 689000 | #Constraints: 60524
1660.65/1664.60 c #Conflicts: 690000 | #Constraints: 61524
1660.65/1664.60 c #Conflicts: 691000 | #Constraints: 62524
1660.65/1664.60 c #Conflicts: 692000 | #Constraints: 63524
1660.65/1664.60 c #Conflicts: 693000 | #Constraints: 64524
1660.65/1664.60 c #Conflicts: 694000 | #Constraints: 65524
1660.65/1664.60 c #Conflicts: 695000 | #Constraints: 66524
1660.65/1664.60 c #Conflicts: 696000 | #Constraints: 67524
1660.65/1664.60 c #Conflicts: 697000 | #Constraints: 68524
1660.65/1664.60 c #Conflicts: 698000 | #Constraints: 69524
1660.65/1664.60 c #Conflicts: 699000 | #Constraints: 70524
1660.65/1664.60 c #Conflicts: 700000 | #Constraints: 71524
1660.65/1664.60 c #Conflicts: 701000 | #Constraints: 72524
1660.65/1664.60 c #Conflicts: 702000 | #Constraints: 73524
1660.65/1664.60 c #Conflicts: 703000 | #Constraints: 74524
1660.65/1664.60 c #Conflicts: 704000 | #Constraints: 75524
1660.65/1664.60 c #Conflicts: 705000 | #Constraints: 76524
1660.65/1664.60 c #Conflicts: 706000 | #Constraints: 77524
1660.65/1664.60 c #Conflicts: 707000 | #Constraints: 78524
1660.65/1664.60 c #Conflicts: 708000 | #Constraints: 79524
1660.65/1664.60 c #Conflicts: 709000 | #Constraints: 80524
1660.65/1664.60 c #Conflicts: 710000 | #Constraints: 81524
1660.65/1664.60 c #Conflicts: 711000 | #Constraints: 82524
1660.65/1664.60 c #Conflicts: 712000 | #Constraints: 83524
1660.65/1664.60 c #Conflicts: 713000 | #Constraints: 84524
1660.65/1664.60 c #Conflicts: 714000 | #Constraints: 85524
1660.65/1664.60 c #Conflicts: 715000 | #Constraints: 86524
1660.65/1664.60 c #Conflicts: 716000 | #Constraints: 87524
1660.65/1664.60 c #Conflicts: 717000 | #Constraints: 88524
1660.65/1664.60 c #Conflicts: 718000 | #Constraints: 89524
1660.65/1664.60 c #Conflicts: 719000 | #Constraints: 90524
1660.65/1664.60 c #Conflicts: 720000 | #Constraints: 91524
1660.65/1664.60 c #Conflicts: 721000 | #Constraints: 92524
1660.65/1664.60 c #Conflicts: 722000 | #Constraints: 93524
1660.65/1664.60 c #Conflicts: 723000 | #Constraints: 94524
1660.65/1664.60 c #Conflicts: 724000 | #Constraints: 95524
1660.65/1664.60 c #Conflicts: 725000 | #Constraints: 96524
1660.65/1664.60 c INPROCESSING
1660.65/1664.60 c GARBAGE COLLECT
1660.65/1664.60 c #Conflicts: 726000 | #Constraints: 52947
1660.65/1664.60 c #Conflicts: 727000 | #Constraints: 53947
1660.65/1664.60 c #Conflicts: 728000 | #Constraints: 54947
1660.65/1664.60 c #Conflicts: 729000 | #Constraints: 55947
1660.65/1664.60 c #Conflicts: 730000 | #Constraints: 56947
1660.65/1664.60 c #Conflicts: 731000 | #Constraints: 57947
1660.65/1664.60 c #Conflicts: 732000 | #Constraints: 58947
1660.65/1664.60 c #Conflicts: 733000 | #Constraints: 59947
1660.65/1664.60 c #Conflicts: 734000 | #Constraints: 60947
1660.65/1664.60 c #Conflicts: 735000 | #Constraints: 61947
1660.65/1664.60 c #Conflicts: 736000 | #Constraints: 62947
1660.65/1664.60 c #Conflicts: 737000 | #Constraints: 63947
1660.65/1664.60 c #Conflicts: 738000 | #Constraints: 64947
1660.65/1664.60 c #Conflicts: 739000 | #Constraints: 65947
1660.65/1664.60 c #Conflicts: 740000 | #Constraints: 66947
1660.65/1664.60 c #Conflicts: 741000 | #Constraints: 67947
1660.65/1664.60 c #Conflicts: 742000 | #Constraints: 68947
1660.65/1664.60 c #Conflicts: 743000 | #Constraints: 69947
1660.65/1664.60 c #Conflicts: 744000 | #Constraints: 70947
1660.65/1664.60 c #Conflicts: 745000 | #Constraints: 71947
1660.65/1664.60 c #Conflicts: 746000 | #Constraints: 72947
1660.65/1664.60 c #Conflicts: 747000 | #Constraints: 73947
1662.44/1666.44 c INPROCESSING
1662.44/1666.44 c GARBAGE COLLECT
1662.44/1666.44 c rational objective 0
1806.70/1811.07 c #Conflicts: 748000 | #Constraints: 41731
1806.70/1811.07 c #Conflicts: 749000 | #Constraints: 42731
1806.70/1811.07 c #Conflicts: 750000 | #Constraints: 43731
1806.70/1811.07 c #Conflicts: 751000 | #Constraints: 44731
1806.70/1811.07 c #Conflicts: 752000 | #Constraints: 45731
1806.70/1811.07 c #Conflicts: 753000 | #Constraints: 46731
1806.70/1811.07 c #Conflicts: 754000 | #Constraints: 47731
1806.70/1811.07 c #Conflicts: 755000 | #Constraints: 48731
1806.70/1811.07 c #Conflicts: 756000 | #Constraints: 49731
1806.70/1811.07 c #Conflicts: 757000 | #Constraints: 50731
1806.70/1811.07 c #Conflicts: 758000 | #Constraints: 51731
1806.70/1811.07 c #Conflicts: 759000 | #Constraints: 52731
1806.70/1811.07 c #Conflicts: 760000 | #Constraints: 53731
1806.70/1811.07 c #Conflicts: 761000 | #Constraints: 54731
1806.70/1811.07 c #Conflicts: 762000 | #Constraints: 55731
1806.70/1811.07 c #Conflicts: 763000 | #Constraints: 56731
1806.70/1811.07 c #Conflicts: 764000 | #Constraints: 57731
1806.70/1811.07 c #Conflicts: 765000 | #Constraints: 58731
1806.70/1811.07 c #Conflicts: 766000 | #Constraints: 59731
1806.70/1811.07 c #Conflicts: 767000 | #Constraints: 60731
1806.70/1811.07 c #Conflicts: 768000 | #Constraints: 61731
1806.70/1811.07 c #Conflicts: 769000 | #Constraints: 62731
1806.70/1811.07 c #Conflicts: 770000 | #Constraints: 63731
1806.70/1811.07 c #Conflicts: 771000 | #Constraints: 64731
1806.70/1811.07 c #Conflicts: 772000 | #Constraints: 65731
1806.70/1811.07 c #Conflicts: 773000 | #Constraints: 66731
1806.70/1811.07 c #Conflicts: 774000 | #Constraints: 67731
1806.70/1811.07 c #Conflicts: 775000 | #Constraints: 68731
1806.70/1811.07 c #Conflicts: 776000 | #Constraints: 69731
1806.70/1811.07 c #Conflicts: 777000 | #Constraints: 70731
1806.70/1811.07 c #Conflicts: 778000 | #Constraints: 71731
1806.70/1811.07 c #Conflicts: 779000 | #Constraints: 72731
1806.70/1811.07 c #Conflicts: 780000 | #Constraints: 73731
1806.70/1811.07 c #Conflicts: 781000 | #Constraints: 74731
1806.70/1811.07 c #Conflicts: 782000 | #Constraints: 75731
1806.70/1811.07 c #Conflicts: 783000 | #Constraints: 76731
1806.70/1811.07 c #Conflicts: 784000 | #Constraints: 77731
1806.70/1811.07 c #Conflicts: 785000 | #Constraints: 78731
1806.70/1811.07 c #Conflicts: 786000 | #Constraints: 79731
1806.70/1811.07 c #Conflicts: 787000 | #Constraints: 80731
1806.70/1811.07 c #Conflicts: 788000 | #Constraints: 81731
1806.70/1811.07 c #Conflicts: 789000 | #Constraints: 82731
1806.70/1811.07 c #Conflicts: 790000 | #Constraints: 83731
1806.70/1811.07 c #Conflicts: 791000 | #Constraints: 84731
1806.70/1811.07 c #Conflicts: 792000 | #Constraints: 85731
1806.70/1811.07 c #Conflicts: 793000 | #Constraints: 86731
1806.70/1811.07 c #Conflicts: 794000 | #Constraints: 87731
1806.70/1811.07 c #Conflicts: 795000 | #Constraints: 88731
1806.70/1811.07 c #Conflicts: 796000 | #Constraints: 89731
1806.70/1811.07 c #Conflicts: 797000 | #Constraints: 90731
1806.70/1811.07 c #Conflicts: 798000 | #Constraints: 91731
1806.70/1811.07 c #Conflicts: 799000 | #Constraints: 92731
1806.70/1811.07 c #Conflicts: 800000 | #Constraints: 93731
1806.70/1811.07 c #Conflicts: 801000 | #Constraints: 94731
1806.70/1811.07 c #Conflicts: 802000 | #Constraints: 95732
1806.70/1811.07 c #Conflicts: 803000 | #Constraints: 96732
1806.70/1811.07 c #Conflicts: 804000 | #Constraints: 97732
1806.70/1811.07 c #Conflicts: 805000 | #Constraints: 98732
1806.70/1811.07 c #Conflicts: 806000 | #Constraints: 99732
1806.70/1811.07 c #Conflicts: 807000 | #Constraints: 100732
1806.70/1811.07 c #Conflicts: 808000 | #Constraints: 101732
1806.70/1811.07 c INPROCESSING
1806.70/1811.07 c GARBAGE COLLECT
1806.70/1811.07 c #Conflicts: 809000 | #Constraints: 55901
1806.70/1811.07 c #Conflicts: 810000 | #Constraints: 56901
1806.70/1811.07 c #Conflicts: 811000 | #Constraints: 57901
1806.70/1811.07 c #Conflicts: 812000 | #Constraints: 58901
1806.70/1811.07 c #Conflicts: 813000 | #Constraints: 59901
1806.70/1811.07 c #Conflicts: 814000 | #Constraints: 60901
1806.70/1811.07 c #Conflicts: 815000 | #Constraints: 61901
1806.70/1811.07 c #Conflicts: 816000 | #Constraints: 62901
1806.70/1811.07 c #Conflicts: 817000 | #Constraints: 63901
1806.70/1811.07 c #Conflicts: 818000 | #Constraints: 64901
1806.70/1811.07 c #Conflicts: 819000 | #Constraints: 65901
1806.70/1811.07 c #Conflicts: 820000 | #Constraints: 66901
1806.70/1811.07 c #Conflicts: 821000 | #Constraints: 67901
1806.70/1811.07 c #Conflicts: 822000 | #Constraints: 68901
1806.70/1811.07 c #Conflicts: 823000 | #Constraints: 69901
1806.70/1811.07 c #Conflicts: 824000 | #Constraints: 70901
1806.70/1811.07 c #Conflicts: 825000 | #Constraints: 71901
1806.70/1811.07 c #Conflicts: 826000 | #Constraints: 72901
1980.96/1985.72 c #Conflicts: 827000 | #Constraints: 73901
1980.96/1985.72 c #Conflicts: 828000 | #Constraints: 74901
1980.96/1985.72 c #Conflicts: 829000 | #Constraints: 75901
1980.96/1985.72 c #Conflicts: 830000 | #Constraints: 76901
1980.96/1985.72 c #Conflicts: 831000 | #Constraints: 77901
1980.96/1985.72 c INPROCESSING
1980.96/1985.72 c GARBAGE COLLECT
1980.96/1985.72 c #Conflicts: 832000 | #Constraints: 44093
1980.96/1985.72 c #Conflicts: 833000 | #Constraints: 45093
1980.96/1985.72 c #Conflicts: 834000 | #Constraints: 46093
1980.96/1985.72 c #Conflicts: 835000 | #Constraints: 47093
1980.96/1985.72 c #Conflicts: 836000 | #Constraints: 48093
1980.96/1985.72 c #Conflicts: 837000 | #Constraints: 49093
1980.96/1985.72 c #Conflicts: 838000 | #Constraints: 50093
1980.96/1985.72 c #Conflicts: 839000 | #Constraints: 51093
1980.96/1985.72 c #Conflicts: 840000 | #Constraints: 52093
1980.96/1985.72 c #Conflicts: 841000 | #Constraints: 53093
1980.96/1985.72 c #Conflicts: 842000 | #Constraints: 54093
1980.96/1985.72 c #Conflicts: 843000 | #Constraints: 55093
1980.96/1985.72 c #Conflicts: 844000 | #Constraints: 56093
1980.96/1985.72 c #Conflicts: 845000 | #Constraints: 57093
1980.96/1985.72 c #Conflicts: 846000 | #Constraints: 58093
1980.96/1985.72 c #Conflicts: 847000 | #Constraints: 59093
1980.96/1985.72 c #Conflicts: 848000 | #Constraints: 60093
1980.96/1985.72 c #Conflicts: 849000 | #Constraints: 61093
1980.96/1985.72 c #Conflicts: 850000 | #Constraints: 62093
1980.96/1985.72 c #Conflicts: 851000 | #Constraints: 63093
1980.96/1985.72 c #Conflicts: 852000 | #Constraints: 64093
1980.96/1985.72 c #Conflicts: 853000 | #Constraints: 65093
1980.96/1985.72 c #Conflicts: 854000 | #Constraints: 66093
1980.96/1985.72 c #Conflicts: 855000 | #Constraints: 67093
1980.96/1985.72 c #Conflicts: 856000 | #Constraints: 68093
1980.96/1985.72 c #Conflicts: 857000 | #Constraints: 69093
1980.96/1985.72 c #Conflicts: 858000 | #Constraints: 70093
1980.96/1985.72 c #Conflicts: 859000 | #Constraints: 71093
1980.96/1985.72 c #Conflicts: 860000 | #Constraints: 72093
1980.96/1985.72 c #Conflicts: 861000 | #Constraints: 73093
1980.96/1985.72 c #Conflicts: 862000 | #Constraints: 74093
1980.96/1985.72 c #Conflicts: 863000 | #Constraints: 75093
1980.96/1985.72 c #Conflicts: 864000 | #Constraints: 76093
1980.96/1985.72 c #Conflicts: 865000 | #Constraints: 77093
1980.96/1985.72 c #Conflicts: 866000 | #Constraints: 78093
1980.96/1985.72 c #Conflicts: 867000 | #Constraints: 79093
1980.96/1985.72 c #Conflicts: 868000 | #Constraints: 80093
1980.96/1985.72 c #Conflicts: 869000 | #Constraints: 81093
1980.96/1985.72 c #Conflicts: 870000 | #Constraints: 82093
1980.96/1985.72 c #Conflicts: 871000 | #Constraints: 83093
1980.96/1985.72 c #Conflicts: 872000 | #Constraints: 84093
1980.96/1985.72 c #Conflicts: 873000 | #Constraints: 85093
1980.96/1985.72 c #Conflicts: 874000 | #Constraints: 86093
1980.96/1985.72 c #Conflicts: 875000 | #Constraints: 87093
1980.96/1985.72 c #Conflicts: 876000 | #Constraints: 88094
1980.96/1985.72 c #Conflicts: 877000 | #Constraints: 89094
1980.96/1985.72 c #Conflicts: 878000 | #Constraints: 90094
1980.96/1985.72 c #Conflicts: 879000 | #Constraints: 91094
1980.96/1985.72 c #Conflicts: 880000 | #Constraints: 92094
1980.96/1985.72 c #Conflicts: 881000 | #Constraints: 93094
1980.96/1985.72 c #Conflicts: 882000 | #Constraints: 94094
1980.96/1985.72 c #Conflicts: 883000 | #Constraints: 95094
1980.96/1985.72 c #Conflicts: 884000 | #Constraints: 96094
1980.96/1985.72 c #Conflicts: 885000 | #Constraints: 97094
1980.96/1985.72 c #Conflicts: 886000 | #Constraints: 98094
1980.96/1985.72 c #Conflicts: 887000 | #Constraints: 99094
1980.96/1985.72 c #Conflicts: 888000 | #Constraints: 100094
1980.96/1985.72 c #Conflicts: 889000 | #Constraints: 101094
1980.96/1985.72 c #Conflicts: 890000 | #Constraints: 102094
1980.96/1985.72 c #Conflicts: 891000 | #Constraints: 103094
1980.96/1985.72 c #Conflicts: 892000 | #Constraints: 104094
1980.96/1985.72 c #Conflicts: 893000 | #Constraints: 105094
1980.96/1985.72 c #Conflicts: 894000 | #Constraints: 106094
1980.96/1985.72 c #Conflicts: 895000 | #Constraints: 107094
1980.96/1985.72 c INPROCESSING
1980.96/1985.72 c GARBAGE COLLECT
1980.96/1985.72 c rational objective -1.22008e-13
2022.96/2027.86 c #Conflicts: 896000 | #Constraints: 58487
2022.96/2027.86 c #Conflicts: 897000 | #Constraints: 59487
2022.96/2027.86 c #Conflicts: 898000 | #Constraints: 60487
2022.96/2027.86 c #Conflicts: 899000 | #Constraints: 61487
2022.96/2027.86 c #Conflicts: 900000 | #Constraints: 62487
2022.96/2027.86 c #Conflicts: 901000 | #Constraints: 63487
2022.96/2027.86 c #Conflicts: 902000 | #Constraints: 64487
2022.96/2027.86 c #Conflicts: 903000 | #Constraints: 65487
2022.96/2027.86 c #Conflicts: 904000 | #Constraints: 66487
2022.96/2027.86 c #Conflicts: 905000 | #Constraints: 67487
2022.96/2027.86 c #Conflicts: 906000 | #Constraints: 68487
2022.96/2027.86 c #Conflicts: 907000 | #Constraints: 69487
2022.96/2027.86 c #Conflicts: 908000 | #Constraints: 70487
2022.96/2027.86 c #Conflicts: 909000 | #Constraints: 71487
2022.96/2027.86 c #Conflicts: 910000 | #Constraints: 72487
2022.96/2027.86 c #Conflicts: 911000 | #Constraints: 73487
2022.96/2027.86 c #Conflicts: 912000 | #Constraints: 74488
2022.96/2027.86 c #Conflicts: 913000 | #Constraints: 75488
2022.96/2027.86 c #Conflicts: 914000 | #Constraints: 76488
2022.96/2027.86 c #Conflicts: 915000 | #Constraints: 77488
2022.96/2027.86 c #Conflicts: 916000 | #Constraints: 78488
2022.96/2027.86 c #Conflicts: 917000 | #Constraints: 79488
2022.96/2027.86 c #Conflicts: 918000 | #Constraints: 80488
2022.96/2027.86 c #Conflicts: 919000 | #Constraints: 81488
2022.96/2027.86 c #Conflicts: 920000 | #Constraints: 82488
2022.96/2027.86 c INPROCESSING
2022.96/2027.86 c GARBAGE COLLECT
2022.96/2027.86 c rational objective -1.22008e-13
2423.37/2429.20 c #Conflicts: 921000 | #Constraints: 47490
2423.37/2429.20 c #Conflicts: 922000 | #Constraints: 48490
2423.37/2429.20 c #Conflicts: 923000 | #Constraints: 49490
2423.37/2429.20 c #Conflicts: 924000 | #Constraints: 50490
2423.37/2429.20 c #Conflicts: 925000 | #Constraints: 51490
2423.37/2429.20 c #Conflicts: 926000 | #Constraints: 52490
2423.37/2429.20 c #Conflicts: 927000 | #Constraints: 53490
2423.37/2429.20 c #Conflicts: 928000 | #Constraints: 54490
2423.37/2429.20 c #Conflicts: 929000 | #Constraints: 55490
2423.37/2429.20 c #Conflicts: 930000 | #Constraints: 56490
2423.37/2429.20 c #Conflicts: 931000 | #Constraints: 57490
2423.37/2429.20 c #Conflicts: 932000 | #Constraints: 58490
2423.37/2429.20 c #Conflicts: 933000 | #Constraints: 59490
2423.37/2429.20 c #Conflicts: 934000 | #Constraints: 60490
2423.37/2429.20 c #Conflicts: 935000 | #Constraints: 61490
2423.37/2429.20 c #Conflicts: 936000 | #Constraints: 62490
2423.37/2429.20 c #Conflicts: 937000 | #Constraints: 63490
2423.37/2429.20 c #Conflicts: 938000 | #Constraints: 64490
2423.37/2429.20 c #Conflicts: 939000 | #Constraints: 65490
2423.37/2429.20 c #Conflicts: 940000 | #Constraints: 66490
2423.37/2429.20 c #Conflicts: 941000 | #Constraints: 67490
2423.37/2429.20 c #Conflicts: 942000 | #Constraints: 68490
2423.37/2429.20 c #Conflicts: 943000 | #Constraints: 69490
2423.37/2429.20 c #Conflicts: 944000 | #Constraints: 70490
2423.37/2429.20 c #Conflicts: 945000 | #Constraints: 71490
2423.37/2429.20 c #Conflicts: 946000 | #Constraints: 72490
2423.37/2429.20 c #Conflicts: 947000 | #Constraints: 73490
2423.37/2429.20 c #Conflicts: 948000 | #Constraints: 74490
2423.37/2429.20 c #Conflicts: 949000 | #Constraints: 75490
2423.37/2429.20 c #Conflicts: 950000 | #Constraints: 76490
2423.37/2429.20 c #Conflicts: 951000 | #Constraints: 77490
2423.37/2429.20 c #Conflicts: 952000 | #Constraints: 78490
2423.37/2429.20 c #Conflicts: 953000 | #Constraints: 79490
2423.37/2429.20 c #Conflicts: 954000 | #Constraints: 80490
2423.37/2429.20 c #Conflicts: 955000 | #Constraints: 81490
2423.37/2429.20 c #Conflicts: 956000 | #Constraints: 82490
2423.37/2429.20 c #Conflicts: 957000 | #Constraints: 83490
2423.37/2429.20 c #Conflicts: 958000 | #Constraints: 84490
2423.37/2429.20 c #Conflicts: 959000 | #Constraints: 85490
2423.37/2429.20 c #Conflicts: 960000 | #Constraints: 86490
2423.37/2429.20 c #Conflicts: 961000 | #Constraints: 87490
2423.37/2429.20 c #Conflicts: 962000 | #Constraints: 88490
2423.37/2429.20 c #Conflicts: 963000 | #Constraints: 89490
2423.37/2429.20 c #Conflicts: 964000 | #Constraints: 90490
2423.37/2429.20 c #Conflicts: 965000 | #Constraints: 91490
2423.37/2429.20 c #Conflicts: 966000 | #Constraints: 92490
2423.37/2429.20 c #Conflicts: 967000 | #Constraints: 93490
2423.37/2429.20 c #Conflicts: 968000 | #Constraints: 94490
2423.37/2429.20 c #Conflicts: 969000 | #Constraints: 95490
2423.37/2429.20 c #Conflicts: 970000 | #Constraints: 96490
2423.37/2429.20 c #Conflicts: 971000 | #Constraints: 97491
2423.37/2429.20 c #Conflicts: 972000 | #Constraints: 98491
2423.37/2429.20 c #Conflicts: 973000 | #Constraints: 99491
2423.37/2429.20 c #Conflicts: 974000 | #Constraints: 100491
2423.37/2429.20 c #Conflicts: 975000 | #Constraints: 101491
2423.37/2429.20 c #Conflicts: 976000 | #Constraints: 102491
2423.37/2429.20 c #Conflicts: 977000 | #Constraints: 103491
2423.37/2429.20 c #Conflicts: 978000 | #Constraints: 104491
2423.37/2429.20 c #Conflicts: 979000 | #Constraints: 105491
2423.37/2429.20 c #Conflicts: 980000 | #Constraints: 106491
2423.37/2429.20 c #Conflicts: 981000 | #Constraints: 107491
2423.37/2429.20 c #Conflicts: 982000 | #Constraints: 108491
2423.37/2429.20 c #Conflicts: 983000 | #Constraints: 109491
2423.37/2429.20 c #Conflicts: 984000 | #Constraints: 110491
2423.37/2429.20 c #Conflicts: 985000 | #Constraints: 111491
2423.37/2429.20 c #Conflicts: 986000 | #Constraints: 112491
2423.37/2429.20 c #Conflicts: 987000 | #Constraints: 113491
2423.37/2429.20 c INPROCESSING
2423.37/2429.20 c GARBAGE COLLECT
2423.37/2429.20 c #Conflicts: 988000 | #Constraints: 62009
2423.37/2429.20 c #Conflicts: 989000 | #Constraints: 63009
2423.37/2429.20 c #Conflicts: 990000 | #Constraints: 64009
2423.37/2429.20 c #Conflicts: 991000 | #Constraints: 65009
2423.37/2429.20 c #Conflicts: 992000 | #Constraints: 66009
2423.37/2429.20 c #Conflicts: 993000 | #Constraints: 67009
2423.37/2429.20 c #Conflicts: 994000 | #Constraints: 68009
2423.37/2429.20 c #Conflicts: 995000 | #Constraints: 69009
2423.37/2429.20 c #Conflicts: 996000 | #Constraints: 70009
2423.37/2429.20 c #Conflicts: 997000 | #Constraints: 71009
2423.37/2429.20 c #Conflicts: 998000 | #Constraints: 72009
2423.37/2429.20 c #Conflicts: 999000 | #Constraints: 73009
2493.11/2499.18 c #Conflicts: 1000000 | #Constraints: 74009
2493.11/2499.18 c #Conflicts: 1001000 | #Constraints: 75009
2493.11/2499.18 c #Conflicts: 1002000 | #Constraints: 76009
2493.11/2499.18 c #Conflicts: 1003000 | #Constraints: 77009
2493.11/2499.18 c #Conflicts: 1004000 | #Constraints: 78009
2493.11/2499.18 c #Conflicts: 1005000 | #Constraints: 79009
2493.11/2499.18 c #Conflicts: 1006000 | #Constraints: 80009
2493.11/2499.18 c #Conflicts: 1007000 | #Constraints: 81009
2493.11/2499.18 c #Conflicts: 1008000 | #Constraints: 82009
2493.11/2499.18 c #Conflicts: 1009000 | #Constraints: 83009
2493.11/2499.18 c #Conflicts: 1010000 | #Constraints: 84009
2493.11/2499.18 c #Conflicts: 1011000 | #Constraints: 85009
2493.11/2499.18 c #Conflicts: 1012000 | #Constraints: 86009
2493.11/2499.18 c INPROCESSING
2493.11/2499.18 c GARBAGE COLLECT
2493.11/2499.18 c rational objective 1.22008e-13
3284.78/3292.94 c #Conflicts: 1013000 | #Constraints: 48406
3284.78/3292.94 c #Conflicts: 1014000 | #Constraints: 49407
3284.78/3292.94 c #Conflicts: 1015000 | #Constraints: 50407
3284.78/3292.94 c #Conflicts: 1016000 | #Constraints: 51407
3284.78/3292.94 c #Conflicts: 1017000 | #Constraints: 52407
3284.78/3292.94 c #Conflicts: 1018000 | #Constraints: 53407
3284.78/3292.94 c #Conflicts: 1019000 | #Constraints: 54407
3284.78/3292.94 c #Conflicts: 1020000 | #Constraints: 55407
3284.78/3292.94 c #Conflicts: 1021000 | #Constraints: 56407
3284.78/3292.94 c #Conflicts: 1022000 | #Constraints: 57407
3284.78/3292.94 c #Conflicts: 1023000 | #Constraints: 58407
3284.78/3292.94 c #Conflicts: 1024000 | #Constraints: 59408
3284.78/3292.94 c #Conflicts: 1025000 | #Constraints: 60408
3284.78/3292.94 c #Conflicts: 1026000 | #Constraints: 61408
3284.78/3292.94 c #Conflicts: 1027000 | #Constraints: 62408
3284.78/3292.94 c #Conflicts: 1028000 | #Constraints: 63408
3284.78/3292.94 c #Conflicts: 1029000 | #Constraints: 64408
3284.78/3292.94 c #Conflicts: 1030000 | #Constraints: 65408
3284.78/3292.94 c #Conflicts: 1031000 | #Constraints: 66408
3284.78/3292.94 c #Conflicts: 1032000 | #Constraints: 67408
3284.78/3292.94 c #Conflicts: 1033000 | #Constraints: 68408
3284.78/3292.94 c #Conflicts: 1034000 | #Constraints: 69408
3284.78/3292.94 c #Conflicts: 1035000 | #Constraints: 70408
3284.78/3292.94 c #Conflicts: 1036000 | #Constraints: 71408
3284.78/3292.94 c #Conflicts: 1037000 | #Constraints: 72408
3284.78/3292.94 c #Conflicts: 1038000 | #Constraints: 73408
3284.78/3292.94 c #Conflicts: 1039000 | #Constraints: 74408
3284.78/3292.94 c #Conflicts: 1040000 | #Constraints: 75408
3284.78/3292.94 c #Conflicts: 1041000 | #Constraints: 76408
3284.78/3292.94 c #Conflicts: 1042000 | #Constraints: 77408
3284.78/3292.94 c #Conflicts: 1043000 | #Constraints: 78408
3284.78/3292.94 c #Conflicts: 1044000 | #Constraints: 79408
3284.78/3292.94 c #Conflicts: 1045000 | #Constraints: 80408
3284.78/3292.94 c #Conflicts: 1046000 | #Constraints: 81408
3284.78/3292.94 c #Conflicts: 1047000 | #Constraints: 82408
3284.78/3292.94 c #Conflicts: 1048000 | #Constraints: 83408
3284.78/3292.94 c #Conflicts: 1049000 | #Constraints: 84408
3284.78/3292.94 c #Conflicts: 1050000 | #Constraints: 85408
3284.78/3292.94 c #Conflicts: 1051000 | #Constraints: 86408
3284.78/3292.94 c #Conflicts: 1052000 | #Constraints: 87408
3284.78/3292.94 c #Conflicts: 1053000 | #Constraints: 88408
3284.78/3292.94 c #Conflicts: 1054000 | #Constraints: 89408
3284.78/3292.94 c #Conflicts: 1055000 | #Constraints: 90408
3284.78/3292.94 c #Conflicts: 1056000 | #Constraints: 91409
3284.78/3292.94 c #Conflicts: 1057000 | #Constraints: 92409
3284.78/3292.94 c #Conflicts: 1058000 | #Constraints: 93409
3284.78/3292.94 c #Conflicts: 1059000 | #Constraints: 94409
3284.78/3292.94 c #Conflicts: 1060000 | #Constraints: 95409
3284.78/3292.94 c #Conflicts: 1061000 | #Constraints: 96409
3284.78/3292.94 c #Conflicts: 1062000 | #Constraints: 97409
3284.78/3292.94 c #Conflicts: 1063000 | #Constraints: 98409
3284.78/3292.94 c #Conflicts: 1064000 | #Constraints: 99409
3284.78/3292.94 c #Conflicts: 1065000 | #Constraints: 100409
3284.78/3292.94 c #Conflicts: 1066000 | #Constraints: 101409
3284.78/3292.94 c #Conflicts: 1067000 | #Constraints: 102409
3284.78/3292.94 c #Conflicts: 1068000 | #Constraints: 103409
3284.78/3292.94 c #Conflicts: 1069000 | #Constraints: 104409
3284.78/3292.94 c #Conflicts: 1070000 | #Constraints: 105409
3284.78/3292.94 c #Conflicts: 1071000 | #Constraints: 106409
3284.78/3292.94 c #Conflicts: 1072000 | #Constraints: 107409
3284.78/3292.94 c #Conflicts: 1073000 | #Constraints: 108409
3284.78/3292.94 c #Conflicts: 1074000 | #Constraints: 109409
3284.78/3292.94 c #Conflicts: 1075000 | #Constraints: 110409
3284.78/3292.94 c #Conflicts: 1076000 | #Constraints: 111409
3284.78/3292.94 c #Conflicts: 1077000 | #Constraints: 112409
3284.78/3292.94 c #Conflicts: 1078000 | #Constraints: 113409
3284.78/3292.94 c #Conflicts: 1079000 | #Constraints: 114409
3284.78/3292.94 c #Conflicts: 1080000 | #Constraints: 115409
3284.78/3292.94 c #Conflicts: 1081000 | #Constraints: 116409
3284.78/3292.94 c #Conflicts: 1082000 | #Constraints: 117409
3284.78/3292.94 c INPROCESSING
3284.78/3292.94 c GARBAGE COLLECT
3284.78/3292.94 c #Conflicts: 1083000 | #Constraints: 63449
3284.78/3292.94 c #Conflicts: 1084000 | #Constraints: 64449
3284.78/3292.94 c #Conflicts: 1085000 | #Constraints: 65449
3284.78/3292.94 c #Conflicts: 1086000 | #Constraints: 66449
3284.78/3292.94 c #Conflicts: 1087000 | #Constraints: 67449
3284.78/3292.94 c #Conflicts: 1088000 | #Constraints: 68449
3284.78/3292.94 c #Conflicts: 1089000 | #Constraints: 69449
3284.78/3292.94 c #Conflicts: 1090000 | #Constraints: 70449
3284.78/3292.94 c #Conflicts: 1091000 | #Constraints: 71449
3293.96/3302.17 c #Conflicts: 1092000 | #Constraints: 72449
3293.96/3302.17 c #Conflicts: 1093000 | #Constraints: 73449
3293.96/3302.17 c #Conflicts: 1094000 | #Constraints: 74449
3293.96/3302.17 c #Conflicts: 1095000 | #Constraints: 75449
3293.96/3302.17 c #Conflicts: 1096000 | #Constraints: 76449
3293.96/3302.17 c #Conflicts: 1097000 | #Constraints: 77449
3293.96/3302.17 c #Conflicts: 1098000 | #Constraints: 78449
3293.96/3302.17 c #Conflicts: 1099000 | #Constraints: 79449
3293.96/3302.17 c #Conflicts: 1100000 | #Constraints: 80449
3293.96/3302.17 c #Conflicts: 1101000 | #Constraints: 81449
3293.96/3302.17 c #Conflicts: 1102000 | #Constraints: 82449
3293.96/3302.17 c #Conflicts: 1103000 | #Constraints: 83449
3293.96/3302.17 c #Conflicts: 1104000 | #Constraints: 84449
3293.96/3302.17 c #Conflicts: 1105000 | #Constraints: 85449
3293.96/3302.17 c #Conflicts: 1106000 | #Constraints: 86449
3293.96/3302.17 c #Conflicts: 1107000 | #Constraints: 87449
3293.96/3302.17 c #Conflicts: 1108000 | #Constraints: 88449
3293.96/3302.17 c #Conflicts: 1109000 | #Constraints: 89449
3293.96/3302.17 c #Conflicts: 1110000 | #Constraints: 90449
3293.96/3302.17 c INPROCESSING
3293.96/3302.17 c GARBAGE COLLECT
3293.96/3302.17 c rational objective 1.22008e-13
3600.05/3609.00 c #Conflicts: 1111000 | #Constraints: 50863
3600.05/3609.00 c #Conflicts: 1112000 | #Constraints: 51863
3600.05/3609.00 c #Conflicts: 1113000 | #Constraints: 52863
3600.05/3609.00 c #Conflicts: 1114000 | #Constraints: 53863
3600.05/3609.00 c #Conflicts: 1115000 | #Constraints: 54863
3600.05/3609.00 c #Conflicts: 1116000 | #Constraints: 55863
3600.05/3609.00 c #Conflicts: 1117000 | #Constraints: 56863
3600.05/3609.00 c #Conflicts: 1118000 | #Constraints: 57863
3600.05/3609.00 c #Conflicts: 1119000 | #Constraints: 58863
3600.05/3609.00 c #Conflicts: 1120000 | #Constraints: 59863
3600.05/3609.00 c #Conflicts: 1121000 | #Constraints: 60863
3600.05/3609.00 c #Conflicts: 1122000 | #Constraints: 61863
3600.05/3609.00 c #Conflicts: 1123000 | #Constraints: 62863
3600.05/3609.00 c #Conflicts: 1124000 | #Constraints: 63863
3600.05/3609.00 c #Conflicts: 1125000 | #Constraints: 64863
3600.05/3609.00 c #Conflicts: 1126000 | #Constraints: 65863
3600.05/3609.00 c #Conflicts: 1127000 | #Constraints: 66863
3600.05/3609.00 c #Conflicts: 1128000 | #Constraints: 67863
3600.05/3609.00 c #Conflicts: 1129000 | #Constraints: 68863
3600.05/3609.00 c #Conflicts: 1130000 | #Constraints: 69863
3600.05/3609.00 c #Conflicts: 1131000 | #Constraints: 70863
3600.05/3609.00 c #Conflicts: 1132000 | #Constraints: 71863
3600.05/3609.00 c #Conflicts: 1133000 | #Constraints: 72863
3600.05/3609.00 c #Conflicts: 1134000 | #Constraints: 73863
3600.05/3609.00 c #Conflicts: 1135000 | #Constraints: 74863
3600.05/3609.00 c #Conflicts: 1136000 | #Constraints: 75863
3600.05/3609.00 c #Conflicts: 1137000 | #Constraints: 76863
3600.05/3609.00 c #Conflicts: 1138000 | #Constraints: 77863
3600.05/3609.00 c #Conflicts: 1139000 | #Constraints: 78863
3600.05/3609.00 c #Conflicts: 1140000 | #Constraints: 79863
3600.05/3609.00 c #Conflicts: 1141000 | #Constraints: 80863
3600.05/3609.00 c #Conflicts: 1142000 | #Constraints: 81863
3600.05/3609.00 c #Conflicts: 1143000 | #Constraints: 82863
3600.05/3609.00 c #Conflicts: 1144000 | #Constraints: 83863
3600.05/3609.00 c #Conflicts: 1145000 | #Constraints: 84863
3600.05/3609.00 c #Conflicts: 1146000 | #Constraints: 85863
3600.05/3609.00 c #Conflicts: 1147000 | #Constraints: 86863
3600.05/3609.00 c #Conflicts: 1148000 | #Constraints: 87863
3600.05/3609.00 c #Conflicts: 1149000 | #Constraints: 88863
3600.05/3609.00 c #Conflicts: 1150000 | #Constraints: 89863
3600.05/3609.00 c #Conflicts: 1151000 | #Constraints: 90863
3600.05/3609.00 c #Conflicts: 1152000 | #Constraints: 91863
3600.05/3609.00 c #Conflicts: 1153000 | #Constraints: 92864
3600.05/3609.00 c #Conflicts: 1154000 | #Constraints: 93864
3600.05/3609.00 c #Conflicts: 1155000 | #Constraints: 94864
3600.05/3609.00 c cpu time 3593.4 s
3600.05/3609.00 c deterministic time 176205145975 1.76e+11
3600.05/3609.00 c optimization time 305.557 s
3600.05/3609.00 c total solve time 3287.83 s
3600.05/3609.00 c core-guided solve time 0 s
3600.05/3609.00 c propagation time 2259.76 s
3600.05/3609.00 c conflict analysis time 1290.59 s
3600.05/3609.00 c propagations 450289564
3600.05/3609.00 c resolve steps 149164809
3600.05/3609.00 c decisions 1942081
3600.05/3609.00 c conflicts 1155852
3600.05/3609.00 c restarts 2147
3600.05/3609.00 c inprocessing phases 50
3600.05/3609.00 c garbage collections 50 ,( 100.00 )
3600.05/3609.00 c input clauses 3255 ,( 46.66 )
3600.05/3609.00 c input cardinalities 0 ,( 0.00 )
3600.05/3609.00 c input general constraints 3721 ,( 53.34 )
3600.05/3609.00 c input average constraint length 3.74
3600.05/3609.00 c input average constraint degree 661078844384662.00
3600.05/3609.00 c learned clauses 782038 ,( 67.66 )
3600.05/3609.00 c learned cardinalities 128 ,( 0.01 )
3600.05/3609.00 c learned general constraints 373702 ,( 32.33 )
3600.05/3609.00 c learned average constraint length 301.33
3600.05/3609.00 c learned average constraint degree 126628830.47
3600.05/3609.00 c watched CF 32, 64, 128, Arb: 58800 , 0 , 0 , 0
3600.05/3609.00 c counting CF 32, 64, 128, Arb: 318622 , 0 , 1 , 0
3600.05/3609.00 c watched constraints 58800 ,( 15.58 )
3600.05/3609.00 c counting constraints 318623 ,( 84.42 )
3600.05/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 550701566 , 2021225 , 59618929638 ,( 423328875 , 59195600763 )
3600.05/3609.00 c gcd simplifications 28719
3600.05/3609.00 c detected cardinalities 44
3600.05/3609.00 c weakened non-implied lits 48991959
3600.05/3609.00 c weakened non-implying lits 297370
3600.05/3609.00 c original variables 4929
3600.05/3609.00 c clausal propagations 114307655
3600.05/3609.00 c cardinality propagations 85012
3600.05/3609.00 c watched propagations 980525
3600.05/3609.00 c counting propagations 333741362
3600.05/3609.00 c watch lookups 100402582222
3600.05/3609.00 c watch backjump lookups 0
3600.05/3609.00 c watch checks 11542084753
3600.05/3609.00 c propagation checks 61939002554
3600.05/3609.00 c constraint additions 1415633090
3600.05/3609.00 c trail pops 453383953
3600.05/3609.00 c formula constraints 6976
3600.05/3609.00 c learned constraints 1155834
3600.05/3609.00 c bound constraints 0
3600.05/3609.00 c core-guided constraints 0
3600.05/3609.00 c encountered formula constraints 113043250
3600.05/3609.00 c encountered learned constraints 37123830
3600.05/3609.00 c encountered bound constraints 0
3600.05/3609.00 c encountered core-guided constraints 0
3600.05/3609.00 c LP total time 26.4738 s
3600.05/3609.00 c LP solve time 25.14 s
3600.05/3609.00 c LP constraints added 6976
3600.05/3609.00 c LP constraints removed 0
3600.05/3609.00 c LP pivots internal 117544
3600.05/3609.00 c LP pivots root 110213
3600.05/3609.00 c LP calls 171
3600.05/3609.00 c LP optimalities 147
3600.05/3609.00 c LP no pivot count 10
3600.05/3609.00 c LP infeasibilities 17
3600.05/3609.00 c LP valid Farkas constraints 17
3600.05/3609.00 c LP learned Farkas constraints 17
3600.05/3609.00 c LP basis resets 3
3600.05/3609.00 c LP cycling count 0
3600.05/3609.00 c LP singular count 3
3600.05/3609.00 c LP no primal count 0
3600.05/3609.00 c LP no farkas count 0
3600.05/3609.00 c LP other issue count 0
3600.05/3609.00 c LP Gomory cuts 0
3600.05/3609.00 c LP learned cuts 0
3600.05/3609.00 c LP deleted cuts 0
3600.05/3609.00 c LP encountered Gomory constraints 0
3600.05/3609.00 c LP encountered Farkas constraints 153522
3600.05/3609.00 c LP encountered learned Farkas constraints 42
3600.05/3609.00 c CG auxiliary variables introduced 0
3600.05/3609.00 c CG solutions found 0
3600.05/3609.00 c CG cores constructed 0
3600.05/3609.00 c CG core cardinality constraints returned 0
3600.05/3609.00 c CG unit cores 0
3600.05/3609.00 c CG single cores 0
3600.05/3609.00 c CG blocks removed during cardinality reduction 0
3600.05/3609.00 c CG first core best 0
3600.05/3609.00 c CG decision core best 0
3600.05/3609.00 c CG core reduction tie 0
3600.05/3609.00 c CG core degree average 0.00
3600.05/3609.00 c CG core slack average 0.00
3600.05/3609.00 c CG core upper bound improvements 0
3600.05/3609.00 c STR number of successful calls 0
3600.05/3609.00 c STR number of unsuccessful calls 0
3600.05/3609.00 c STR number of inconclusive calls 0
3600.05/3609.00 c STR number of successful attempts 0
3600.05/3609.00 c STR number of unsuccessful attempts 0
3600.05/3609.00 c STR number of inconclusive attempts 0
3600.05/3609.00 c STR average degree increase per successful call inf
3600.05/3609.00 c STR average degree increase per successful attempt inf
3600.05/3609.00 c STR total number of conflicts for successful attempts 0
3600.05/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.00 c STR average number of conflicts per successful attempt inf
3600.05/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.00 c AVG.sumWPerc 75.39
3600.05/3609.00 c bigint constraints 1
3600.05/3609.00 s UNKNOWN
3600.05/3609.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62482 MiB free)
memory of node 1: 64507 MiB (63674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541722-1753202596/watcher-4541722-1753202596 -o /tmp/evaluation-result-4541722-1753202596/solver-4541722-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167336 --watchdog 3760 run-dec.sh HOME/instance-4541722-1753202596.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=167755, runsolver pid=167744
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129154056/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=68112 memory=23688 CPUtime=0.07 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 3844 0 0 0 6 1 0 0 20 0 1 0 235937535 69746688 5922 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17028 5922 2336 1147 0 4455 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 26760 KiB
[startup+0.205286 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129137500/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=68112 memory=23816 CPUtime=0.17 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 3878 0 0 0 16 1 0 0 20 0 1 0 235937535 69746688 5954 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17028 5954 2336 1147 0 4455 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 26888 KiB
[startup+0.304852 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129137252/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=68112 memory=24072 CPUtime=0.27 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 3924 0 0 0 26 1 0 0 20 0 1 0 235937535 69746688 6018 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17028 6018 2336 1147 0 4455 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 27144 KiB
[startup+0.700133 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129135084/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=69892 memory=25480 CPUtime=0.66 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 4289 0 0 0 65 1 0 0 20 0 1 0 235937535 71569408 6370 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17473 6370 2336 1147 0 4900 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 74084 KiB
Current children cumulated memory: 28552 KiB
[startup+1.50012 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129133068/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=69892 memory=25736 CPUtime=1.46 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 4354 0 0 0 144 2 0 0 20 0 1 0 235937535 71569408 6434 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17473 6434 2336 1147 0 4900 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 74084 KiB
Current children cumulated memory: 28808 KiB
[startup+3.10471 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167774
/proc/meminfo: memFree=129129628/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=71616 memory=27528 CPUtime=3.06 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 4796 0 0 0 302 4 0 0 20 0 1 0 235937535 73334784 6882 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 17904 6882 2336 1147 0 5331 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 75808 KiB
Current children cumulated memory: 30600 KiB
[startup+6.30012 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129121812/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=73264 memory=31188 CPUtime=6.25 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 5194 0 0 0 618 7 0 0 20 0 1 0 235937535 75022336 7797 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 18316 7797 2336 1147 0 5743 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 34260 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129113512/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=77688 memory=35540 CPUtime=12.63 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 6284 0 0 0 1252 11 0 0 20 0 1 0 235937535 79552512 8885 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 19422 8885 2336 1147 0 6849 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 81880 KiB
Current children cumulated memory: 38612 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129078356/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=90920 memory=47100 CPUtime=25.41 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 8148 0 0 0 2524 17 0 0 20 0 1 0 235937535 93102080 11775 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 22730 11775 2336 1147 0 10157 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 95112 KiB
Current children cumulated memory: 50172 KiB
[startup+51.105 s]
/proc/loadavg: 4.06 4.10 4.03 5/270 167775
/proc/meminfo: memFree=129042592/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=100632 memory=54028 CPUtime=50.96 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 9372 0 0 0 5070 26 0 0 20 0 1 0 235937535 103047168 13507 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 25158 13507 2336 1147 0 12585 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 104824 KiB
Current children cumulated memory: 57100 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/270 167779
/proc/meminfo: memFree=128935024/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=145632 memory=94700 CPUtime=102.05 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 13933 0 0 0 10154 51 0 0 20 0 1 0 235937535 149127168 23675 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 36408 23675 2336 1147 0 23835 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 149824 KiB
Current children cumulated memory: 97772 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/270 167781
/proc/meminfo: memFree=128804980/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=213868 memory=154220 CPUtime=161.89 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 28644 0 0 0 16101 88 0 0 20 0 1 0 235937535 219000832 38555 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 53467 38555 2336 1147 0 40894 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 218060 KiB
Current children cumulated memory: 157292 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/270 167783
/proc/meminfo: memFree=128755596/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=228860 memory=176876 CPUtime=221.75 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 31811 0 0 0 22067 108 0 0 20 0 1 0 235937535 234352640 44219 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 57215 44219 2432 1147 0 44642 0
Current children cumulated CPU time: 221.75 s
################
# More data... #
################
/proc/167758/statm: 205137 175564 2464 1147 0 192564 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 824740 KiB
Current children cumulated memory: 705328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/269 167938
/proc/meminfo: memFree=126348236/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=838468 memory=728492 CPUtime=3094.7 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 124052 0 0 0 308870 600 0 0 20 0 1 0 235937535 858591232 182123 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 209617 182123 2464 1147 0 197044 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 842660 KiB
Current children cumulated memory: 731564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.19 4.16 5/269 167940
/proc/meminfo: memFree=126303896/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=859080 memory=755396 CPUtime=3154.54 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 128219 0 0 0 314849 605 0 0 20 0 1 0 235937535 879697920 188849 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 214770 188849 2464 1147 0 202197 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 863272 KiB
Current children cumulated memory: 758468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/268 167942
/proc/meminfo: memFree=126222756/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=891080 memory=789280 CPUtime=3214.37 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 134297 0 0 0 320828 609 0 0 20 0 1 0 235937535 912465920 197320 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 222770 197320 2464 1147 0 210197 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 895272 KiB
Current children cumulated memory: 792352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/269 167945
/proc/meminfo: memFree=126168124/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1039468 memory=811780 CPUtime=3274.2 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 138495 0 0 0 326808 612 0 0 20 0 1 0 235937535 1064415232 202945 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 259867 202945 2464 1147 0 247294 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 1043660 KiB
Current children cumulated memory: 814852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/268 167947
/proc/meminfo: memFree=126139828/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1058544 memory=826916 CPUtime=3334.06 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 141763 0 0 0 332772 634 0 0 20 0 1 0 235937535 1083949056 206729 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 264636 206729 2464 1147 0 252063 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 1062736 KiB
Current children cumulated memory: 829988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/268 167949
/proc/meminfo: memFree=126091192/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1076160 memory=842532 CPUtime=3393.89 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 145667 0 0 0 338748 641 0 0 20 0 1 0 235937535 1101987840 210633 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 269040 210633 2464 1147 0 256467 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 1080352 KiB
Current children cumulated memory: 845604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/268 167951
/proc/meminfo: memFree=126058560/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1076336 memory=843684 CPUtime=3453.72 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 145779 0 0 0 344723 649 0 0 20 0 1 0 235937535 1102168064 210921 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 269084 210921 2464 1147 0 256511 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1080528 KiB
Current children cumulated memory: 846756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/268 167953
/proc/meminfo: memFree=126018824/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1078232 memory=848676 CPUtime=3513.56 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 146108 0 0 0 350700 656 0 0 20 0 1 0 235937535 1104109568 212169 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 269558 212169 2464 1147 0 256985 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 1082424 KiB
Current children cumulated memory: 851748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/268 167956
/proc/meminfo: memFree=125945624/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1078744 memory=871844 CPUtime=3573.41 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 146298 0 0 0 356678 663 0 0 20 0 1 0 235937535 1104633856 217961 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 269686 217961 2464 1147 0 257113 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 1082936 KiB
Current children cumulated memory: 874916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.11 4.13 5/269 167964
/proc/meminfo: memFree=125918392/131249996 swapFree=33010672/33010684
[pid=167755] ppid=167744 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167755/stat : 167755 (run-dec.sh) S 167744 167755 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235937534 4292608 768 18446744073709551615 94221445304320 94221446198853 140722233207840 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94221446437904 94221446485648 94221454774272 140722233211243 140722233211366 140722233211366 140722233216970 0
/proc/167755/statm: 1048 768 704 219 0 110 0
[pid=167758] ppid=167755 vsize=1079152 memory=885796 CPUtime=3600.05 cores=4,6
/proc/167758/stat : 167758 (roundingsat) R 167755 167755 167318 0 -1 4194304 146443 0 0 0 359340 665 0 0 20 0 1 0 235937535 1105051648 221449 18446744073709551615 4227072 8923433 140732279292096 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29597696 140732279294389 140732279294502 140732279294502 140732279300074 0
/proc/167758/statm: 269788 221449 2464 1147 0 257215 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1083344 KiB
Current children cumulated memory: 888868 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 167755 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002246 s
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 167758 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.41 s, system=6.66303 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3593.41
CPU system time (s): 6.66303
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 1083344
Max. memory (cumulated for all children) (KiB): 888868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.41
system time used= 6.66303
maximum resident set size= 885924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 3258
# summary of solver processes directly reported to runsolver:
# pid: 167755,167758
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.41
# total CPU system time (s): 6.66303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24949 second user time and 17.379 second system time
The end
Begin job on nodeC024 at 2025-07-22 18:43:16
IDJOB=4541722
IDBENCH=163363
IDSOLVER=3349
FILE ID=nodeC024/4541722-1753202596
RUNJOBID= nodeC024-1753198973-167336
SLURM_JOB_ID= 9687757
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-31array_diag_less.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541722-1753202596/watcher-4541722-1753202596 -o /tmp/evaluation-result-4541722-1753202596/solver-4541722-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167336 --watchdog 3760 run-dec.sh HOME/instance-4541722-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1063239506
nodeC024 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.782
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.36
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 : 3598.231
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.36
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 : 3599.654
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.36
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 : 3445.989
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.36
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.674
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.36
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 : 3404.374
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.36
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 : 3600.128
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.487
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129207328 kB
MemAvailable: 129729452 kB
Buffers: 2128 kB
Cached: 1284792 kB
SwapCached: 8 kB
Active: 1196028 kB
Inactive: 157564 kB
Active(anon): 91332 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 155976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14812 kB
Writeback: 0 kB
AnonPages: 70124 kB
Mapped: 108744 kB
Shmem: 26248 kB
KReclaimable: 200984 kB
Slab: 296472 kB
SReclaimable: 200984 kB
SUnreclaim: 95488 kB
KernelStack: 4112 kB
PageTables: 2900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 351116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC024 at 2025-07-22 19:43:26