0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4541999-1753211687.opb'
0.00/0.02 c read 0.07MB (1.14ms)
0.00/0.02 c [cnf: #variables 1562 #clauses 1982 #duplicates 0 #arr 6424]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (1.82ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (0.27ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 8626 #edges 23012]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (0.48ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4541999-1753211687.opb.pre'
0.00/0.02 c wrote 0.07MB (0.21ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 1.82ms 43.59% approx_orbits
0.00/0.02 c 1.14ms 27.29% parse
0.00/0.02 c 0.48ms 11.63% detect_generic
0.00/0.02 c 0.27ms 6.59% detect_special
0.00/0.02 c 0.21ms 5.12% output
0.00/0.02 c 0.20ms 4.73% other
0.00/0.02 c 0.04ms 1.05% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 4.17ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.05 c #variables 1562 #constraints 2511
0.00/0.05 c rational objective 1.13687e-13
1.85/1.91 c #Conflicts: 1000 | #Constraints: 3511
1.85/1.91 c #Conflicts: 2000 | #Constraints: 4511
1.85/1.91 c INPROCESSING
1.85/1.91 c GARBAGE COLLECT
1.85/1.91 c rational objective 4.01454
7.43/7.58 c #Conflicts: 3000 | #Constraints: 4517
7.43/7.58 c #Conflicts: 4000 | #Constraints: 5517
7.43/7.58 c INPROCESSING
7.43/7.58 c GARBAGE COLLECT
7.43/7.58 c #Conflicts: 5000 | #Constraints: 4916
7.43/7.58 c #Conflicts: 6000 | #Constraints: 5916
7.43/7.58 c INPROCESSING
7.43/7.58 c GARBAGE COLLECT
7.43/7.58 c rational objective 4.16602
12.22/12.32 c #Conflicts: 7000 | #Constraints: 4919
12.22/12.32 c #Conflicts: 8000 | #Constraints: 5919
12.22/12.32 c #Conflicts: 9000 | #Constraints: 6919
12.22/12.32 c INPROCESSING
12.22/12.32 c GARBAGE COLLECT
12.22/12.32 c rational objective 4.39975
80.54/80.84 c #Conflicts: 10000 | #Constraints: 5618
80.54/80.84 c #Conflicts: 11000 | #Constraints: 6618
80.54/80.84 c #Conflicts: 12000 | #Constraints: 7619
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 13000 | #Constraints: 6068
80.54/80.84 c #Conflicts: 14000 | #Constraints: 7068
80.54/80.84 c #Conflicts: 15000 | #Constraints: 8070
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 16000 | #Constraints: 6295
80.54/80.84 c #Conflicts: 17000 | #Constraints: 7296
80.54/80.84 c #Conflicts: 18000 | #Constraints: 8296
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 19000 | #Constraints: 6309
80.54/80.84 c #Conflicts: 20000 | #Constraints: 7309
80.54/80.84 c #Conflicts: 21000 | #Constraints: 8309
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 22000 | #Constraints: 6113
80.54/80.84 c #Conflicts: 23000 | #Constraints: 7114
80.54/80.84 c #Conflicts: 24000 | #Constraints: 8115
80.54/80.84 c #Conflicts: 25000 | #Constraints: 9115
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 26000 | #Constraints: 6717
80.54/80.84 c #Conflicts: 27000 | #Constraints: 7718
80.54/80.84 c #Conflicts: 28000 | #Constraints: 8720
80.54/80.84 c #Conflicts: 29000 | #Constraints: 9722
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 30000 | #Constraints: 7118
80.54/80.84 c #Conflicts: 31000 | #Constraints: 8118
80.54/80.84 c #Conflicts: 32000 | #Constraints: 9119
80.54/80.84 c #Conflicts: 33000 | #Constraints: 10119
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c #Conflicts: 34000 | #Constraints: 7321
80.54/80.84 c #Conflicts: 35000 | #Constraints: 8325
80.54/80.84 c #Conflicts: 36000 | #Constraints: 9328
80.54/80.84 c #Conflicts: 37000 | #Constraints: 10328
80.54/80.84 c INPROCESSING
80.54/80.84 c GARBAGE COLLECT
80.54/80.84 c rational objective 4.68158
139.87/140.35 c #Conflicts: 38000 | #Constraints: 7326
139.87/140.35 c #Conflicts: 39000 | #Constraints: 8326
139.87/140.35 c #Conflicts: 40000 | #Constraints: 9326
139.87/140.35 c #Conflicts: 41000 | #Constraints: 10326
139.87/140.35 c INPROCESSING
139.87/140.35 c GARBAGE COLLECT
139.87/140.35 c #Conflicts: 42000 | #Constraints: 7125
139.87/140.35 c #Conflicts: 43000 | #Constraints: 8125
139.87/140.35 c #Conflicts: 44000 | #Constraints: 9129
139.87/140.35 c #Conflicts: 45000 | #Constraints: 10130
139.87/140.35 c #Conflicts: 46000 | #Constraints: 11130
139.87/140.35 c INPROCESSING
139.87/140.35 c GARBAGE COLLECT
139.87/140.35 c #Conflicts: 47000 | #Constraints: 7727
139.87/140.35 c #Conflicts: 48000 | #Constraints: 8727
139.87/140.35 c #Conflicts: 49000 | #Constraints: 9728
139.87/140.35 c #Conflicts: 50000 | #Constraints: 10729
139.87/140.35 c #Conflicts: 51000 | #Constraints: 11730
139.87/140.35 c INPROCESSING
139.87/140.35 c GARBAGE COLLECT
139.87/140.35 c #Conflicts: 52000 | #Constraints: 8128
139.87/140.35 c #Conflicts: 53000 | #Constraints: 9129
139.87/140.35 c #Conflicts: 54000 | #Constraints: 10132
139.87/140.35 c #Conflicts: 55000 | #Constraints: 11133
139.87/140.35 c #Conflicts: 56000 | #Constraints: 12135
139.87/140.35 c INPROCESSING
139.87/140.35 c GARBAGE COLLECT
139.87/140.35 c rational objective 4.73252
204.69/205.34 c #Conflicts: 57000 | #Constraints: 8330
204.69/205.34 c #Conflicts: 58000 | #Constraints: 9330
204.69/205.34 c #Conflicts: 59000 | #Constraints: 10330
204.69/205.34 c #Conflicts: 60000 | #Constraints: 11330
204.69/205.34 c #Conflicts: 61000 | #Constraints: 12331
204.69/205.34 c INPROCESSING
204.69/205.34 c GARBAGE COLLECT
204.69/205.34 c #Conflicts: 62000 | #Constraints: 8327
204.69/205.34 c #Conflicts: 63000 | #Constraints: 9330
204.69/205.34 c #Conflicts: 64000 | #Constraints: 10330
204.69/205.34 c #Conflicts: 65000 | #Constraints: 11334
204.69/205.34 c #Conflicts: 66000 | #Constraints: 12336
204.69/205.34 c INPROCESSING
204.69/205.34 c GARBAGE COLLECT
204.69/205.34 c #Conflicts: 67000 | #Constraints: 8130
204.69/205.34 c #Conflicts: 68000 | #Constraints: 9130
204.69/205.34 c #Conflicts: 69000 | #Constraints: 10130
204.69/205.34 c #Conflicts: 70000 | #Constraints: 11130
204.69/205.34 c #Conflicts: 71000 | #Constraints: 12131
204.69/205.34 c #Conflicts: 72000 | #Constraints: 13131
204.69/205.34 c INPROCESSING
204.69/205.34 c GARBAGE COLLECT
204.69/205.34 c rational objective 4.78943
278.00/278.89 c #Conflicts: 73000 | #Constraints: 8730
278.00/278.89 c #Conflicts: 74000 | #Constraints: 9730
278.00/278.89 c #Conflicts: 75000 | #Constraints: 10730
278.00/278.89 c #Conflicts: 76000 | #Constraints: 11730
278.00/278.89 c #Conflicts: 77000 | #Constraints: 12730
278.00/278.89 c #Conflicts: 78000 | #Constraints: 13730
278.00/278.89 c INPROCESSING
278.00/278.89 c GARBAGE COLLECT
278.00/278.89 c #Conflicts: 79000 | #Constraints: 9130
278.00/278.89 c #Conflicts: 80000 | #Constraints: 10130
278.00/278.89 c #Conflicts: 81000 | #Constraints: 11130
278.00/278.89 c #Conflicts: 82000 | #Constraints: 12130
278.00/278.89 c #Conflicts: 83000 | #Constraints: 13130
278.00/278.89 c #Conflicts: 84000 | #Constraints: 14130
278.00/278.89 c INPROCESSING
278.00/278.89 c GARBAGE COLLECT
278.00/278.89 c #Conflicts: 85000 | #Constraints: 9329
278.00/278.89 c #Conflicts: 86000 | #Constraints: 10329
278.00/278.89 c #Conflicts: 87000 | #Constraints: 11330
278.00/278.89 c #Conflicts: 88000 | #Constraints: 12331
278.00/278.89 c #Conflicts: 89000 | #Constraints: 13333
278.00/278.89 c #Conflicts: 90000 | #Constraints: 14334
278.00/278.89 c INPROCESSING
278.00/278.89 c GARBAGE COLLECT
278.00/278.89 c rational objective 4.80937
702.65/704.60 c #Conflicts: 91000 | #Constraints: 9329
702.65/704.60 c #Conflicts: 92000 | #Constraints: 10329
702.65/704.60 c #Conflicts: 93000 | #Constraints: 11329
702.65/704.60 c #Conflicts: 94000 | #Constraints: 12331
702.65/704.60 c #Conflicts: 95000 | #Constraints: 13334
702.65/704.60 c #Conflicts: 96000 | #Constraints: 14335
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 97000 | #Constraints: 9130
702.65/704.60 c #Conflicts: 98000 | #Constraints: 10130
702.65/704.60 c #Conflicts: 99000 | #Constraints: 11130
702.65/704.60 c #Conflicts: 100000 | #Constraints: 12130
702.65/704.60 c #Conflicts: 101000 | #Constraints: 13130
702.65/704.60 c #Conflicts: 102000 | #Constraints: 14130
702.65/704.60 c #Conflicts: 103000 | #Constraints: 15130
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 104000 | #Constraints: 9728
702.65/704.60 c #Conflicts: 105000 | #Constraints: 10728
702.65/704.60 c #Conflicts: 106000 | #Constraints: 11728
702.65/704.60 c #Conflicts: 107000 | #Constraints: 12729
702.65/704.60 c #Conflicts: 108000 | #Constraints: 13729
702.65/704.60 c #Conflicts: 109000 | #Constraints: 14730
702.65/704.60 c #Conflicts: 110000 | #Constraints: 15730
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 111000 | #Constraints: 10131
702.65/704.60 c #Conflicts: 112000 | #Constraints: 11132
702.65/704.60 c #Conflicts: 113000 | #Constraints: 12132
702.65/704.60 c #Conflicts: 114000 | #Constraints: 13133
702.65/704.60 c #Conflicts: 115000 | #Constraints: 14133
702.65/704.60 c #Conflicts: 116000 | #Constraints: 15133
702.65/704.60 c #Conflicts: 117000 | #Constraints: 16134
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 118000 | #Constraints: 10330
702.65/704.60 c #Conflicts: 119000 | #Constraints: 11330
702.65/704.60 c #Conflicts: 120000 | #Constraints: 12330
702.65/704.60 c #Conflicts: 121000 | #Constraints: 13330
702.65/704.60 c #Conflicts: 122000 | #Constraints: 14330
702.65/704.60 c #Conflicts: 123000 | #Constraints: 15330
702.65/704.60 c #Conflicts: 124000 | #Constraints: 16330
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 125000 | #Constraints: 10330
702.65/704.60 c #Conflicts: 126000 | #Constraints: 11330
702.65/704.60 c #Conflicts: 127000 | #Constraints: 12330
702.65/704.60 c #Conflicts: 128000 | #Constraints: 13330
702.65/704.60 c #Conflicts: 129000 | #Constraints: 14330
702.65/704.60 c #Conflicts: 130000 | #Constraints: 15330
702.65/704.60 c #Conflicts: 131000 | #Constraints: 16330
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 132000 | #Constraints: 10126
702.65/704.60 c #Conflicts: 133000 | #Constraints: 11126
702.65/704.60 c #Conflicts: 134000 | #Constraints: 12126
702.65/704.60 c #Conflicts: 135000 | #Constraints: 13126
702.65/704.60 c #Conflicts: 136000 | #Constraints: 14126
702.65/704.60 c #Conflicts: 137000 | #Constraints: 15126
702.65/704.60 c #Conflicts: 138000 | #Constraints: 16126
702.65/704.60 c #Conflicts: 139000 | #Constraints: 17126
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 140000 | #Constraints: 10728
702.65/704.60 c #Conflicts: 141000 | #Constraints: 11728
702.65/704.60 c #Conflicts: 142000 | #Constraints: 12728
702.65/704.60 c #Conflicts: 143000 | #Constraints: 13728
702.65/704.60 c #Conflicts: 144000 | #Constraints: 14728
702.65/704.60 c #Conflicts: 145000 | #Constraints: 15728
702.65/704.60 c #Conflicts: 146000 | #Constraints: 16728
702.65/704.60 c #Conflicts: 147000 | #Constraints: 17728
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 148000 | #Constraints: 11134
702.65/704.60 c #Conflicts: 149000 | #Constraints: 12134
702.65/704.60 c #Conflicts: 150000 | #Constraints: 13134
702.65/704.60 c #Conflicts: 151000 | #Constraints: 14134
702.65/704.60 c #Conflicts: 152000 | #Constraints: 15134
702.65/704.60 c #Conflicts: 153000 | #Constraints: 16134
702.65/704.60 c #Conflicts: 154000 | #Constraints: 17134
702.65/704.60 c #Conflicts: 155000 | #Constraints: 18134
702.65/704.60 c INPROCESSING
702.65/704.60 c GARBAGE COLLECT
702.65/704.60 c #Conflicts: 156000 | #Constraints: 11332
702.65/704.60 c #Conflicts: 157000 | #Constraints: 12333
702.65/704.60 c #Conflicts: 158000 | #Constraints: 13334
702.65/704.60 c #Conflicts: 159000 | #Constraints: 14334
702.65/704.60 c #Conflicts: 160000 | #Constraints: 15334
702.65/704.60 c #Conflicts: 161000 | #Constraints: 16334
702.65/704.60 c #Conflicts: 162000 | #Constraints: 17334
702.65/704.60 c #Conflicts: 163000 | #Constraints: 18334
702.65/704.60 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 164000 | #Constraints: 11334
1114.35/1117.49 c #Conflicts: 165000 | #Constraints: 12334
1114.35/1117.49 c #Conflicts: 166000 | #Constraints: 13334
1114.35/1117.49 c #Conflicts: 167000 | #Constraints: 14335
1114.35/1117.49 c #Conflicts: 168000 | #Constraints: 15335
1114.35/1117.49 c #Conflicts: 169000 | #Constraints: 16335
1114.35/1117.49 c #Conflicts: 170000 | #Constraints: 17335
1114.35/1117.49 c #Conflicts: 171000 | #Constraints: 18335
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 172000 | #Constraints: 11131
1114.35/1117.49 c #Conflicts: 173000 | #Constraints: 12131
1114.35/1117.49 c #Conflicts: 174000 | #Constraints: 13131
1114.35/1117.49 c #Conflicts: 175000 | #Constraints: 14131
1114.35/1117.49 c #Conflicts: 176000 | #Constraints: 15131
1114.35/1117.49 c #Conflicts: 177000 | #Constraints: 16131
1114.35/1117.49 c #Conflicts: 178000 | #Constraints: 17132
1114.35/1117.49 c #Conflicts: 179000 | #Constraints: 18132
1114.35/1117.49 c #Conflicts: 180000 | #Constraints: 19132
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 181000 | #Constraints: 11730
1114.35/1117.49 c #Conflicts: 182000 | #Constraints: 12730
1114.35/1117.49 c #Conflicts: 183000 | #Constraints: 13730
1114.35/1117.49 c #Conflicts: 184000 | #Constraints: 14730
1114.35/1117.49 c #Conflicts: 185000 | #Constraints: 15730
1114.35/1117.49 c #Conflicts: 186000 | #Constraints: 16730
1114.35/1117.49 c #Conflicts: 187000 | #Constraints: 17730
1114.35/1117.49 c #Conflicts: 188000 | #Constraints: 18730
1114.35/1117.49 c #Conflicts: 189000 | #Constraints: 19730
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 190000 | #Constraints: 12133
1114.35/1117.49 c #Conflicts: 191000 | #Constraints: 13133
1114.35/1117.49 c #Conflicts: 192000 | #Constraints: 14133
1114.35/1117.49 c #Conflicts: 193000 | #Constraints: 15133
1114.35/1117.49 c #Conflicts: 194000 | #Constraints: 16133
1114.35/1117.49 c #Conflicts: 195000 | #Constraints: 17133
1114.35/1117.49 c #Conflicts: 196000 | #Constraints: 18133
1114.35/1117.49 c #Conflicts: 197000 | #Constraints: 19133
1114.35/1117.49 c #Conflicts: 198000 | #Constraints: 20133
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 199000 | #Constraints: 12334
1114.35/1117.49 c #Conflicts: 200000 | #Constraints: 13334
1114.35/1117.49 c #Conflicts: 201000 | #Constraints: 14334
1114.35/1117.49 c #Conflicts: 202000 | #Constraints: 15334
1114.35/1117.49 c #Conflicts: 203000 | #Constraints: 16334
1114.35/1117.49 c #Conflicts: 204000 | #Constraints: 17334
1114.35/1117.49 c #Conflicts: 205000 | #Constraints: 18334
1114.35/1117.49 c #Conflicts: 206000 | #Constraints: 19334
1114.35/1117.49 c #Conflicts: 207000 | #Constraints: 20334
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 c #Conflicts: 208000 | #Constraints: 12335
1114.35/1117.49 c #Conflicts: 209000 | #Constraints: 13335
1114.35/1117.49 c #Conflicts: 210000 | #Constraints: 14335
1114.35/1117.49 c #Conflicts: 211000 | #Constraints: 15335
1114.35/1117.49 c #Conflicts: 212000 | #Constraints: 16335
1114.35/1117.49 c #Conflicts: 213000 | #Constraints: 17336
1114.35/1117.49 c #Conflicts: 214000 | #Constraints: 18336
1114.35/1117.49 c #Conflicts: 215000 | #Constraints: 19336
1114.35/1117.49 c #Conflicts: 216000 | #Constraints: 20336
1114.35/1117.49 c INPROCESSING
1114.35/1117.49 c GARBAGE COLLECT
1114.35/1117.49 WSVECS04 Frhs2[4]: 6 -159800 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[28]: 6 -123242 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[121]: 6 -0.908018 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[128]: 6 0 10.7818 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[134]: 6 -0.999733 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[135]: 6 -0.99935 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[138]: 6 -1.86926 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[139]: 6 -0.98852 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[143]: 6 -0.815942 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[149]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[150]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[156]: 6 -0.999332 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[159]: 6 -2.86931 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[164]: 6 -0.815942 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[165]: 6 -0.631875 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[166]: 6 -0.263729 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[170]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[171]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[172]: 6 0 46.2475 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[177]: 6 -0.999378 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[185]: 6 -0.815923 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[186]: 6 -0.631858 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[189]: 6 0 1.94544 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[191]: 6 0 10.7818 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[192]: 6 0 22.5634 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[193]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[199]: 6 -0.998603 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[200]: 6 -0.997196 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[201]: 6 -4.86931 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[202]: 6 -2.48858 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[206]: 6 -0.815992 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[207]: 6 -0.631902 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[211]: 6 0 4.89087 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[212]: 6 0 10.7818 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[213]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[214]: 6 0 46.2475 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[220]: 6 0 29126.6 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[221]: 6 -0.997174 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[222]: 6 -5.86933 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[223]: 6 -7.73854 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[227]: 6 -0.815925 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[232]: 6 0 4.89088 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[233]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[234]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[235]: 6 0 46.2475 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[242]: 6 0 32139.4 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[243]: 6 -0.994321 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[244]: 6 -1.48859 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[250]: 6 -0.26372 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[253]: 6 0 4.89093 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[254]: 6 0 10.7818 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[255]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[256]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[264]: 6 0 38165.1 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[265]: 6 -0.988543 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[270]: 6 -0.631915 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[271]: 6 -0.263741 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[274]: 6 0 4.89091 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[275]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[276]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[277]: 6 0 46.2475 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[286]: 6 0 50216.3 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[290]: 6 -1.81599 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[291]: 6 -0.631908 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[295]: 6 0 4.89088 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[296]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[297]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[298]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[308]: 6 0 74318.8 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[317]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[318]: 6 0 22.5635 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[319]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[332]: 6 -1.566 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[334]: 6 -0.263716 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[338]: 6 0 10.7818 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[339]: 6 0 22.5634 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[340]: 6 0 46.2475 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[352]: 6 0 218939 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[353]: 6 -0.815928 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[354]: 6 -1.13187 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[360]: 6 0 22.5634 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[361]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[373]: 6 0 95065.1 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[374]: 6 0 411764 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[379]: 6 0 4.89094 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[380]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[381]: 6 0 22.5634 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[382]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[394]: 6 0 70983 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[395]: 6 0 289707 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[396]: 6 0 797414 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[397]: 6 -0.263662 0 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[419]: 6 0 0.472779 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[421]: 6 0 4.89094 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[422]: 6 0 10.7817 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[423]: 6 0 22.5634 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[424]: 6 0 46.2476 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[439]: 6 0 1.44297e+06 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[461]: 6 0 3.01171e+06 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[481]: 6 0 1.54191e+06 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[482]: 6 0 2.97765e+06 shouldn't be
1114.35/1117.49 WSVECS04 Frhs2[969]: 6 0 103238 shouldn't be
1147.97/1151.10 c #Conflicts: 217000 | #Constraints: 12143
1147.97/1151.10 c #Conflicts: 218000 | #Constraints: 13143
1147.97/1151.10 c #Conflicts: 219000 | #Constraints: 14143
1147.97/1151.10 c #Conflicts: 220000 | #Constraints: 15143
1147.97/1151.10 c #Conflicts: 221000 | #Constraints: 16143
1147.97/1151.10 WSVECS04 Frhs2[1094]: 6 0 0.500001 shouldn't be
1147.97/1151.10 WSVECS04 Frhs2[1203]: 6 0 6.75322 shouldn't be
1147.97/1151.10 WSVECS04 Frhs2[1208]: 6 0 1.47557 shouldn't be
1147.97/1151.10 WSVECS04 Frhs2[1377]: 6 0 11.4337 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[12]: 6 0 4.66911 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[24]: 6 0 8.29288 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[58]: 6 0 7.72475 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[529]: 6 0 3.62131 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[533]: 6 0 13.1623 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[535]: 6 0 25.7196 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[539]: 6 0 1.17683 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[540]: 6 0 1.22701 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[559]: 6 0 13.0169 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[560]: 6 0 60.3919 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[561]: 6 0 13.0279 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[562]: 6 0 2.16827 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[575]: 6 0 2.47889 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[595]: 6 0 24.2004 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[598]: 6 0 62.8117 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[618]: 6 0 18.5179 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[645]: 6 0 7.80114e-05 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[661]: 6 0 5.19375e-06 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[744]: 6 0 3.95174e-05 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[784]: 6 0 135.86 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[917]: 6 0 2.03901 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1015]: 6 0 5.10564 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1039]: 6 0 21.4348 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1067]: 6 0 7.76003 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1093]: 6 0 4.07999 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1095]: 6 0 0.101578 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1101]: 6 0 29.8346 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1140]: 6 0 9.7514 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1162]: 6 0 21.2528 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1174]: 6 0 0.50001 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1184]: 6 0 6.25417 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1237]: 6 0 33.9026 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1294]: 6 0 8.00595 shouldn't be
1148.16/1151.30 WSVECS04 Frhs2[1401]: 6 0 0.906603 shouldn't be
1894.69/1899.82 c #Conflicts: 222000 | #Constraints: 17143
1894.69/1899.82 c #Conflicts: 223000 | #Constraints: 18143
1894.69/1899.82 c #Conflicts: 224000 | #Constraints: 19143
1894.69/1899.82 c #Conflicts: 225000 | #Constraints: 20143
1894.69/1899.82 c #Conflicts: 226000 | #Constraints: 21143
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 227000 | #Constraints: 12734
1894.69/1899.82 c #Conflicts: 228000 | #Constraints: 13734
1894.69/1899.82 c #Conflicts: 229000 | #Constraints: 14734
1894.69/1899.82 c #Conflicts: 230000 | #Constraints: 15734
1894.69/1899.82 c #Conflicts: 231000 | #Constraints: 16734
1894.69/1899.82 c #Conflicts: 232000 | #Constraints: 17734
1894.69/1899.82 c #Conflicts: 233000 | #Constraints: 18734
1894.69/1899.82 c #Conflicts: 234000 | #Constraints: 19734
1894.69/1899.82 c #Conflicts: 235000 | #Constraints: 20734
1894.69/1899.82 c #Conflicts: 236000 | #Constraints: 21734
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 237000 | #Constraints: 13130
1894.69/1899.82 c #Conflicts: 238000 | #Constraints: 14130
1894.69/1899.82 c #Conflicts: 239000 | #Constraints: 15130
1894.69/1899.82 c #Conflicts: 240000 | #Constraints: 16130
1894.69/1899.82 c #Conflicts: 241000 | #Constraints: 17130
1894.69/1899.82 c #Conflicts: 242000 | #Constraints: 18130
1894.69/1899.82 c #Conflicts: 243000 | #Constraints: 19130
1894.69/1899.82 c #Conflicts: 244000 | #Constraints: 20130
1894.69/1899.82 c #Conflicts: 245000 | #Constraints: 21130
1894.69/1899.82 c #Conflicts: 246000 | #Constraints: 22130
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 247000 | #Constraints: 13329
1894.69/1899.82 c #Conflicts: 248000 | #Constraints: 14329
1894.69/1899.82 c #Conflicts: 249000 | #Constraints: 15329
1894.69/1899.82 c #Conflicts: 250000 | #Constraints: 16329
1894.69/1899.82 c #Conflicts: 251000 | #Constraints: 17329
1894.69/1899.82 c #Conflicts: 252000 | #Constraints: 18329
1894.69/1899.82 c #Conflicts: 253000 | #Constraints: 19329
1894.69/1899.82 c #Conflicts: 254000 | #Constraints: 20329
1894.69/1899.82 c #Conflicts: 255000 | #Constraints: 21329
1894.69/1899.82 c #Conflicts: 256000 | #Constraints: 22329
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 257000 | #Constraints: 13332
1894.69/1899.82 c #Conflicts: 258000 | #Constraints: 14332
1894.69/1899.82 c #Conflicts: 259000 | #Constraints: 15332
1894.69/1899.82 c #Conflicts: 260000 | #Constraints: 16332
1894.69/1899.82 c #Conflicts: 261000 | #Constraints: 17333
1894.69/1899.82 c #Conflicts: 262000 | #Constraints: 18333
1894.69/1899.82 c #Conflicts: 263000 | #Constraints: 19333
1894.69/1899.82 c #Conflicts: 264000 | #Constraints: 20336
1894.69/1899.82 c #Conflicts: 265000 | #Constraints: 21336
1894.69/1899.82 c #Conflicts: 266000 | #Constraints: 22336
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 267000 | #Constraints: 13132
1894.69/1899.82 c #Conflicts: 268000 | #Constraints: 14132
1894.69/1899.82 c #Conflicts: 269000 | #Constraints: 15132
1894.69/1899.82 c #Conflicts: 270000 | #Constraints: 16132
1894.69/1899.82 c #Conflicts: 271000 | #Constraints: 17132
1894.69/1899.82 c #Conflicts: 272000 | #Constraints: 18132
1894.69/1899.82 c #Conflicts: 273000 | #Constraints: 19132
1894.69/1899.82 c #Conflicts: 274000 | #Constraints: 20132
1894.69/1899.82 c #Conflicts: 275000 | #Constraints: 21132
1894.69/1899.82 c #Conflicts: 276000 | #Constraints: 22132
1894.69/1899.82 c #Conflicts: 277000 | #Constraints: 23132
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 278000 | #Constraints: 13729
1894.69/1899.82 c #Conflicts: 279000 | #Constraints: 14729
1894.69/1899.82 c #Conflicts: 280000 | #Constraints: 15729
1894.69/1899.82 c #Conflicts: 281000 | #Constraints: 16729
1894.69/1899.82 c #Conflicts: 282000 | #Constraints: 17729
1894.69/1899.82 c #Conflicts: 283000 | #Constraints: 18729
1894.69/1899.82 c #Conflicts: 284000 | #Constraints: 19729
1894.69/1899.82 c #Conflicts: 285000 | #Constraints: 20729
1894.69/1899.82 c #Conflicts: 286000 | #Constraints: 21729
1894.69/1899.82 c #Conflicts: 287000 | #Constraints: 22729
1894.69/1899.82 c #Conflicts: 288000 | #Constraints: 23729
1894.69/1899.82 c INPROCESSING
1894.69/1899.82 c GARBAGE COLLECT
1894.69/1899.82 c #Conflicts: 289000 | #Constraints: 14128
1894.69/1899.82 c #Conflicts: 290000 | #Constraints: 15128
1894.69/1899.82 c #Conflicts: 291000 | #Constraints: 16128
1894.69/1899.82 c #Conflicts: 292000 | #Constraints: 17128
1894.69/1899.82 c #Conflicts: 293000 | #Constraints: 18128
1894.69/1899.82 c #Conflicts: 294000 | #Constraints: 19129
1894.69/1899.82 c #Conflicts: 295000 | #Constraints: 20129
1894.69/1899.82 c #Conflicts: 296000 | #Constraints: 21129
1938.27/1943.50 c #Conflicts: 297000 | #Constraints: 22129
1938.27/1943.50 c #Conflicts: 298000 | #Constraints: 23129
1938.27/1943.50 c #Conflicts: 299000 | #Constraints: 24129
1938.27/1943.50 c INPROCESSING
1938.27/1943.50 c GARBAGE COLLECT
1938.27/1943.50 WSVECS04 Frhs2[21]: 6 -11.3154 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[46]: 6 -2.93308 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[47]: 6 0 0.287731 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[50]: 6 0 0.949788 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[65]: 6 -3.86778 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[112]: 6 0 8.10656 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[118]: 6 -1.38981 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[121]: 6 -2.13259 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[122]: 6 -2.34875 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[126]: 6 -2.29594 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[128]: 6 -2.99611 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[161]: 6 -2.00198 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[162]: 6 -1.50394 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[164]: 6 -3.70993 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[165]: 6 -3.41986 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[166]: 6 -3.83969 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[167]: 6 -3.67925 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[168]: 6 -3.35846 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[169]: 6 -2.71685 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[171]: 6 -4.11726 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[172]: 6 -5.9845 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[204]: 6 -1.00392 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[205]: 6 -2.00788 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[206]: 6 -1.51564 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[210]: 6 -1.75007 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[211]: 6 -0.500066 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[212]: 6 -3.68364 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[214]: 6 -6.73448 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[215]: 6 -10.4688 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[216]: 6 -17.9374 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[231]: 6 0 0.750088 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[336]: 6 -2.99981 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[337]: 6 -2.99961 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[338]: 6 -2.99911 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[340]: 6 -6.25007 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[341]: 6 -8.49994 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[342]: 6 -18.2499 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[343]: 6 -33.4997 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[344]: 6 -65.4995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[345]: 6 -129.499 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[346]: 6 -257.775 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[347]: 6 -514.039 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[348]: 6 -1026.01 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[349]: 6 -2049.9 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[358]: 6 -3.99956 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[359]: 6 -3.99906 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[360]: 6 -3.99811 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[362]: 6 -9.50001 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[363]: 6 -16.9999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[364]: 6 -34.4998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[365]: 6 -64.9995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[366]: 6 -128.999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[367]: 6 -256.998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[368]: 6 -513.55 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[369]: 6 -1026.08 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[370]: 6 -2050.03 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[371]: 6 -4097.81 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[380]: 6 -3.24903 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[381]: 6 -3.9981 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[382]: 6 -5.99622 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[384]: 6 -16.9999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[385]: 6 -32.9997 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[386]: 6 -64.9994 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[387]: 6 -128.999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[388]: 6 -256.998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[389]: 6 -512.995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[390]: 6 -1025.1 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[391]: 6 -2050.15 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[392]: 6 -4098.06 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[393]: 6 -8193.62 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[394]: 6 -16384.3 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[403]: 6 -5.99618 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[404]: 6 -9.99222 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[406]: 6 -33.9685 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[407]: 6 -64.9995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[408]: 6 -128.999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[409]: 6 -256.998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[410]: 6 -512.995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[411]: 6 -1026.1 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[412]: 6 -2049.95 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[413]: 6 -4098.31 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[414]: 6 -8194.12 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[415]: 6 -16385.2 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[424]: 6 -6.99614 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[425]: 6 -10.9922 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[426]: 6 -17.9843 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[428]: 6 -65.9369 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[429]: 6 -128.999 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[430]: 6 -256.998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[431]: 6 -512.995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[432]: 6 -1024.99 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[433]: 6 -2050.2 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[434]: 6 -4097.9 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[435]: 6 -8194.62 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[436]: 6 -16386.2 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[437]: 6 -32768.7 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[446]: 6 -11.9922 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[447]: 6 -20.9843 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[448]: 6 -33.9685 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[450]: 6 -129.874 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[451]: 6 -256.998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[452]: 6 -512.995 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[453]: 6 -1024.99 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[454]: 6 -2048.98 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[455]: 6 -4098.4 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[456]: 6 -8193.8 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[457]: 6 -16387.2 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[458]: 6 -32768.7 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[459]: 6 -65533.8 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[461]: 6 -262142 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[490]: 6 -32.9998 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[491]: 6 -66.9369 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[492]: 6 -130.874 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[494]: 6 -513.495 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[495]: 6 -1024.99 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[496]: 6 -2048.98 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[497]: 6 -4096.96 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[498]: 6 -8192.92 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[499]: 6 -16387.6 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[500]: 6 -32769.2 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[501]: 6 -65536.4 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[502]: 6 -131072 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[503]: 6 -262131 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[504]: 6 -524285 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[505]: 6 -1.04849e+06 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[529]: 6 0 1.12375 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[533]: 6 -4.89962 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[538]: 6 -2.25251 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[539]: 6 0 1.21525 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[543]: 6 -2.19089 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[544]: 6 -0.181331 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[545]: 6 -3.02726 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[554]: 6 -2.6776 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[556]: 6 -2.65724 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[581]: 6 -5.66711 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[663]: 6 -1.00007 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[666]: 6 0 6.21685 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[676]: 6 -4.22297 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[684]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[697]: 6 0 1.00005 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[704]: 6 0 1.00003 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[788]: 6 0 2.00002 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[820]: 6 -5.22147 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[827]: 6 0 2.75007 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[832]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[834]: 6 -1.00002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[835]: 6 -1.00003 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[836]: 6 -1.00001 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[853]: 6 -1.00009 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[856]: 6 -1.00005 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[858]: 6 -1.75007 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[867]: 6 0 1.00006 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[870]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[874]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[877]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[883]: 6 -11.7271 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[884]: 6 -1.96143 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[887]: 6 0 3.00003 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[891]: 6 -1.00005 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[895]: 6 -1.00005 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[897]: 6 -1.00004 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[898]: 6 -1.00006 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[903]: 6 0 1.7717 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[905]: 6 -12.2955 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[916]: 6 -1.50002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[917]: 6 -1.50009 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[918]: 6 -1.50009 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[919]: 6 -1.50003 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[926]: 6 -3.30468 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[943]: 6 -1.00009 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[946]: 6 0 2.0146 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[947]: 6 0 10.7752 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[966]: 6 -5.42841 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[967]: 6 -46.1417 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[987]: 6 0 6.14019 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[989]: 6 0 0.427331 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1005]: 6 -0.28923 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1012]: 6 -1.00004 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1022]: 6 -0.700219 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1024]: 6 0 3.54561 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1077]: 6 -0.60766 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1129]: 6 -0.500097 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1143]: 6 -0.569851 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1167]: 6 0 0.222753 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1174]: 6 -1.00001 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1226]: 6 -2.37501 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1231]: 6 -0.607703 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1247]: 6 -1.0001 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1268]: 6 -1.00002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1284]: 6 -2.81353 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1288]: 6 0 0.25001 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1306]: 6 -2.62703 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1327]: 6 -1.00003 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1332]: 6 -1.00002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1342]: 6 -1.00004 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1354]: 6 -1.00007 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1364]: 6 -1.00003 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1372]: 6 -0.0156417 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1386]: 6 -1.00004 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1404]: 6 -1.00002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1419]: 6 -0.500059 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1426]: 6 0 1.54923 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1436]: 6 -2.4688 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1440]: 6 -1.00009 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1441]: 6 -1.50002 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1443]: 6 -1.50008 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1446]: 6 -0.500093 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1447]: 6 -1.00005 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1494]: 6 -3.78715e-05 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1495]: 6 -9.44268e-05 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1497]: 6 -4.34826e-05 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1498]: 6 -0.000125649 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1499]: 6 -0.000110702 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1500]: 6 -0.000175507 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1501]: 6 -0.000346638 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1502]: 6 -0.000523766 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1505]: 6 -0.00415437 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1507]: 6 -0.0164408 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1508]: 6 -0.0329126 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1509]: 6 -0.0657292 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1510]: 6 -0.131417 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1511]: 6 -0.262854 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1512]: 6 -0.525561 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1513]: 6 -0.0777619 0 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1515]: 6 0 2.71625 shouldn't be
1938.27/1943.50 WSVECS04 Frhs2[1518]: 6 0 28.655 shouldn't be
2874.22/2882.05 c #Conflicts: 300000 | #Constraints: 14330
2874.22/2882.05 c #Conflicts: 301000 | #Constraints: 15330
2874.22/2882.05 c #Conflicts: 302000 | #Constraints: 16330
2874.22/2882.05 c #Conflicts: 303000 | #Constraints: 17330
2874.22/2882.05 c #Conflicts: 304000 | #Constraints: 18330
2874.22/2882.05 c #Conflicts: 305000 | #Constraints: 19330
2874.22/2882.05 c #Conflicts: 306000 | #Constraints: 20330
2874.22/2882.05 c #Conflicts: 307000 | #Constraints: 21330
2874.22/2882.05 c #Conflicts: 308000 | #Constraints: 22330
2874.22/2882.05 c #Conflicts: 309000 | #Constraints: 23330
2874.22/2882.05 c #Conflicts: 310000 | #Constraints: 24330
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 311000 | #Constraints: 14331
2874.22/2882.05 c #Conflicts: 312000 | #Constraints: 15331
2874.22/2882.05 c #Conflicts: 313000 | #Constraints: 16331
2874.22/2882.05 c #Conflicts: 314000 | #Constraints: 17331
2874.22/2882.05 c #Conflicts: 315000 | #Constraints: 18331
2874.22/2882.05 c #Conflicts: 316000 | #Constraints: 19331
2874.22/2882.05 c #Conflicts: 317000 | #Constraints: 20331
2874.22/2882.05 c #Conflicts: 318000 | #Constraints: 21331
2874.22/2882.05 c #Conflicts: 319000 | #Constraints: 22331
2874.22/2882.05 c #Conflicts: 320000 | #Constraints: 23331
2874.22/2882.05 c #Conflicts: 321000 | #Constraints: 24331
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 322000 | #Constraints: 14128
2874.22/2882.05 c #Conflicts: 323000 | #Constraints: 15128
2874.22/2882.05 c #Conflicts: 324000 | #Constraints: 16128
2874.22/2882.05 c #Conflicts: 325000 | #Constraints: 17128
2874.22/2882.05 c #Conflicts: 326000 | #Constraints: 18128
2874.22/2882.05 c #Conflicts: 327000 | #Constraints: 19128
2874.22/2882.05 c #Conflicts: 328000 | #Constraints: 20128
2874.22/2882.05 c #Conflicts: 329000 | #Constraints: 21128
2874.22/2882.05 c #Conflicts: 330000 | #Constraints: 22128
2874.22/2882.05 c #Conflicts: 331000 | #Constraints: 23128
2874.22/2882.05 c #Conflicts: 332000 | #Constraints: 24128
2874.22/2882.05 c #Conflicts: 333000 | #Constraints: 25128
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 334000 | #Constraints: 14737
2874.22/2882.05 c #Conflicts: 335000 | #Constraints: 15737
2874.22/2882.05 c #Conflicts: 336000 | #Constraints: 16737
2874.22/2882.05 c #Conflicts: 337000 | #Constraints: 17737
2874.22/2882.05 c #Conflicts: 338000 | #Constraints: 18737
2874.22/2882.05 c #Conflicts: 339000 | #Constraints: 19737
2874.22/2882.05 c #Conflicts: 340000 | #Constraints: 20737
2874.22/2882.05 c #Conflicts: 341000 | #Constraints: 21737
2874.22/2882.05 c #Conflicts: 342000 | #Constraints: 22737
2874.22/2882.05 c #Conflicts: 343000 | #Constraints: 23737
2874.22/2882.05 c #Conflicts: 344000 | #Constraints: 24737
2874.22/2882.05 c #Conflicts: 345000 | #Constraints: 25737
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 346000 | #Constraints: 15138
2874.22/2882.05 c #Conflicts: 347000 | #Constraints: 16138
2874.22/2882.05 c #Conflicts: 348000 | #Constraints: 17138
2874.22/2882.05 c #Conflicts: 349000 | #Constraints: 18138
2874.22/2882.05 c #Conflicts: 350000 | #Constraints: 19138
2874.22/2882.05 c #Conflicts: 351000 | #Constraints: 20138
2874.22/2882.05 c #Conflicts: 352000 | #Constraints: 21138
2874.22/2882.05 c #Conflicts: 353000 | #Constraints: 22138
2874.22/2882.05 c #Conflicts: 354000 | #Constraints: 23138
2874.22/2882.05 c #Conflicts: 355000 | #Constraints: 24138
2874.22/2882.05 c #Conflicts: 356000 | #Constraints: 25138
2874.22/2882.05 c #Conflicts: 357000 | #Constraints: 26138
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 358000 | #Constraints: 15333
2874.22/2882.05 c #Conflicts: 359000 | #Constraints: 16333
2874.22/2882.05 c #Conflicts: 360000 | #Constraints: 17333
2874.22/2882.05 c #Conflicts: 361000 | #Constraints: 18333
2874.22/2882.05 c #Conflicts: 362000 | #Constraints: 19333
2874.22/2882.05 c #Conflicts: 363000 | #Constraints: 20333
2874.22/2882.05 c #Conflicts: 364000 | #Constraints: 21333
2874.22/2882.05 c #Conflicts: 365000 | #Constraints: 22333
2874.22/2882.05 c #Conflicts: 366000 | #Constraints: 23333
2874.22/2882.05 c #Conflicts: 367000 | #Constraints: 24333
2874.22/2882.05 c #Conflicts: 368000 | #Constraints: 25333
2874.22/2882.05 c #Conflicts: 369000 | #Constraints: 26333
2874.22/2882.05 c INPROCESSING
2874.22/2882.05 c GARBAGE COLLECT
2874.22/2882.05 c #Conflicts: 370000 | #Constraints: 15335
2874.22/2882.05 c #Conflicts: 371000 | #Constraints: 16335
2874.22/2882.05 c #Conflicts: 372000 | #Constraints: 17335
2874.22/2882.05 c #Conflicts: 373000 | #Constraints: 18335
2874.22/2882.05 c #Conflicts: 374000 | #Constraints: 19335
2993.31/3001.47 c #Conflicts: 375000 | #Constraints: 20336
2993.31/3001.47 c #Conflicts: 376000 | #Constraints: 21336
2993.31/3001.47 c #Conflicts: 377000 | #Constraints: 22336
2993.31/3001.47 c #Conflicts: 378000 | #Constraints: 23336
2993.31/3001.47 c #Conflicts: 379000 | #Constraints: 24336
2993.31/3001.47 c #Conflicts: 380000 | #Constraints: 25336
2993.31/3001.47 c #Conflicts: 381000 | #Constraints: 26336
2993.31/3001.47 c INPROCESSING
2993.31/3001.47 c GARBAGE COLLECT
2993.31/3001.47 c rational objective 4.82725
3114.29/3122.79 c #Conflicts: 382000 | #Constraints: 15133
3114.29/3122.79 c #Conflicts: 383000 | #Constraints: 16133
3114.29/3122.79 c #Conflicts: 384000 | #Constraints: 17133
3114.29/3122.79 c #Conflicts: 385000 | #Constraints: 18133
3114.29/3122.79 c #Conflicts: 386000 | #Constraints: 19133
3114.29/3122.79 c #Conflicts: 387000 | #Constraints: 20133
3114.29/3122.79 c #Conflicts: 388000 | #Constraints: 21133
3114.29/3122.79 c #Conflicts: 389000 | #Constraints: 22133
3114.29/3122.79 c #Conflicts: 390000 | #Constraints: 23133
3114.29/3122.79 c #Conflicts: 391000 | #Constraints: 24133
3114.29/3122.79 c #Conflicts: 392000 | #Constraints: 25133
3114.29/3122.79 c #Conflicts: 393000 | #Constraints: 26133
3114.29/3122.79 c #Conflicts: 394000 | #Constraints: 27133
3114.29/3122.79 c INPROCESSING
3114.29/3122.79 c GARBAGE COLLECT
3114.29/3122.79 c rational objective 4.83127
3243.45/3252.29 c #Conflicts: 395000 | #Constraints: 15734
3243.45/3252.29 c #Conflicts: 396000 | #Constraints: 16735
3243.45/3252.29 c #Conflicts: 397000 | #Constraints: 17735
3243.45/3252.29 c #Conflicts: 398000 | #Constraints: 18738
3243.45/3252.29 c #Conflicts: 399000 | #Constraints: 19738
3243.45/3252.29 c #Conflicts: 400000 | #Constraints: 20738
3243.45/3252.29 c #Conflicts: 401000 | #Constraints: 21738
3243.45/3252.29 c #Conflicts: 402000 | #Constraints: 22738
3243.45/3252.29 c #Conflicts: 403000 | #Constraints: 23738
3243.45/3252.29 c #Conflicts: 404000 | #Constraints: 24738
3243.45/3252.29 c #Conflicts: 405000 | #Constraints: 25739
3243.45/3252.29 c #Conflicts: 406000 | #Constraints: 26739
3243.45/3252.29 c #Conflicts: 407000 | #Constraints: 27739
3243.45/3252.29 c INPROCESSING
3243.45/3252.29 c GARBAGE COLLECT
3243.45/3252.29 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[16]: 6 -1353.53 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[20]: 6 0 4320.43 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[40]: 6 -976.595 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[63]: 6 0 3.00008 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[64]: 6 0 7.00003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[66]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[82]: 6 -1512.99 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[88]: 6 0 63 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[110]: 6 0 127 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[123]: 6 -0.500095 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[127]: 6 0 7.00009 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[129]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[132]: 6 0 255 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[148]: 6 0 7.00002 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[149]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[150]: 6 0 30.5001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[151]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[168]: 6 0 2.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[169]: 6 0 7.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[170]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[171]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[172]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[189]: 6 0 3.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[190]: 6 0 7.00006 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[191]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[192]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[193]: 6 0 62.9992 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[202]: 6 -0.984431 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[205]: 6 -0.875021 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[206]: 6 -0.750074 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[209]: 6 0 1.00009 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[224]: 6 -0.968793 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[227]: 6 -0.750076 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[228]: 6 -0.500059 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[231]: 6 0 3.00007 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[251]: 6 0 1.00006 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[253]: 6 0 7.00005 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[254]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[255]: 6 0 31 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[256]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[272]: 6 0 1.00001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[273]: 6 0 3.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[274]: 6 0 7.00005 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[275]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[276]: 6 0 31 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[284]: 6 0 6640.79 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[285]: 6 0 14417.9 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[293]: 6 0 1.00006 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[294]: 6 0 3.00007 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[295]: 6 0 7.00003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[296]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[297]: 6 0 31 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[298]: 6 0 62.9992 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[307]: 6 0 31860.7 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[314]: 6 0 1.00002 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[315]: 6 0 3.00002 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[316]: 6 0 7.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[317]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[318]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[319]: 6 0 62.9992 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[330]: 6 0 131074 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[335]: 6 0 1.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[336]: 6 0 3.00003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[339]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[350]: 6 0 63887.7 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[357]: 6 0 3.00009 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[358]: 6 0 7.00006 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[361]: 6 0 62.9992 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[377]: 6 0 1.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[379]: 6 0 7.00003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[380]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[398]: 6 0 1.00005 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[399]: 6 0 3.00009 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[400]: 6 0 7.00002 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[401]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[402]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[403]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[416]: 6 0 522060 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[419]: 6 0 1.00008 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[420]: 6 0 3.00008 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[421]: 6 0 7.00002 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[422]: 6 0 15.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[423]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[424]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[439]: 6 0 2.09367e+06 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[441]: 6 0 3.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[442]: 6 0 7.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[443]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[444]: 6 0 31 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[445]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[463]: 6 0 7.00003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[464]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[465]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[466]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[481]: 6 0 2.09714e+06 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[483]: 6 0 8.38379e+06 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[485]: 6 0 15 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[486]: 6 0 31 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[487]: 6 0 62.9992 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[503]: 6 0 4.19227e+06 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[506]: 6 0 3.35545e+07 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[507]: 6 0 31.0001 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[508]: 6 0 62.9993 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[510]: 6 0 254.999 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[544]: 6 0 0.0811998 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[568]: 6 0 2151.16 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[624]: 6 -3.00007 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[642]: 6 0 4.50003 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[643]: 6 0 4.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[646]: 6 0 1.00007 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[860]: 6 -1.00004 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[947]: 6 0 1310.03 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1112]: 6 0 1.00004 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1131]: 6 -3.75005 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1132]: 6 -3.50004 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1135]: 6 -2.00001 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1148]: 6 -2.00004 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1151]: 6 -4.87506 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1170]: 6 -2.00005 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1232]: 6 -1.00006 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1253]: 6 -1099.95 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1276]: 6 -1.00006 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1297]: 6 -1.00004 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1316]: 6 -1.00003 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1358]: 6 -1.00004 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1360]: 6 -1.00008 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1385]: 6 0 139.729 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1487]: 6 -1.00006 0 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1513]: 6 0 122.984 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1516]: 6 0 1805.07 shouldn't be
3243.45/3252.29 WSVECS04 Frhs2[1517]: 6 0 2191.17 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1]: 6 -1208.38 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[2]: 6 -1966.58 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[3]: 6 -1352.38 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[8]: 6 -1966.54 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[9]: 6 -1966.5 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[14]: 6 -1352.67 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[15]: 6 -1352.96 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[30]: 6 -1440.96 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[32]: 6 -765.589 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[34]: 6 -1688.06 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[35]: 6 -942.493 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[44]: 6 0 1721.66 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[51]: 6 -1690.76 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[57]: 6 -1065.6 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[60]: 6 -766.368 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[62]: 6 -803.89 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[76]: 6 -976.58 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[79]: 6 -1966.46 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[80]: 6 -976.345 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[101]: 6 -1154.37 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[102]: 6 -1643.43 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[114]: 6 -1726.2 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[117]: 6 -3079.37 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[118]: 6 -461.926 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[120]: 6 -2.375 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[122]: 6 -2 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[123]: 6 -0.500001 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[178]: 6 0 0.00195331 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[189]: 6 0 3 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[202]: 6 -0.984376 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[205]: 6 -0.875 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[206]: 6 -0.750001 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[224]: 6 -0.96875 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[227]: 6 -0.750001 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[228]: 6 -0.5 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[505]: 6 0 1.67877e+07 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[565]: 6 0 1046.79 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[607]: 6 0 303.474 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[624]: 6 -3 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[642]: 6 0 4.5 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[645]: 6 0 3 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[652]: 6 0 1049.94 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[715]: 6 0 1202.17 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[778]: 6 0 151.237 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[779]: 6 0 134.348 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[818]: 6 -1 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[839]: 6 -1 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[858]: 6 -1 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[860]: 6 -1 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[883]: 6 0 2101.01 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[905]: 6 0 2042.23 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[969]: 6 0 949.746 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[989]: 6 0 151.237 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1112]: 6 0 1 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1131]: 6 -3.75 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1132]: 6 -3.5 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1133]: 6 -3 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1135]: 6 -2 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1148]: 6 -2 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1150]: 6 0 147.8 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1151]: 6 -4.875 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1155]: 6 -4 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1170]: 6 -2 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1215]: 6 -0.907973 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1339]: 6 -1643.93 0 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1515]: 6 0 902.536 shouldn't be
3243.65/3252.43 WSVECS04 Frhs2[1518]: 6 0 6190.42 shouldn't be
3600.00/3609.70 c #Conflicts: 408000 | #Constraints: 16136
3600.00/3609.70 c #Conflicts: 409000 | #Constraints: 17136
3600.00/3609.70 c #Conflicts: 410000 | #Constraints: 18136
3600.00/3609.70 c #Conflicts: 411000 | #Constraints: 19136
3600.00/3609.70 c #Conflicts: 412000 | #Constraints: 20136
3600.00/3609.70 c #Conflicts: 413000 | #Constraints: 21136
3600.00/3609.70 c #Conflicts: 414000 | #Constraints: 22136
3600.00/3609.70 c #Conflicts: 415000 | #Constraints: 23136
3600.00/3609.70 c #Conflicts: 416000 | #Constraints: 24136
3600.00/3609.70 c #Conflicts: 417000 | #Constraints: 25136
3600.00/3609.70 c #Conflicts: 418000 | #Constraints: 26136
3600.00/3609.70 c #Conflicts: 419000 | #Constraints: 27136
3600.00/3609.70 c #Conflicts: 420000 | #Constraints: 28136
3600.00/3609.70 c INPROCESSING
3600.00/3609.70 c GARBAGE COLLECT
3600.00/3609.70 c #Conflicts: 421000 | #Constraints: 16337
3600.00/3609.70 c #Conflicts: 422000 | #Constraints: 17337
3600.00/3609.70 c #Conflicts: 423000 | #Constraints: 18337
3600.00/3609.70 c #Conflicts: 424000 | #Constraints: 19337
3600.00/3609.70 c #Conflicts: 425000 | #Constraints: 20337
3600.00/3609.70 c #Conflicts: 426000 | #Constraints: 21337
3600.00/3609.70 c #Conflicts: 427000 | #Constraints: 22337
3600.00/3609.70 c #Conflicts: 428000 | #Constraints: 23337
3600.00/3609.70 c #Conflicts: 429000 | #Constraints: 24337
3600.00/3609.70 c #Conflicts: 430000 | #Constraints: 25337
3600.00/3609.70 c #Conflicts: 431000 | #Constraints: 26337
3600.00/3609.70 c #Conflicts: 432000 | #Constraints: 27337
3600.00/3609.70 c #Conflicts: 433000 | #Constraints: 28337
3600.00/3609.70 c INPROCESSING
3600.00/3609.70 c GARBAGE COLLECT
3600.00/3609.70 c #Conflicts: 434000 | #Constraints: 16331
3600.00/3609.70 c #Conflicts: 435000 | #Constraints: 17331
3600.00/3609.70 c #Conflicts: 436000 | #Constraints: 18331
3600.00/3609.70 c #Conflicts: 437000 | #Constraints: 19331
3600.00/3609.70 c cpu time 3596.55 s
3600.00/3609.70 c deterministic time 697517534715 6.98e+11
3600.00/3609.70 c optimization time 47.1308 s
3600.00/3609.70 c total solve time 3549.41 s
3600.00/3609.70 c core-guided solve time 0 s
3600.00/3609.70 c propagation time 2944.5 s
3600.00/3609.70 c conflict analysis time 608.903 s
3600.00/3609.70 c propagations 104579573
3600.00/3609.70 c resolve steps 78829370
3600.00/3609.70 c decisions 540713
3600.00/3609.70 c conflicts 437004
3600.00/3609.70 c restarts 1021
3600.00/3609.70 c inprocessing phases 57
3600.00/3609.70 c garbage collections 57 ,( 100.00 )
3600.00/3609.70 c input clauses 1584 ,( 63.08 )
3600.00/3609.70 c input cardinalities 0 ,( 0.00 )
3600.00/3609.70 c input general constraints 927 ,( 36.92 )
3600.00/3609.70 c input average constraint length 3.73
3600.00/3609.70 c input average constraint degree 21018140083.22
3600.00/3609.70 c learned clauses 14264 ,( 3.26 )
3600.00/3609.70 c learned cardinalities 2 ,( 0.00 )
3600.00/3609.70 c learned general constraints 422837 ,( 96.74 )
3600.00/3609.70 c learned average constraint length 467.34
3600.00/3609.70 c learned average constraint degree 860658752.16
3600.00/3609.70 c watched CF 32, 64, 128, Arb: 1565 , 0 , 0 , 0
3600.00/3609.70 c counting CF 32, 64, 128, Arb: 422196 , 3 , 0 , 0
3600.00/3609.70 c watched constraints 1565 ,( 0.37 )
3600.00/3609.70 c counting constraints 422199 ,( 99.63 )
3600.00/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 81065026 , 174096 , 63217817544 ,( 7830539 , 63209987005 )
3600.00/3609.70 c gcd simplifications 2365
3600.00/3609.70 c detected cardinalities 0
3600.00/3609.70 c weakened non-implied lits 20690802
3600.00/3609.70 c weakened non-implying lits 768702
3600.00/3609.70 c original variables 1562
3600.00/3609.70 c clausal propagations 18188183
3600.00/3609.70 c cardinality propagations 1953
3600.00/3609.70 c watched propagations 55273
3600.00/3609.70 c counting propagations 85906846
3600.00/3609.70 c watch lookups 64145542838
3600.00/3609.70 c watch backjump lookups 0
3600.00/3609.70 c watch checks 230198549
3600.00/3609.70 c propagation checks 631592626294
3600.00/3609.70 c constraint additions 1338417378
3600.00/3609.70 c trail pops 105555728
3600.00/3609.70 c formula constraints 2511
3600.00/3609.70 c learned constraints 437003
3600.00/3609.70 c bound constraints 0
3600.00/3609.70 c core-guided constraints 0
3600.00/3609.70 c encountered formula constraints 77590047
3600.00/3609.70 c encountered learned constraints 1647089
3600.00/3609.70 c encountered bound constraints 0
3600.00/3609.70 c encountered core-guided constraints 0
3600.00/3609.70 c LP total time 8.7693 s
3600.00/3609.70 c LP solve time 6.54 s
3600.00/3609.70 c LP constraints added 2525
3600.00/3609.70 c LP constraints removed 3
3600.00/3609.70 c LP pivots internal 43880
3600.00/3609.70 c LP pivots root 29761
3600.00/3609.70 c LP calls 205
3600.00/3609.70 c LP optimalities 29
3600.00/3609.70 c LP no pivot count 1
3600.00/3609.70 c LP infeasibilities 125
3600.00/3609.70 c LP valid Farkas constraints 90
3600.00/3609.70 c LP learned Farkas constraints 0
3600.00/3609.70 c LP basis resets 48
3600.00/3609.70 c LP cycling count 4
3600.00/3609.70 c LP singular count 29
3600.00/3609.70 c LP no primal count 0
3600.00/3609.70 c LP no farkas count 0
3600.00/3609.70 c LP other issue count 15
3600.00/3609.70 c LP Gomory cuts 10
3600.00/3609.70 c LP learned cuts 4
3600.00/3609.70 c LP deleted cuts 3
3600.00/3609.70 c LP encountered Gomory constraints 1
3600.00/3609.70 c LP encountered Farkas constraints 29237
3600.00/3609.70 c LP encountered learned Farkas constraints 0
3600.00/3609.70 c CG auxiliary variables introduced 0
3600.00/3609.70 c CG solutions found 0
3600.00/3609.70 c CG cores constructed 0
3600.00/3609.70 c CG core cardinality constraints returned 0
3600.00/3609.70 c CG unit cores 0
3600.00/3609.70 c CG single cores 0
3600.00/3609.70 c CG blocks removed during cardinality reduction 0
3600.00/3609.70 c CG first core best 0
3600.00/3609.70 c CG decision core best 0
3600.00/3609.70 c CG core reduction tie 0
3600.00/3609.70 c CG core degree average 0.00
3600.00/3609.70 c CG core slack average 0.00
3600.00/3609.70 c CG core upper bound improvements 0
3600.00/3609.70 c STR number of successful calls 0
3600.00/3609.70 c STR number of unsuccessful calls 0
3600.00/3609.70 c STR number of inconclusive calls 0
3600.00/3609.70 c STR number of successful attempts 0
3600.00/3609.70 c STR number of unsuccessful attempts 0
3600.00/3609.70 c STR number of inconclusive attempts 0
3600.00/3609.70 c STR average degree increase per successful call inf
3600.00/3609.70 c STR average degree increase per successful attempt inf
3600.00/3609.70 c STR total number of conflicts for successful attempts 0
3600.00/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.70 c STR average number of conflicts per successful attempt inf
3600.00/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.70 c AVG.sumWPerc 99.04
3600.00/3609.70 c bigint constraints 3
3600.00/3609.70 s UNKNOWN
3600.00/3609.70 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 (61678 MiB free)
memory of node 1: 64465 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541999-1753211687/watcher-4541999-1753211687 -o /tmp/evaluation-result-4541999-1753211687/solver-4541999-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175480 --watchdog 3760 run-dec-break.sh HOME/instance-4541999-1753211687.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=175531, runsolver pid=175519
[startup+0.100063 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128161852/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=60456 memory=14464 CPUtime=0.06 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 2012 0 0 0 6 0 0 0 20 0 1 0 236848112 61906944 3616 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 15114 3616 2368 1147 0 2541 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 17536 KiB
[startup+0.205548 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128151960/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=60456 memory=14464 CPUtime=0.16 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 2013 0 0 0 16 0 0 0 20 0 1 0 236848112 61906944 3616 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 15114 3616 2368 1147 0 2541 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 17536 KiB
[startup+0.305452 s]*
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128147172/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=62440 memory=18764 CPUtime=0.26 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 2487 0 0 0 26 0 0 0 20 0 1 0 236848112 63938560 4691 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 15610 4691 2432 1147 0 3037 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 66632 KiB
Current children cumulated memory: 21836 KiB
[startup+0.700196 s]
/proc/loadavg: 1.13 1.14 1.66 5/268 175543
/proc/meminfo: memFree=128132996/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=69724 memory=27836 CPUtime=0.65 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 4269 0 0 0 64 1 0 0 20 0 1 0 236848112 71397376 6959 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 17431 6959 2432 1147 0 4858 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 30908 KiB
[startup+1.50019 s]
/proc/loadavg: 1.13 1.14 1.66 5/268 175544
/proc/meminfo: memFree=128066568/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=80636 memory=37308 CPUtime=1.45 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 6633 0 0 0 143 2 0 0 20 0 1 0 236848112 82571264 9327 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 20159 9327 2432 1147 0 7586 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 84828 KiB
Current children cumulated memory: 40380 KiB
[startup+3.10532 s]
/proc/loadavg: 1.36 1.18 1.67 5/268 175544
/proc/meminfo: memFree=128036024/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=93920 memory=47968 CPUtime=3.04 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 8777 0 0 0 302 2 0 0 20 0 1 0 236848112 96174080 11992 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 23480 11992 2432 1147 0 10907 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 98112 KiB
Current children cumulated memory: 51040 KiB
[startup+6.30019 s]
/proc/loadavg: 1.36 1.18 1.67 5/268 175544
/proc/meminfo: memFree=127992596/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=104088 memory=59872 CPUtime=6.24 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 11760 0 0 0 619 5 0 0 20 0 1 0 236848112 106586112 14968 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 26022 14968 2432 1147 0 13449 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 62944 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.23 1.68 5/268 175590
/proc/meminfo: memFree=127027932/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=127076 memory=76696 CPUtime=12.62 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 14948 0 0 0 1254 8 0 0 20 0 1 0 236848112 130125824 19174 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 31769 19174 2432 1147 0 19196 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 131268 KiB
Current children cumulated memory: 79768 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.73 5/269 175592
/proc/meminfo: memFree=124960876/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=134052 memory=86780 CPUtime=25.39 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 16849 0 0 0 2526 13 0 0 20 0 1 0 236848112 137269248 21695 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 33513 21695 2528 1147 0 20940 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 138244 KiB
Current children cumulated memory: 89852 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 1.59 1.79 5/269 175593
/proc/meminfo: memFree=124899988/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=161364 memory=104044 CPUtime=50.92 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 20663 0 0 0 5073 19 0 0 20 0 1 0 236848112 165236736 26011 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 40341 26011 2528 1147 0 27768 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 165556 KiB
Current children cumulated memory: 107116 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.91 5/270 175601
/proc/meminfo: memFree=124771992/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=186828 memory=133408 CPUtime=101.98 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 25357 0 0 0 10168 30 0 0 20 0 1 0 236848112 191311872 33352 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 46707 33352 2528 1147 0 34134 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 191020 KiB
Current children cumulated memory: 136480 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.40 2.06 5/270 175603
/proc/meminfo: memFree=124773652/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=211724 memory=152336 CPUtime=161.82 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 27143 0 0 0 16140 42 0 0 20 0 1 0 236848112 216805376 38084 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 52931 38084 2528 1147 0 40358 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 215916 KiB
Current children cumulated memory: 155408 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.19 5/270 175605
/proc/meminfo: memFree=124708532/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=212176 memory=154816 CPUtime=221.65 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 27272 0 0 0 22113 52 0 0 20 0 1 0 236848112 217268224 38704 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 53044 38704 2528 1147 0 40471 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/175541/statm: 109157 98297 2528 1147 0 96584 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 440820 KiB
Current children cumulated memory: 396260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/269 175769
/proc/meminfo: memFree=123067516/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=437840 memory=394212 CPUtime=3153.78 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 64971 0 0 0 315063 315 0 0 20 0 1 0 236848112 448348160 98553 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 109460 98553 2528 1147 0 96887 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 442032 KiB
Current children cumulated memory: 397284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/268 175771
/proc/meminfo: memFree=123000988/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=438096 memory=394340 CPUtime=3213.63 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65005 0 0 0 321045 318 0 0 20 0 1 0 236848112 448610304 98585 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 109524 98585 2528 1147 0 96951 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 442288 KiB
Current children cumulated memory: 397412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/269 175774
/proc/meminfo: memFree=122940724/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=442500 memory=396900 CPUtime=3273.47 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65623 0 0 0 327025 322 0 0 20 0 1 0 236848112 453120000 99225 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 110625 99225 2528 1147 0 98052 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 446692 KiB
Current children cumulated memory: 399972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 175776
/proc/meminfo: memFree=122932800/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=442500 memory=396900 CPUtime=3333.31 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65623 0 0 0 333004 327 0 0 20 0 1 0 236848112 453120000 99225 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 110625 99225 2528 1147 0 98052 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 446692 KiB
Current children cumulated memory: 399972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/270 175779
/proc/meminfo: memFree=122932776/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=443012 memory=397284 CPUtime=3393.15 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65711 0 0 0 338984 331 0 0 20 0 1 0 236848112 453644288 99321 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 110753 99321 2528 1147 0 98180 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 447204 KiB
Current children cumulated memory: 400356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/268 175781
/proc/meminfo: memFree=122916108/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=443012 memory=397284 CPUtime=3453 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65711 0 0 0 344965 335 0 0 20 0 1 0 236848112 453644288 99321 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 110753 99321 2528 1147 0 98180 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 447204 KiB
Current children cumulated memory: 400356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/268 175783
/proc/meminfo: memFree=122899664/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=443012 memory=397284 CPUtime=3512.84 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 65724 0 0 0 350946 338 0 0 20 0 1 0 236848112 453644288 99321 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 110753 99321 2528 1147 0 98180 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 447204 KiB
Current children cumulated memory: 400356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/267 175785
/proc/meminfo: memFree=122871668/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=520244 memory=417200 CPUtime=3572.67 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 69671 0 0 0 356924 343 0 0 20 0 1 0 236848112 532729856 104300 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 130061 104300 2528 1147 0 117488 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 524436 KiB
Current children cumulated memory: 420272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.05 5/267 175785
/proc/meminfo: memFree=122871684/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=520244 memory=417200 CPUtime=3600 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 69735 0 0 0 359655 345 0 0 20 0 1 0 236848112 532729856 104300 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 130061 104300 2528 1147 0 117488 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 524436 KiB
Current children cumulated memory: 420272 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 175531 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.004 s, system=0.005493 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 175541 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.56 s, system=3.46429 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+3609.7 s]
/proc/loadavg: 4.11 4.09 4.05 5/267 175785
/proc/meminfo: memFree=122871684/131250000 swapFree=33009904/33010684
[pid=175531] ppid=175519 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175531/stat : 175531 (run-dec-break.s) S 175519 175531 175467 0 -1 4194304 238 856 0 0 0 0 0 0 20 0 1 0 236848110 4292608 768 18446744073709551615 94330429382656 94330430277189 140721019754176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94330430516240 94330430563984 94330436734976 140721019763039 140721019763168 140721019763168 140721019768772 0
/proc/175531/statm: 1048 768 704 219 0 110 0
[pid=175541] ppid=175531 vsize=520244 memory=417200 CPUtime=3600 cores=5,7
/proc/175541/stat : 175541 (roundingsat) R 175531 175531 175467 0 -1 4194304 69735 0 0 0 359655 345 0 0 20 0 1 0 236848112 532729856 104300 18446744073709551615 4227072 8923433 140733794758384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42221568 140733794761026 140733794761254 140733794761254 140733794766826 0
/proc/175541/statm: 130061 104300 2528 1147 0 117488 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 524436 KiB
Current children cumulated memory: 420272 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.03
CPU user time (s): 3596.56
CPU system time (s): 3.46429
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 524436
Max. memory (cumulated for all children) (KiB): 420272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.56
system time used= 3.46429
maximum resident set size= 417328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344
involuntary context switches= 3908
# summary of solver processes directly reported to runsolver:
# pid: 175531,175541
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.56
# total CPU system time (s): 3.46429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24381 second user time and 16.2114 second system time
The end
Begin job on nodeC033 at 2025-07-22 21:14:47
IDJOB=4541999
IDBENCH=163705
IDSOLVER=3357
FILE ID=nodeC033/4541999-1753211687
RUNJOBID= nodeC033-1753211687-175480
SLURM_JOB_ID= 9687798
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-22diag_spec_greater.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541999-1753211687/watcher-4541999-1753211687 -o /tmp/evaluation-result-4541999-1753211687/solver-4541999-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175480 --watchdog 3760 run-dec-break.sh HOME/instance-4541999-1753211687.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1445814348
nodeC033 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 : 3600.270
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 : 7000.13
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 : 3600.086
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.491
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 : 7000.13
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 : 3774.427
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 : 7000.13
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 : 3624.225
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 : 7000.13
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 : 3433.488
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.365
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 : 7000.13
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 : 3600.667
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128222688 kB
MemAvailable: 129685312 kB
Buffers: 2128 kB
Cached: 2185872 kB
SwapCached: 64 kB
Active: 1293324 kB
Inactive: 958756 kB
Active(anon): 85024 kB
Inactive(anon): 5284 kB
Active(file): 1208300 kB
Inactive(file): 953472 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29808 kB
Writeback: 8 kB
AnonPages: 67200 kB
Mapped: 108492 kB
Shmem: 26228 kB
KReclaimable: 280180 kB
Slab: 378048 kB
SReclaimable: 280180 kB
SUnreclaim: 97868 kB
KernelStack: 4112 kB
PageTables: 2948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 349124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432412 MiB
End job on nodeC033 at 2025-07-22 22:14:57