0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 1562 #constraints 2511
0.00/0.03 c rational objective 1.13687e-13
2.08/2.15 c #Conflicts: 1000 | #Constraints: 3511
2.08/2.15 c #Conflicts: 2000 | #Constraints: 4511
2.08/2.15 c INPROCESSING
2.08/2.15 c GARBAGE COLLECT
2.08/2.15 c rational objective 4.01454
8.16/8.27 c #Conflicts: 3000 | #Constraints: 4517
8.16/8.27 c #Conflicts: 4000 | #Constraints: 5517
8.16/8.27 c INPROCESSING
8.16/8.27 c GARBAGE COLLECT
8.16/8.27 c #Conflicts: 5000 | #Constraints: 4916
8.16/8.27 c #Conflicts: 6000 | #Constraints: 5916
8.16/8.27 c INPROCESSING
8.16/8.27 c GARBAGE COLLECT
8.16/8.27 c rational objective 4.16602
12.95/13.01 c #Conflicts: 7000 | #Constraints: 4919
12.95/13.01 c #Conflicts: 8000 | #Constraints: 5919
12.95/13.01 c #Conflicts: 9000 | #Constraints: 6919
12.95/13.01 c INPROCESSING
12.95/13.01 c GARBAGE COLLECT
12.95/13.01 c rational objective 4.39975
80.17/80.45 c #Conflicts: 10000 | #Constraints: 5618
80.17/80.45 c #Conflicts: 11000 | #Constraints: 6618
80.17/80.45 c #Conflicts: 12000 | #Constraints: 7619
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 13000 | #Constraints: 6068
80.17/80.45 c #Conflicts: 14000 | #Constraints: 7068
80.17/80.45 c #Conflicts: 15000 | #Constraints: 8070
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 16000 | #Constraints: 6295
80.17/80.45 c #Conflicts: 17000 | #Constraints: 7296
80.17/80.45 c #Conflicts: 18000 | #Constraints: 8296
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 19000 | #Constraints: 6309
80.17/80.45 c #Conflicts: 20000 | #Constraints: 7309
80.17/80.45 c #Conflicts: 21000 | #Constraints: 8309
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 22000 | #Constraints: 6113
80.17/80.45 c #Conflicts: 23000 | #Constraints: 7114
80.17/80.45 c #Conflicts: 24000 | #Constraints: 8115
80.17/80.45 c #Conflicts: 25000 | #Constraints: 9115
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 26000 | #Constraints: 6717
80.17/80.45 c #Conflicts: 27000 | #Constraints: 7718
80.17/80.45 c #Conflicts: 28000 | #Constraints: 8720
80.17/80.45 c #Conflicts: 29000 | #Constraints: 9722
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 30000 | #Constraints: 7118
80.17/80.45 c #Conflicts: 31000 | #Constraints: 8118
80.17/80.45 c #Conflicts: 32000 | #Constraints: 9119
80.17/80.45 c #Conflicts: 33000 | #Constraints: 10119
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c #Conflicts: 34000 | #Constraints: 7321
80.17/80.45 c #Conflicts: 35000 | #Constraints: 8325
80.17/80.45 c #Conflicts: 36000 | #Constraints: 9328
80.17/80.45 c #Conflicts: 37000 | #Constraints: 10328
80.17/80.45 c INPROCESSING
80.17/80.45 c GARBAGE COLLECT
80.17/80.45 c rational objective 4.68158
138.90/139.32 c #Conflicts: 38000 | #Constraints: 7326
138.90/139.32 c #Conflicts: 39000 | #Constraints: 8326
138.90/139.32 c #Conflicts: 40000 | #Constraints: 9326
138.90/139.32 c #Conflicts: 41000 | #Constraints: 10326
138.90/139.32 c INPROCESSING
138.90/139.32 c GARBAGE COLLECT
138.90/139.32 c #Conflicts: 42000 | #Constraints: 7125
138.90/139.32 c #Conflicts: 43000 | #Constraints: 8125
138.90/139.32 c #Conflicts: 44000 | #Constraints: 9129
138.90/139.32 c #Conflicts: 45000 | #Constraints: 10130
138.90/139.32 c #Conflicts: 46000 | #Constraints: 11130
138.90/139.32 c INPROCESSING
138.90/139.32 c GARBAGE COLLECT
138.90/139.32 c #Conflicts: 47000 | #Constraints: 7727
138.90/139.32 c #Conflicts: 48000 | #Constraints: 8727
138.90/139.32 c #Conflicts: 49000 | #Constraints: 9728
138.90/139.32 c #Conflicts: 50000 | #Constraints: 10729
138.90/139.32 c #Conflicts: 51000 | #Constraints: 11730
138.90/139.32 c INPROCESSING
138.90/139.32 c GARBAGE COLLECT
138.90/139.32 c #Conflicts: 52000 | #Constraints: 8128
138.90/139.32 c #Conflicts: 53000 | #Constraints: 9129
138.90/139.32 c #Conflicts: 54000 | #Constraints: 10132
138.90/139.32 c #Conflicts: 55000 | #Constraints: 11133
138.90/139.32 c #Conflicts: 56000 | #Constraints: 12135
138.90/139.32 c INPROCESSING
138.90/139.32 c GARBAGE COLLECT
138.90/139.32 c rational objective 4.73252
202.73/203.32 c #Conflicts: 57000 | #Constraints: 8330
202.73/203.32 c #Conflicts: 58000 | #Constraints: 9330
202.73/203.32 c #Conflicts: 59000 | #Constraints: 10330
202.73/203.32 c #Conflicts: 60000 | #Constraints: 11330
202.73/203.32 c #Conflicts: 61000 | #Constraints: 12331
202.73/203.32 c INPROCESSING
202.73/203.32 c GARBAGE COLLECT
202.73/203.32 c #Conflicts: 62000 | #Constraints: 8327
202.73/203.32 c #Conflicts: 63000 | #Constraints: 9330
202.73/203.32 c #Conflicts: 64000 | #Constraints: 10330
202.73/203.32 c #Conflicts: 65000 | #Constraints: 11334
202.73/203.32 c #Conflicts: 66000 | #Constraints: 12336
202.73/203.32 c INPROCESSING
202.73/203.32 c GARBAGE COLLECT
202.73/203.32 c #Conflicts: 67000 | #Constraints: 8130
202.73/203.32 c #Conflicts: 68000 | #Constraints: 9130
202.73/203.32 c #Conflicts: 69000 | #Constraints: 10130
202.73/203.32 c #Conflicts: 70000 | #Constraints: 11130
202.73/203.32 c #Conflicts: 71000 | #Constraints: 12131
202.73/203.32 c #Conflicts: 72000 | #Constraints: 13131
202.73/203.32 c INPROCESSING
202.73/203.32 c GARBAGE COLLECT
202.73/203.32 c rational objective 4.78943
274.84/275.60 c #Conflicts: 73000 | #Constraints: 8730
274.84/275.60 c #Conflicts: 74000 | #Constraints: 9730
274.84/275.60 c #Conflicts: 75000 | #Constraints: 10730
274.84/275.60 c #Conflicts: 76000 | #Constraints: 11730
274.84/275.60 c #Conflicts: 77000 | #Constraints: 12730
274.84/275.60 c #Conflicts: 78000 | #Constraints: 13730
274.84/275.60 c INPROCESSING
274.84/275.60 c GARBAGE COLLECT
274.84/275.60 c #Conflicts: 79000 | #Constraints: 9130
274.84/275.60 c #Conflicts: 80000 | #Constraints: 10130
274.84/275.60 c #Conflicts: 81000 | #Constraints: 11130
274.84/275.60 c #Conflicts: 82000 | #Constraints: 12130
274.84/275.60 c #Conflicts: 83000 | #Constraints: 13130
274.84/275.60 c #Conflicts: 84000 | #Constraints: 14130
274.84/275.60 c INPROCESSING
274.84/275.60 c GARBAGE COLLECT
274.84/275.60 c #Conflicts: 85000 | #Constraints: 9329
274.84/275.60 c #Conflicts: 86000 | #Constraints: 10329
274.84/275.60 c #Conflicts: 87000 | #Constraints: 11330
274.84/275.60 c #Conflicts: 88000 | #Constraints: 12331
274.84/275.60 c #Conflicts: 89000 | #Constraints: 13333
274.84/275.60 c #Conflicts: 90000 | #Constraints: 14334
274.84/275.60 c INPROCESSING
274.84/275.60 c GARBAGE COLLECT
274.84/275.60 c rational objective 4.80937
697.05/699.15 c #Conflicts: 91000 | #Constraints: 9329
697.05/699.15 c #Conflicts: 92000 | #Constraints: 10329
697.05/699.15 c #Conflicts: 93000 | #Constraints: 11329
697.05/699.15 c #Conflicts: 94000 | #Constraints: 12331
697.05/699.15 c #Conflicts: 95000 | #Constraints: 13334
697.05/699.15 c #Conflicts: 96000 | #Constraints: 14335
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 97000 | #Constraints: 9130
697.05/699.15 c #Conflicts: 98000 | #Constraints: 10130
697.05/699.15 c #Conflicts: 99000 | #Constraints: 11130
697.05/699.15 c #Conflicts: 100000 | #Constraints: 12130
697.05/699.15 c #Conflicts: 101000 | #Constraints: 13130
697.05/699.15 c #Conflicts: 102000 | #Constraints: 14130
697.05/699.15 c #Conflicts: 103000 | #Constraints: 15130
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 104000 | #Constraints: 9728
697.05/699.15 c #Conflicts: 105000 | #Constraints: 10728
697.05/699.15 c #Conflicts: 106000 | #Constraints: 11728
697.05/699.15 c #Conflicts: 107000 | #Constraints: 12729
697.05/699.15 c #Conflicts: 108000 | #Constraints: 13729
697.05/699.15 c #Conflicts: 109000 | #Constraints: 14730
697.05/699.15 c #Conflicts: 110000 | #Constraints: 15730
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 111000 | #Constraints: 10131
697.05/699.15 c #Conflicts: 112000 | #Constraints: 11132
697.05/699.15 c #Conflicts: 113000 | #Constraints: 12132
697.05/699.15 c #Conflicts: 114000 | #Constraints: 13133
697.05/699.15 c #Conflicts: 115000 | #Constraints: 14133
697.05/699.15 c #Conflicts: 116000 | #Constraints: 15133
697.05/699.15 c #Conflicts: 117000 | #Constraints: 16134
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 118000 | #Constraints: 10330
697.05/699.15 c #Conflicts: 119000 | #Constraints: 11330
697.05/699.15 c #Conflicts: 120000 | #Constraints: 12330
697.05/699.15 c #Conflicts: 121000 | #Constraints: 13330
697.05/699.15 c #Conflicts: 122000 | #Constraints: 14330
697.05/699.15 c #Conflicts: 123000 | #Constraints: 15330
697.05/699.15 c #Conflicts: 124000 | #Constraints: 16330
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 125000 | #Constraints: 10330
697.05/699.15 c #Conflicts: 126000 | #Constraints: 11330
697.05/699.15 c #Conflicts: 127000 | #Constraints: 12330
697.05/699.15 c #Conflicts: 128000 | #Constraints: 13330
697.05/699.15 c #Conflicts: 129000 | #Constraints: 14330
697.05/699.15 c #Conflicts: 130000 | #Constraints: 15330
697.05/699.15 c #Conflicts: 131000 | #Constraints: 16330
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 132000 | #Constraints: 10126
697.05/699.15 c #Conflicts: 133000 | #Constraints: 11126
697.05/699.15 c #Conflicts: 134000 | #Constraints: 12126
697.05/699.15 c #Conflicts: 135000 | #Constraints: 13126
697.05/699.15 c #Conflicts: 136000 | #Constraints: 14126
697.05/699.15 c #Conflicts: 137000 | #Constraints: 15126
697.05/699.15 c #Conflicts: 138000 | #Constraints: 16126
697.05/699.15 c #Conflicts: 139000 | #Constraints: 17126
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 140000 | #Constraints: 10728
697.05/699.15 c #Conflicts: 141000 | #Constraints: 11728
697.05/699.15 c #Conflicts: 142000 | #Constraints: 12728
697.05/699.15 c #Conflicts: 143000 | #Constraints: 13728
697.05/699.15 c #Conflicts: 144000 | #Constraints: 14728
697.05/699.15 c #Conflicts: 145000 | #Constraints: 15728
697.05/699.15 c #Conflicts: 146000 | #Constraints: 16728
697.05/699.15 c #Conflicts: 147000 | #Constraints: 17728
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 148000 | #Constraints: 11134
697.05/699.15 c #Conflicts: 149000 | #Constraints: 12134
697.05/699.15 c #Conflicts: 150000 | #Constraints: 13134
697.05/699.15 c #Conflicts: 151000 | #Constraints: 14134
697.05/699.15 c #Conflicts: 152000 | #Constraints: 15134
697.05/699.15 c #Conflicts: 153000 | #Constraints: 16134
697.05/699.15 c #Conflicts: 154000 | #Constraints: 17134
697.05/699.15 c #Conflicts: 155000 | #Constraints: 18134
697.05/699.15 c INPROCESSING
697.05/699.15 c GARBAGE COLLECT
697.05/699.15 c #Conflicts: 156000 | #Constraints: 11332
697.05/699.15 c #Conflicts: 157000 | #Constraints: 12333
697.05/699.15 c #Conflicts: 158000 | #Constraints: 13334
697.05/699.15 c #Conflicts: 159000 | #Constraints: 14334
697.05/699.15 c #Conflicts: 160000 | #Constraints: 15334
697.05/699.15 c #Conflicts: 161000 | #Constraints: 16334
697.05/699.15 c #Conflicts: 162000 | #Constraints: 17334
697.05/699.15 c #Conflicts: 163000 | #Constraints: 18334
697.05/699.15 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 164000 | #Constraints: 11334
1107.58/1111.01 c #Conflicts: 165000 | #Constraints: 12334
1107.58/1111.01 c #Conflicts: 166000 | #Constraints: 13334
1107.58/1111.01 c #Conflicts: 167000 | #Constraints: 14335
1107.58/1111.01 c #Conflicts: 168000 | #Constraints: 15335
1107.58/1111.01 c #Conflicts: 169000 | #Constraints: 16335
1107.58/1111.01 c #Conflicts: 170000 | #Constraints: 17335
1107.58/1111.01 c #Conflicts: 171000 | #Constraints: 18335
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 172000 | #Constraints: 11131
1107.58/1111.01 c #Conflicts: 173000 | #Constraints: 12131
1107.58/1111.01 c #Conflicts: 174000 | #Constraints: 13131
1107.58/1111.01 c #Conflicts: 175000 | #Constraints: 14131
1107.58/1111.01 c #Conflicts: 176000 | #Constraints: 15131
1107.58/1111.01 c #Conflicts: 177000 | #Constraints: 16131
1107.58/1111.01 c #Conflicts: 178000 | #Constraints: 17132
1107.58/1111.01 c #Conflicts: 179000 | #Constraints: 18132
1107.58/1111.01 c #Conflicts: 180000 | #Constraints: 19132
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 181000 | #Constraints: 11730
1107.58/1111.01 c #Conflicts: 182000 | #Constraints: 12730
1107.58/1111.01 c #Conflicts: 183000 | #Constraints: 13730
1107.58/1111.01 c #Conflicts: 184000 | #Constraints: 14730
1107.58/1111.01 c #Conflicts: 185000 | #Constraints: 15730
1107.58/1111.01 c #Conflicts: 186000 | #Constraints: 16730
1107.58/1111.01 c #Conflicts: 187000 | #Constraints: 17730
1107.58/1111.01 c #Conflicts: 188000 | #Constraints: 18730
1107.58/1111.01 c #Conflicts: 189000 | #Constraints: 19730
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 190000 | #Constraints: 12133
1107.58/1111.01 c #Conflicts: 191000 | #Constraints: 13133
1107.58/1111.01 c #Conflicts: 192000 | #Constraints: 14133
1107.58/1111.01 c #Conflicts: 193000 | #Constraints: 15133
1107.58/1111.01 c #Conflicts: 194000 | #Constraints: 16133
1107.58/1111.01 c #Conflicts: 195000 | #Constraints: 17133
1107.58/1111.01 c #Conflicts: 196000 | #Constraints: 18133
1107.58/1111.01 c #Conflicts: 197000 | #Constraints: 19133
1107.58/1111.01 c #Conflicts: 198000 | #Constraints: 20133
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 199000 | #Constraints: 12334
1107.58/1111.01 c #Conflicts: 200000 | #Constraints: 13334
1107.58/1111.01 c #Conflicts: 201000 | #Constraints: 14334
1107.58/1111.01 c #Conflicts: 202000 | #Constraints: 15334
1107.58/1111.01 c #Conflicts: 203000 | #Constraints: 16334
1107.58/1111.01 c #Conflicts: 204000 | #Constraints: 17334
1107.58/1111.01 c #Conflicts: 205000 | #Constraints: 18334
1107.58/1111.01 c #Conflicts: 206000 | #Constraints: 19334
1107.58/1111.01 c #Conflicts: 207000 | #Constraints: 20334
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 c #Conflicts: 208000 | #Constraints: 12335
1107.58/1111.01 c #Conflicts: 209000 | #Constraints: 13335
1107.58/1111.01 c #Conflicts: 210000 | #Constraints: 14335
1107.58/1111.01 c #Conflicts: 211000 | #Constraints: 15335
1107.58/1111.01 c #Conflicts: 212000 | #Constraints: 16335
1107.58/1111.01 c #Conflicts: 213000 | #Constraints: 17336
1107.58/1111.01 c #Conflicts: 214000 | #Constraints: 18336
1107.58/1111.01 c #Conflicts: 215000 | #Constraints: 19336
1107.58/1111.01 c #Conflicts: 216000 | #Constraints: 20336
1107.58/1111.01 c INPROCESSING
1107.58/1111.01 c GARBAGE COLLECT
1107.58/1111.01 WSVECS04 Frhs2[4]: 6 -159800 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[28]: 6 -123242 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[121]: 6 -0.908018 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[128]: 6 0 10.7818 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[134]: 6 -0.999733 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[135]: 6 -0.99935 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[138]: 6 -1.86926 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[139]: 6 -0.98852 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[143]: 6 -0.815942 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[149]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[150]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[156]: 6 -0.999332 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[159]: 6 -2.86931 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[164]: 6 -0.815942 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[165]: 6 -0.631875 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[166]: 6 -0.263729 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[170]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[171]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[172]: 6 0 46.2475 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[177]: 6 -0.999378 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[185]: 6 -0.815923 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[186]: 6 -0.631858 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[189]: 6 0 1.94544 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[191]: 6 0 10.7818 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[192]: 6 0 22.5634 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[193]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[199]: 6 -0.998603 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[200]: 6 -0.997196 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[201]: 6 -4.86931 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[202]: 6 -2.48858 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[206]: 6 -0.815992 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[207]: 6 -0.631902 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[211]: 6 0 4.89087 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[212]: 6 0 10.7818 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[213]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[214]: 6 0 46.2475 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[220]: 6 0 29126.6 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[221]: 6 -0.997174 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[222]: 6 -5.86933 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[223]: 6 -7.73854 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[227]: 6 -0.815925 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[232]: 6 0 4.89088 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[233]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[234]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[235]: 6 0 46.2475 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[242]: 6 0 32139.4 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[243]: 6 -0.994321 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[244]: 6 -1.48859 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[250]: 6 -0.26372 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[253]: 6 0 4.89093 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[254]: 6 0 10.7818 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[255]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[256]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[264]: 6 0 38165.1 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[265]: 6 -0.988543 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[270]: 6 -0.631915 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[271]: 6 -0.263741 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[274]: 6 0 4.89091 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[275]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[276]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[277]: 6 0 46.2475 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[286]: 6 0 50216.3 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[290]: 6 -1.81599 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[291]: 6 -0.631908 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[295]: 6 0 4.89088 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[296]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[297]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[298]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[308]: 6 0 74318.8 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[317]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[318]: 6 0 22.5635 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[319]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[332]: 6 -1.566 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[334]: 6 -0.263716 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[338]: 6 0 10.7818 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[339]: 6 0 22.5634 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[340]: 6 0 46.2475 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[352]: 6 0 218939 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[353]: 6 -0.815928 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[354]: 6 -1.13187 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[360]: 6 0 22.5634 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[361]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[373]: 6 0 95065.1 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[374]: 6 0 411764 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[379]: 6 0 4.89094 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[380]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[381]: 6 0 22.5634 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[382]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[394]: 6 0 70983 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[395]: 6 0 289707 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[396]: 6 0 797414 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[397]: 6 -0.263662 0 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[419]: 6 0 0.472779 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[421]: 6 0 4.89094 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[422]: 6 0 10.7817 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[423]: 6 0 22.5634 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[424]: 6 0 46.2476 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[439]: 6 0 1.44297e+06 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[461]: 6 0 3.01171e+06 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[481]: 6 0 1.54191e+06 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[482]: 6 0 2.97765e+06 shouldn't be
1107.58/1111.01 WSVECS04 Frhs2[969]: 6 0 103238 shouldn't be
1140.67/1144.25 c #Conflicts: 217000 | #Constraints: 12143
1140.67/1144.25 c #Conflicts: 218000 | #Constraints: 13143
1140.67/1144.25 c #Conflicts: 219000 | #Constraints: 14143
1140.67/1144.25 c #Conflicts: 220000 | #Constraints: 15143
1140.67/1144.25 c #Conflicts: 221000 | #Constraints: 16143
1140.67/1144.25 WSVECS04 Frhs2[1094]: 6 0 0.500001 shouldn't be
1140.67/1144.25 WSVECS04 Frhs2[1203]: 6 0 6.75322 shouldn't be
1140.67/1144.25 WSVECS04 Frhs2[1208]: 6 0 1.47557 shouldn't be
1140.67/1144.25 WSVECS04 Frhs2[1377]: 6 0 11.4337 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[12]: 6 0 4.66911 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[24]: 6 0 8.29288 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[58]: 6 0 7.72475 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[529]: 6 0 3.62131 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[533]: 6 0 13.1623 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[535]: 6 0 25.7196 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[539]: 6 0 1.17683 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[540]: 6 0 1.22701 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[559]: 6 0 13.0169 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[560]: 6 0 60.3919 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[561]: 6 0 13.0279 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[562]: 6 0 2.16827 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[575]: 6 0 2.47889 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[595]: 6 0 24.2004 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[598]: 6 0 62.8117 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[618]: 6 0 18.5179 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[645]: 6 0 7.80114e-05 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[661]: 6 0 5.19375e-06 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[744]: 6 0 3.95174e-05 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[784]: 6 0 135.86 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[917]: 6 0 2.03901 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1015]: 6 0 5.10564 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1039]: 6 0 21.4348 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1067]: 6 0 7.76003 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1093]: 6 0 4.07999 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1095]: 6 0 0.101578 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1101]: 6 0 29.8346 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1140]: 6 0 9.7514 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1162]: 6 0 21.2528 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1174]: 6 0 0.50001 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1184]: 6 0 6.25417 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1237]: 6 0 33.9026 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1294]: 6 0 8.00595 shouldn't be
1140.87/1144.46 WSVECS04 Frhs2[1401]: 6 0 0.906603 shouldn't be
1896.60/1902.66 c #Conflicts: 222000 | #Constraints: 17143
1896.60/1902.66 c #Conflicts: 223000 | #Constraints: 18143
1896.60/1902.66 c #Conflicts: 224000 | #Constraints: 19143
1896.60/1902.66 c #Conflicts: 225000 | #Constraints: 20143
1896.60/1902.66 c #Conflicts: 226000 | #Constraints: 21143
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 227000 | #Constraints: 12734
1896.60/1902.66 c #Conflicts: 228000 | #Constraints: 13734
1896.60/1902.66 c #Conflicts: 229000 | #Constraints: 14734
1896.60/1902.66 c #Conflicts: 230000 | #Constraints: 15734
1896.60/1902.66 c #Conflicts: 231000 | #Constraints: 16734
1896.60/1902.66 c #Conflicts: 232000 | #Constraints: 17734
1896.60/1902.66 c #Conflicts: 233000 | #Constraints: 18734
1896.60/1902.66 c #Conflicts: 234000 | #Constraints: 19734
1896.60/1902.66 c #Conflicts: 235000 | #Constraints: 20734
1896.60/1902.66 c #Conflicts: 236000 | #Constraints: 21734
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 237000 | #Constraints: 13130
1896.60/1902.66 c #Conflicts: 238000 | #Constraints: 14130
1896.60/1902.66 c #Conflicts: 239000 | #Constraints: 15130
1896.60/1902.66 c #Conflicts: 240000 | #Constraints: 16130
1896.60/1902.66 c #Conflicts: 241000 | #Constraints: 17130
1896.60/1902.66 c #Conflicts: 242000 | #Constraints: 18130
1896.60/1902.66 c #Conflicts: 243000 | #Constraints: 19130
1896.60/1902.66 c #Conflicts: 244000 | #Constraints: 20130
1896.60/1902.66 c #Conflicts: 245000 | #Constraints: 21130
1896.60/1902.66 c #Conflicts: 246000 | #Constraints: 22130
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 247000 | #Constraints: 13329
1896.60/1902.66 c #Conflicts: 248000 | #Constraints: 14329
1896.60/1902.66 c #Conflicts: 249000 | #Constraints: 15329
1896.60/1902.66 c #Conflicts: 250000 | #Constraints: 16329
1896.60/1902.66 c #Conflicts: 251000 | #Constraints: 17329
1896.60/1902.66 c #Conflicts: 252000 | #Constraints: 18329
1896.60/1902.66 c #Conflicts: 253000 | #Constraints: 19329
1896.60/1902.66 c #Conflicts: 254000 | #Constraints: 20329
1896.60/1902.66 c #Conflicts: 255000 | #Constraints: 21329
1896.60/1902.66 c #Conflicts: 256000 | #Constraints: 22329
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 257000 | #Constraints: 13332
1896.60/1902.66 c #Conflicts: 258000 | #Constraints: 14332
1896.60/1902.66 c #Conflicts: 259000 | #Constraints: 15332
1896.60/1902.66 c #Conflicts: 260000 | #Constraints: 16332
1896.60/1902.66 c #Conflicts: 261000 | #Constraints: 17333
1896.60/1902.66 c #Conflicts: 262000 | #Constraints: 18333
1896.60/1902.66 c #Conflicts: 263000 | #Constraints: 19333
1896.60/1902.66 c #Conflicts: 264000 | #Constraints: 20336
1896.60/1902.66 c #Conflicts: 265000 | #Constraints: 21336
1896.60/1902.66 c #Conflicts: 266000 | #Constraints: 22336
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 267000 | #Constraints: 13132
1896.60/1902.66 c #Conflicts: 268000 | #Constraints: 14132
1896.60/1902.66 c #Conflicts: 269000 | #Constraints: 15132
1896.60/1902.66 c #Conflicts: 270000 | #Constraints: 16132
1896.60/1902.66 c #Conflicts: 271000 | #Constraints: 17132
1896.60/1902.66 c #Conflicts: 272000 | #Constraints: 18132
1896.60/1902.66 c #Conflicts: 273000 | #Constraints: 19132
1896.60/1902.66 c #Conflicts: 274000 | #Constraints: 20132
1896.60/1902.66 c #Conflicts: 275000 | #Constraints: 21132
1896.60/1902.66 c #Conflicts: 276000 | #Constraints: 22132
1896.60/1902.66 c #Conflicts: 277000 | #Constraints: 23132
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 278000 | #Constraints: 13729
1896.60/1902.66 c #Conflicts: 279000 | #Constraints: 14729
1896.60/1902.66 c #Conflicts: 280000 | #Constraints: 15729
1896.60/1902.66 c #Conflicts: 281000 | #Constraints: 16729
1896.60/1902.66 c #Conflicts: 282000 | #Constraints: 17729
1896.60/1902.66 c #Conflicts: 283000 | #Constraints: 18729
1896.60/1902.66 c #Conflicts: 284000 | #Constraints: 19729
1896.60/1902.66 c #Conflicts: 285000 | #Constraints: 20729
1896.60/1902.66 c #Conflicts: 286000 | #Constraints: 21729
1896.60/1902.66 c #Conflicts: 287000 | #Constraints: 22729
1896.60/1902.66 c #Conflicts: 288000 | #Constraints: 23729
1896.60/1902.66 c INPROCESSING
1896.60/1902.66 c GARBAGE COLLECT
1896.60/1902.66 c #Conflicts: 289000 | #Constraints: 14128
1896.60/1902.66 c #Conflicts: 290000 | #Constraints: 15128
1896.60/1902.66 c #Conflicts: 291000 | #Constraints: 16128
1896.60/1902.66 c #Conflicts: 292000 | #Constraints: 17128
1896.60/1902.66 c #Conflicts: 293000 | #Constraints: 18128
1896.60/1902.66 c #Conflicts: 294000 | #Constraints: 19129
1896.60/1902.66 c #Conflicts: 295000 | #Constraints: 20129
1896.60/1902.66 c #Conflicts: 296000 | #Constraints: 21129
1940.55/1946.79 c #Conflicts: 297000 | #Constraints: 22129
1940.55/1946.79 c #Conflicts: 298000 | #Constraints: 23129
1940.55/1946.79 c #Conflicts: 299000 | #Constraints: 24129
1940.55/1946.79 c INPROCESSING
1940.55/1946.79 c GARBAGE COLLECT
1940.55/1946.79 WSVECS04 Frhs2[21]: 6 -11.3154 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[46]: 6 -2.93308 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[47]: 6 0 0.287731 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[50]: 6 0 0.949788 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[65]: 6 -3.86778 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[112]: 6 0 8.10656 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[118]: 6 -1.38981 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[121]: 6 -2.13259 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[122]: 6 -2.34875 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[126]: 6 -2.29594 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[128]: 6 -2.99611 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[161]: 6 -2.00198 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[162]: 6 -1.50394 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[164]: 6 -3.70993 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[165]: 6 -3.41986 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[166]: 6 -3.83969 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[167]: 6 -3.67925 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[168]: 6 -3.35846 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[169]: 6 -2.71685 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[171]: 6 -4.11726 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[172]: 6 -5.9845 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[204]: 6 -1.00392 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[205]: 6 -2.00788 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[206]: 6 -1.51564 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[210]: 6 -1.75007 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[211]: 6 -0.500066 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[212]: 6 -3.68364 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[214]: 6 -6.73448 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[215]: 6 -10.4688 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[216]: 6 -17.9374 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[231]: 6 0 0.750088 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[336]: 6 -2.99981 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[337]: 6 -2.99961 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[338]: 6 -2.99911 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[340]: 6 -6.25007 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[341]: 6 -8.49994 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[342]: 6 -18.2499 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[343]: 6 -33.4997 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[344]: 6 -65.4995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[345]: 6 -129.499 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[346]: 6 -257.775 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[347]: 6 -514.039 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[348]: 6 -1026.01 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[349]: 6 -2049.9 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[358]: 6 -3.99956 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[359]: 6 -3.99906 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[360]: 6 -3.99811 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[362]: 6 -9.50001 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[363]: 6 -16.9999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[364]: 6 -34.4998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[365]: 6 -64.9995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[366]: 6 -128.999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[367]: 6 -256.998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[368]: 6 -513.55 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[369]: 6 -1026.08 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[370]: 6 -2050.03 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[371]: 6 -4097.81 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[380]: 6 -3.24903 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[381]: 6 -3.9981 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[382]: 6 -5.99622 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[384]: 6 -16.9999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[385]: 6 -32.9997 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[386]: 6 -64.9994 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[387]: 6 -128.999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[388]: 6 -256.998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[389]: 6 -512.995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[390]: 6 -1025.1 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[391]: 6 -2050.15 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[392]: 6 -4098.06 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[393]: 6 -8193.62 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[394]: 6 -16384.3 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[403]: 6 -5.99618 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[404]: 6 -9.99222 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[406]: 6 -33.9685 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[407]: 6 -64.9995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[408]: 6 -128.999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[409]: 6 -256.998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[410]: 6 -512.995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[411]: 6 -1026.1 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[412]: 6 -2049.95 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[413]: 6 -4098.31 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[414]: 6 -8194.12 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[415]: 6 -16385.2 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[424]: 6 -6.99614 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[425]: 6 -10.9922 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[426]: 6 -17.9843 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[428]: 6 -65.9369 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[429]: 6 -128.999 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[430]: 6 -256.998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[431]: 6 -512.995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[432]: 6 -1024.99 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[433]: 6 -2050.2 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[434]: 6 -4097.9 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[435]: 6 -8194.62 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[436]: 6 -16386.2 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[437]: 6 -32768.7 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[446]: 6 -11.9922 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[447]: 6 -20.9843 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[448]: 6 -33.9685 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[450]: 6 -129.874 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[451]: 6 -256.998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[452]: 6 -512.995 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[453]: 6 -1024.99 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[454]: 6 -2048.98 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[455]: 6 -4098.4 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[456]: 6 -8193.8 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[457]: 6 -16387.2 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[458]: 6 -32768.7 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[459]: 6 -65533.8 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[461]: 6 -262142 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[490]: 6 -32.9998 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[491]: 6 -66.9369 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[492]: 6 -130.874 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[494]: 6 -513.495 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[495]: 6 -1024.99 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[496]: 6 -2048.98 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[497]: 6 -4096.96 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[498]: 6 -8192.92 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[499]: 6 -16387.6 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[500]: 6 -32769.2 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[501]: 6 -65536.4 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[502]: 6 -131072 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[503]: 6 -262131 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[504]: 6 -524285 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[505]: 6 -1.04849e+06 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[529]: 6 0 1.12375 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[533]: 6 -4.89962 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[538]: 6 -2.25251 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[539]: 6 0 1.21525 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[543]: 6 -2.19089 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[544]: 6 -0.181331 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[545]: 6 -3.02726 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[554]: 6 -2.6776 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[556]: 6 -2.65724 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[581]: 6 -5.66711 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[663]: 6 -1.00007 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[666]: 6 0 6.21685 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[676]: 6 -4.22297 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[684]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[697]: 6 0 1.00005 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[704]: 6 0 1.00003 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[788]: 6 0 2.00002 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[820]: 6 -5.22147 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[827]: 6 0 2.75007 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[832]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[834]: 6 -1.00002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[835]: 6 -1.00003 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[836]: 6 -1.00001 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[853]: 6 -1.00009 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[856]: 6 -1.00005 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[858]: 6 -1.75007 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[867]: 6 0 1.00006 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[870]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[874]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[877]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[883]: 6 -11.7271 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[884]: 6 -1.96143 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[887]: 6 0 3.00003 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[891]: 6 -1.00005 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[895]: 6 -1.00005 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[897]: 6 -1.00004 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[898]: 6 -1.00006 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[903]: 6 0 1.7717 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[905]: 6 -12.2955 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[916]: 6 -1.50002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[917]: 6 -1.50009 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[918]: 6 -1.50009 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[919]: 6 -1.50003 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[926]: 6 -3.30468 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[943]: 6 -1.00009 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[946]: 6 0 2.0146 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[947]: 6 0 10.7752 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[966]: 6 -5.42841 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[967]: 6 -46.1417 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[987]: 6 0 6.14019 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[989]: 6 0 0.427331 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1005]: 6 -0.28923 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1012]: 6 -1.00004 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1022]: 6 -0.700219 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1024]: 6 0 3.54561 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1077]: 6 -0.60766 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1129]: 6 -0.500097 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1143]: 6 -0.569851 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1167]: 6 0 0.222753 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1174]: 6 -1.00001 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1226]: 6 -2.37501 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1231]: 6 -0.607703 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1247]: 6 -1.0001 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1268]: 6 -1.00002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1284]: 6 -2.81353 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1288]: 6 0 0.25001 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1306]: 6 -2.62703 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1327]: 6 -1.00003 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1332]: 6 -1.00002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1342]: 6 -1.00004 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1354]: 6 -1.00007 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1364]: 6 -1.00003 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1372]: 6 -0.0156417 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1386]: 6 -1.00004 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1404]: 6 -1.00002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1419]: 6 -0.500059 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1426]: 6 0 1.54923 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1436]: 6 -2.4688 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1440]: 6 -1.00009 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1441]: 6 -1.50002 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1443]: 6 -1.50008 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1446]: 6 -0.500093 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1447]: 6 -1.00005 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1494]: 6 -3.78715e-05 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1495]: 6 -9.44268e-05 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1497]: 6 -4.34826e-05 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1498]: 6 -0.000125649 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1499]: 6 -0.000110702 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1500]: 6 -0.000175507 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1501]: 6 -0.000346638 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1502]: 6 -0.000523766 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1505]: 6 -0.00415437 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1507]: 6 -0.0164408 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1508]: 6 -0.0329126 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1509]: 6 -0.0657292 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1510]: 6 -0.131417 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1511]: 6 -0.262854 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1512]: 6 -0.525561 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1513]: 6 -0.0777619 0 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1515]: 6 0 2.71625 shouldn't be
1940.55/1946.79 WSVECS04 Frhs2[1518]: 6 0 28.655 shouldn't be
2889.01/2898.15 c #Conflicts: 300000 | #Constraints: 14330
2889.01/2898.15 c #Conflicts: 301000 | #Constraints: 15330
2889.01/2898.15 c #Conflicts: 302000 | #Constraints: 16330
2889.01/2898.15 c #Conflicts: 303000 | #Constraints: 17330
2889.01/2898.15 c #Conflicts: 304000 | #Constraints: 18330
2889.01/2898.15 c #Conflicts: 305000 | #Constraints: 19330
2889.01/2898.15 c #Conflicts: 306000 | #Constraints: 20330
2889.01/2898.15 c #Conflicts: 307000 | #Constraints: 21330
2889.01/2898.15 c #Conflicts: 308000 | #Constraints: 22330
2889.01/2898.15 c #Conflicts: 309000 | #Constraints: 23330
2889.01/2898.15 c #Conflicts: 310000 | #Constraints: 24330
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 311000 | #Constraints: 14331
2889.01/2898.15 c #Conflicts: 312000 | #Constraints: 15331
2889.01/2898.15 c #Conflicts: 313000 | #Constraints: 16331
2889.01/2898.15 c #Conflicts: 314000 | #Constraints: 17331
2889.01/2898.15 c #Conflicts: 315000 | #Constraints: 18331
2889.01/2898.15 c #Conflicts: 316000 | #Constraints: 19331
2889.01/2898.15 c #Conflicts: 317000 | #Constraints: 20331
2889.01/2898.15 c #Conflicts: 318000 | #Constraints: 21331
2889.01/2898.15 c #Conflicts: 319000 | #Constraints: 22331
2889.01/2898.15 c #Conflicts: 320000 | #Constraints: 23331
2889.01/2898.15 c #Conflicts: 321000 | #Constraints: 24331
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 322000 | #Constraints: 14128
2889.01/2898.15 c #Conflicts: 323000 | #Constraints: 15128
2889.01/2898.15 c #Conflicts: 324000 | #Constraints: 16128
2889.01/2898.15 c #Conflicts: 325000 | #Constraints: 17128
2889.01/2898.15 c #Conflicts: 326000 | #Constraints: 18128
2889.01/2898.15 c #Conflicts: 327000 | #Constraints: 19128
2889.01/2898.15 c #Conflicts: 328000 | #Constraints: 20128
2889.01/2898.15 c #Conflicts: 329000 | #Constraints: 21128
2889.01/2898.15 c #Conflicts: 330000 | #Constraints: 22128
2889.01/2898.15 c #Conflicts: 331000 | #Constraints: 23128
2889.01/2898.15 c #Conflicts: 332000 | #Constraints: 24128
2889.01/2898.15 c #Conflicts: 333000 | #Constraints: 25128
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 334000 | #Constraints: 14737
2889.01/2898.15 c #Conflicts: 335000 | #Constraints: 15737
2889.01/2898.15 c #Conflicts: 336000 | #Constraints: 16737
2889.01/2898.15 c #Conflicts: 337000 | #Constraints: 17737
2889.01/2898.15 c #Conflicts: 338000 | #Constraints: 18737
2889.01/2898.15 c #Conflicts: 339000 | #Constraints: 19737
2889.01/2898.15 c #Conflicts: 340000 | #Constraints: 20737
2889.01/2898.15 c #Conflicts: 341000 | #Constraints: 21737
2889.01/2898.15 c #Conflicts: 342000 | #Constraints: 22737
2889.01/2898.15 c #Conflicts: 343000 | #Constraints: 23737
2889.01/2898.15 c #Conflicts: 344000 | #Constraints: 24737
2889.01/2898.15 c #Conflicts: 345000 | #Constraints: 25737
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 346000 | #Constraints: 15138
2889.01/2898.15 c #Conflicts: 347000 | #Constraints: 16138
2889.01/2898.15 c #Conflicts: 348000 | #Constraints: 17138
2889.01/2898.15 c #Conflicts: 349000 | #Constraints: 18138
2889.01/2898.15 c #Conflicts: 350000 | #Constraints: 19138
2889.01/2898.15 c #Conflicts: 351000 | #Constraints: 20138
2889.01/2898.15 c #Conflicts: 352000 | #Constraints: 21138
2889.01/2898.15 c #Conflicts: 353000 | #Constraints: 22138
2889.01/2898.15 c #Conflicts: 354000 | #Constraints: 23138
2889.01/2898.15 c #Conflicts: 355000 | #Constraints: 24138
2889.01/2898.15 c #Conflicts: 356000 | #Constraints: 25138
2889.01/2898.15 c #Conflicts: 357000 | #Constraints: 26138
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 358000 | #Constraints: 15333
2889.01/2898.15 c #Conflicts: 359000 | #Constraints: 16333
2889.01/2898.15 c #Conflicts: 360000 | #Constraints: 17333
2889.01/2898.15 c #Conflicts: 361000 | #Constraints: 18333
2889.01/2898.15 c #Conflicts: 362000 | #Constraints: 19333
2889.01/2898.15 c #Conflicts: 363000 | #Constraints: 20333
2889.01/2898.15 c #Conflicts: 364000 | #Constraints: 21333
2889.01/2898.15 c #Conflicts: 365000 | #Constraints: 22333
2889.01/2898.15 c #Conflicts: 366000 | #Constraints: 23333
2889.01/2898.15 c #Conflicts: 367000 | #Constraints: 24333
2889.01/2898.15 c #Conflicts: 368000 | #Constraints: 25333
2889.01/2898.15 c #Conflicts: 369000 | #Constraints: 26333
2889.01/2898.15 c INPROCESSING
2889.01/2898.15 c GARBAGE COLLECT
2889.01/2898.15 c #Conflicts: 370000 | #Constraints: 15335
2889.01/2898.15 c #Conflicts: 371000 | #Constraints: 16335
2889.01/2898.15 c #Conflicts: 372000 | #Constraints: 17335
2889.01/2898.15 c #Conflicts: 373000 | #Constraints: 18335
2889.01/2898.15 c #Conflicts: 374000 | #Constraints: 19335
3013.59/3023.05 c #Conflicts: 375000 | #Constraints: 20336
3013.59/3023.05 c #Conflicts: 376000 | #Constraints: 21336
3013.59/3023.05 c #Conflicts: 377000 | #Constraints: 22336
3013.59/3023.05 c #Conflicts: 378000 | #Constraints: 23336
3013.59/3023.05 c #Conflicts: 379000 | #Constraints: 24336
3013.59/3023.05 c #Conflicts: 380000 | #Constraints: 25336
3013.59/3023.05 c #Conflicts: 381000 | #Constraints: 26336
3013.59/3023.05 c INPROCESSING
3013.59/3023.05 c GARBAGE COLLECT
3013.59/3023.05 c rational objective 4.82725
3135.08/3144.85 c #Conflicts: 382000 | #Constraints: 15133
3135.08/3144.85 c #Conflicts: 383000 | #Constraints: 16133
3135.08/3144.85 c #Conflicts: 384000 | #Constraints: 17133
3135.08/3144.85 c #Conflicts: 385000 | #Constraints: 18133
3135.08/3144.85 c #Conflicts: 386000 | #Constraints: 19133
3135.08/3144.85 c #Conflicts: 387000 | #Constraints: 20133
3135.08/3144.85 c #Conflicts: 388000 | #Constraints: 21133
3135.08/3144.85 c #Conflicts: 389000 | #Constraints: 22133
3135.08/3144.85 c #Conflicts: 390000 | #Constraints: 23133
3135.08/3144.85 c #Conflicts: 391000 | #Constraints: 24133
3135.08/3144.85 c #Conflicts: 392000 | #Constraints: 25133
3135.08/3144.85 c #Conflicts: 393000 | #Constraints: 26133
3135.08/3144.85 c #Conflicts: 394000 | #Constraints: 27133
3135.08/3144.85 c INPROCESSING
3135.08/3144.85 c GARBAGE COLLECT
3135.08/3144.85 c rational objective 4.83127
3265.24/3275.35 c #Conflicts: 395000 | #Constraints: 15734
3265.24/3275.35 c #Conflicts: 396000 | #Constraints: 16735
3265.24/3275.35 c #Conflicts: 397000 | #Constraints: 17735
3265.24/3275.35 c #Conflicts: 398000 | #Constraints: 18738
3265.24/3275.35 c #Conflicts: 399000 | #Constraints: 19738
3265.24/3275.35 c #Conflicts: 400000 | #Constraints: 20738
3265.24/3275.35 c #Conflicts: 401000 | #Constraints: 21738
3265.24/3275.35 c #Conflicts: 402000 | #Constraints: 22738
3265.24/3275.35 c #Conflicts: 403000 | #Constraints: 23738
3265.24/3275.35 c #Conflicts: 404000 | #Constraints: 24738
3265.24/3275.35 c #Conflicts: 405000 | #Constraints: 25739
3265.24/3275.35 c #Conflicts: 406000 | #Constraints: 26739
3265.24/3275.35 c #Conflicts: 407000 | #Constraints: 27739
3265.24/3275.35 c INPROCESSING
3265.24/3275.35 c GARBAGE COLLECT
3265.24/3275.35 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[16]: 6 -1353.53 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[20]: 6 0 4320.43 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[40]: 6 -976.595 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[63]: 6 0 3.00008 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[64]: 6 0 7.00003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[66]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[82]: 6 -1512.99 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[88]: 6 0 63 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[110]: 6 0 127 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[123]: 6 -0.500095 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[127]: 6 0 7.00009 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[129]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[132]: 6 0 255 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[148]: 6 0 7.00002 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[149]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[150]: 6 0 30.5001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[151]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[168]: 6 0 2.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[169]: 6 0 7.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[170]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[171]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[172]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[189]: 6 0 3.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[190]: 6 0 7.00006 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[191]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[192]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[193]: 6 0 62.9992 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[202]: 6 -0.984431 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[205]: 6 -0.875021 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[206]: 6 -0.750074 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[209]: 6 0 1.00009 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[224]: 6 -0.968793 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[227]: 6 -0.750076 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[228]: 6 -0.500059 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[231]: 6 0 3.00007 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[251]: 6 0 1.00006 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[253]: 6 0 7.00005 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[254]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[255]: 6 0 31 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[256]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[272]: 6 0 1.00001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[273]: 6 0 3.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[274]: 6 0 7.00005 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[275]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[276]: 6 0 31 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[284]: 6 0 6640.79 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[285]: 6 0 14417.9 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[293]: 6 0 1.00006 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[294]: 6 0 3.00007 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[295]: 6 0 7.00003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[296]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[297]: 6 0 31 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[298]: 6 0 62.9992 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[307]: 6 0 31860.7 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[314]: 6 0 1.00002 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[315]: 6 0 3.00002 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[316]: 6 0 7.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[317]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[318]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[319]: 6 0 62.9992 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[330]: 6 0 131074 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[335]: 6 0 1.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[336]: 6 0 3.00003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[339]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[350]: 6 0 63887.7 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[357]: 6 0 3.00009 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[358]: 6 0 7.00006 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[361]: 6 0 62.9992 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[377]: 6 0 1.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[379]: 6 0 7.00003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[380]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[398]: 6 0 1.00005 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[399]: 6 0 3.00009 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[400]: 6 0 7.00002 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[401]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[402]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[403]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[416]: 6 0 522060 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[419]: 6 0 1.00008 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[420]: 6 0 3.00008 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[421]: 6 0 7.00002 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[422]: 6 0 15.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[423]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[424]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[439]: 6 0 2.09367e+06 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[441]: 6 0 3.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[442]: 6 0 7.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[443]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[444]: 6 0 31 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[445]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[463]: 6 0 7.00003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[464]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[465]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[466]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[481]: 6 0 2.09714e+06 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[483]: 6 0 8.38379e+06 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[485]: 6 0 15 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[486]: 6 0 31 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[487]: 6 0 62.9992 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[503]: 6 0 4.19227e+06 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[506]: 6 0 3.35545e+07 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[507]: 6 0 31.0001 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[508]: 6 0 62.9993 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[510]: 6 0 254.999 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[544]: 6 0 0.0811998 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[568]: 6 0 2151.16 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[624]: 6 -3.00007 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[642]: 6 0 4.50003 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[643]: 6 0 4.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[646]: 6 0 1.00007 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[860]: 6 -1.00004 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[947]: 6 0 1310.03 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1112]: 6 0 1.00004 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1131]: 6 -3.75005 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1132]: 6 -3.50004 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1135]: 6 -2.00001 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1148]: 6 -2.00004 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1151]: 6 -4.87506 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1170]: 6 -2.00005 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1232]: 6 -1.00006 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1253]: 6 -1099.95 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1276]: 6 -1.00006 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1297]: 6 -1.00004 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1316]: 6 -1.00003 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1358]: 6 -1.00004 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1360]: 6 -1.00008 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1385]: 6 0 139.729 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1487]: 6 -1.00006 0 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1513]: 6 0 122.984 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1516]: 6 0 1805.07 shouldn't be
3265.24/3275.35 WSVECS04 Frhs2[1517]: 6 0 2191.17 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1]: 6 -1208.38 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[3]: 6 -1352.38 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[15]: 6 -1352.96 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[34]: 6 -1688.06 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[44]: 6 0 1721.66 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[62]: 6 -803.89 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[76]: 6 -976.58 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[79]: 6 -1966.46 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[80]: 6 -976.345 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[102]: 6 -1643.43 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[117]: 6 -3079.37 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[118]: 6 -461.926 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[120]: 6 -2.375 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[122]: 6 -2 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[123]: 6 -0.500001 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[178]: 6 0 0.00195331 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[189]: 6 0 3 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[202]: 6 -0.984376 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[205]: 6 -0.875 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[206]: 6 -0.750001 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[224]: 6 -0.96875 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[227]: 6 -0.750001 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[228]: 6 -0.5 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[607]: 6 0 303.474 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[624]: 6 -3 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[642]: 6 0 4.5 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[645]: 6 0 3 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[652]: 6 0 1049.94 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[779]: 6 0 134.348 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[818]: 6 -1 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[839]: 6 -1 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[858]: 6 -1 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[860]: 6 -1 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[883]: 6 0 2101.01 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[905]: 6 0 2042.23 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[969]: 6 0 949.746 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[989]: 6 0 151.237 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1112]: 6 0 1 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1131]: 6 -3.75 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1132]: 6 -3.5 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1133]: 6 -3 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1135]: 6 -2 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1148]: 6 -2 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1150]: 6 0 147.8 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1151]: 6 -4.875 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1155]: 6 -4 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1170]: 6 -2 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1215]: 6 -0.907973 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1339]: 6 -1643.93 0 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3265.35/3275.49 WSVECS04 Frhs2[1518]: 6 0 6190.42 shouldn't be
3600.09/3611.00 c #Conflicts: 408000 | #Constraints: 16136
3600.09/3611.00 c #Conflicts: 409000 | #Constraints: 17136
3600.09/3611.00 c #Conflicts: 410000 | #Constraints: 18136
3600.09/3611.00 c #Conflicts: 411000 | #Constraints: 19136
3600.09/3611.00 c #Conflicts: 412000 | #Constraints: 20136
3600.09/3611.00 c #Conflicts: 413000 | #Constraints: 21136
3600.09/3611.00 c #Conflicts: 414000 | #Constraints: 22136
3600.09/3611.00 c #Conflicts: 415000 | #Constraints: 23136
3600.09/3611.00 c #Conflicts: 416000 | #Constraints: 24136
3600.09/3611.00 c #Conflicts: 417000 | #Constraints: 25136
3600.09/3611.00 c #Conflicts: 418000 | #Constraints: 26136
3600.09/3611.00 c #Conflicts: 419000 | #Constraints: 27136
3600.09/3611.00 c #Conflicts: 420000 | #Constraints: 28136
3600.09/3611.00 c INPROCESSING
3600.09/3611.00 c GARBAGE COLLECT
3600.09/3611.00 c #Conflicts: 421000 | #Constraints: 16337
3600.09/3611.00 c #Conflicts: 422000 | #Constraints: 17337
3600.09/3611.00 c #Conflicts: 423000 | #Constraints: 18337
3600.09/3611.00 c #Conflicts: 424000 | #Constraints: 19337
3600.09/3611.00 c #Conflicts: 425000 | #Constraints: 20337
3600.09/3611.00 c #Conflicts: 426000 | #Constraints: 21337
3600.09/3611.00 c #Conflicts: 427000 | #Constraints: 22337
3600.09/3611.00 c #Conflicts: 428000 | #Constraints: 23337
3600.09/3611.00 c #Conflicts: 429000 | #Constraints: 24337
3600.09/3611.00 c #Conflicts: 430000 | #Constraints: 25337
3600.09/3611.00 c #Conflicts: 431000 | #Constraints: 26337
3600.09/3611.00 c #Conflicts: 432000 | #Constraints: 27337
3600.09/3611.00 c #Conflicts: 433000 | #Constraints: 28337
3600.09/3611.00 c INPROCESSING
3600.09/3611.00 c GARBAGE COLLECT
3600.09/3611.00 c #Conflicts: 434000 | #Constraints: 16331
3600.09/3611.00 c #Conflicts: 435000 | #Constraints: 17331
3600.09/3611.00 c cpu time 3589.96 s
3600.09/3611.00 c deterministic time 693446390894 6.93e+11
3600.09/3611.00 c optimization time 23.1095 s
3600.09/3611.00 c total solve time 3566.84 s
3600.09/3611.00 c core-guided solve time 0 s
3600.09/3611.00 c propagation time 2822.33 s
3600.09/3611.00 c conflict analysis time 705.184 s
3600.09/3611.00 c propagations 104025574
3600.09/3611.00 c resolve steps 78394539
3600.09/3611.00 c decisions 538631
3600.09/3611.00 c conflicts 435140
3600.09/3611.00 c restarts 1020
3600.09/3611.00 c inprocessing phases 57
3600.09/3611.00 c garbage collections 57 ,( 100.00 )
3600.09/3611.00 c input clauses 1584 ,( 63.08 )
3600.09/3611.00 c input cardinalities 0 ,( 0.00 )
3600.09/3611.00 c input general constraints 927 ,( 36.92 )
3600.09/3611.00 c input average constraint length 3.73
3600.09/3611.00 c input average constraint degree 21018140083.22
3600.09/3611.00 c learned clauses 14218 ,( 3.27 )
3600.09/3611.00 c learned cardinalities 2 ,( 0.00 )
3600.09/3611.00 c learned general constraints 421019 ,( 96.73 )
3600.09/3611.00 c learned average constraint length 467.30
3600.09/3611.00 c learned average constraint degree 860711803.61
3600.09/3611.00 c watched CF 32, 64, 128, Arb: 1541 , 0 , 0 , 0
3600.09/3611.00 c counting CF 32, 64, 128, Arb: 420402 , 3 , 0 , 0
3600.09/3611.00 c watched constraints 1541 ,( 0.37 )
3600.09/3611.00 c counting constraints 420405 ,( 99.63 )
3600.09/3611.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 80335680 , 173031 , 62821956658 ,( 7686781 , 62814269877 )
3600.09/3611.00 c gcd simplifications 2337
3600.09/3611.00 c detected cardinalities 0
3600.09/3611.00 c weakened non-implied lits 20576378
3600.09/3611.00 c weakened non-implying lits 763700
3600.09/3611.00 c original variables 1562
3600.09/3611.00 c clausal propagations 18078426
3600.09/3611.00 c cardinality propagations 1935
3600.09/3611.00 c watched propagations 54926
3600.09/3611.00 c counting propagations 85464866
3600.09/3611.00 c watch lookups 63747245919
3600.09/3611.00 c watch backjump lookups 0
3600.09/3611.00 c watch checks 226853040
3600.09/3611.00 c propagation checks 627932315849
3600.09/3611.00 c constraint additions 1330340456
3600.09/3611.00 c trail pops 104997783
3600.09/3611.00 c formula constraints 2511
3600.09/3611.00 c learned constraints 435139
3600.09/3611.00 c bound constraints 0
3600.09/3611.00 c core-guided constraints 0
3600.09/3611.00 c encountered formula constraints 77163843
3600.09/3611.00 c encountered learned constraints 1636754
3600.09/3611.00 c encountered bound constraints 0
3600.09/3611.00 c encountered core-guided constraints 0
3600.09/3611.00 c LP total time 10.5143 s
3600.09/3611.00 c LP solve time 6.82 s
3600.09/3611.00 c LP constraints added 2525
3600.09/3611.00 c LP constraints removed 3
3600.09/3611.00 c LP pivots internal 43880
3600.09/3611.00 c LP pivots root 29761
3600.09/3611.00 c LP calls 205
3600.09/3611.00 c LP optimalities 29
3600.09/3611.00 c LP no pivot count 1
3600.09/3611.00 c LP infeasibilities 125
3600.09/3611.00 c LP valid Farkas constraints 90
3600.09/3611.00 c LP learned Farkas constraints 0
3600.09/3611.00 c LP basis resets 48
3600.09/3611.00 c LP cycling count 4
3600.09/3611.00 c LP singular count 29
3600.09/3611.00 c LP no primal count 0
3600.09/3611.00 c LP no farkas count 0
3600.09/3611.00 c LP other issue count 15
3600.09/3611.00 c LP Gomory cuts 10
3600.09/3611.00 c LP learned cuts 4
3600.09/3611.00 c LP deleted cuts 3
3600.09/3611.00 c LP encountered Gomory constraints 1
3600.09/3611.00 c LP encountered Farkas constraints 29081
3600.09/3611.00 c LP encountered learned Farkas constraints 0
3600.09/3611.00 c CG auxiliary variables introduced 0
3600.09/3611.00 c CG solutions found 0
3600.09/3611.00 c CG cores constructed 0
3600.09/3611.00 c CG core cardinality constraints returned 0
3600.09/3611.00 c CG unit cores 0
3600.09/3611.00 c CG single cores 0
3600.09/3611.00 c CG blocks removed during cardinality reduction 0
3600.09/3611.00 c CG first core best 0
3600.09/3611.00 c CG decision core best 0
3600.09/3611.00 c CG core reduction tie 0
3600.09/3611.00 c CG core degree average 0.00
3600.09/3611.00 c CG core slack average 0.00
3600.09/3611.00 c CG core upper bound improvements 0
3600.09/3611.00 c STR number of successful calls 0
3600.09/3611.00 c STR number of unsuccessful calls 0
3600.09/3611.00 c STR number of inconclusive calls 0
3600.09/3611.00 c STR number of successful attempts 0
3600.09/3611.00 c STR number of unsuccessful attempts 0
3600.09/3611.00 c STR number of inconclusive attempts 0
3600.09/3611.00 c STR average degree increase per successful call inf
3600.09/3611.00 c STR average degree increase per successful attempt inf
3600.09/3611.00 c STR total number of conflicts for successful attempts 0
3600.09/3611.00 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.00 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.00 c STR average number of conflicts per successful attempt inf
3600.09/3611.00 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.00 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.00 c AVG.sumWPerc 99.04
3600.09/3611.00 c bigint constraints 3
3600.09/3611.00 s UNKNOWN
3600.09/3611.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: 63708 MiB (57145 MiB free)
memory of node 1: 64465 MiB (61446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541998-1753202597/watcher-4541998-1753202597 -o /tmp/evaluation-result-4541998-1753202597/solver-4541998-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183311 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541998-1753202597.opb /tmp/proof-4541998-1753202597
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183698, runsolver pid=183693
[startup+0.100056 s]*
/proc/loadavg: 4.36 4.20 4.11 4/257 183711
/proc/meminfo: memFree=123348040/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=60744 memory=14604 CPUtime=0.08 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 2062 0 0 0 8 0 0 0 20 0 1 0 235938136 62201856 3651 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 15186 3651 2336 1147 0 2613 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64936 KiB
Current children cumulated memory: 17548 KiB
[startup+0.205267 s]*
/proc/loadavg: 4.36 4.20 4.11 5/257 183716
/proc/meminfo: memFree=125294276/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=60744 memory=14604 CPUtime=0.18 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 2062 0 0 0 18 0 0 0 20 0 1 0 235938136 62201856 3651 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 15186 3651 2336 1147 0 2613 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64936 KiB
Current children cumulated memory: 17548 KiB
[startup+0.305277 s]*
/proc/loadavg: 4.36 4.20 4.11 4/264 183730
/proc/meminfo: memFree=126688176/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=62948 memory=18872 CPUtime=0.29 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 2592 0 0 0 28 1 0 0 20 0 1 0 235938136 64458752 4718 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 15737 4718 2368 1147 0 3164 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67140 KiB
Current children cumulated memory: 21816 KiB
[startup+0.700158 s]
/proc/loadavg: 4.36 4.20 4.11 5/266 183740
/proc/meminfo: memFree=126644664/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=69520 memory=27432 CPUtime=0.68 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 4234 0 0 0 66 2 0 0 20 0 1 0 235938136 71188480 6858 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 17380 6858 2368 1147 0 4807 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73712 KiB
Current children cumulated memory: 30376 KiB
[startup+1.50016 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126549280/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=80984 memory=36648 CPUtime=1.47 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 6531 0 0 0 144 3 0 0 20 0 1 0 235938136 82927616 9162 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 20246 9162 2368 1147 0 7673 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 39592 KiB
[startup+3.10539 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126485560/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=87632 memory=43432 CPUtime=3.08 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 8213 0 0 0 303 5 0 0 20 0 1 0 235938136 89735168 10858 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 21908 10858 2368 1147 0 9335 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91824 KiB
Current children cumulated memory: 46376 KiB
[startup+6.30017 s]
/proc/loadavg: 4.30 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126407544/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=105396 memory=60584 CPUtime=6.27 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 11991 0 0 0 618 9 0 0 20 0 1 0 235938136 107925504 15146 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 26349 15146 2368 1147 0 13776 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109588 KiB
Current children cumulated memory: 63528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.19 4.11 5/269 183746
/proc/meminfo: memFree=126320980/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=129204 memory=78364 CPUtime=12.65 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 15431 0 0 0 1252 13 0 0 20 0 1 0 235938136 132304896 19591 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 32301 19591 2368 1147 0 19728 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 133396 KiB
Current children cumulated memory: 81308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.11 5/269 183795
/proc/meminfo: memFree=123209608/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=135388 memory=87892 CPUtime=25.41 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 17161 0 0 0 2521 20 0 0 20 0 1 0 235938136 138637312 21973 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 33847 21973 2496 1147 0 21274 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 139580 KiB
Current children cumulated memory: 90836 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.20 4.11 5/269 183795
/proc/meminfo: memFree=122975436/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=164024 memory=106120 CPUtime=50.95 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 21227 0 0 0 5058 37 0 0 20 0 1 0 235938136 167960576 26530 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 41006 26530 2496 1147 0 28433 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 168216 KiB
Current children cumulated memory: 109064 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/270 183799
/proc/meminfo: memFree=122313584/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=190008 memory=133080 CPUtime=102.01 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 26216 0 0 0 10139 62 0 0 20 0 1 0 235938136 194568192 33270 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 47502 33270 2496 1147 0 34929 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 194200 KiB
Current children cumulated memory: 136024 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/270 183801
/proc/meminfo: memFree=121643056/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=215284 memory=156036 CPUtime=161.85 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 28392 0 0 0 16097 88 0 0 20 0 1 0 235938136 220450816 39009 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 53821 39009 2496 1147 0 41248 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 219476 KiB
Current children cumulated memory: 158980 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/269 183803
/proc/meminfo: memFree=120889320/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=215656 memory=158596 CPUtime=221.68 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 28548 0 0 0 22058 110 0 0 20 0 1 0 235938136 220831744 39649 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 53914 39649 2496 1147 0 41341 0
################
# More data... #
################
/proc/183701/statm: 110508 98907 2496 1147 0 97935 0
Current children cumulated CPU time: 3032.83 s
Current children cumulated vsize: 446224 KiB
Current children cumulated memory: 398572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/267 183954
/proc/meminfo: memFree=98995000/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=442032 memory=395628 CPUtime=3092.68 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 65746 0 0 0 308354 914 0 0 20 0 1 0 235938136 452640768 98907 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 110508 98907 2496 1147 0 97935 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 446224 KiB
Current children cumulated memory: 398572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/268 183957
/proc/meminfo: memFree=98698192/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=443412 memory=396780 CPUtime=3152.53 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66029 0 0 0 314330 923 0 0 20 0 1 0 235938136 454053888 99195 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 110853 99195 2496 1147 0 98280 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 447604 KiB
Current children cumulated memory: 399724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/268 183959
/proc/meminfo: memFree=98356948/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=443412 memory=396780 CPUtime=3212.38 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66029 0 0 0 320303 935 0 0 20 0 1 0 235938136 454053888 99195 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 110853 99195 2496 1147 0 98280 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 447604 KiB
Current children cumulated memory: 399724 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/268 183961
/proc/meminfo: memFree=97974540/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=447764 memory=398956 CPUtime=3272.23 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66597 0 0 0 326276 947 0 0 20 0 1 0 235938136 458510336 99739 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 111941 99739 2496 1147 0 99368 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 451956 KiB
Current children cumulated memory: 401900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/267 183963
/proc/meminfo: memFree=97550128/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=448332 memory=399596 CPUtime=3332.08 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66739 0 0 0 332247 961 0 0 20 0 1 0 235938136 459091968 99899 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 112083 99899 2496 1147 0 99510 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 452524 KiB
Current children cumulated memory: 402540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/267 183965
/proc/meminfo: memFree=97179552/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=448332 memory=399596 CPUtime=3391.92 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66746 0 0 0 338221 971 0 0 20 0 1 0 235938136 459091968 99899 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 112083 99899 2496 1147 0 99510 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 452524 KiB
Current children cumulated memory: 402540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/266 183967
/proc/meminfo: memFree=96822304/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=448844 memory=400108 CPUtime=3451.78 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66877 0 0 0 344193 985 0 0 20 0 1 0 235938136 459616256 100027 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 112211 100027 2496 1147 0 99638 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 453036 KiB
Current children cumulated memory: 403052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/266 183969
/proc/meminfo: memFree=96478764/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=448844 memory=400108 CPUtime=3511.62 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 66911 0 0 0 350166 996 0 0 20 0 1 0 235938136 459616256 100027 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 112211 100027 2496 1147 0 99638 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 453036 KiB
Current children cumulated memory: 403052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/266 183971
/proc/meminfo: memFree=96164836/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=521148 memory=415028 CPUtime=3571.47 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 70115 0 0 0 356140 1007 0 0 20 0 1 0 235938136 533655552 103757 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 130287 103757 2496 1147 0 117714 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 525340 KiB
Current children cumulated memory: 417972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.14 4.16 4.17 5/256 184032
/proc/meminfo: memFree=109144052/131249996 swapFree=33010160/33010684
[pid=183698] ppid=183693 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183698/stat : 183698 (run-dec-ls-log.) S 183693 183698 183292 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938135 4292608 736 18446744073709551615 94666593927168 94666594821701 140731425051472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94666595060752 94666595108496 94666628132864 140731425057087 140731425057247 140731425057247 140731425062851 0
/proc/183698/statm: 1048 736 672 219 0 110 0
[pid=183701] ppid=183698 vsize=524732 memory=418888 CPUtime=3600.09 cores=1,3
/proc/183701/stat : 183701 (roundingsat) R 183698 183698 183292 0 -1 4194304 70598 0 0 0 358995 1014 0 0 20 0 1 0 235938136 537325568 104722 18446744073709551615 4227072 8923433 140730775237328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35508224 140730775239028 140730775239206 140730775239206 140730775244778 0
/proc/183701/statm: 131183 104722 2496 1147 0 118610 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 528924 KiB
Current children cumulated memory: 421832 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 183698 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000405 s, system=0.002024 s
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 183701 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.96 s, system=10.1556 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): 3611.01
CPU time (s): 3600.12
CPU user time (s): 3589.96
CPU system time (s): 10.1556
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 528924
Max. memory (cumulated for all children) (KiB): 421832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.96
system time used= 10.1556
maximum resident set size= 419016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10398048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200
involuntary context switches= 5508
# summary of solver processes directly reported to runsolver:
# pid: 183698,183701
# total CPU time (s): 3600.12
# total CPU user time (s): 3589.96
# total CPU system time (s): 10.1556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03621 second user time and 16.1313 second system time
The end
Begin job on nodeC029 at 2025-07-22 18:43:17
IDJOB=4541998
IDBENCH=163705
IDSOLVER=3354
FILE ID=nodeC029/4541998-1753202597
RUNJOBID= nodeC029-1753198973-183311
SLURM_JOB_ID= 9687762
Free space on /tmp= 413332 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-22diag_spec_greater.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541998-1753202597/watcher-4541998-1753202597 -o /tmp/evaluation-result-4541998-1753202597/solver-4541998-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183311 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541998-1753202597.opb /tmp/proof-4541998-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1063239506
nodeC029 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 : 3579.168
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.445
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.46
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.796
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
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.46
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 : 3602.590
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.46
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 : 3700.000
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.46
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 : 3700.000
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.46
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.808
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 120350856 kB
MemAvailable: 129730808 kB
Buffers: 2128 kB
Cached: 10133580 kB
SwapCached: 36 kB
Active: 1307068 kB
Inactive: 8893792 kB
Active(anon): 86652 kB
Inactive(anon): 4716 kB
Active(file): 1220416 kB
Inactive(file): 8889076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9148 kB
Writeback: 0 kB
AnonPages: 68152 kB
Mapped: 109568 kB
Shmem: 26216 kB
KReclaimable: 219396 kB
Slab: 316264 kB
SReclaimable: 219396 kB
SUnreclaim: 96868 kB
KernelStack: 4032 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3968 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 419020 MiB
End job on nodeC029 at 2025-07-22 19:43:28