0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1562 #constraints 2511
0.00/0.04 c rational objective 1.13687e-13
1.76/1.87 c #Conflicts: 1000 | #Constraints: 3511
1.76/1.87 c #Conflicts: 2000 | #Constraints: 4511
1.76/1.87 c INPROCESSING
1.76/1.87 c GARBAGE COLLECT
1.76/1.87 c rational objective 4.01454
7.45/7.54 c #Conflicts: 3000 | #Constraints: 4517
7.45/7.54 c #Conflicts: 4000 | #Constraints: 5517
7.45/7.54 c INPROCESSING
7.45/7.54 c GARBAGE COLLECT
7.45/7.54 c #Conflicts: 5000 | #Constraints: 4916
7.45/7.54 c #Conflicts: 6000 | #Constraints: 5916
7.45/7.54 c INPROCESSING
7.45/7.54 c GARBAGE COLLECT
7.45/7.54 c rational objective 4.16602
11.73/11.88 c #Conflicts: 7000 | #Constraints: 4919
11.73/11.88 c #Conflicts: 8000 | #Constraints: 5919
11.73/11.88 c #Conflicts: 9000 | #Constraints: 6919
11.73/11.88 c INPROCESSING
11.73/11.88 c GARBAGE COLLECT
11.73/11.88 c rational objective 4.39975
75.93/76.26 c #Conflicts: 10000 | #Constraints: 5618
75.93/76.26 c #Conflicts: 11000 | #Constraints: 6618
75.93/76.26 c #Conflicts: 12000 | #Constraints: 7619
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 13000 | #Constraints: 6068
75.93/76.26 c #Conflicts: 14000 | #Constraints: 7068
75.93/76.26 c #Conflicts: 15000 | #Constraints: 8070
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 16000 | #Constraints: 6295
75.93/76.26 c #Conflicts: 17000 | #Constraints: 7296
75.93/76.26 c #Conflicts: 18000 | #Constraints: 8296
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 19000 | #Constraints: 6309
75.93/76.26 c #Conflicts: 20000 | #Constraints: 7309
75.93/76.26 c #Conflicts: 21000 | #Constraints: 8309
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 22000 | #Constraints: 6113
75.93/76.26 c #Conflicts: 23000 | #Constraints: 7114
75.93/76.26 c #Conflicts: 24000 | #Constraints: 8115
75.93/76.26 c #Conflicts: 25000 | #Constraints: 9115
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 26000 | #Constraints: 6717
75.93/76.26 c #Conflicts: 27000 | #Constraints: 7718
75.93/76.26 c #Conflicts: 28000 | #Constraints: 8720
75.93/76.26 c #Conflicts: 29000 | #Constraints: 9722
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 30000 | #Constraints: 7118
75.93/76.26 c #Conflicts: 31000 | #Constraints: 8118
75.93/76.26 c #Conflicts: 32000 | #Constraints: 9119
75.93/76.26 c #Conflicts: 33000 | #Constraints: 10119
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c #Conflicts: 34000 | #Constraints: 7321
75.93/76.26 c #Conflicts: 35000 | #Constraints: 8325
75.93/76.26 c #Conflicts: 36000 | #Constraints: 9328
75.93/76.26 c #Conflicts: 37000 | #Constraints: 10328
75.93/76.26 c INPROCESSING
75.93/76.26 c GARBAGE COLLECT
75.93/76.26 c rational objective 4.68158
132.97/133.42 c #Conflicts: 38000 | #Constraints: 7326
132.97/133.42 c #Conflicts: 39000 | #Constraints: 8326
132.97/133.42 c #Conflicts: 40000 | #Constraints: 9326
132.97/133.42 c #Conflicts: 41000 | #Constraints: 10326
132.97/133.42 c INPROCESSING
132.97/133.42 c GARBAGE COLLECT
132.97/133.42 c #Conflicts: 42000 | #Constraints: 7125
132.97/133.42 c #Conflicts: 43000 | #Constraints: 8125
132.97/133.42 c #Conflicts: 44000 | #Constraints: 9129
132.97/133.42 c #Conflicts: 45000 | #Constraints: 10130
132.97/133.42 c #Conflicts: 46000 | #Constraints: 11130
132.97/133.42 c INPROCESSING
132.97/133.42 c GARBAGE COLLECT
132.97/133.42 c #Conflicts: 47000 | #Constraints: 7727
132.97/133.42 c #Conflicts: 48000 | #Constraints: 8727
132.97/133.42 c #Conflicts: 49000 | #Constraints: 9728
132.97/133.42 c #Conflicts: 50000 | #Constraints: 10729
132.97/133.42 c #Conflicts: 51000 | #Constraints: 11730
132.97/133.42 c INPROCESSING
132.97/133.42 c GARBAGE COLLECT
132.97/133.42 c #Conflicts: 52000 | #Constraints: 8128
132.97/133.42 c #Conflicts: 53000 | #Constraints: 9129
132.97/133.42 c #Conflicts: 54000 | #Constraints: 10132
132.97/133.42 c #Conflicts: 55000 | #Constraints: 11133
132.97/133.42 c #Conflicts: 56000 | #Constraints: 12135
132.97/133.42 c INPROCESSING
132.97/133.42 c GARBAGE COLLECT
132.97/133.42 c rational objective 4.73252
194.52/195.19 c #Conflicts: 57000 | #Constraints: 8330
194.52/195.19 c #Conflicts: 58000 | #Constraints: 9330
194.52/195.19 c #Conflicts: 59000 | #Constraints: 10330
194.52/195.19 c #Conflicts: 60000 | #Constraints: 11330
194.52/195.19 c #Conflicts: 61000 | #Constraints: 12331
194.52/195.19 c INPROCESSING
194.52/195.19 c GARBAGE COLLECT
194.52/195.19 c #Conflicts: 62000 | #Constraints: 8327
194.52/195.19 c #Conflicts: 63000 | #Constraints: 9330
194.52/195.19 c #Conflicts: 64000 | #Constraints: 10330
194.52/195.19 c #Conflicts: 65000 | #Constraints: 11334
194.52/195.19 c #Conflicts: 66000 | #Constraints: 12336
194.52/195.19 c INPROCESSING
194.52/195.19 c GARBAGE COLLECT
194.52/195.19 c #Conflicts: 67000 | #Constraints: 8130
194.52/195.19 c #Conflicts: 68000 | #Constraints: 9130
194.52/195.19 c #Conflicts: 69000 | #Constraints: 10130
194.52/195.19 c #Conflicts: 70000 | #Constraints: 11130
194.52/195.19 c #Conflicts: 71000 | #Constraints: 12131
194.52/195.19 c #Conflicts: 72000 | #Constraints: 13131
194.52/195.19 c INPROCESSING
194.52/195.19 c GARBAGE COLLECT
194.52/195.19 c rational objective 4.78943
265.03/265.88 c #Conflicts: 73000 | #Constraints: 8730
265.03/265.88 c #Conflicts: 74000 | #Constraints: 9730
265.03/265.88 c #Conflicts: 75000 | #Constraints: 10730
265.03/265.88 c #Conflicts: 76000 | #Constraints: 11730
265.03/265.88 c #Conflicts: 77000 | #Constraints: 12730
265.03/265.88 c #Conflicts: 78000 | #Constraints: 13730
265.03/265.88 c INPROCESSING
265.03/265.88 c GARBAGE COLLECT
265.03/265.88 c #Conflicts: 79000 | #Constraints: 9130
265.03/265.88 c #Conflicts: 80000 | #Constraints: 10130
265.03/265.88 c #Conflicts: 81000 | #Constraints: 11130
265.03/265.88 c #Conflicts: 82000 | #Constraints: 12130
265.03/265.88 c #Conflicts: 83000 | #Constraints: 13130
265.03/265.88 c #Conflicts: 84000 | #Constraints: 14130
265.03/265.88 c INPROCESSING
265.03/265.88 c GARBAGE COLLECT
265.03/265.88 c #Conflicts: 85000 | #Constraints: 9329
265.03/265.88 c #Conflicts: 86000 | #Constraints: 10329
265.03/265.88 c #Conflicts: 87000 | #Constraints: 11330
265.03/265.88 c #Conflicts: 88000 | #Constraints: 12331
265.03/265.88 c #Conflicts: 89000 | #Constraints: 13333
265.03/265.88 c #Conflicts: 90000 | #Constraints: 14334
265.03/265.88 c INPROCESSING
265.03/265.88 c GARBAGE COLLECT
265.03/265.88 c rational objective 4.80937
676.81/678.60 c #Conflicts: 91000 | #Constraints: 9329
676.81/678.60 c #Conflicts: 92000 | #Constraints: 10329
676.81/678.60 c #Conflicts: 93000 | #Constraints: 11329
676.81/678.60 c #Conflicts: 94000 | #Constraints: 12331
676.81/678.60 c #Conflicts: 95000 | #Constraints: 13334
676.81/678.60 c #Conflicts: 96000 | #Constraints: 14335
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 97000 | #Constraints: 9130
676.81/678.60 c #Conflicts: 98000 | #Constraints: 10130
676.81/678.60 c #Conflicts: 99000 | #Constraints: 11130
676.81/678.60 c #Conflicts: 100000 | #Constraints: 12130
676.81/678.60 c #Conflicts: 101000 | #Constraints: 13130
676.81/678.60 c #Conflicts: 102000 | #Constraints: 14130
676.81/678.60 c #Conflicts: 103000 | #Constraints: 15130
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 104000 | #Constraints: 9728
676.81/678.60 c #Conflicts: 105000 | #Constraints: 10728
676.81/678.60 c #Conflicts: 106000 | #Constraints: 11728
676.81/678.60 c #Conflicts: 107000 | #Constraints: 12729
676.81/678.60 c #Conflicts: 108000 | #Constraints: 13729
676.81/678.60 c #Conflicts: 109000 | #Constraints: 14730
676.81/678.60 c #Conflicts: 110000 | #Constraints: 15730
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 111000 | #Constraints: 10131
676.81/678.60 c #Conflicts: 112000 | #Constraints: 11132
676.81/678.60 c #Conflicts: 113000 | #Constraints: 12132
676.81/678.60 c #Conflicts: 114000 | #Constraints: 13133
676.81/678.60 c #Conflicts: 115000 | #Constraints: 14133
676.81/678.60 c #Conflicts: 116000 | #Constraints: 15133
676.81/678.60 c #Conflicts: 117000 | #Constraints: 16134
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 118000 | #Constraints: 10330
676.81/678.60 c #Conflicts: 119000 | #Constraints: 11330
676.81/678.60 c #Conflicts: 120000 | #Constraints: 12330
676.81/678.60 c #Conflicts: 121000 | #Constraints: 13330
676.81/678.60 c #Conflicts: 122000 | #Constraints: 14330
676.81/678.60 c #Conflicts: 123000 | #Constraints: 15330
676.81/678.60 c #Conflicts: 124000 | #Constraints: 16330
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 125000 | #Constraints: 10330
676.81/678.60 c #Conflicts: 126000 | #Constraints: 11330
676.81/678.60 c #Conflicts: 127000 | #Constraints: 12330
676.81/678.60 c #Conflicts: 128000 | #Constraints: 13330
676.81/678.60 c #Conflicts: 129000 | #Constraints: 14330
676.81/678.60 c #Conflicts: 130000 | #Constraints: 15330
676.81/678.60 c #Conflicts: 131000 | #Constraints: 16330
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 132000 | #Constraints: 10126
676.81/678.60 c #Conflicts: 133000 | #Constraints: 11126
676.81/678.60 c #Conflicts: 134000 | #Constraints: 12126
676.81/678.60 c #Conflicts: 135000 | #Constraints: 13126
676.81/678.60 c #Conflicts: 136000 | #Constraints: 14126
676.81/678.60 c #Conflicts: 137000 | #Constraints: 15126
676.81/678.60 c #Conflicts: 138000 | #Constraints: 16126
676.81/678.60 c #Conflicts: 139000 | #Constraints: 17126
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 140000 | #Constraints: 10728
676.81/678.60 c #Conflicts: 141000 | #Constraints: 11728
676.81/678.60 c #Conflicts: 142000 | #Constraints: 12728
676.81/678.60 c #Conflicts: 143000 | #Constraints: 13728
676.81/678.60 c #Conflicts: 144000 | #Constraints: 14728
676.81/678.60 c #Conflicts: 145000 | #Constraints: 15728
676.81/678.60 c #Conflicts: 146000 | #Constraints: 16728
676.81/678.60 c #Conflicts: 147000 | #Constraints: 17728
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 148000 | #Constraints: 11134
676.81/678.60 c #Conflicts: 149000 | #Constraints: 12134
676.81/678.60 c #Conflicts: 150000 | #Constraints: 13134
676.81/678.60 c #Conflicts: 151000 | #Constraints: 14134
676.81/678.60 c #Conflicts: 152000 | #Constraints: 15134
676.81/678.60 c #Conflicts: 153000 | #Constraints: 16134
676.81/678.60 c #Conflicts: 154000 | #Constraints: 17134
676.81/678.60 c #Conflicts: 155000 | #Constraints: 18134
676.81/678.60 c INPROCESSING
676.81/678.60 c GARBAGE COLLECT
676.81/678.60 c #Conflicts: 156000 | #Constraints: 11332
676.81/678.60 c #Conflicts: 157000 | #Constraints: 12333
676.81/678.60 c #Conflicts: 158000 | #Constraints: 13334
676.81/678.60 c #Conflicts: 159000 | #Constraints: 14334
676.81/678.60 c #Conflicts: 160000 | #Constraints: 15334
676.81/678.60 c #Conflicts: 161000 | #Constraints: 16334
676.81/678.60 c #Conflicts: 162000 | #Constraints: 17334
676.81/678.60 c #Conflicts: 163000 | #Constraints: 18334
676.81/678.60 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 164000 | #Constraints: 11334
1075.63/1078.42 c #Conflicts: 165000 | #Constraints: 12334
1075.63/1078.42 c #Conflicts: 166000 | #Constraints: 13334
1075.63/1078.42 c #Conflicts: 167000 | #Constraints: 14335
1075.63/1078.42 c #Conflicts: 168000 | #Constraints: 15335
1075.63/1078.42 c #Conflicts: 169000 | #Constraints: 16335
1075.63/1078.42 c #Conflicts: 170000 | #Constraints: 17335
1075.63/1078.42 c #Conflicts: 171000 | #Constraints: 18335
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 172000 | #Constraints: 11131
1075.63/1078.42 c #Conflicts: 173000 | #Constraints: 12131
1075.63/1078.42 c #Conflicts: 174000 | #Constraints: 13131
1075.63/1078.42 c #Conflicts: 175000 | #Constraints: 14131
1075.63/1078.42 c #Conflicts: 176000 | #Constraints: 15131
1075.63/1078.42 c #Conflicts: 177000 | #Constraints: 16131
1075.63/1078.42 c #Conflicts: 178000 | #Constraints: 17132
1075.63/1078.42 c #Conflicts: 179000 | #Constraints: 18132
1075.63/1078.42 c #Conflicts: 180000 | #Constraints: 19132
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 181000 | #Constraints: 11730
1075.63/1078.42 c #Conflicts: 182000 | #Constraints: 12730
1075.63/1078.42 c #Conflicts: 183000 | #Constraints: 13730
1075.63/1078.42 c #Conflicts: 184000 | #Constraints: 14730
1075.63/1078.42 c #Conflicts: 185000 | #Constraints: 15730
1075.63/1078.42 c #Conflicts: 186000 | #Constraints: 16730
1075.63/1078.42 c #Conflicts: 187000 | #Constraints: 17730
1075.63/1078.42 c #Conflicts: 188000 | #Constraints: 18730
1075.63/1078.42 c #Conflicts: 189000 | #Constraints: 19730
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 190000 | #Constraints: 12133
1075.63/1078.42 c #Conflicts: 191000 | #Constraints: 13133
1075.63/1078.42 c #Conflicts: 192000 | #Constraints: 14133
1075.63/1078.42 c #Conflicts: 193000 | #Constraints: 15133
1075.63/1078.42 c #Conflicts: 194000 | #Constraints: 16133
1075.63/1078.42 c #Conflicts: 195000 | #Constraints: 17133
1075.63/1078.42 c #Conflicts: 196000 | #Constraints: 18133
1075.63/1078.42 c #Conflicts: 197000 | #Constraints: 19133
1075.63/1078.42 c #Conflicts: 198000 | #Constraints: 20133
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 199000 | #Constraints: 12334
1075.63/1078.42 c #Conflicts: 200000 | #Constraints: 13334
1075.63/1078.42 c #Conflicts: 201000 | #Constraints: 14334
1075.63/1078.42 c #Conflicts: 202000 | #Constraints: 15334
1075.63/1078.42 c #Conflicts: 203000 | #Constraints: 16334
1075.63/1078.42 c #Conflicts: 204000 | #Constraints: 17334
1075.63/1078.42 c #Conflicts: 205000 | #Constraints: 18334
1075.63/1078.42 c #Conflicts: 206000 | #Constraints: 19334
1075.63/1078.42 c #Conflicts: 207000 | #Constraints: 20334
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 c #Conflicts: 208000 | #Constraints: 12335
1075.63/1078.42 c #Conflicts: 209000 | #Constraints: 13335
1075.63/1078.42 c #Conflicts: 210000 | #Constraints: 14335
1075.63/1078.42 c #Conflicts: 211000 | #Constraints: 15335
1075.63/1078.42 c #Conflicts: 212000 | #Constraints: 16335
1075.63/1078.42 c #Conflicts: 213000 | #Constraints: 17336
1075.63/1078.42 c #Conflicts: 214000 | #Constraints: 18336
1075.63/1078.42 c #Conflicts: 215000 | #Constraints: 19336
1075.63/1078.42 c #Conflicts: 216000 | #Constraints: 20336
1075.63/1078.42 c INPROCESSING
1075.63/1078.42 c GARBAGE COLLECT
1075.63/1078.42 WSVECS04 Frhs2[4]: 6 -159800 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[28]: 6 -123242 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[121]: 6 -0.908018 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[128]: 6 0 10.7818 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[134]: 6 -0.999733 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[135]: 6 -0.99935 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[138]: 6 -1.86926 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[139]: 6 -0.98852 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[143]: 6 -0.815942 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[149]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[150]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[156]: 6 -0.999332 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[159]: 6 -2.86931 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[164]: 6 -0.815942 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[165]: 6 -0.631875 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[166]: 6 -0.263729 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[170]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[171]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[172]: 6 0 46.2475 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[177]: 6 -0.999378 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[185]: 6 -0.815923 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[186]: 6 -0.631858 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[189]: 6 0 1.94544 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[191]: 6 0 10.7818 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[192]: 6 0 22.5634 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[193]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[199]: 6 -0.998603 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[200]: 6 -0.997196 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[201]: 6 -4.86931 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[202]: 6 -2.48858 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[206]: 6 -0.815992 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[207]: 6 -0.631902 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[211]: 6 0 4.89087 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[212]: 6 0 10.7818 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[213]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[214]: 6 0 46.2475 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[220]: 6 0 29126.6 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[221]: 6 -0.997174 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[222]: 6 -5.86933 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[223]: 6 -7.73854 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[227]: 6 -0.815925 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[232]: 6 0 4.89088 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[233]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[234]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[235]: 6 0 46.2475 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[242]: 6 0 32139.4 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[243]: 6 -0.994321 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[244]: 6 -1.48859 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[250]: 6 -0.26372 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[253]: 6 0 4.89093 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[254]: 6 0 10.7818 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[255]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[256]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[264]: 6 0 38165.1 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[265]: 6 -0.988543 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[270]: 6 -0.631915 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[271]: 6 -0.263741 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[274]: 6 0 4.89091 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[275]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[276]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[277]: 6 0 46.2475 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[286]: 6 0 50216.3 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[290]: 6 -1.81599 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[291]: 6 -0.631908 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[295]: 6 0 4.89088 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[296]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[297]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[298]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[308]: 6 0 74318.8 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[317]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[318]: 6 0 22.5635 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[319]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[332]: 6 -1.566 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[334]: 6 -0.263716 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[338]: 6 0 10.7818 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[339]: 6 0 22.5634 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[340]: 6 0 46.2475 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[352]: 6 0 218939 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[353]: 6 -0.815928 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[354]: 6 -1.13187 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[360]: 6 0 22.5634 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[361]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[373]: 6 0 95065.1 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[374]: 6 0 411764 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[379]: 6 0 4.89094 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[380]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[381]: 6 0 22.5634 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[382]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[394]: 6 0 70983 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[395]: 6 0 289707 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[396]: 6 0 797414 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[397]: 6 -0.263662 0 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[419]: 6 0 0.472779 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[421]: 6 0 4.89094 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[422]: 6 0 10.7817 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[423]: 6 0 22.5634 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[424]: 6 0 46.2476 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[439]: 6 0 1.44297e+06 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[461]: 6 0 3.01171e+06 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[481]: 6 0 1.54191e+06 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[482]: 6 0 2.97765e+06 shouldn't be
1075.63/1078.42 WSVECS04 Frhs2[969]: 6 0 103238 shouldn't be
1108.75/1111.61 c #Conflicts: 217000 | #Constraints: 12143
1108.75/1111.61 c #Conflicts: 218000 | #Constraints: 13143
1108.75/1111.61 c #Conflicts: 219000 | #Constraints: 14143
1108.75/1111.61 c #Conflicts: 220000 | #Constraints: 15143
1108.75/1111.61 c #Conflicts: 221000 | #Constraints: 16143
1108.75/1111.61 WSVECS04 Frhs2[1094]: 6 0 0.500001 shouldn't be
1108.75/1111.61 WSVECS04 Frhs2[1203]: 6 0 6.75322 shouldn't be
1108.75/1111.61 WSVECS04 Frhs2[1208]: 6 0 1.47557 shouldn't be
1108.75/1111.61 WSVECS04 Frhs2[1377]: 6 0 11.4337 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[12]: 6 0 4.66911 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[24]: 6 0 8.29288 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[58]: 6 0 7.72475 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[529]: 6 0 3.62131 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[533]: 6 0 13.1623 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[535]: 6 0 25.7196 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[539]: 6 0 1.17683 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[540]: 6 0 1.22701 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[559]: 6 0 13.0169 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[560]: 6 0 60.3919 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[561]: 6 0 13.0279 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[562]: 6 0 2.16827 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[575]: 6 0 2.47889 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[595]: 6 0 24.2004 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[598]: 6 0 62.8117 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[618]: 6 0 18.5179 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[645]: 6 0 7.80114e-05 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[661]: 6 0 5.19375e-06 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[744]: 6 0 3.95174e-05 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[784]: 6 0 135.86 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[917]: 6 0 2.03901 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1015]: 6 0 5.10564 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1039]: 6 0 21.4348 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1067]: 6 0 7.76003 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1093]: 6 0 4.07999 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1095]: 6 0 0.101578 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1101]: 6 0 29.8346 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1140]: 6 0 9.7514 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1162]: 6 0 21.2528 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1174]: 6 0 0.50001 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1184]: 6 0 6.25417 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1237]: 6 0 33.9026 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1294]: 6 0 8.00595 shouldn't be
1108.94/1111.81 WSVECS04 Frhs2[1401]: 6 0 0.906603 shouldn't be
1838.36/1843.09 c #Conflicts: 222000 | #Constraints: 17143
1838.36/1843.09 c #Conflicts: 223000 | #Constraints: 18143
1838.36/1843.09 c #Conflicts: 224000 | #Constraints: 19143
1838.36/1843.09 c #Conflicts: 225000 | #Constraints: 20143
1838.36/1843.09 c #Conflicts: 226000 | #Constraints: 21143
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 227000 | #Constraints: 12734
1838.36/1843.09 c #Conflicts: 228000 | #Constraints: 13734
1838.36/1843.09 c #Conflicts: 229000 | #Constraints: 14734
1838.36/1843.09 c #Conflicts: 230000 | #Constraints: 15734
1838.36/1843.09 c #Conflicts: 231000 | #Constraints: 16734
1838.36/1843.09 c #Conflicts: 232000 | #Constraints: 17734
1838.36/1843.09 c #Conflicts: 233000 | #Constraints: 18734
1838.36/1843.09 c #Conflicts: 234000 | #Constraints: 19734
1838.36/1843.09 c #Conflicts: 235000 | #Constraints: 20734
1838.36/1843.09 c #Conflicts: 236000 | #Constraints: 21734
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 237000 | #Constraints: 13130
1838.36/1843.09 c #Conflicts: 238000 | #Constraints: 14130
1838.36/1843.09 c #Conflicts: 239000 | #Constraints: 15130
1838.36/1843.09 c #Conflicts: 240000 | #Constraints: 16130
1838.36/1843.09 c #Conflicts: 241000 | #Constraints: 17130
1838.36/1843.09 c #Conflicts: 242000 | #Constraints: 18130
1838.36/1843.09 c #Conflicts: 243000 | #Constraints: 19130
1838.36/1843.09 c #Conflicts: 244000 | #Constraints: 20130
1838.36/1843.09 c #Conflicts: 245000 | #Constraints: 21130
1838.36/1843.09 c #Conflicts: 246000 | #Constraints: 22130
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 247000 | #Constraints: 13329
1838.36/1843.09 c #Conflicts: 248000 | #Constraints: 14329
1838.36/1843.09 c #Conflicts: 249000 | #Constraints: 15329
1838.36/1843.09 c #Conflicts: 250000 | #Constraints: 16329
1838.36/1843.09 c #Conflicts: 251000 | #Constraints: 17329
1838.36/1843.09 c #Conflicts: 252000 | #Constraints: 18329
1838.36/1843.09 c #Conflicts: 253000 | #Constraints: 19329
1838.36/1843.09 c #Conflicts: 254000 | #Constraints: 20329
1838.36/1843.09 c #Conflicts: 255000 | #Constraints: 21329
1838.36/1843.09 c #Conflicts: 256000 | #Constraints: 22329
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 257000 | #Constraints: 13332
1838.36/1843.09 c #Conflicts: 258000 | #Constraints: 14332
1838.36/1843.09 c #Conflicts: 259000 | #Constraints: 15332
1838.36/1843.09 c #Conflicts: 260000 | #Constraints: 16332
1838.36/1843.09 c #Conflicts: 261000 | #Constraints: 17333
1838.36/1843.09 c #Conflicts: 262000 | #Constraints: 18333
1838.36/1843.09 c #Conflicts: 263000 | #Constraints: 19333
1838.36/1843.09 c #Conflicts: 264000 | #Constraints: 20336
1838.36/1843.09 c #Conflicts: 265000 | #Constraints: 21336
1838.36/1843.09 c #Conflicts: 266000 | #Constraints: 22336
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 267000 | #Constraints: 13132
1838.36/1843.09 c #Conflicts: 268000 | #Constraints: 14132
1838.36/1843.09 c #Conflicts: 269000 | #Constraints: 15132
1838.36/1843.09 c #Conflicts: 270000 | #Constraints: 16132
1838.36/1843.09 c #Conflicts: 271000 | #Constraints: 17132
1838.36/1843.09 c #Conflicts: 272000 | #Constraints: 18132
1838.36/1843.09 c #Conflicts: 273000 | #Constraints: 19132
1838.36/1843.09 c #Conflicts: 274000 | #Constraints: 20132
1838.36/1843.09 c #Conflicts: 275000 | #Constraints: 21132
1838.36/1843.09 c #Conflicts: 276000 | #Constraints: 22132
1838.36/1843.09 c #Conflicts: 277000 | #Constraints: 23132
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 278000 | #Constraints: 13729
1838.36/1843.09 c #Conflicts: 279000 | #Constraints: 14729
1838.36/1843.09 c #Conflicts: 280000 | #Constraints: 15729
1838.36/1843.09 c #Conflicts: 281000 | #Constraints: 16729
1838.36/1843.09 c #Conflicts: 282000 | #Constraints: 17729
1838.36/1843.09 c #Conflicts: 283000 | #Constraints: 18729
1838.36/1843.09 c #Conflicts: 284000 | #Constraints: 19729
1838.36/1843.09 c #Conflicts: 285000 | #Constraints: 20729
1838.36/1843.09 c #Conflicts: 286000 | #Constraints: 21729
1838.36/1843.09 c #Conflicts: 287000 | #Constraints: 22729
1838.36/1843.09 c #Conflicts: 288000 | #Constraints: 23729
1838.36/1843.09 c INPROCESSING
1838.36/1843.09 c GARBAGE COLLECT
1838.36/1843.09 c #Conflicts: 289000 | #Constraints: 14128
1838.36/1843.09 c #Conflicts: 290000 | #Constraints: 15128
1838.36/1843.09 c #Conflicts: 291000 | #Constraints: 16128
1838.36/1843.09 c #Conflicts: 292000 | #Constraints: 17128
1838.36/1843.09 c #Conflicts: 293000 | #Constraints: 18128
1838.36/1843.09 c #Conflicts: 294000 | #Constraints: 19129
1838.36/1843.09 c #Conflicts: 295000 | #Constraints: 20129
1838.36/1843.09 c #Conflicts: 296000 | #Constraints: 21129
1881.44/1886.23 c #Conflicts: 297000 | #Constraints: 22129
1881.44/1886.23 c #Conflicts: 298000 | #Constraints: 23129
1881.44/1886.23 c #Conflicts: 299000 | #Constraints: 24129
1881.44/1886.23 c INPROCESSING
1881.44/1886.23 c GARBAGE COLLECT
1881.44/1886.23 WSVECS04 Frhs2[21]: 6 -11.3154 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[46]: 6 -2.93308 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[47]: 6 0 0.287731 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[50]: 6 0 0.949788 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[65]: 6 -3.86778 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[112]: 6 0 8.10656 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[118]: 6 -1.38981 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[121]: 6 -2.13259 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[122]: 6 -2.34875 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[126]: 6 -2.29594 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[128]: 6 -2.99611 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[161]: 6 -2.00198 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[162]: 6 -1.50394 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[164]: 6 -3.70993 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[165]: 6 -3.41986 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[166]: 6 -3.83969 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[167]: 6 -3.67925 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[168]: 6 -3.35846 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[169]: 6 -2.71685 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[171]: 6 -4.11726 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[172]: 6 -5.9845 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[204]: 6 -1.00392 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[205]: 6 -2.00788 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[206]: 6 -1.51564 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[210]: 6 -1.75007 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[211]: 6 -0.500066 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[212]: 6 -3.68364 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[214]: 6 -6.73448 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[215]: 6 -10.4688 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[216]: 6 -17.9374 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[231]: 6 0 0.750088 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[336]: 6 -2.99981 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[337]: 6 -2.99961 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[338]: 6 -2.99911 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[340]: 6 -6.25007 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[341]: 6 -8.49994 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[342]: 6 -18.2499 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[343]: 6 -33.4997 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[344]: 6 -65.4995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[345]: 6 -129.499 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[346]: 6 -257.775 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[347]: 6 -514.039 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[348]: 6 -1026.01 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[349]: 6 -2049.9 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[358]: 6 -3.99956 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[359]: 6 -3.99906 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[360]: 6 -3.99811 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[362]: 6 -9.50001 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[363]: 6 -16.9999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[364]: 6 -34.4998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[365]: 6 -64.9995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[366]: 6 -128.999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[367]: 6 -256.998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[368]: 6 -513.55 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[369]: 6 -1026.08 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[370]: 6 -2050.03 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[371]: 6 -4097.81 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[380]: 6 -3.24903 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[381]: 6 -3.9981 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[382]: 6 -5.99622 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[384]: 6 -16.9999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[385]: 6 -32.9997 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[386]: 6 -64.9994 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[387]: 6 -128.999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[388]: 6 -256.998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[389]: 6 -512.995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[390]: 6 -1025.1 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[391]: 6 -2050.15 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[392]: 6 -4098.06 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[393]: 6 -8193.62 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[394]: 6 -16384.3 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[403]: 6 -5.99618 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[404]: 6 -9.99222 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[406]: 6 -33.9685 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[407]: 6 -64.9995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[408]: 6 -128.999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[409]: 6 -256.998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[410]: 6 -512.995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[411]: 6 -1026.1 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[412]: 6 -2049.95 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[413]: 6 -4098.31 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[414]: 6 -8194.12 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[415]: 6 -16385.2 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[424]: 6 -6.99614 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[425]: 6 -10.9922 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[426]: 6 -17.9843 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[428]: 6 -65.9369 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[429]: 6 -128.999 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[430]: 6 -256.998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[431]: 6 -512.995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[432]: 6 -1024.99 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[433]: 6 -2050.2 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[434]: 6 -4097.9 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[435]: 6 -8194.62 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[436]: 6 -16386.2 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[437]: 6 -32768.7 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[446]: 6 -11.9922 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[447]: 6 -20.9843 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[448]: 6 -33.9685 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[450]: 6 -129.874 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[451]: 6 -256.998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[452]: 6 -512.995 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[453]: 6 -1024.99 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[454]: 6 -2048.98 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[455]: 6 -4098.4 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[456]: 6 -8193.8 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[457]: 6 -16387.2 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[458]: 6 -32768.7 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[459]: 6 -65533.8 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[461]: 6 -262142 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[490]: 6 -32.9998 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[491]: 6 -66.9369 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[492]: 6 -130.874 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[494]: 6 -513.495 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[495]: 6 -1024.99 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[496]: 6 -2048.98 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[497]: 6 -4096.96 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[498]: 6 -8192.92 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[499]: 6 -16387.6 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[500]: 6 -32769.2 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[501]: 6 -65536.4 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[502]: 6 -131072 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[503]: 6 -262131 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[504]: 6 -524285 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[505]: 6 -1.04849e+06 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[529]: 6 0 1.12375 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[533]: 6 -4.89962 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[538]: 6 -2.25251 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[539]: 6 0 1.21525 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[543]: 6 -2.19089 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[544]: 6 -0.181331 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[545]: 6 -3.02726 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[554]: 6 -2.6776 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[556]: 6 -2.65724 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[581]: 6 -5.66711 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[663]: 6 -1.00007 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[666]: 6 0 6.21685 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[676]: 6 -4.22297 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[684]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[697]: 6 0 1.00005 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[704]: 6 0 1.00003 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[788]: 6 0 2.00002 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[820]: 6 -5.22147 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[827]: 6 0 2.75007 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[832]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[834]: 6 -1.00002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[835]: 6 -1.00003 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[836]: 6 -1.00001 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[853]: 6 -1.00009 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[856]: 6 -1.00005 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[858]: 6 -1.75007 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[867]: 6 0 1.00006 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[870]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[874]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[877]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[883]: 6 -11.7271 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[884]: 6 -1.96143 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[887]: 6 0 3.00003 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[891]: 6 -1.00005 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[895]: 6 -1.00005 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[897]: 6 -1.00004 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[898]: 6 -1.00006 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[903]: 6 0 1.7717 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[905]: 6 -12.2955 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[916]: 6 -1.50002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[917]: 6 -1.50009 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[918]: 6 -1.50009 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[919]: 6 -1.50003 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[926]: 6 -3.30468 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[943]: 6 -1.00009 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[946]: 6 0 2.0146 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[947]: 6 0 10.7752 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[966]: 6 -5.42841 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[967]: 6 -46.1417 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[987]: 6 0 6.14019 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[989]: 6 0 0.427331 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1005]: 6 -0.28923 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1012]: 6 -1.00004 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1022]: 6 -0.700219 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1024]: 6 0 3.54561 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1077]: 6 -0.60766 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1129]: 6 -0.500097 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1143]: 6 -0.569851 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1167]: 6 0 0.222753 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1174]: 6 -1.00001 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1226]: 6 -2.37501 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1231]: 6 -0.607703 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1247]: 6 -1.0001 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1268]: 6 -1.00002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1284]: 6 -2.81353 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1288]: 6 0 0.25001 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1306]: 6 -2.62703 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1327]: 6 -1.00003 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1332]: 6 -1.00002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1342]: 6 -1.00004 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1354]: 6 -1.00007 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1364]: 6 -1.00003 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1372]: 6 -0.0156417 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1386]: 6 -1.00004 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1404]: 6 -1.00002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1419]: 6 -0.500059 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1426]: 6 0 1.54923 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1436]: 6 -2.4688 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1440]: 6 -1.00009 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1441]: 6 -1.50002 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1443]: 6 -1.50008 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1446]: 6 -0.500093 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1447]: 6 -1.00005 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1494]: 6 -3.78715e-05 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1495]: 6 -9.44268e-05 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1497]: 6 -4.34826e-05 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1498]: 6 -0.000125649 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1499]: 6 -0.000110702 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1500]: 6 -0.000175507 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1501]: 6 -0.000346638 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1502]: 6 -0.000523766 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1505]: 6 -0.00415437 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1507]: 6 -0.0164408 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1508]: 6 -0.0329126 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1509]: 6 -0.0657292 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1510]: 6 -0.131417 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1511]: 6 -0.262854 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1512]: 6 -0.525561 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1513]: 6 -0.0777619 0 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1515]: 6 0 2.71625 shouldn't be
1881.44/1886.23 WSVECS04 Frhs2[1518]: 6 0 28.655 shouldn't be
2799.93/2806.96 c #Conflicts: 300000 | #Constraints: 14330
2799.93/2806.96 c #Conflicts: 301000 | #Constraints: 15330
2799.93/2806.96 c #Conflicts: 302000 | #Constraints: 16330
2799.93/2806.96 c #Conflicts: 303000 | #Constraints: 17330
2799.93/2806.96 c #Conflicts: 304000 | #Constraints: 18330
2799.93/2806.96 c #Conflicts: 305000 | #Constraints: 19330
2799.93/2806.96 c #Conflicts: 306000 | #Constraints: 20330
2799.93/2806.96 c #Conflicts: 307000 | #Constraints: 21330
2799.93/2806.96 c #Conflicts: 308000 | #Constraints: 22330
2799.93/2806.96 c #Conflicts: 309000 | #Constraints: 23330
2799.93/2806.96 c #Conflicts: 310000 | #Constraints: 24330
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 311000 | #Constraints: 14331
2799.93/2806.96 c #Conflicts: 312000 | #Constraints: 15331
2799.93/2806.96 c #Conflicts: 313000 | #Constraints: 16331
2799.93/2806.96 c #Conflicts: 314000 | #Constraints: 17331
2799.93/2806.96 c #Conflicts: 315000 | #Constraints: 18331
2799.93/2806.96 c #Conflicts: 316000 | #Constraints: 19331
2799.93/2806.96 c #Conflicts: 317000 | #Constraints: 20331
2799.93/2806.96 c #Conflicts: 318000 | #Constraints: 21331
2799.93/2806.96 c #Conflicts: 319000 | #Constraints: 22331
2799.93/2806.96 c #Conflicts: 320000 | #Constraints: 23331
2799.93/2806.96 c #Conflicts: 321000 | #Constraints: 24331
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 322000 | #Constraints: 14128
2799.93/2806.96 c #Conflicts: 323000 | #Constraints: 15128
2799.93/2806.96 c #Conflicts: 324000 | #Constraints: 16128
2799.93/2806.96 c #Conflicts: 325000 | #Constraints: 17128
2799.93/2806.96 c #Conflicts: 326000 | #Constraints: 18128
2799.93/2806.96 c #Conflicts: 327000 | #Constraints: 19128
2799.93/2806.96 c #Conflicts: 328000 | #Constraints: 20128
2799.93/2806.96 c #Conflicts: 329000 | #Constraints: 21128
2799.93/2806.96 c #Conflicts: 330000 | #Constraints: 22128
2799.93/2806.96 c #Conflicts: 331000 | #Constraints: 23128
2799.93/2806.96 c #Conflicts: 332000 | #Constraints: 24128
2799.93/2806.96 c #Conflicts: 333000 | #Constraints: 25128
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 334000 | #Constraints: 14737
2799.93/2806.96 c #Conflicts: 335000 | #Constraints: 15737
2799.93/2806.96 c #Conflicts: 336000 | #Constraints: 16737
2799.93/2806.96 c #Conflicts: 337000 | #Constraints: 17737
2799.93/2806.96 c #Conflicts: 338000 | #Constraints: 18737
2799.93/2806.96 c #Conflicts: 339000 | #Constraints: 19737
2799.93/2806.96 c #Conflicts: 340000 | #Constraints: 20737
2799.93/2806.96 c #Conflicts: 341000 | #Constraints: 21737
2799.93/2806.96 c #Conflicts: 342000 | #Constraints: 22737
2799.93/2806.96 c #Conflicts: 343000 | #Constraints: 23737
2799.93/2806.96 c #Conflicts: 344000 | #Constraints: 24737
2799.93/2806.96 c #Conflicts: 345000 | #Constraints: 25737
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 346000 | #Constraints: 15138
2799.93/2806.96 c #Conflicts: 347000 | #Constraints: 16138
2799.93/2806.96 c #Conflicts: 348000 | #Constraints: 17138
2799.93/2806.96 c #Conflicts: 349000 | #Constraints: 18138
2799.93/2806.96 c #Conflicts: 350000 | #Constraints: 19138
2799.93/2806.96 c #Conflicts: 351000 | #Constraints: 20138
2799.93/2806.96 c #Conflicts: 352000 | #Constraints: 21138
2799.93/2806.96 c #Conflicts: 353000 | #Constraints: 22138
2799.93/2806.96 c #Conflicts: 354000 | #Constraints: 23138
2799.93/2806.96 c #Conflicts: 355000 | #Constraints: 24138
2799.93/2806.96 c #Conflicts: 356000 | #Constraints: 25138
2799.93/2806.96 c #Conflicts: 357000 | #Constraints: 26138
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 358000 | #Constraints: 15333
2799.93/2806.96 c #Conflicts: 359000 | #Constraints: 16333
2799.93/2806.96 c #Conflicts: 360000 | #Constraints: 17333
2799.93/2806.96 c #Conflicts: 361000 | #Constraints: 18333
2799.93/2806.96 c #Conflicts: 362000 | #Constraints: 19333
2799.93/2806.96 c #Conflicts: 363000 | #Constraints: 20333
2799.93/2806.96 c #Conflicts: 364000 | #Constraints: 21333
2799.93/2806.96 c #Conflicts: 365000 | #Constraints: 22333
2799.93/2806.96 c #Conflicts: 366000 | #Constraints: 23333
2799.93/2806.96 c #Conflicts: 367000 | #Constraints: 24333
2799.93/2806.96 c #Conflicts: 368000 | #Constraints: 25333
2799.93/2806.96 c #Conflicts: 369000 | #Constraints: 26333
2799.93/2806.96 c INPROCESSING
2799.93/2806.96 c GARBAGE COLLECT
2799.93/2806.96 c #Conflicts: 370000 | #Constraints: 15335
2799.93/2806.96 c #Conflicts: 371000 | #Constraints: 16335
2799.93/2806.96 c #Conflicts: 372000 | #Constraints: 17335
2799.93/2806.96 c #Conflicts: 373000 | #Constraints: 18335
2799.93/2806.96 c #Conflicts: 374000 | #Constraints: 19335
2924.43/2931.78 c #Conflicts: 375000 | #Constraints: 20336
2924.43/2931.78 c #Conflicts: 376000 | #Constraints: 21336
2924.43/2931.78 c #Conflicts: 377000 | #Constraints: 22336
2924.43/2931.78 c #Conflicts: 378000 | #Constraints: 23336
2924.43/2931.78 c #Conflicts: 379000 | #Constraints: 24336
2924.43/2931.78 c #Conflicts: 380000 | #Constraints: 25336
2924.43/2931.78 c #Conflicts: 381000 | #Constraints: 26336
2924.43/2931.78 c INPROCESSING
2924.43/2931.78 c GARBAGE COLLECT
2924.43/2931.78 c rational objective 4.82725
3045.84/3053.43 c #Conflicts: 382000 | #Constraints: 15133
3045.84/3053.43 c #Conflicts: 383000 | #Constraints: 16133
3045.84/3053.43 c #Conflicts: 384000 | #Constraints: 17133
3045.84/3053.43 c #Conflicts: 385000 | #Constraints: 18133
3045.84/3053.43 c #Conflicts: 386000 | #Constraints: 19133
3045.84/3053.43 c #Conflicts: 387000 | #Constraints: 20133
3045.84/3053.43 c #Conflicts: 388000 | #Constraints: 21133
3045.84/3053.43 c #Conflicts: 389000 | #Constraints: 22133
3045.84/3053.43 c #Conflicts: 390000 | #Constraints: 23133
3045.84/3053.43 c #Conflicts: 391000 | #Constraints: 24133
3045.84/3053.43 c #Conflicts: 392000 | #Constraints: 25133
3045.84/3053.43 c #Conflicts: 393000 | #Constraints: 26133
3045.84/3053.43 c #Conflicts: 394000 | #Constraints: 27133
3045.84/3053.43 c INPROCESSING
3045.84/3053.43 c GARBAGE COLLECT
3045.84/3053.43 c rational objective 4.83127
3174.54/3182.45 c #Conflicts: 395000 | #Constraints: 15734
3174.54/3182.45 c #Conflicts: 396000 | #Constraints: 16735
3174.54/3182.45 c #Conflicts: 397000 | #Constraints: 17735
3174.54/3182.45 c #Conflicts: 398000 | #Constraints: 18738
3174.54/3182.45 c #Conflicts: 399000 | #Constraints: 19738
3174.54/3182.45 c #Conflicts: 400000 | #Constraints: 20738
3174.54/3182.45 c #Conflicts: 401000 | #Constraints: 21738
3174.54/3182.45 c #Conflicts: 402000 | #Constraints: 22738
3174.54/3182.45 c #Conflicts: 403000 | #Constraints: 23738
3174.54/3182.45 c #Conflicts: 404000 | #Constraints: 24738
3174.54/3182.45 c #Conflicts: 405000 | #Constraints: 25739
3174.54/3182.45 c #Conflicts: 406000 | #Constraints: 26739
3174.54/3182.45 c #Conflicts: 407000 | #Constraints: 27739
3174.54/3182.45 c INPROCESSING
3174.54/3182.45 c GARBAGE COLLECT
3174.54/3182.45 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[16]: 6 -1353.53 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[20]: 6 0 4320.43 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[40]: 6 -976.595 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[63]: 6 0 3.00008 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[64]: 6 0 7.00003 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[66]: 6 0 31.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[82]: 6 -1512.99 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[88]: 6 0 63 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[110]: 6 0 127 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[123]: 6 -0.500095 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[127]: 6 0 7.00009 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[129]: 6 0 31.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[132]: 6 0 255 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[148]: 6 0 7.00002 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[149]: 6 0 15 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[150]: 6 0 30.5001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[151]: 6 0 62.9993 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[168]: 6 0 2.00004 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[169]: 6 0 7.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[170]: 6 0 15 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[171]: 6 0 31.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[172]: 6 0 62.9993 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[189]: 6 0 3.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[190]: 6 0 7.00006 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[191]: 6 0 15.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[192]: 6 0 31.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[193]: 6 0 62.9992 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[202]: 6 -0.984431 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[205]: 6 -0.875021 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[206]: 6 -0.750074 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[209]: 6 0 1.00009 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[224]: 6 -0.968793 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[227]: 6 -0.750076 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[228]: 6 -0.500059 0 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[231]: 6 0 3.00007 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[251]: 6 0 1.00006 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[253]: 6 0 7.00005 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[254]: 6 0 15.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[255]: 6 0 31 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[256]: 6 0 62.9993 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[272]: 6 0 1.00001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[273]: 6 0 3.0001 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[274]: 6 0 7.00005 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[275]: 6 0 15 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[276]: 6 0 31 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[284]: 6 0 6640.79 shouldn't be
3174.54/3182.45 WSVECS04 Frhs2[285]: 6 0 14417.9 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[293]: 6 0 1.00006 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[294]: 6 0 3.00007 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[295]: 6 0 7.00003 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[296]: 6 0 15.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[297]: 6 0 31 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[298]: 6 0 62.9992 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[307]: 6 0 31860.7 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[314]: 6 0 1.00002 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[315]: 6 0 3.00002 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[316]: 6 0 7.00004 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[317]: 6 0 15.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[318]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[319]: 6 0 62.9992 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[330]: 6 0 131074 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[335]: 6 0 1.00004 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[336]: 6 0 3.00003 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[339]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[350]: 6 0 63887.7 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[357]: 6 0 3.00009 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[358]: 6 0 7.00006 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[361]: 6 0 62.9992 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[377]: 6 0 1.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[379]: 6 0 7.00003 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[380]: 6 0 15.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[398]: 6 0 1.00005 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[399]: 6 0 3.00009 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[400]: 6 0 7.00002 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[401]: 6 0 15.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[402]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[403]: 6 0 62.9993 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[416]: 6 0 522060 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[419]: 6 0 1.00008 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[420]: 6 0 3.00008 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[421]: 6 0 7.00002 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[422]: 6 0 15.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[423]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[424]: 6 0 62.9993 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[439]: 6 0 2.09367e+06 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[441]: 6 0 3.00004 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[442]: 6 0 7.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[443]: 6 0 15 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[444]: 6 0 31 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[445]: 6 0 62.9993 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[463]: 6 0 7.00003 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[464]: 6 0 15 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[465]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[466]: 6 0 62.9993 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[481]: 6 0 2.09714e+06 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[483]: 6 0 8.38379e+06 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[485]: 6 0 15 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[486]: 6 0 31 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[487]: 6 0 62.9992 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[503]: 6 0 4.19227e+06 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[506]: 6 0 3.35545e+07 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[507]: 6 0 31.0001 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[508]: 6 0 62.9993 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[510]: 6 0 254.999 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[544]: 6 0 0.0811998 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[568]: 6 0 2151.16 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[624]: 6 -3.00007 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[642]: 6 0 4.50003 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[643]: 6 0 4.00004 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[646]: 6 0 1.00007 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[860]: 6 -1.00004 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[947]: 6 0 1310.03 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1112]: 6 0 1.00004 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1131]: 6 -3.75005 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1132]: 6 -3.50004 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1135]: 6 -2.00001 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1148]: 6 -2.00004 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1151]: 6 -4.87506 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1170]: 6 -2.00005 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1232]: 6 -1.00006 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1253]: 6 -1099.95 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1276]: 6 -1.00006 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1297]: 6 -1.00004 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1316]: 6 -1.00003 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1358]: 6 -1.00004 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1360]: 6 -1.00008 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1385]: 6 0 139.729 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1487]: 6 -1.00006 0 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1513]: 6 0 122.984 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1516]: 6 0 1805.07 shouldn't be
3174.54/3182.46 WSVECS04 Frhs2[1517]: 6 0 2191.17 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1]: 6 -1208.38 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[3]: 6 -1352.38 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[15]: 6 -1352.96 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[34]: 6 -1688.06 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[44]: 6 0 1721.66 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[62]: 6 -803.89 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[76]: 6 -976.58 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[79]: 6 -1966.46 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[80]: 6 -976.345 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[102]: 6 -1643.43 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[117]: 6 -3079.37 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[118]: 6 -461.926 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[120]: 6 -2.375 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[122]: 6 -2 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[123]: 6 -0.500001 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[178]: 6 0 0.00195331 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[189]: 6 0 3 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[202]: 6 -0.984376 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[205]: 6 -0.875 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[206]: 6 -0.750001 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[224]: 6 -0.96875 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[227]: 6 -0.750001 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[228]: 6 -0.5 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[607]: 6 0 303.474 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[624]: 6 -3 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[642]: 6 0 4.5 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[645]: 6 0 3 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[652]: 6 0 1049.94 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[779]: 6 0 134.348 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[818]: 6 -1 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[839]: 6 -1 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[858]: 6 -1 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[860]: 6 -1 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[883]: 6 0 2101.01 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[905]: 6 0 2042.23 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[969]: 6 0 949.746 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[989]: 6 0 151.237 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1112]: 6 0 1 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1131]: 6 -3.75 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1132]: 6 -3.5 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1133]: 6 -3 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1135]: 6 -2 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1148]: 6 -2 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1150]: 6 0 147.8 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1151]: 6 -4.875 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1155]: 6 -4 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1170]: 6 -2 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1215]: 6 -0.907973 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1339]: 6 -1643.93 0 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3174.64/3182.59 WSVECS04 Frhs2[1518]: 6 0 6190.42 shouldn't be
3600.07/3608.90 c #Conflicts: 408000 | #Constraints: 16136
3600.07/3608.90 c #Conflicts: 409000 | #Constraints: 17136
3600.07/3608.90 c #Conflicts: 410000 | #Constraints: 18136
3600.07/3608.90 c #Conflicts: 411000 | #Constraints: 19136
3600.07/3608.90 c #Conflicts: 412000 | #Constraints: 20136
3600.07/3608.90 c #Conflicts: 413000 | #Constraints: 21136
3600.07/3608.90 c #Conflicts: 414000 | #Constraints: 22136
3600.07/3608.90 c #Conflicts: 415000 | #Constraints: 23136
3600.07/3608.90 c #Conflicts: 416000 | #Constraints: 24136
3600.07/3608.90 c #Conflicts: 417000 | #Constraints: 25136
3600.07/3608.90 c #Conflicts: 418000 | #Constraints: 26136
3600.07/3608.90 c #Conflicts: 419000 | #Constraints: 27136
3600.07/3608.90 c #Conflicts: 420000 | #Constraints: 28136
3600.07/3608.90 c INPROCESSING
3600.07/3608.90 c GARBAGE COLLECT
3600.07/3608.90 c #Conflicts: 421000 | #Constraints: 16337
3600.07/3608.90 c #Conflicts: 422000 | #Constraints: 17337
3600.07/3608.90 c #Conflicts: 423000 | #Constraints: 18337
3600.07/3608.90 c #Conflicts: 424000 | #Constraints: 19337
3600.07/3608.90 c #Conflicts: 425000 | #Constraints: 20337
3600.07/3608.90 c #Conflicts: 426000 | #Constraints: 21337
3600.07/3608.90 c #Conflicts: 427000 | #Constraints: 22337
3600.07/3608.90 c #Conflicts: 428000 | #Constraints: 23337
3600.07/3608.90 c #Conflicts: 429000 | #Constraints: 24337
3600.07/3608.90 c #Conflicts: 430000 | #Constraints: 25337
3600.07/3608.90 c #Conflicts: 431000 | #Constraints: 26337
3600.07/3608.90 c #Conflicts: 432000 | #Constraints: 27337
3600.07/3608.90 c #Conflicts: 433000 | #Constraints: 28337
3600.07/3608.90 c INPROCESSING
3600.07/3608.90 c GARBAGE COLLECT
3600.07/3608.90 c #Conflicts: 434000 | #Constraints: 16331
3600.07/3608.90 c #Conflicts: 435000 | #Constraints: 17331
3600.07/3608.90 c #Conflicts: 436000 | #Constraints: 18331
3600.07/3608.90 c #Conflicts: 437000 | #Constraints: 19331
3600.07/3608.90 c #Conflicts: 438000 | #Constraints: 20331
3600.07/3608.90 c #Conflicts: 439000 | #Constraints: 21331
3600.07/3608.90 c #Conflicts: 440000 | #Constraints: 22331
3600.07/3608.90 c #Conflicts: 441000 | #Constraints: 23331
3600.07/3608.90 c cpu time 3596.73 s
3600.07/3608.90 c deterministic time 709056261528 7.09e+11
3600.07/3608.90 c optimization time 121.533 s
3600.07/3608.90 c total solve time 3475.19 s
3600.07/3608.90 c core-guided solve time 0 s
3600.07/3608.90 c propagation time 2933.3 s
3600.07/3608.90 c conflict analysis time 620.985 s
3600.07/3608.90 c propagations 106120242
3600.07/3608.90 c resolve steps 80034824
3600.07/3608.90 c decisions 545646
3600.07/3608.90 c conflicts 441655
3600.07/3608.90 c restarts 1021
3600.07/3608.90 c inprocessing phases 57
3600.07/3608.90 c garbage collections 57 ,( 100.00 )
3600.07/3608.90 c input clauses 1584 ,( 63.08 )
3600.07/3608.90 c input cardinalities 0 ,( 0.00 )
3600.07/3608.90 c input general constraints 927 ,( 36.92 )
3600.07/3608.90 c input average constraint length 3.73
3600.07/3608.90 c input average constraint degree 21018140083.22
3600.07/3608.90 c learned clauses 14372 ,( 3.25 )
3600.07/3608.90 c learned cardinalities 2 ,( 0.00 )
3600.07/3608.90 c learned general constraints 427380 ,( 96.75 )
3600.07/3608.90 c learned average constraint length 467.63
3600.07/3608.90 c learned average constraint degree 861191065.79
3600.07/3608.90 c watched CF 32, 64, 128, Arb: 1589 , 0 , 0 , 0
3600.07/3608.90 c counting CF 32, 64, 128, Arb: 426715 , 3 , 0 , 0
3600.07/3608.90 c watched constraints 1589 ,( 0.37 )
3600.07/3608.90 c counting constraints 426718 ,( 99.63 )
3600.07/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 83138158 , 177617 , 64552390180 ,( 8234740 , 64544155440 )
3600.07/3608.90 c gcd simplifications 2447
3600.07/3608.90 c detected cardinalities 0
3600.07/3608.90 c weakened non-implied lits 20975085
3600.07/3608.90 c weakened non-implying lits 782725
3600.07/3608.90 c original variables 1562
3600.07/3608.90 c clausal propagations 18493624
3600.07/3608.90 c cardinality propagations 2040
3600.07/3608.90 c watched propagations 55964
3600.07/3608.90 c counting propagations 87136600
3600.07/3608.90 c watch lookups 65487786113
3600.07/3608.90 c watch backjump lookups 0
3600.07/3608.90 c watch checks 240551466
3600.07/3608.90 c propagation checks 641753551396
3600.07/3608.90 c constraint additions 1360526344
3600.07/3608.90 c trail pops 107106274
3600.07/3608.90 c formula constraints 2511
3600.07/3608.90 c learned constraints 441654
3600.07/3608.90 c bound constraints 0
3600.07/3608.90 c core-guided constraints 0
3600.07/3608.90 c encountered formula constraints 78770207
3600.07/3608.90 c encountered learned constraints 1676648
3600.07/3608.90 c encountered bound constraints 0
3600.07/3608.90 c encountered core-guided constraints 0
3600.07/3608.90 c LP total time 8.80041 s
3600.07/3608.90 c LP solve time 6.66 s
3600.07/3608.90 c LP constraints added 2525
3600.07/3608.90 c LP constraints removed 3
3600.07/3608.90 c LP pivots internal 44285
3600.07/3608.90 c LP pivots root 29761
3600.07/3608.90 c LP calls 207
3600.07/3608.90 c LP optimalities 29
3600.07/3608.90 c LP no pivot count 1
3600.07/3608.90 c LP infeasibilities 126
3600.07/3608.90 c LP valid Farkas constraints 90
3600.07/3608.90 c LP learned Farkas constraints 0
3600.07/3608.90 c LP basis resets 49
3600.07/3608.90 c LP cycling count 4
3600.07/3608.90 c LP singular count 30
3600.07/3608.90 c LP no primal count 0
3600.07/3608.90 c LP no farkas count 0
3600.07/3608.90 c LP other issue count 15
3600.07/3608.90 c LP Gomory cuts 10
3600.07/3608.90 c LP learned cuts 4
3600.07/3608.90 c LP deleted cuts 3
3600.07/3608.90 c LP encountered Gomory constraints 1
3600.07/3608.90 c LP encountered Farkas constraints 29623
3600.07/3608.90 c LP encountered learned Farkas constraints 0
3600.07/3608.90 c CG auxiliary variables introduced 0
3600.07/3608.90 c CG solutions found 0
3600.07/3608.90 c CG cores constructed 0
3600.07/3608.90 c CG core cardinality constraints returned 0
3600.07/3608.90 c CG unit cores 0
3600.07/3608.90 c CG single cores 0
3600.07/3608.90 c CG blocks removed during cardinality reduction 0
3600.07/3608.90 c CG first core best 0
3600.07/3608.90 c CG decision core best 0
3600.07/3608.90 c CG core reduction tie 0
3600.07/3608.90 c CG core degree average 0.00
3600.07/3608.90 c CG core slack average 0.00
3600.07/3608.90 c CG core upper bound improvements 0
3600.07/3608.90 c STR number of successful calls 0
3600.07/3608.90 c STR number of unsuccessful calls 0
3600.07/3608.90 c STR number of inconclusive calls 0
3600.07/3608.90 c STR number of successful attempts 0
3600.07/3608.90 c STR number of unsuccessful attempts 0
3600.07/3608.90 c STR number of inconclusive attempts 0
3600.07/3608.90 c STR average degree increase per successful call inf
3600.07/3608.90 c STR average degree increase per successful attempt inf
3600.07/3608.90 c STR total number of conflicts for successful attempts 0
3600.07/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.07/3608.90 c STR average number of conflicts per successful attempt inf
3600.07/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.07/3608.90 c AVG.sumWPerc 99.04
3600.07/3608.90 c bigint constraints 3
3600.07/3608.90 s UNKNOWN
3600.07/3608.90 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 (60320 MiB free)
memory of node 1: 64465 MiB (57090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541997-1753211625/watcher-4541997-1753211625 -o /tmp/evaluation-result-4541997-1753211625/solver-4541997-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164105 --watchdog 3760 run-dec-ls.sh HOME/instance-4541997-1753211625.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164154, runsolver pid=164145
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120189308/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=60456 memory=14168 CPUtime=0.07 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 2010 0 0 0 7 0 0 0 20 0 1 0 236839995 61906944 3542 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 15114 3542 2304 1147 0 2541 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 17112 KiB
[startup+0.204815 s]*
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120156800/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=60456 memory=14168 CPUtime=0.17 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 2011 0 0 0 17 0 0 0 20 0 1 0 236839995 61906944 3542 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 15114 3542 2304 1147 0 2541 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 17112 KiB
[startup+0.304657 s]*
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120153116/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=63100 memory=18980 CPUtime=0.27 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 2638 0 0 0 27 0 0 0 20 0 1 0 236839995 64614400 4745 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 15775 4745 2368 1147 0 3202 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 67292 KiB
Current children cumulated memory: 21924 KiB
[startup+0.700138 s]
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120145304/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=70144 memory=27784 CPUtime=0.66 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 4330 0 0 0 65 1 0 0 20 0 1 0 236839995 71827456 6946 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 17536 6946 2368 1147 0 4963 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 74336 KiB
Current children cumulated memory: 30728 KiB
[startup+1.50015 s]
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120122048/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=80632 memory=37256 CPUtime=1.46 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 6681 0 0 0 144 2 0 0 20 0 1 0 236839995 82567168 9314 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 20158 9314 2368 1147 0 7585 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 84824 KiB
Current children cumulated memory: 40200 KiB
[startup+3.10478 s]
/proc/loadavg: 1.12 1.12 1.59 6/268 164167
/proc/meminfo: memFree=120087216/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=94060 memory=47860 CPUtime=3.07 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 8812 0 0 0 303 4 0 0 20 0 1 0 236839995 96317440 11965 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 23515 11965 2368 1147 0 10942 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 50804 KiB
[startup+6.30015 s]
/proc/loadavg: 1.35 1.17 1.61 6/268 164167
/proc/meminfo: memFree=120063596/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=104132 memory=59764 CPUtime=6.25 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 11811 0 0 0 619 6 0 0 20 0 1 0 236839995 106631168 14941 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 26033 14941 2368 1147 0 13460 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 108324 KiB
Current children cumulated memory: 62708 KiB
[startup+12.7001 s]
/proc/loadavg: 1.64 1.23 1.62 6/268 164167
/proc/meminfo: memFree=120035424/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=127376 memory=76628 CPUtime=12.64 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 15011 0 0 0 1255 9 0 0 20 0 1 0 236839995 130433024 19157 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 31844 19157 2368 1147 0 19271 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 131568 KiB
Current children cumulated memory: 79572 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.37 1.66 6/268 164214
/proc/meminfo: memFree=117093176/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=133684 memory=86336 CPUtime=25.37 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 16821 0 0 0 2522 15 0 0 20 0 1 0 236839995 136892416 21584 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 33421 21584 2464 1147 0 20848 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 137876 KiB
Current children cumulated memory: 89280 KiB
[startup+51.1055 s]
/proc/loadavg: 2.93 1.61 1.74 6/268 164214
/proc/meminfo: memFree=117075332/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=161364 memory=103676 CPUtime=50.9 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 20636 0 0 0 5068 22 0 0 20 0 1 0 236839995 165236736 25919 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 40341 25919 2464 1147 0 27768 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 165556 KiB
Current children cumulated memory: 106620 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.00 1.86 6/268 164216
/proc/meminfo: memFree=116959880/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=188504 memory=131364 CPUtime=101.96 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 26034 0 0 0 10161 35 0 0 20 0 1 0 236839995 193028096 32841 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 47126 32841 2464 1147 0 34553 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 134308 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.40 2.01 6/271 164227
/proc/meminfo: memFree=116863760/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=211988 memory=142376 CPUtime=161.8 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 28309 0 0 0 16131 49 0 0 20 0 1 0 236839995 217075712 35594 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 52997 35594 2464 1147 0 40424 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 216180 KiB
Current children cumulated memory: 145320 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.14 6/270 164230
/proc/meminfo: memFree=116788856/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=212204 memory=149884 CPUtime=221.64 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 29168 0 0 0 22105 59 0 0 20 0 1 0 236839995 217296896 37471 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 53051 37471 2464 1147 0 40478 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/164157/statm: 109392 98790 2464 1147 0 96819 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 441760 KiB
Current children cumulated memory: 398104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/268 164392
/proc/meminfo: memFree=115182448/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=438336 memory=395544 CPUtime=3154.49 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 69434 0 0 0 315143 306 0 0 20 0 1 0 236839995 448856064 98886 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 109584 98886 2464 1147 0 97011 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 442528 KiB
Current children cumulated memory: 398488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.03 6/268 164394
/proc/meminfo: memFree=115130896/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=442488 memory=397976 CPUtime=3214.36 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 70042 0 0 0 321124 312 0 0 20 0 1 0 236839995 453107712 99494 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 110622 99494 2464 1147 0 98049 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 446680 KiB
Current children cumulated memory: 400920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.03 6/269 164397
/proc/meminfo: memFree=115040712/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=442488 memory=397976 CPUtime=3274.22 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 70042 0 0 0 327107 315 0 0 20 0 1 0 236839995 453107712 99494 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 110622 99494 2464 1147 0 98049 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 446680 KiB
Current children cumulated memory: 400920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.04 6/269 164399
/proc/meminfo: memFree=114906596/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=443000 memory=398488 CPUtime=3334.09 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 70171 0 0 0 333090 319 0 0 20 0 1 0 236839995 453632000 99622 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 110750 99622 2464 1147 0 98177 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 447192 KiB
Current children cumulated memory: 401432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/269 164401
/proc/meminfo: memFree=114861408/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=443000 memory=398488 CPUtime=3393.95 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 70171 0 0 0 339073 322 0 0 20 0 1 0 236839995 453632000 99622 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 110750 99622 2464 1147 0 98177 0
Current children cumulated CPU time: 3393.95 s
Current children cumulated vsize: 447192 KiB
Current children cumulated memory: 401432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/268 164404
/proc/meminfo: memFree=114876764/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=444224 memory=399000 CPUtime=3453.81 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 70317 0 0 0 345056 325 0 0 20 0 1 0 236839995 454885376 99750 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 111056 99750 2464 1147 0 98483 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 448416 KiB
Current children cumulated memory: 401944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.05 6/268 164406
/proc/meminfo: memFree=114843820/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=517864 memory=416620 CPUtime=3513.67 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 73698 0 0 0 351039 328 0 0 20 0 1 0 236839995 530292736 104155 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 129466 104155 2464 1147 0 116893 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 522056 KiB
Current children cumulated memory: 419564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 6/268 164408
/proc/meminfo: memFree=114803332/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=517864 memory=416620 CPUtime=3573.53 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 73698 0 0 0 357020 333 0 0 20 0 1 0 236839995 530292736 104155 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 129466 104155 2464 1147 0 116893 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 522056 KiB
Current children cumulated memory: 419564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.13 4.11 4.05 6/267 164408
/proc/meminfo: memFree=114803300/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=517864 memory=416620 CPUtime=3600.07 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 73698 0 0 0 359673 334 0 0 20 0 1 0 236839995 530292736 104155 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 129466 104155 2464 1147 0 116893 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 522056 KiB
Current children cumulated memory: 419564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 164154 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001109 s, system=0.001126 s
[startup+3608.9 s]
# the end of solver process 164157 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.74 s, system=3.34824 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
[startup+3608.9 s]
/proc/loadavg: 4.13 4.11 4.05 6/267 164408
/proc/meminfo: memFree=114803300/131250000 swapFree=33008356/33010684
[pid=164154] ppid=164145 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/164154/stat : 164154 (run-dec-ls.sh) S 164145 164154 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 736 18446744073709551615 94594700464128 94594701358661 140728553299328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94594701597712 94594701645456 94594710351872 140728553306469 140728553306595 140728553306595 140728553312199 0
/proc/164154/statm: 1048 736 672 219 0 110 0
[pid=164157] ppid=164154 vsize=517864 memory=416620 CPUtime=3600.07 cores=4,6
/proc/164157/stat : 164157 (roundingsat) R 164154 164154 164094 0 -1 4194304 73698 0 0 0 359673 334 0 0 20 0 1 0 236839995 530292736 104155 18446744073709551615 4227072 8923433 140737312561264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26484736 140737312569758 140737312569894 140737312569894 140737312575466 0
/proc/164157/statm: 129466 104155 2464 1147 0 116893 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 522056 KiB
Current children cumulated memory: 419564 KiB
Child status: 2
Real time (s): 3608.9
CPU time (s): 3600.08
CPU user time (s): 3596.74
CPU system time (s): 3.34824
CPU usage (%): 99.7556
Max. virtual memory (cumulated for all children) (KiB): 522056
Max. memory (cumulated for all children) (KiB): 419564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.74
system time used= 3.34824
maximum resident set size= 416748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 2759
# summary of solver processes directly reported to runsolver:
# pid: 164154,164157
# total CPU time (s): 3600.08
# total CPU user time (s): 3596.74
# total CPU system time (s): 3.34824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84523 second user time and 15.0102 second system time
The end
Begin job on nodeC019 at 2025-07-22 21:13:45
IDJOB=4541997
IDBENCH=163705
IDSOLVER=3353
FILE ID=nodeC019/4541997-1753211625
RUNJOBID= nodeC019-1753211625-164105
SLURM_JOB_ID= 9687797
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat-ls 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541997-1753211625/watcher-4541997-1753211625 -o /tmp/evaluation-result-4541997-1753211625/solver-4541997-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164105 --watchdog 3760 run-dec-ls.sh HOME/instance-4541997-1753211625.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=979851660
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
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.37
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.514
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.37
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 : 3603.474
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.592
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.499
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.37
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 : 3598.859
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.37
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.410
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120228348 kB
MemAvailable: 129639824 kB
Buffers: 904 kB
Cached: 10152516 kB
SwapCached: 416 kB
Active: 1156336 kB
Inactive: 9066112 kB
Active(anon): 81676 kB
Inactive(anon): 12804 kB
Active(file): 1074660 kB
Inactive(file): 9053308 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27944 kB
Writeback: 0 kB
AnonPages: 71812 kB
Mapped: 109152 kB
Shmem: 25452 kB
KReclaimable: 245492 kB
Slab: 341436 kB
SReclaimable: 245492 kB
SUnreclaim: 95944 kB
KernelStack: 4112 kB
PageTables: 2980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 341632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC019 at 2025-07-22 22:13:54