0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4517115-1751224361.opb'
0.00/0.01 c read 0.04MB (1.98ms)
0.00/0.01 c [cnf: #variables 1185 #clauses 1186 #duplicates 0 #arr 3885]
0.00/0.01 c output proof to 'PROOFDIR/proof-4517115-1751224361'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (3.32ms)
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.80ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 5867 #edges 14762]
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.98ms)
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-4517115-1751224361.opb.pre'
0.00/0.02 c wrote 0.04MB (0.47ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 3.32ms 38.48% approx_orbits
0.00/0.02 c 1.97ms 22.89% parse
0.00/0.02 c 0.98ms 11.39% other
0.00/0.02 c 0.98ms 11.35% detect_generic
0.00/0.02 c 0.80ms 9.29% detect_special
0.00/0.02 c 0.47ms 5.41% output
0.00/0.02 c 0.10ms 1.19% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 8.62ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.07 c #variables 1185 #constraints 1696
0.00/0.07 c rational objective 1.86265e-09
0.86/0.98 c #Conflicts: 1000 | #Constraints: 2696
0.86/0.98 c #Conflicts: 2000 | #Constraints: 3696
0.86/0.98 c INPROCESSING
0.86/0.98 c GARBAGE COLLECT
0.86/0.98 c rational objective 5.02486
1.56/1.68 c #Conflicts: 3000 | #Constraints: 3716
1.56/1.68 c #Conflicts: 4000 | #Constraints: 4716
1.56/1.68 c INPROCESSING
1.56/1.68 c GARBAGE COLLECT
1.56/1.68 c rational objective 5.18751
3.75/3.85 c #Conflicts: 5000 | #Constraints: 4141
3.75/3.85 c #Conflicts: 6000 | #Constraints: 5144
3.75/3.85 c INPROCESSING
3.75/3.85 c GARBAGE COLLECT
3.75/3.85 c #Conflicts: 7000 | #Constraints: 4157
3.75/3.85 c #Conflicts: 8000 | #Constraints: 5157
3.75/3.85 c #Conflicts: 9000 | #Constraints: 6159
3.75/3.85 c INPROCESSING
3.75/3.85 c GARBAGE COLLECT
3.75/3.85 c #Conflicts: 10000 | #Constraints: 4886
3.75/3.85 c #Conflicts: 11000 | #Constraints: 5887
3.75/3.85 c #Conflicts: 12000 | #Constraints: 6887
3.75/3.85 c INPROCESSING
3.75/3.85 c GARBAGE COLLECT
3.75/3.85 c rational objective 5.26563
7.05/7.18 c #Conflicts: 13000 | #Constraints: 5356
7.05/7.18 c #Conflicts: 14000 | #Constraints: 6356
7.05/7.18 c #Conflicts: 15000 | #Constraints: 7356
7.05/7.18 c INPROCESSING
7.05/7.18 c GARBAGE COLLECT
7.05/7.18 c #Conflicts: 16000 | #Constraints: 5574
7.05/7.18 c #Conflicts: 17000 | #Constraints: 6574
7.05/7.18 c #Conflicts: 18000 | #Constraints: 7574
7.05/7.18 c INPROCESSING
7.05/7.18 c GARBAGE COLLECT
7.05/7.18 c #Conflicts: 19000 | #Constraints: 5599
7.05/7.18 c #Conflicts: 20000 | #Constraints: 6599
7.05/7.18 c #Conflicts: 21000 | #Constraints: 7600
7.05/7.18 c INPROCESSING
7.05/7.18 c GARBAGE COLLECT
7.05/7.18 c rational objective 5.26954
22.09/22.25 c #Conflicts: 22000 | #Constraints: 5416
22.09/22.25 c #Conflicts: 23000 | #Constraints: 6417
22.09/22.25 c #Conflicts: 24000 | #Constraints: 7418
22.09/22.25 c #Conflicts: 25000 | #Constraints: 8418
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c #Conflicts: 26000 | #Constraints: 6035
22.09/22.25 c #Conflicts: 27000 | #Constraints: 7035
22.09/22.25 c #Conflicts: 28000 | #Constraints: 8037
22.09/22.25 c #Conflicts: 29000 | #Constraints: 9038
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c #Conflicts: 30000 | #Constraints: 6442
22.09/22.25 c #Conflicts: 31000 | #Constraints: 7442
22.09/22.25 c #Conflicts: 32000 | #Constraints: 8442
22.09/22.25 c #Conflicts: 33000 | #Constraints: 9442
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c #Conflicts: 34000 | #Constraints: 6668
22.09/22.25 c #Conflicts: 35000 | #Constraints: 7668
22.09/22.25 c #Conflicts: 36000 | #Constraints: 8668
22.09/22.25 c #Conflicts: 37000 | #Constraints: 9668
22.09/22.25 c #Conflicts: 38000 | #Constraints: 10668
22.09/22.25 c #Conflicts: 39000 | #Constraints: 11668
22.09/22.25 c #Conflicts: 40000 | #Constraints: 12668
22.09/22.25 c #Conflicts: 41000 | #Constraints: 13668
22.09/22.25 c #Conflicts: 42000 | #Constraints: 14668
22.09/22.25 c #Conflicts: 43000 | #Constraints: 15668
22.09/22.25 c #Conflicts: 44000 | #Constraints: 16668
22.09/22.25 c #Conflicts: 45000 | #Constraints: 17668
22.09/22.25 c #Conflicts: 46000 | #Constraints: 18668
22.09/22.25 c #Conflicts: 47000 | #Constraints: 19668
22.09/22.25 c #Conflicts: 48000 | #Constraints: 20668
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c #Conflicts: 49000 | #Constraints: 12279
22.09/22.25 c #Conflicts: 50000 | #Constraints: 13279
22.09/22.25 c #Conflicts: 51000 | #Constraints: 14279
22.09/22.25 c #Conflicts: 52000 | #Constraints: 15279
22.09/22.25 c #Conflicts: 53000 | #Constraints: 16279
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c #Conflicts: 54000 | #Constraints: 9933
22.09/22.25 c #Conflicts: 55000 | #Constraints: 10933
22.09/22.25 c #Conflicts: 56000 | #Constraints: 11933
22.09/22.25 c #Conflicts: 57000 | #Constraints: 12934
22.09/22.25 c #Conflicts: 58000 | #Constraints: 13934
22.09/22.25 c INPROCESSING
22.09/22.25 c GARBAGE COLLECT
22.09/22.25 c rational objective 5.33643
34.33/34.60 c #Conflicts: 59000 | #Constraints: 8539
34.33/34.60 c #Conflicts: 60000 | #Constraints: 9540
34.33/34.60 c #Conflicts: 61000 | #Constraints: 10540
34.33/34.60 c #Conflicts: 62000 | #Constraints: 11540
34.33/34.60 c #Conflicts: 63000 | #Constraints: 12540
34.33/34.60 c #Conflicts: 64000 | #Constraints: 13542
34.33/34.60 c INPROCESSING
34.33/34.60 c GARBAGE COLLECT
34.33/34.60 c #Conflicts: 65000 | #Constraints: 8472
34.33/34.60 c #Conflicts: 66000 | #Constraints: 9472
34.33/34.60 c #Conflicts: 67000 | #Constraints: 10472
34.33/34.60 c #Conflicts: 68000 | #Constraints: 11472
34.33/34.60 c #Conflicts: 69000 | #Constraints: 12472
34.33/34.60 c #Conflicts: 70000 | #Constraints: 13472
34.33/34.60 c #Conflicts: 71000 | #Constraints: 14472
34.33/34.60 c #Conflicts: 72000 | #Constraints: 15472
34.33/34.60 c #Conflicts: 73000 | #Constraints: 16472
34.33/34.60 c #Conflicts: 74000 | #Constraints: 17472
34.33/34.60 c #Conflicts: 75000 | #Constraints: 18472
34.33/34.60 c #Conflicts: 76000 | #Constraints: 19472
34.33/34.60 c #Conflicts: 77000 | #Constraints: 20472
34.33/34.60 c #Conflicts: 78000 | #Constraints: 21472
34.33/34.60 c #Conflicts: 79000 | #Constraints: 22473
34.33/34.60 c #Conflicts: 80000 | #Constraints: 23473
34.33/34.60 c #Conflicts: 81000 | #Constraints: 24473
34.33/34.60 c #Conflicts: 82000 | #Constraints: 25473
34.33/34.60 c #Conflicts: 83000 | #Constraints: 26473
34.33/34.60 WSVECS04 Frhs2[17]: 6 -23.5969 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[197]: 6 -1.00007 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[200]: 6 -5.19344 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[201]: 6 -3.38684 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[242]: 6 -1.00009 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[276]: 6 0 3.75009 shouldn't be
34.33/34.60 WSVECS04 Frhs2[279]: 6 0 44.75 shouldn't be
34.33/34.60 WSVECS04 Frhs2[280]: 6 0 92.0001 shouldn't be
34.33/34.60 WSVECS04 Frhs2[302]: 6 0 3.00006 shouldn't be
34.33/34.60 WSVECS04 Frhs2[330]: 6 -19 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[338]: 6 -1.00007 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[380]: 6 -47109 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[384]: 6 0 88.7267 shouldn't be
34.33/34.60 WSVECS04 Frhs2[394]: 6 -1.00007 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[397]: 6 0 87.7266 shouldn't be
34.33/34.60 WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
34.33/34.60 WSVECS04 Frhs2[424]: 6 0 3.00004 shouldn't be
34.33/34.60 WSVECS04 Frhs2[491]: 6 0 179.003 shouldn't be
34.33/34.60 WSVECS04 Frhs2[497]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[505]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[506]: 6 -1.00005 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[521]: 6 0 2937.05 shouldn't be
34.33/34.60 WSVECS04 Frhs2[533]: 6 -1471.02 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[547]: 6 -1.00001 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[554]: 6 -48.0125 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[562]: 6 -1.00007 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[617]: 6 0 94202.5 shouldn't be
34.33/34.60 WSVECS04 Frhs2[631]: 6 -188413 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[683]: 6 -1.00006 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[684]: 6 -1.00008 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[697]: 6 -1.0001 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[720]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[724]: 6 -1.00003 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[733]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[734]: 6 -1.00009 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[762]: 6 -737 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[798]: 6 -1.00002 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[812]: 6 -1.00007 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[838]: 6 -47108 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[869]: 6 -376832 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[886]: 6 0 178.453 shouldn't be
34.33/34.60 WSVECS04 Frhs2[887]: 6 -1.00005 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[923]: 6 -1.00005 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[945]: 6 -1.00006 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[995]: 6 -15.0003 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1009]: 6 -1.00003 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1023]: 6 -1.00005 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1037]: 6 -1.00005 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1067]: 6 -1.00008 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1112]: 6 -1.00002 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1129]: 6 -0.910527 0 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1138]: 6 0 44.8445 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1140]: 6 0 182.378 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1141]: 6 0 365.756 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1146]: 6 0 11735.2 shouldn't be
34.33/34.60 WSVECS04 Frhs2[1147]: 6 0 23471.4 shouldn't be
35.92/36.27 c #Conflicts: 84000 | #Constraints: 27473
35.92/36.27 c INPROCESSING
35.92/36.27 c GARBAGE COLLECT
35.92/36.27 WSVECS04 Frhs2[2]: 6 -16.625 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[10]: 6 0 2.33333 shouldn't be
35.92/36.27 WSVECS04 Frhs2[13]: 6 -1 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[28]: 6 -1 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[59]: 6 -3.5253 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[68]: 6 -1.96893 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[74]: 6 -4.0506 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[194]: 6 -2.20833 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[209]: 6 -1.41667 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[222]: 6 -2.83333 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[253]: 6 -1.66667 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[254]: 6 -0.333334 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[278]: 6 0 10.125 shouldn't be
35.92/36.27 WSVECS04 Frhs2[307]: 6 0 1.75 shouldn't be
35.92/36.27 WSVECS04 Frhs2[309]: 6 0 6.31238 shouldn't be
35.92/36.27 WSVECS04 Frhs2[365]: 6 0 1.72917 shouldn't be
35.92/36.27 WSVECS04 Frhs2[366]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[380]: 6 0 3.05969 shouldn't be
35.92/36.27 WSVECS04 Frhs2[393]: 6 0 4.05969 shouldn't be
35.92/36.27 WSVECS04 Frhs2[410]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[423]: 6 0 1.04502 shouldn't be
35.92/36.27 WSVECS04 Frhs2[450]: 6 -8 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[466]: 6 0 2.5 shouldn't be
35.92/36.27 WSVECS04 Frhs2[515]: 6 0 2 shouldn't be
35.92/36.27 WSVECS04 Frhs2[516]: 6 0 2.99609 shouldn't be
35.92/36.27 WSVECS04 Frhs2[538]: 6 0 2 shouldn't be
35.92/36.27 WSVECS04 Frhs2[564]: 6 0 4 shouldn't be
35.92/36.27 WSVECS04 Frhs2[565]: 6 0 5.44291 shouldn't be
35.92/36.27 WSVECS04 Frhs2[583]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[594]: 6 0 15.3125 shouldn't be
35.92/36.27 WSVECS04 Frhs2[597]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[600]: 6 0 2.75 shouldn't be
35.92/36.27 WSVECS04 Frhs2[602]: 6 0 3.5 shouldn't be
35.92/36.27 WSVECS04 Frhs2[605]: 6 0 0.813339 shouldn't be
35.92/36.27 WSVECS04 Frhs2[611]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[627]: 6 0 1 shouldn't be
35.92/36.27 WSVECS04 Frhs2[667]: 6 0 2 shouldn't be
35.92/36.27 WSVECS04 Frhs2[702]: 6 0 0.422615 shouldn't be
35.92/36.27 WSVECS04 Frhs2[735]: 6 -0.750001 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[749]: 6 -0.75 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[810]: 6 -0.500001 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[824]: 6 -2.05969 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[839]: 6 -1.61937 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1095]: 6 -11.2534 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1110]: 6 -1 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1124]: 6 -17.7567 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1151]: 6 -0.9375 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
35.92/36.27 WSVECS04 Frhs2[1153]: 6 -1 0 shouldn't be
40.01/40.30 c #Conflicts: 85000 | #Constraints: 15329
40.01/40.30 c #Conflicts: 86000 | #Constraints: 16329
40.01/40.30 c #Conflicts: 87000 | #Constraints: 17329
40.01/40.30 c #Conflicts: 88000 | #Constraints: 18329
40.01/40.30 c #Conflicts: 89000 | #Constraints: 19329
40.01/40.30 c #Conflicts: 90000 | #Constraints: 20329
40.01/40.30 c #Conflicts: 91000 | #Constraints: 21329
40.01/40.30 c INPROCESSING
40.01/40.30 c GARBAGE COLLECT
40.01/40.30 c rational objective 5.38023
70.05/70.50 c #Conflicts: 92000 | #Constraints: 12265
70.05/70.50 c #Conflicts: 93000 | #Constraints: 13265
70.05/70.50 c #Conflicts: 94000 | #Constraints: 14265
70.05/70.50 c #Conflicts: 95000 | #Constraints: 15265
70.05/70.50 c #Conflicts: 96000 | #Constraints: 16265
70.05/70.50 c #Conflicts: 97000 | #Constraints: 17265
70.05/70.50 c #Conflicts: 98000 | #Constraints: 18265
70.05/70.50 c #Conflicts: 99000 | #Constraints: 19265
70.05/70.50 c INPROCESSING
70.05/70.50 c GARBAGE COLLECT
70.05/70.50 c #Conflicts: 100000 | #Constraints: 11587
70.05/70.50 c #Conflicts: 101000 | #Constraints: 12587
70.05/70.50 c #Conflicts: 102000 | #Constraints: 13587
70.05/70.50 c #Conflicts: 103000 | #Constraints: 14587
70.05/70.50 c #Conflicts: 104000 | #Constraints: 15587
70.05/70.50 c #Conflicts: 105000 | #Constraints: 16587
70.05/70.50 c #Conflicts: 106000 | #Constraints: 17587
70.05/70.50 c INPROCESSING
70.05/70.50 c GARBAGE COLLECT
70.05/70.50 c #Conflicts: 107000 | #Constraints: 10596
70.05/70.50 c #Conflicts: 108000 | #Constraints: 11596
70.05/70.50 c #Conflicts: 109000 | #Constraints: 12596
70.05/70.50 c #Conflicts: 110000 | #Constraints: 13596
70.05/70.50 c #Conflicts: 111000 | #Constraints: 14596
70.05/70.50 c #Conflicts: 112000 | #Constraints: 15596
70.05/70.50 c #Conflicts: 113000 | #Constraints: 16596
70.05/70.50 c #Conflicts: 114000 | #Constraints: 17596
70.05/70.50 c #Conflicts: 115000 | #Constraints: 18596
70.05/70.50 c #Conflicts: 116000 | #Constraints: 19596
70.05/70.50 c #Conflicts: 117000 | #Constraints: 20596
70.05/70.50 c #Conflicts: 118000 | #Constraints: 21596
70.05/70.50 c #Conflicts: 119000 | #Constraints: 22597
70.05/70.50 c #Conflicts: 120000 | #Constraints: 23597
70.05/70.50 c #Conflicts: 121000 | #Constraints: 24597
70.05/70.50 c #Conflicts: 122000 | #Constraints: 25597
70.05/70.50 c #Conflicts: 123000 | #Constraints: 26598
70.05/70.50 c #Conflicts: 124000 | #Constraints: 27599
70.05/70.50 c #Conflicts: 125000 | #Constraints: 28600
70.05/70.50 c #Conflicts: 126000 | #Constraints: 29600
70.05/70.50 c #Conflicts: 127000 | #Constraints: 30601
70.05/70.50 c #Conflicts: 128000 | #Constraints: 31601
70.05/70.50 c #Conflicts: 129000 | #Constraints: 32601
70.05/70.50 c #Conflicts: 130000 | #Constraints: 33602
70.05/70.50 c #Conflicts: 131000 | #Constraints: 34602
70.05/70.50 c #Conflicts: 132000 | #Constraints: 35602
70.05/70.50 c INPROCESSING
70.05/70.50 c GARBAGE COLLECT
70.05/70.50 WSVECS04 Frhs2[3]: 6 -3.68151 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[18]: 6 -0.771156 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[23]: 6 -0.771144 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[26]: 6 -3.74162 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[29]: 6 0 238.664 shouldn't be
70.05/70.50 WSVECS04 Frhs2[36]: 6 -2.99481 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[43]: 6 -226.816 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[45]: 6 -234.523 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[46]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[53]: 6 -3.33613 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[60]: 6 -34.734 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[61]: 6 -1.00009 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[91]: 6 -1.00003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[151]: 6 -1.00003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[154]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[156]: 6 -1.43753 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[167]: 6 -1.00004 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[168]: 6 -1.00004 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[194]: 6 0 255.002 shouldn't be
70.05/70.50 WSVECS04 Frhs2[195]: 6 0 58.638 shouldn't be
70.05/70.50 WSVECS04 Frhs2[199]: 6 0 2.50009 shouldn't be
70.05/70.50 WSVECS04 Frhs2[209]: 6 0 55.8881 shouldn't be
70.05/70.50 WSVECS04 Frhs2[210]: 6 0 120.276 shouldn't be
70.05/70.50 WSVECS04 Frhs2[211]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[212]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[224]: 6 0 106.114 shouldn't be
70.05/70.50 WSVECS04 Frhs2[240]: 6 0 56.9734 shouldn't be
70.05/70.50 WSVECS04 Frhs2[241]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[382]: 6 -1.00007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[397]: 6 -1.00001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[411]: 6 -0.750029 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[413]: 6 0 2.00006 shouldn't be
70.05/70.50 WSVECS04 Frhs2[425]: 6 -2.00007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[453]: 6 -1.54599 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[492]: 6 0 2.98578 shouldn't be
70.05/70.50 WSVECS04 Frhs2[494]: 6 -4.56252 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[519]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[531]: 6 -1.00006 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[533]: 6 -1.50002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[539]: 6 -5.0001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[542]: 6 -1.0001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[545]: 6 -1.89675 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[552]: 6 -3.50006 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[556]: 6 -1.98443 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[576]: 6 0 1.00004 shouldn't be
70.05/70.50 WSVECS04 Frhs2[578]: 6 -1.00001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[590]: 6 0 2.06258 shouldn't be
70.05/70.50 WSVECS04 Frhs2[592]: 6 -1.00007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[593]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[603]: 6 0 3.93752 shouldn't be
70.05/70.50 WSVECS04 Frhs2[607]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[608]: 6 0 1.25008 shouldn't be
70.05/70.50 WSVECS04 Frhs2[635]: 6 -3.50003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[663]: 6 -9.87509 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[678]: 6 0 0.498723 shouldn't be
70.05/70.50 WSVECS04 Frhs2[685]: 6 0 0.0836465 shouldn't be
70.05/70.50 WSVECS04 Frhs2[691]: 6 -2.74943 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[699]: 6 -1.0577 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[706]: 6 -3.26986 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[714]: 6 -1.11523 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[754]: 6 -0.500059 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[756]: 6 -1.75007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[758]: 6 -0.750098 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[770]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[773]: 6 -0.500039 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[782]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[796]: 6 -1.00008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[798]: 6 -1.50004 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[799]: 6 -1.50008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[803]: 6 -0.519805 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[807]: 6 0 55.0735 shouldn't be
70.05/70.50 WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[815]: 6 0 0.12502 shouldn't be
70.05/70.50 WSVECS04 Frhs2[816]: 6 -1.50008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[818]: 6 -0.0395861 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[822]: 6 0 111.147 shouldn't be
70.05/70.50 WSVECS04 Frhs2[823]: 6 -7.21834 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[825]: 6 -30.8733 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[827]: 6 -1.00001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[837]: 6 0 223.294 shouldn't be
70.05/70.50 WSVECS04 Frhs2[840]: 6 0 162.186 shouldn't be
70.05/70.50 WSVECS04 Frhs2[842]: 6 -1.00006 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[844]: 6 -3.50001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[852]: 6 0 223.246 shouldn't be
70.05/70.50 WSVECS04 Frhs2[856]: 6 -1.00009 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[857]: 6 -1.0001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[859]: 6 -2.50003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[861]: 6 -0.454204 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[867]: 6 0 223.152 shouldn't be
70.05/70.50 WSVECS04 Frhs2[869]: 6 0 6.22893 shouldn't be
70.05/70.50 WSVECS04 Frhs2[887]: 6 -1.0001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[892]: 6 -1.00005 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[903]: 6 0 0.0442945 shouldn't be
70.05/70.50 WSVECS04 Frhs2[909]: 6 0 0.0442428 shouldn't be
70.05/70.50 WSVECS04 Frhs2[910]: 6 0 0.000367975 shouldn't be
70.05/70.50 WSVECS04 Frhs2[945]: 6 0 0.0161148 shouldn't be
70.05/70.50 WSVECS04 Frhs2[952]: 6 -1.12898 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[960]: 6 0 0.0322348 shouldn't be
70.05/70.50 WSVECS04 Frhs2[963]: 6 -0.500014 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[975]: 6 0 0.0644562 shouldn't be
70.05/70.50 WSVECS04 Frhs2[979]: 6 -0.500031 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[980]: 6 -3.50008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[981]: 6 -1.49227 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[995]: 6 -1.00007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1018]: 6 -1.0001 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1023]: 6 -1.50008 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1024]: 6 -1.98442 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1028]: 6 -0.500067 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1036]: 6 -1.00006 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1041]: 6 -1.87504 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1052]: 6 -1.00003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1056]: 6 -1.00006 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1064]: 6 -1.12504 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1067]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1070]: 6 -0.750061 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1079]: 6 -1.25005 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1081]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1082]: 6 -1.00002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1094]: 6 -1.50003 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1111]: 6 -0.75005 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1112]: 6 -2.50002 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1119]: 6 -1.00007 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1124]: 6 -1.00005 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1126]: 6 -0.749431 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1135]: 6 -0.749609 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1143]: 6 -1.15575 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1145]: 6 -0.374725 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1147]: 6 -3.63598 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1148]: 6 -2.52259 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1149]: 6 -4.2957 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1152]: 6 -28.8912 0 shouldn't be
70.05/70.50 WSVECS04 Frhs2[1153]: 6 -57.0329 0 shouldn't be
122.67/123.48 c #Conflicts: 133000 | #Constraints: 19817
122.67/123.48 c #Conflicts: 134000 | #Constraints: 20817
122.67/123.48 c #Conflicts: 135000 | #Constraints: 21817
122.67/123.48 c #Conflicts: 136000 | #Constraints: 22817
122.67/123.48 c #Conflicts: 137000 | #Constraints: 23817
122.67/123.48 c #Conflicts: 138000 | #Constraints: 24817
122.67/123.48 c #Conflicts: 139000 | #Constraints: 25817
122.67/123.48 c #Conflicts: 140000 | #Constraints: 26817
122.67/123.48 c INPROCESSING
122.67/123.48 c GARBAGE COLLECT
122.67/123.48 c #Conflicts: 141000 | #Constraints: 15077
122.67/123.48 c #Conflicts: 142000 | #Constraints: 16077
122.67/123.48 c #Conflicts: 143000 | #Constraints: 17077
122.67/123.48 c #Conflicts: 144000 | #Constraints: 18077
122.67/123.48 c #Conflicts: 145000 | #Constraints: 19077
122.67/123.48 c #Conflicts: 146000 | #Constraints: 20077
122.67/123.48 c #Conflicts: 147000 | #Constraints: 21077
122.67/123.48 c #Conflicts: 148000 | #Constraints: 22077
122.67/123.48 c #Conflicts: 149000 | #Constraints: 23077
122.67/123.48 c INPROCESSING
122.67/123.48 c GARBAGE COLLECT
122.67/123.48 c #Conflicts: 150000 | #Constraints: 13227
122.67/123.48 c #Conflicts: 151000 | #Constraints: 14227
122.67/123.48 c #Conflicts: 152000 | #Constraints: 15227
122.67/123.48 c #Conflicts: 153000 | #Constraints: 16227
122.67/123.48 c #Conflicts: 154000 | #Constraints: 17227
122.67/123.48 c #Conflicts: 155000 | #Constraints: 18227
122.67/123.48 c #Conflicts: 156000 | #Constraints: 19227
122.67/123.48 c #Conflicts: 157000 | #Constraints: 20227
122.67/123.48 c #Conflicts: 158000 | #Constraints: 21228
122.67/123.48 c #Conflicts: 159000 | #Constraints: 22228
122.67/123.48 c #Conflicts: 160000 | #Constraints: 23228
122.67/123.48 c #Conflicts: 161000 | #Constraints: 24228
122.67/123.48 c #Conflicts: 162000 | #Constraints: 25228
122.67/123.48 c #Conflicts: 163000 | #Constraints: 26228
122.67/123.48 c #Conflicts: 164000 | #Constraints: 27228
122.67/123.48 c #Conflicts: 165000 | #Constraints: 28228
122.67/123.48 c #Conflicts: 166000 | #Constraints: 29228
122.67/123.48 c #Conflicts: 167000 | #Constraints: 30228
122.67/123.48 c #Conflicts: 168000 | #Constraints: 31228
122.67/123.48 c #Conflicts: 169000 | #Constraints: 32228
122.67/123.48 c #Conflicts: 170000 | #Constraints: 33228
122.67/123.48 c #Conflicts: 171000 | #Constraints: 34228
122.67/123.48 c #Conflicts: 172000 | #Constraints: 35228
122.67/123.48 c #Conflicts: 173000 | #Constraints: 36228
122.67/123.48 c #Conflicts: 174000 | #Constraints: 37228
122.67/123.48 c #Conflicts: 175000 | #Constraints: 38228
122.67/123.48 c #Conflicts: 176000 | #Constraints: 39228
122.67/123.48 c #Conflicts: 177000 | #Constraints: 40228
122.67/123.48 c #Conflicts: 178000 | #Constraints: 41228
122.67/123.48 c #Conflicts: 179000 | #Constraints: 42228
122.67/123.48 c INPROCESSING
122.67/123.48 c GARBAGE COLLECT
122.67/123.48 c #Conflicts: 180000 | #Constraints: 22935
122.67/123.48 c #Conflicts: 181000 | #Constraints: 23935
122.67/123.48 c #Conflicts: 182000 | #Constraints: 24935
122.67/123.48 c #Conflicts: 183000 | #Constraints: 25935
122.67/123.48 c #Conflicts: 184000 | #Constraints: 26935
122.67/123.48 c #Conflicts: 185000 | #Constraints: 27935
122.67/123.48 c #Conflicts: 186000 | #Constraints: 28935
122.67/123.48 c #Conflicts: 187000 | #Constraints: 29935
122.67/123.48 c #Conflicts: 188000 | #Constraints: 30935
122.67/123.48 c #Conflicts: 189000 | #Constraints: 31935
122.67/123.48 c INPROCESSING
122.67/123.48 c GARBAGE COLLECT
122.67/123.48 c #Conflicts: 190000 | #Constraints: 17708
122.67/123.48 c #Conflicts: 191000 | #Constraints: 18708
122.67/123.48 c #Conflicts: 192000 | #Constraints: 19708
122.67/123.48 c #Conflicts: 193000 | #Constraints: 20708
122.67/123.48 c #Conflicts: 194000 | #Constraints: 21708
122.67/123.48 c #Conflicts: 195000 | #Constraints: 22708
122.67/123.48 c #Conflicts: 196000 | #Constraints: 23708
122.67/123.48 c #Conflicts: 197000 | #Constraints: 24708
122.67/123.48 c #Conflicts: 198000 | #Constraints: 25708
122.67/123.48 c #Conflicts: 199000 | #Constraints: 26708
122.67/123.48 c #Conflicts: 200000 | #Constraints: 27708
122.67/123.48 c INPROCESSING
122.67/123.48 c GARBAGE COLLECT
122.67/123.48 c #Conflicts: 201000 | #Constraints: 15879
122.67/123.48 c #Conflicts: 202000 | #Constraints: 16879
122.67/123.48 c #Conflicts: 203000 | #Constraints: 17879
122.67/123.48 c #Conflicts: 204000 | #Constraints: 18879
122.67/123.48 c #Conflicts: 205000 | #Constraints: 19879
122.67/123.48 c #Conflicts: 206000 | #Constraints: 20879
122.67/123.48 c #Conflicts: 207000 | #Constraints: 21880
122.67/123.48 c #Conflicts: 208000 | #Constraints: 22880
174.39/175.59 c #Conflicts: 209000 | #Constraints: 23880
174.39/175.59 c #Conflicts: 210000 | #Constraints: 24880
174.39/175.59 c #Conflicts: 211000 | #Constraints: 25880
174.39/175.59 c #Conflicts: 212000 | #Constraints: 26880
174.39/175.59 c #Conflicts: 213000 | #Constraints: 27880
174.39/175.59 c #Conflicts: 214000 | #Constraints: 28880
174.39/175.59 c #Conflicts: 215000 | #Constraints: 29880
174.39/175.59 c #Conflicts: 216000 | #Constraints: 30880
174.39/175.59 c #Conflicts: 217000 | #Constraints: 31880
174.39/175.59 c #Conflicts: 218000 | #Constraints: 32880
174.39/175.59 c #Conflicts: 219000 | #Constraints: 33880
174.39/175.59 c #Conflicts: 220000 | #Constraints: 34880
174.39/175.59 c #Conflicts: 221000 | #Constraints: 35880
174.39/175.59 c #Conflicts: 222000 | #Constraints: 36880
174.39/175.59 c #Conflicts: 223000 | #Constraints: 37880
174.39/175.59 c #Conflicts: 224000 | #Constraints: 38880
174.39/175.59 c #Conflicts: 225000 | #Constraints: 39880
174.39/175.59 c #Conflicts: 226000 | #Constraints: 40880
174.39/175.59 c #Conflicts: 227000 | #Constraints: 41880
174.39/175.59 c #Conflicts: 228000 | #Constraints: 42880
174.39/175.59 c #Conflicts: 229000 | #Constraints: 43880
174.39/175.59 c #Conflicts: 230000 | #Constraints: 44880
174.39/175.59 c #Conflicts: 231000 | #Constraints: 45880
174.39/175.59 c #Conflicts: 232000 | #Constraints: 46880
174.39/175.59 c #Conflicts: 233000 | #Constraints: 47881
174.39/175.59 c #Conflicts: 234000 | #Constraints: 48881
174.39/175.59 c INPROCESSING
174.39/175.59 c GARBAGE COLLECT
174.39/175.59 c #Conflicts: 235000 | #Constraints: 26452
174.39/175.59 c #Conflicts: 236000 | #Constraints: 27452
174.39/175.59 c #Conflicts: 237000 | #Constraints: 28452
174.39/175.59 c #Conflicts: 238000 | #Constraints: 29452
174.39/175.59 c #Conflicts: 239000 | #Constraints: 30452
174.39/175.59 c #Conflicts: 240000 | #Constraints: 31452
174.39/175.59 c #Conflicts: 241000 | #Constraints: 32452
174.39/175.59 c #Conflicts: 242000 | #Constraints: 33452
174.39/175.59 c #Conflicts: 243000 | #Constraints: 34452
174.39/175.59 c #Conflicts: 244000 | #Constraints: 35452
174.39/175.59 WSVECS04 Frhs2[3]: 6 -8.20042 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[72]: 6 -2.99875 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[120]: 6 -2.84202 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[271]: 6 0 5.32975 shouldn't be
174.39/175.59 WSVECS04 Frhs2[284]: 6 0 6.32975 shouldn't be
174.39/175.59 WSVECS04 Frhs2[354]: 6 0 1 shouldn't be
174.39/175.59 WSVECS04 Frhs2[368]: 6 0 3 shouldn't be
174.39/175.59 WSVECS04 Frhs2[395]: 6 -2 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[529]: 6 -15.4157 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[543]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[555]: 6 -11.4157 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[564]: 6 0 1 shouldn't be
174.39/175.59 WSVECS04 Frhs2[569]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[578]: 6 0 2.26054 shouldn't be
174.39/175.59 WSVECS04 Frhs2[620]: 6 0 1 shouldn't be
174.39/175.59 WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
174.39/175.59 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[751]: 6 0 11.6595 shouldn't be
174.39/175.59 WSVECS04 Frhs2[953]: 6 -2.30196 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[984]: 6 -3.99877 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[985]: 6 -2.24754 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[999]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[1010]: 6 -2 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[1012]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[1041]: 6 -1 0 shouldn't be
174.39/175.59 WSVECS04 Frhs2[1182]: 6 -1.125 0 shouldn't be
243.90/245.49 c #Conflicts: 245000 | #Constraints: 36452
243.90/245.49 c INPROCESSING
243.90/245.49 c GARBAGE COLLECT
243.90/245.49 c #Conflicts: 246000 | #Constraints: 19899
243.90/245.49 c #Conflicts: 247000 | #Constraints: 20899
243.90/245.49 c #Conflicts: 248000 | #Constraints: 21899
243.90/245.49 c #Conflicts: 249000 | #Constraints: 22899
243.90/245.49 c #Conflicts: 250000 | #Constraints: 23899
243.90/245.49 c #Conflicts: 251000 | #Constraints: 24899
243.90/245.49 c #Conflicts: 252000 | #Constraints: 25899
243.90/245.49 c #Conflicts: 253000 | #Constraints: 26899
243.90/245.49 c #Conflicts: 254000 | #Constraints: 27899
243.90/245.49 c #Conflicts: 255000 | #Constraints: 28899
243.90/245.49 c #Conflicts: 256000 | #Constraints: 29899
243.90/245.49 c #Conflicts: 257000 | #Constraints: 30899
243.90/245.49 c INPROCESSING
243.90/245.49 c GARBAGE COLLECT
243.90/245.49 c #Conflicts: 258000 | #Constraints: 17182
243.90/245.49 c #Conflicts: 259000 | #Constraints: 18182
243.90/245.49 c #Conflicts: 260000 | #Constraints: 19182
243.90/245.49 c #Conflicts: 261000 | #Constraints: 20182
243.90/245.49 c #Conflicts: 262000 | #Constraints: 21182
243.90/245.49 c #Conflicts: 263000 | #Constraints: 22182
243.90/245.49 c #Conflicts: 264000 | #Constraints: 23182
243.90/245.49 c #Conflicts: 265000 | #Constraints: 24182
243.90/245.49 c #Conflicts: 266000 | #Constraints: 25182
243.90/245.49 c #Conflicts: 267000 | #Constraints: 26182
243.90/245.49 c #Conflicts: 268000 | #Constraints: 27182
243.90/245.49 c #Conflicts: 269000 | #Constraints: 28182
243.90/245.49 c #Conflicts: 270000 | #Constraints: 29182
243.90/245.49 c #Conflicts: 271000 | #Constraints: 30182
243.90/245.49 c #Conflicts: 272000 | #Constraints: 31182
243.90/245.49 c #Conflicts: 273000 | #Constraints: 32182
243.90/245.49 c #Conflicts: 274000 | #Constraints: 33182
243.90/245.49 c #Conflicts: 275000 | #Constraints: 34183
243.90/245.49 c #Conflicts: 276000 | #Constraints: 35183
243.90/245.49 c #Conflicts: 277000 | #Constraints: 36184
243.90/245.49 c #Conflicts: 278000 | #Constraints: 37185
243.90/245.49 c #Conflicts: 279000 | #Constraints: 38185
243.90/245.49 c #Conflicts: 280000 | #Constraints: 39185
243.90/245.49 c #Conflicts: 281000 | #Constraints: 40185
243.90/245.49 c #Conflicts: 282000 | #Constraints: 41185
243.90/245.49 c #Conflicts: 283000 | #Constraints: 42185
243.90/245.49 c #Conflicts: 284000 | #Constraints: 43185
243.90/245.49 c #Conflicts: 285000 | #Constraints: 44185
243.90/245.49 c #Conflicts: 286000 | #Constraints: 45185
243.90/245.49 c #Conflicts: 287000 | #Constraints: 46185
243.90/245.49 c #Conflicts: 288000 | #Constraints: 47185
243.90/245.49 c #Conflicts: 289000 | #Constraints: 48185
243.90/245.49 c #Conflicts: 290000 | #Constraints: 49185
243.90/245.49 c #Conflicts: 291000 | #Constraints: 50185
243.90/245.49 c #Conflicts: 292000 | #Constraints: 51185
243.90/245.49 c #Conflicts: 293000 | #Constraints: 52185
243.90/245.49 c #Conflicts: 294000 | #Constraints: 53185
243.90/245.49 c #Conflicts: 295000 | #Constraints: 54185
243.90/245.49 c INPROCESSING
243.90/245.49 c GARBAGE COLLECT
243.90/245.49 c #Conflicts: 296000 | #Constraints: 28706
243.90/245.49 c #Conflicts: 297000 | #Constraints: 29706
243.90/245.49 c #Conflicts: 298000 | #Constraints: 30706
243.90/245.49 c #Conflicts: 299000 | #Constraints: 31706
243.90/245.49 c #Conflicts: 300000 | #Constraints: 32706
243.90/245.49 c #Conflicts: 301000 | #Constraints: 33706
243.90/245.49 c #Conflicts: 302000 | #Constraints: 34706
243.90/245.49 c #Conflicts: 303000 | #Constraints: 35706
243.90/245.49 c #Conflicts: 304000 | #Constraints: 36706
243.90/245.49 c #Conflicts: 305000 | #Constraints: 37706
243.90/245.49 c #Conflicts: 306000 | #Constraints: 38706
243.90/245.49 c #Conflicts: 307000 | #Constraints: 39706
243.90/245.49 c #Conflicts: 308000 | #Constraints: 40706
243.90/245.49 c #Conflicts: 309000 | #Constraints: 41706
243.90/245.49 c INPROCESSING
243.90/245.49 c GARBAGE COLLECT
243.90/245.49 c #Conflicts: 310000 | #Constraints: 22892
243.90/245.49 c #Conflicts: 311000 | #Constraints: 23892
243.90/245.49 c #Conflicts: 312000 | #Constraints: 24892
243.90/245.49 c #Conflicts: 313000 | #Constraints: 25892
243.90/245.49 c #Conflicts: 314000 | #Constraints: 26892
243.90/245.49 c #Conflicts: 315000 | #Constraints: 27892
243.90/245.49 c #Conflicts: 316000 | #Constraints: 28893
243.90/245.49 c #Conflicts: 317000 | #Constraints: 29893
243.90/245.49 c #Conflicts: 318000 | #Constraints: 30893
243.90/245.49 c #Conflicts: 319000 | #Constraints: 31893
243.90/245.49 c #Conflicts: 320000 | #Constraints: 32893
243.90/245.49 c #Conflicts: 321000 | #Constraints: 33893
245.19/246.73 c #Conflicts: 322000 | #Constraints: 34893
245.19/246.73 c INPROCESSING
245.19/246.73 c GARBAGE COLLECT
245.19/246.73 WSVECS04 Frhs2[18]: 6 -45.2659 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[36]: 6 0 41.2659 shouldn't be
245.19/246.73 WSVECS04 Frhs2[40]: 6 0 24.9686 shouldn't be
245.19/246.73 WSVECS04 Frhs2[42]: 6 0 41.2659 shouldn't be
245.19/246.73 WSVECS04 Frhs2[43]: 6 0 23.9686 shouldn't be
245.19/246.73 WSVECS04 Frhs2[54]: 6 -22.634 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[56]: 6 -26.6836 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[120]: 6 0 16.8942 shouldn't be
245.19/246.73 WSVECS04 Frhs2[142]: 6 -9.24599 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[189]: 6 -1.58091 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[232]: 6 -5.06348 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[257]: 6 0 2.99949 shouldn't be
245.19/246.73 WSVECS04 Frhs2[269]: 6 0 1 shouldn't be
245.19/246.73 WSVECS04 Frhs2[347]: 6 0 25.6249 shouldn't be
245.19/246.73 WSVECS04 Frhs2[350]: 6 0 43.2681 shouldn't be
245.19/246.73 WSVECS04 Frhs2[351]: 6 0 15.5843 shouldn't be
245.19/246.73 WSVECS04 Frhs2[364]: 6 0 43.1062 shouldn't be
245.19/246.73 WSVECS04 Frhs2[377]: 6 0 329.731 shouldn't be
245.19/246.73 WSVECS04 Frhs2[403]: 6 -1 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[408]: 6 -1.83429 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[423]: 6 0 82.0615 shouldn't be
245.19/246.73 WSVECS04 Frhs2[568]: 6 0 1 shouldn't be
245.19/246.73 WSVECS04 Frhs2[647]: 6 0 169.226 shouldn't be
245.19/246.73 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[687]: 6 -1 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[693]: 6 -3.00545 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[700]: 6 -1 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[879]: 6 -7.4027 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[881]: 6 -53.5776 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[982]: 6 -0.482097 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[997]: 6 -0.964194 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[1057]: 6 -2.5 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[1091]: 6 -2.79287 0 shouldn't be
245.19/246.73 WSVECS04 Frhs2[1184]: 6 0 6.65158 shouldn't be
245.19/246.79 WSVECS04 Frhs2[8]: 6 -120.812 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[11]: 6 -3.5109 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[14]: 6 -121.812 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[19]: 6 -43.2659 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[26]: 6 -3.5109 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[29]: 6 -133.635 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[32]: 6 0 23.9686 shouldn't be
245.19/246.79 WSVECS04 Frhs2[48]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[90]: 6 0 20.7 shouldn't be
245.19/246.79 WSVECS04 Frhs2[135]: 6 0 10.9843 shouldn't be
245.19/246.79 WSVECS04 Frhs2[138]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[139]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[140]: 6 -3.5179 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[144]: 6 -1.94761 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[146]: 6 -85.9046 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[179]: 6 0 37.6843 shouldn't be
245.19/246.79 WSVECS04 Frhs2[183]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[184]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[185]: 6 -2.14323 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[187]: 6 -1.75794 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[191]: 6 -6.77476 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[194]: 6 -116.321 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[229]: 6 -4.25794 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[230]: 6 -4.51587 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[236]: 6 -28.1763 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[239]: 6 -114.855 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[278]: 6 0 38.755 shouldn't be
245.19/246.79 WSVECS04 Frhs2[284]: 6 0 38.755 shouldn't be
245.19/246.79 WSVECS04 Frhs2[286]: 6 0 41.2659 shouldn't be
245.19/246.79 WSVECS04 Frhs2[288]: 6 0 41.2659 shouldn't be
245.19/246.79 WSVECS04 Frhs2[290]: 6 0 41.2659 shouldn't be
245.19/246.79 WSVECS04 Frhs2[373]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[387]: 6 -2.18503 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[455]: 6 0 6.48024 shouldn't be
245.19/246.79 WSVECS04 Frhs2[477]: 6 0 42.2659 shouldn't be
245.19/246.79 WSVECS04 Frhs2[542]: 6 0 0.928388 shouldn't be
245.19/246.79 WSVECS04 Frhs2[611]: 6 -3 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[613]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[627]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[688]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[741]: 6 -122.323 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[750]: 6 -0.778376 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[755]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[756]: 6 -3.0218 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[769]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[770]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[771]: 6 -4.0436 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[783]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[784]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[786]: 6 -6.08719 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[789]: 6 -1.89614 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[800]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[801]: 6 -10.1744 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[804]: 6 -1.79227 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[814]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[815]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[816]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[828]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[829]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[830]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[832]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[838]: 6 -43.9284 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[852]: 6 -99.8227 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[853]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[854]: 6 -7.8505 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[860]: 6 -0.314971 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[867]: 6 -91.656 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[870]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[873]: 6 -2.34252 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[877]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[884]: 6 -25.8506 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[905]: 6 -40.7572 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[953]: 6 -1.24105 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[994]: 6 -2.87948 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[998]: 6 -3.89714 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1008]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1009]: 6 -3.75895 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1039]: 6 -3.03581 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1042]: 6 -2.75 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1049]: 6 -111.722 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1053]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1054]: 6 -2.07161 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1058]: 6 -0.354191 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1075]: 6 -43.2659 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1077]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1079]: 6 -22.1533 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1084]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1086]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1087]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1089]: 6 -2.91648 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1092]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1098]: 6 -2.28645 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1099]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1102]: 6 -1 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1104]: 6 -3.83296 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1109]: 6 -85.613 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1135]: 6 -0.96757 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1137]: 6 -0.870278 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1139]: 6 -0.481108 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1143]: 6 -0.889188 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1145]: 6 -0.556751 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1146]: 6 -0.113502 0 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1154]: 6 0 19.6251 shouldn't be
245.19/246.79 WSVECS04 Frhs2[1160]: 6 -3.51191 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[2]: 6 -120.812 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[22]: 6 -43.2659 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[554]: 6 0 1 shouldn't be
245.30/246.87 WSVECS04 Frhs2[567]: 6 0 2 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1106]: 6 -3.5109 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1130]: 6 -0.998987 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1132]: 6 -0.995947 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1133]: 6 -0.991892 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1134]: 6 -0.983785 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1136]: 6 -0.935139 0 shouldn't be
245.30/246.87 WSVECS04 Frhs2[1138]: 6 -0.740554 0 shouldn't be
311.29/313.20 c #Conflicts: 323000 | #Constraints: 19274
311.29/313.20 c #Conflicts: 324000 | #Constraints: 20274
311.29/313.20 c #Conflicts: 325000 | #Constraints: 21274
311.29/313.20 c #Conflicts: 326000 | #Constraints: 22275
311.29/313.20 c #Conflicts: 327000 | #Constraints: 23275
311.29/313.20 c #Conflicts: 328000 | #Constraints: 24275
311.29/313.20 c #Conflicts: 329000 | #Constraints: 25275
311.29/313.20 c #Conflicts: 330000 | #Constraints: 26275
311.29/313.20 c #Conflicts: 331000 | #Constraints: 27276
311.29/313.20 c #Conflicts: 332000 | #Constraints: 28277
311.29/313.20 c #Conflicts: 333000 | #Constraints: 29278
311.29/313.20 c #Conflicts: 334000 | #Constraints: 30278
311.29/313.20 c #Conflicts: 335000 | #Constraints: 31278
311.29/313.20 c #Conflicts: 336000 | #Constraints: 32278
311.29/313.20 c #Conflicts: 337000 | #Constraints: 33278
311.29/313.20 c #Conflicts: 338000 | #Constraints: 34278
311.29/313.20 c #Conflicts: 339000 | #Constraints: 35279
311.29/313.20 c #Conflicts: 340000 | #Constraints: 36279
311.29/313.20 c #Conflicts: 341000 | #Constraints: 37279
311.29/313.20 c #Conflicts: 342000 | #Constraints: 38280
311.29/313.20 c #Conflicts: 343000 | #Constraints: 39281
311.29/313.20 c #Conflicts: 344000 | #Constraints: 40281
311.29/313.20 c #Conflicts: 345000 | #Constraints: 41282
311.29/313.20 c #Conflicts: 346000 | #Constraints: 42282
311.29/313.20 c #Conflicts: 347000 | #Constraints: 43282
311.29/313.20 c #Conflicts: 348000 | #Constraints: 44283
311.29/313.20 c #Conflicts: 349000 | #Constraints: 45283
311.29/313.20 c #Conflicts: 350000 | #Constraints: 46284
311.29/313.20 c #Conflicts: 351000 | #Constraints: 47284
311.29/313.20 c #Conflicts: 352000 | #Constraints: 48284
311.29/313.20 c #Conflicts: 353000 | #Constraints: 49284
311.29/313.20 c #Conflicts: 354000 | #Constraints: 50284
311.29/313.20 c #Conflicts: 355000 | #Constraints: 51284
311.29/313.20 c #Conflicts: 356000 | #Constraints: 52284
311.29/313.20 c #Conflicts: 357000 | #Constraints: 53284
311.29/313.20 c #Conflicts: 358000 | #Constraints: 54284
311.29/313.20 c #Conflicts: 359000 | #Constraints: 55284
311.29/313.20 c #Conflicts: 360000 | #Constraints: 56284
311.29/313.20 c #Conflicts: 361000 | #Constraints: 57284
311.29/313.20 c #Conflicts: 362000 | #Constraints: 58284
311.29/313.20 c #Conflicts: 363000 | #Constraints: 59284
311.29/313.20 c #Conflicts: 364000 | #Constraints: 60284
311.29/313.20 c INPROCESSING
311.29/313.20 c GARBAGE COLLECT
311.29/313.20 c #Conflicts: 365000 | #Constraints: 31772
311.29/313.20 c #Conflicts: 366000 | #Constraints: 32772
311.29/313.20 c #Conflicts: 367000 | #Constraints: 33772
311.29/313.20 c #Conflicts: 368000 | #Constraints: 34772
311.29/313.20 c #Conflicts: 369000 | #Constraints: 35772
311.29/313.20 c #Conflicts: 370000 | #Constraints: 36772
311.29/313.20 c #Conflicts: 371000 | #Constraints: 37772
311.29/313.20 c #Conflicts: 372000 | #Constraints: 38772
311.29/313.20 c #Conflicts: 373000 | #Constraints: 39773
311.29/313.20 c #Conflicts: 374000 | #Constraints: 40773
311.29/313.20 c #Conflicts: 375000 | #Constraints: 41773
311.29/313.20 c #Conflicts: 376000 | #Constraints: 42773
311.29/313.20 c #Conflicts: 377000 | #Constraints: 43778
311.29/313.20 c #Conflicts: 378000 | #Constraints: 44779
311.29/313.20 c #Conflicts: 379000 | #Constraints: 45780
311.29/313.20 c INPROCESSING
311.29/313.20 c GARBAGE COLLECT
311.29/313.20 WSVECS04 Frhs2[5]: 6 -4.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[6]: 6 -4.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[9]: 6 -4.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[10]: 6 -4.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[12]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[14]: 6 -4.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[15]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[16]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[21]: 6 -3.92859 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[22]: 6 -3.92857 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[25]: 6 -4.25446 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[26]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[32]: 6 0 0.379525 shouldn't be
311.29/313.20 WSVECS04 Frhs2[33]: 6 0 1.35717 shouldn't be
311.29/313.20 WSVECS04 Frhs2[38]: 6 -1.01796 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[39]: 6 0 1.92862 shouldn't be
311.29/313.20 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[60]: 6 0 0.39745 shouldn't be
311.29/313.20 WSVECS04 Frhs2[90]: 6 0 2.39743 shouldn't be
311.29/313.20 WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[92]: 6 -2.50006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[95]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[96]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[97]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[98]: 6 -1.50003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[101]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[104]: 6 -2.92855 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[105]: 6 0 0.397427 shouldn't be
311.29/313.20 WSVECS04 Frhs2[106]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[107]: 6 -2.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[110]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[111]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[112]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[113]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[116]: 6 -5.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[119]: 6 -3.92859 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[120]: 6 0 0.397449 shouldn't be
311.29/313.20 WSVECS04 Frhs2[129]: 6 0 3.00007 shouldn't be
311.29/313.20 WSVECS04 Frhs2[135]: 6 0 0.397465 shouldn't be
311.29/313.20 WSVECS04 Frhs2[150]: 6 0 0.397469 shouldn't be
311.29/313.20 WSVECS04 Frhs2[151]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[154]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[155]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[156]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[158]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[164]: 6 -3.92855 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[165]: 6 0 0.397479 shouldn't be
311.29/313.20 WSVECS04 Frhs2[166]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[167]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[169]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[170]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[172]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[173]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[175]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[177]: 6 -3.92856 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[196]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[197]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[199]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[202]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[227]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[229]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[230]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[231]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[232]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[233]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[241]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[242]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[245]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[246]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[247]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[254]: 6 -1.07154 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[315]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[316]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[317]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[331]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[344]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[345]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[363]: 6 -3.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[368]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[373]: 6 -5.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[374]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[377]: 6 -1.50002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[378]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[380]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[382]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[385]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[386]: 6 -3.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[387]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[388]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[396]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[402]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[405]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[406]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[407]: 6 0 4.0915 shouldn't be
311.29/313.20 WSVECS04 Frhs2[410]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[412]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[414]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[416]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[419]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[420]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[422]: 6 -3.92856 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[424]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[428]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[434]: 6 -1.50008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[437]: 6 0 1.92857 shouldn't be
311.29/313.20 WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[443]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[446]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[452]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[454]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[455]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[460]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[461]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[462]: 6 -4.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[507]: 6 0 1.0001 shouldn't be
311.29/313.20 WSVECS04 Frhs2[524]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[525]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[526]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[527]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[539]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[541]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[545]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[554]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[555]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[559]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[569]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[573]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[581]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[583]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[584]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[587]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[588]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[590]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[592]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[595]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[596]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[601]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[602]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[606]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[612]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[615]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[616]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[618]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[620]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[622]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[623]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[624]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[626]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[629]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[630]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[632]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[634]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[638]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[644]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[650]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[652]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[653]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[654]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[656]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[658]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[659]: 6 -3.92857 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[660]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[662]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[664]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[665]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[666]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[667]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[668]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[670]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[671]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[676]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[696]: 6 -0.50004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[699]: 6 -0.651846 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[705]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[707]: 6 -1.14294 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[734]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[735]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[749]: 6 -1.00006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[750]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[751]: 6 -1.75005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[753]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[754]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[755]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[756]: 6 -1.0001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[764]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[765]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[768]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[769]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[770]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[779]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[780]: 6 -0.500092 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[782]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[785]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[786]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[792]: 6 -2.96432 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[794]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[796]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[799]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[801]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[811]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[817]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[818]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[824]: 6 -3.92856 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[831]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[835]: 6 -1.50006 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[841]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[858]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[859]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[860]: 6 -2.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[863]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[871]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[872]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[875]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[885]: 6 -3.92859 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[886]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[891]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[892]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[893]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[898]: 6 -3.92862 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[899]: 6 -3.92859 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[900]: 6 -4.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[961]: 6 -1.87501 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[962]: 6 -0.250078 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[976]: 6 -1.75003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[979]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[981]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[995]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1005]: 6 -4.42858 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1010]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1011]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1015]: 6 -1.57207 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1021]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1024]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1026]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1029]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1030]: 6 -2.14405 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1031]: 6 -1.50009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1033]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1035]: 6 -3.92857 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1036]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1039]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1042]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1043]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1045]: 6 -3.28797 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1048]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1055]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1056]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1057]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1066]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1072]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1074]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1077]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1078]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1080]: 6 -3.92858 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1083]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1084]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1085]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1094]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1096]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1097]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1100]: 6 -1.00004 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1104]: 6 -1.00002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1110]: 6 -1.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1111]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1113]: 6 -1.00005 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1119]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1122]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1123]: 6 -1.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1124]: 6 -1.00003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1125]: 6 -1.00009 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1142]: 6 -0.984474 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1143]: 6 -0.968805 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1144]: 6 -0.93752 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1145]: 6 -0.875049 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1146]: 6 -0.75002 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1149]: 6 0 1.00009 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1150]: 6 0 0.0715115 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1152]: 6 0 12.0715 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1169]: 6 -1.00199 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1176]: 6 -1.25003 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1178]: 6 -2.00007 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1181]: 6 -9.00008 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1183]: 6 -27.1435 0 shouldn't be
311.29/313.20 WSVECS04 Frhs2[1184]: 6 -53.287 0 shouldn't be
320.87/322.86 c #Conflicts: 380000 | #Constraints: 24691
320.87/322.86 c #Conflicts: 381000 | #Constraints: 25691
320.87/322.86 c #Conflicts: 382000 | #Constraints: 26691
320.87/322.86 c #Conflicts: 383000 | #Constraints: 27691
320.87/322.86 c #Conflicts: 384000 | #Constraints: 28691
320.87/322.86 c #Conflicts: 385000 | #Constraints: 29691
320.87/322.86 c #Conflicts: 386000 | #Constraints: 30691
320.87/322.86 c #Conflicts: 387000 | #Constraints: 31691
320.87/322.86 c #Conflicts: 388000 | #Constraints: 32691
320.87/322.86 c #Conflicts: 389000 | #Constraints: 33691
320.87/322.86 c #Conflicts: 390000 | #Constraints: 34691
320.87/322.86 c #Conflicts: 391000 | #Constraints: 35691
320.87/322.86 c #Conflicts: 392000 | #Constraints: 36691
320.87/322.86 c #Conflicts: 393000 | #Constraints: 37691
320.87/322.86 c #Conflicts: 394000 | #Constraints: 38692
320.87/322.86 c INPROCESSING
320.87/322.86 c GARBAGE COLLECT
320.87/322.86 WSVECS04 Frhs2[4]: 6 -78.2457 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[7]: 6 -79.069 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[8]: 6 -46.5882 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[10]: 6 -36.5017 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[12]: 6 -10.2574 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[14]: 6 -33.031 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[18]: 6 -10.422 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[22]: 6 -51.3211 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[23]: 6 -57.3474 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[24]: 6 -56.4119 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[27]: 6 -39.4152 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[30]: 6 -83.5347 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[36]: 6 -1.00198 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[37]: 6 -1.28519 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[38]: 6 -0.060574 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[39]: 6 -1.50201 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[44]: 6 0 38.3044 shouldn't be
320.87/322.86 WSVECS04 Frhs2[82]: 6 -36.9705 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[90]: 6 -17.3999 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[126]: 6 -6.89171 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[142]: 6 -2.04493 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[143]: 6 -0.0897352 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[144]: 6 -0.812582 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[150]: 6 -25.5058 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[158]: 6 0 2.88315 shouldn't be
320.87/322.86 WSVECS04 Frhs2[161]: 6 0 17 shouldn't be
320.87/322.86 WSVECS04 Frhs2[171]: 6 -2.08973 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[187]: 6 0 0.641143 shouldn't be
320.87/322.86 WSVECS04 Frhs2[210]: 6 -9.98443 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[212]: 6 0 4.20916 shouldn't be
320.87/322.86 WSVECS04 Frhs2[216]: 6 0 4.28229 shouldn't be
320.87/322.86 WSVECS04 Frhs2[217]: 6 0 11.5645 shouldn't be
320.87/322.86 WSVECS04 Frhs2[240]: 6 -17.9688 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[293]: 6 0 6.98442 shouldn't be
320.87/322.86 WSVECS04 Frhs2[417]: 6 -69 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[444]: 6 -129 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[445]: 6 -1.00006 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[454]: 6 0 4.00009 shouldn't be
320.87/322.86 WSVECS04 Frhs2[455]: 6 0 16.0001 shouldn't be
320.87/322.86 WSVECS04 Frhs2[466]: 6 0 0.250034 shouldn't be
320.87/322.86 WSVECS04 Frhs2[469]: 6 0 8.98441 shouldn't be
320.87/322.86 WSVECS04 Frhs2[482]: 6 0 9.98444 shouldn't be
320.87/322.86 WSVECS04 Frhs2[527]: 6 -4.00006 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
320.87/322.86 WSVECS04 Frhs2[545]: 6 0 1.00007 shouldn't be
320.87/322.86 WSVECS04 Frhs2[567]: 6 0 9.95531 shouldn't be
320.87/322.86 WSVECS04 Frhs2[572]: 6 0 14.7822 shouldn't be
320.87/322.86 WSVECS04 Frhs2[591]: 6 0 16.9688 shouldn't be
320.87/322.86 WSVECS04 Frhs2[603]: 6 0 2.89259 shouldn't be
320.87/322.86 WSVECS04 Frhs2[605]: 6 -5.99229 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[626]: 6 -63.5 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[667]: 6 0 2.00003 shouldn't be
320.87/322.86 WSVECS04 Frhs2[668]: 6 0 2.00003 shouldn't be
320.87/322.86 WSVECS04 Frhs2[670]: 6 0 64.8751 shouldn't be
320.87/322.86 WSVECS04 Frhs2[688]: 6 -2.00007 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[701]: 6 -0.576181 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[749]: 6 -1.25008 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[763]: 6 -14.4922 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[823]: 6 -6.4922 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[837]: 6 -2.44345 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[840]: 6 0 5.541 shouldn't be
320.87/322.86 WSVECS04 Frhs2[853]: 6 -1.00002 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[854]: 6 -1.00009 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[855]: 6 0 5.54106 shouldn't be
320.87/322.86 WSVECS04 Frhs2[856]: 6 0 2.21397 shouldn't be
320.87/322.86 WSVECS04 Frhs2[864]: 6 -1.00002 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[870]: 6 -1.00009 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[882]: 6 -42.0427 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[885]: 6 -8.98442 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[886]: 6 0 14.8558 shouldn't be
320.87/322.86 WSVECS04 Frhs2[890]: 6 0 7.00009 shouldn't be
320.87/322.86 WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[894]: 6 -1.00003 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[930]: 6 -89.8652 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1024]: 6 -5.96205 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1028]: 6 -4.82062 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1043]: 6 -8.64118 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1058]: 6 -0.500064 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1059]: 6 -33.5626 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1079]: 6 -0.875099 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1092]: 6 -0.500037 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1093]: 6 -0.750037 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1101]: 6 -1.00006 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1115]: 6 0 2.56448 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1134]: 6 -1.50001 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1146]: 6 -1.00003 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1148]: 6 -1.0001 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1152]: 6 -8.98446 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1153]: 6 -16.9688 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1171]: 6 -1.00003 0 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1184]: 6 0 30.9347 shouldn't be
320.87/322.86 WSVECS04 Frhs2[1185]: 6 0 48.3497 shouldn't be
321.03/323.01 c cpu time 317.999 s
321.03/323.01 c deterministic time 13727947479 1.37e+10
321.03/323.01 c optimization time 4.8e-05 s
321.03/323.01 c total solve time 317.975 s
321.03/323.01 c core-guided solve time 0 s
321.03/323.01 c propagation time 177.278 s
321.03/323.01 c conflict analysis time 128.948 s
321.03/323.01 c propagations 78729429
321.03/323.01 c resolve steps 29211410
321.03/323.01 c decisions 542020
321.03/323.01 c conflicts 394436
321.03/323.01 c restarts 955
321.03/323.01 c inprocessing phases 34
321.03/323.01 c garbage collections 34 ,( 100.00 )
321.03/323.01 c input clauses 855 ,( 50.41 )
321.03/323.01 c input cardinalities 0 ,( 0.00 )
321.03/323.01 c input general constraints 841 ,( 49.59 )
321.03/323.01 c input average constraint length 3.62
321.03/323.01 c input average constraint degree 633104.46
321.03/323.01 c learned clauses 302504 ,( 76.68 )
321.03/323.01 c learned cardinalities 67 ,( 0.02 )
321.03/323.01 c learned general constraints 91925 ,( 23.30 )
321.03/323.01 c learned average constraint length 119.81
321.03/323.01 c learned average constraint degree 36220684.27
321.03/323.01 c watched CF 32, 64, 128, Arb: 16275 , 0 , 0 , 0
321.03/323.01 c counting CF 32, 64, 128, Arb: 76491 , 0 , 0 , 0
321.03/323.01 c watched constraints 16275 ,( 17.54 )
321.03/323.01 c counting constraints 76491 ,( 82.46 )
321.03/323.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 202610595 , 1605367 , 3204433043 ,( 12519143 , 3191913900 )
321.03/323.01 c gcd simplifications 6527
321.03/323.01 c detected cardinalities 28
321.03/323.01 c weakened non-implied lits 11345386
321.03/323.01 c weakened non-implying lits 22502
321.03/323.01 c original variables 1185
321.03/323.01 c clausal propagations 24348760
321.03/323.01 c cardinality propagations 87388
321.03/323.01 c watched propagations 265520
321.03/323.01 c counting propagations 53630833
321.03/323.01 c watch lookups 8753779294
321.03/323.01 c watch backjump lookups 0
321.03/323.01 c watch checks 527434658
321.03/323.01 c propagation checks 4065861982
321.03/323.01 c constraint additions 221853023
321.03/323.01 c trail pops 79665884
321.03/323.01 c formula constraints 1696
321.03/323.01 c learned constraints 394434
321.03/323.01 c bound constraints 0
321.03/323.01 c core-guided constraints 0
321.03/323.01 c encountered formula constraints 20966161
321.03/323.01 c encountered learned constraints 8638494
321.03/323.01 c encountered bound constraints 0
321.03/323.01 c encountered core-guided constraints 0
321.03/323.01 c LP total time 6.28793 s
321.03/323.01 c LP solve time 4.82 s
321.03/323.01 c LP constraints added 1717
321.03/323.01 c LP constraints removed 4
321.03/323.01 c LP pivots internal 39726
321.03/323.01 c LP pivots root 41462
321.03/323.01 c LP calls 134
321.03/323.01 c LP optimalities 32
321.03/323.01 c LP no pivot count 1
321.03/323.01 c LP infeasibilities 61
321.03/323.01 c LP valid Farkas constraints 56
321.03/323.01 c LP learned Farkas constraints 0
321.03/323.01 c LP basis resets 43
321.03/323.01 c LP cycling count 9
321.03/323.01 c LP singular count 19
321.03/323.01 c LP no primal count 0
321.03/323.01 c LP no farkas count 5
321.03/323.01 c LP other issue count 10
321.03/323.01 c LP Gomory cuts 6
321.03/323.01 c LP learned cuts 15
321.03/323.01 c LP deleted cuts 4
321.03/323.01 c LP encountered Gomory constraints 1
321.03/323.01 c LP encountered Farkas constraints 1189
321.03/323.01 c LP encountered learned Farkas constraints 0
321.03/323.01 c CG auxiliary variables introduced 0
321.03/323.01 c CG solutions found 0
321.03/323.01 c CG cores constructed 0
321.03/323.01 c CG core cardinality constraints returned 0
321.03/323.01 c CG unit cores 0
321.03/323.01 c CG single cores 0
321.03/323.01 c CG blocks removed during cardinality reduction 0
321.03/323.01 c CG first core best 0
321.03/323.01 c CG decision core best 0
321.03/323.01 c CG core reduction tie 0
321.03/323.01 c CG core degree average 0.00
321.03/323.01 c CG core slack average 0.00
321.03/323.01 c CG core upper bound improvements 0
321.03/323.01 c STR number of successful calls 0
321.03/323.01 c STR number of unsuccessful calls 0
321.03/323.01 c STR number of inconclusive calls 0
321.03/323.01 c STR number of successful attempts 0
321.03/323.01 c STR number of unsuccessful attempts 0
321.03/323.01 c STR number of inconclusive attempts 0
321.03/323.01 c STR average degree increase per successful call inf
321.03/323.01 c STR average degree increase per successful attempt inf
321.03/323.01 c STR total number of conflicts for successful attempts 0
321.03/323.01 c STR total number of conflicts for unsuccessful attempts 0
321.03/323.01 c STR total number of conflicts for inconclusive attempts 0
321.03/323.01 c STR average number of conflicts per successful attempt inf
321.03/323.01 c STR average number of conflicts per unsuccessful attempt inf
321.03/323.01 c STR average number of conflicts per inconclusive attempt inf
321.03/323.01 c AVG.sumWPerc 71.90
321.03/323.01 c bigint constraints 0
321.03/323.01 s UNSATISFIABLE
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: 63794 MiB (48114 MiB free)
memory of node 1: 64507 MiB (63503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517115-1751224361/watcher-4517115-1751224361 -o /tmp/evaluation-result-4517115-1751224361/solver-4517115-1751224361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27474 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4517115-1751224361.opb PROOFDIR/proof-4517115-1751224361
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31643, runsolver pid=31640
[startup+0.100083 s]*
/proc/loadavg: 4.29 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114292792/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=58672 memory=13280 CPUtime=0.07 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 1432 0 0 0 6 1 0 0 20 0 1 0 38115513 60080128 3320 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 14668 3320 2368 1147 0 2095 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62864 KiB
Current children cumulated memory: 16224 KiB
[startup+0.205796 s]*
/proc/loadavg: 4.29 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114292792/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=59452 memory=16264 CPUtime=0.16 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 1632 0 0 0 15 1 0 0 20 0 1 0 38115513 60878848 4066 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 14863 4066 2400 1147 0 2290 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63644 KiB
Current children cumulated memory: 19208 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.29 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114292792/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=59716 memory=16520 CPUtime=0.27 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 1697 0 0 0 25 2 0 0 20 0 1 0 38115513 61149184 4130 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 14929 4130 2400 1147 0 2356 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63908 KiB
Current children cumulated memory: 19464 KiB
[startup+0.700376 s]
/proc/loadavg: 4.29 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114292792/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=60148 memory=16904 CPUtime=0.65 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 1792 0 0 0 63 2 0 0 20 0 1 0 38115513 61591552 4226 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 15037 4226 2400 1147 0 2464 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 64340 KiB
Current children cumulated memory: 19848 KiB
[startup+1.50034 s]
/proc/loadavg: 4.29 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114280696/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=61136 memory=17928 CPUtime=1.45 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 2056 0 0 0 141 4 0 0 20 0 1 0 38115513 62603264 4482 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 15284 4482 2400 1147 0 2711 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65328 KiB
Current children cumulated memory: 20872 KiB
[startup+3.11329 s]
/proc/loadavg: 4.27 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114240912/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=62604 memory=19208 CPUtime=3.06 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 2381 0 0 0 297 9 0 0 20 0 1 0 38115513 64106496 4802 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 15651 4802 2400 1147 0 3078 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66796 KiB
Current children cumulated memory: 22152 KiB
[startup+6.30039 s]
/proc/loadavg: 4.27 4.18 4.17 5/263 31646
/proc/meminfo: memFree=114209916/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=65120 memory=21768 CPUtime=6.24 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 3026 0 0 0 610 14 0 0 20 0 1 0 38115513 66682880 5442 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 16280 5442 2400 1147 0 3707 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 69312 KiB
Current children cumulated memory: 24712 KiB
[startup+12.7004 s]
/proc/loadavg: 4.23 4.17 4.16 5/263 31646
/proc/meminfo: memFree=114121396/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=68352 memory=27352 CPUtime=12.62 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 3828 0 0 0 1237 25 0 0 20 0 1 0 38115513 69992448 6838 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 17088 6838 2496 1147 0 4515 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 72544 KiB
Current children cumulated memory: 30296 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.16 4.16 5/263 31646
/proc/meminfo: memFree=113960180/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=80280 memory=37188 CPUtime=25.38 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 5790 0 0 0 2496 42 0 0 20 0 1 0 38115513 82206720 9297 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 20070 9297 2496 1147 0 7497 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 84472 KiB
Current children cumulated memory: 40132 KiB
[startup+51.1135 s]
/proc/loadavg: 4.19 4.17 4.16 5/263 31646
/proc/meminfo: memFree=113672712/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=92792 memory=50244 CPUtime=50.79 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 9050 0 0 0 5006 73 0 0 20 0 1 0 38115513 95019008 12561 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 23198 12561 2496 1147 0 10625 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 96984 KiB
Current children cumulated memory: 53188 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/263 31652
/proc/meminfo: memFree=113195688/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=104436 memory=60524 CPUtime=101.66 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 10089 0 0 0 10042 124 0 0 20 0 1 0 38115513 106942464 15131 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 26109 15131 2496 1147 0 13536 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 108628 KiB
Current children cumulated memory: 63468 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/262 31798
/proc/meminfo: memFree=112988680/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=122756 memory=76820 CPUtime=161.23 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 12141 0 0 0 15950 173 0 0 20 0 1 0 38115513 125702144 19205 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 30689 19205 2496 1147 0 18116 0
Current children cumulated CPU time: 161.23 s
Current children cumulated vsize: 126948 KiB
Current children cumulated memory: 79764 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/258 31847
/proc/meminfo: memFree=112480616/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=124984 memory=80904 CPUtime=220.86 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 12927 0 0 0 21862 224 0 0 20 0 1 0 38115513 127983616 20226 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 31246 20226 2496 1147 0 18673 0
Current children cumulated CPU time: 220.86 s
Current children cumulated vsize: 129176 KiB
Current children cumulated memory: 83848 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/259 31850
/proc/meminfo: memFree=111877500/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=126252 memory=82436 CPUtime=280.55 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 13795 0 0 0 27781 274 0 0 20 0 1 0 38115513 129282048 20609 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 31563 20609 2496 1147 0 18990 0
Current children cumulated CPU time: 280.55 s
Current children cumulated vsize: 130444 KiB
Current children cumulated memory: 85380 KiB
[startup+323.018 s]
# the end of solver process 31643 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=318.018 s, system=3.0377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.19 4.16 4.16 5/258 31852
/proc/meminfo: memFree=111665104/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=128220 memory=87056 CPUtime=305.36 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14456 0 0 0 30250 286 0 0 20 0 1 0 38115513 131297280 21764 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32055 21764 2496 1147 0 19482 0
Current children cumulated CPU time: 305.36 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 90000 KiB
[startup+313.6 s]
/proc/loadavg: 4.17 4.16 4.16 5/258 31852
/proc/meminfo: memFree=111506880/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=128756 memory=87440 CPUtime=311.69 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14791 0 0 0 30876 293 0 0 20 0 1 0 38115513 131846144 21860 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32189 21860 2496 1147 0 19616 0
Current children cumulated CPU time: 311.69 s
Current children cumulated vsize: 132948 KiB
Current children cumulated memory: 90384 KiB
[startup+320 s]*
/proc/loadavg: 4.16 4.15 4.16 5/258 31852
/proc/meminfo: memFree=111167496/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=128756 memory=87440 CPUtime=318.08 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14791 0 0 0 31509 299 0 0 20 0 1 0 38115513 131846144 21860 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32189 21860 2496 1147 0 19616 0
Current children cumulated CPU time: 318.08 s
Current children cumulated vsize: 132948 KiB
Current children cumulated memory: 90384 KiB
[startup+321.6 s]
/proc/loadavg: 4.16 4.15 4.16 5/258 31852
/proc/meminfo: memFree=111127176/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=128756 memory=87440 CPUtime=319.66 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14791 0 0 0 31666 300 0 0 20 0 1 0 38115513 131846144 21860 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32189 21860 2496 1147 0 19616 0
Current children cumulated CPU time: 319.66 s
Current children cumulated vsize: 132948 KiB
Current children cumulated memory: 90384 KiB
[startup+322.4 s]
/proc/loadavg: 4.15 4.15 4.16 5/258 31852
/proc/meminfo: memFree=111078552/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=128756 memory=87440 CPUtime=320.46 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14791 0 0 0 31745 301 0 0 20 0 1 0 38115513 131846144 21860 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32189 21860 2496 1147 0 19616 0
Current children cumulated CPU time: 320.46 s
Current children cumulated vsize: 132948 KiB
Current children cumulated memory: 90384 KiB
[startup+322.8 s]
/proc/loadavg: 4.15 4.15 4.16 5/258 31852
/proc/meminfo: memFree=111078552/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=129096 memory=87696 CPUtime=320.87 cores=5,7
/proc/31646/stat : 31646 (roundingsat) R 31643 31643 27461 0 -1 4194304 14853 0 0 0 31785 302 0 0 20 0 1 0 38115513 132194304 21924 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32274 21924 2496 1147 0 19701 0
Current children cumulated CPU time: 320.87 s
Current children cumulated vsize: 133288 KiB
Current children cumulated memory: 90640 KiB
[startup+323 s]*
/proc/loadavg: 4.15 4.15 4.16 5/258 31852
/proc/meminfo: memFree=111057096/131382120 swapFree=33010416/33010684
[pid=31643] ppid=31640 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/31643/stat : 31643 (run-dec-break-l) S 31640 31643 27461 0 -1 4194304 239 732 0 0 0 0 0 0 20 0 1 0 38115510 4292608 736 18446744073709551615 94486712909824 94486713804357 140727796019584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94486714043408 94486714091152 94486732152832 140727796021525 140727796021726 140727796021726 140727796027328 0
/proc/31643/statm: 1048 736 672 219 0 110 0
[pid=31646] ppid=31643 vsize=129096 memory=87696 CPUtime=321.03 cores=5,7
/proc/31646/stat : 31646 (roundingsat) D 31643 31643 27461 0 -1 4194304 14853 0 0 0 31800 303 0 0 20 0 1 0 38115513 132194304 21924 18446744073709551615 4227072 8923433 140733878312224 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20361216 140733878315252 140733878315560 140733878315560 140733878321130 0
/proc/31646/statm: 32274 21924 2496 1147 0 19701 0
Current children cumulated CPU time: 321.03 s
Current children cumulated vsize: 133288 KiB
Current children cumulated memory: 90640 KiB
Child status: 0
Real time (s): 323.018
CPU time (s): 321.056
CPU user time (s): 318.018
CPU system time (s): 3.0377
CPU usage (%): 99.3927
Max. virtual memory (cumulated for all children) (KiB): 133288
Max. memory (cumulated for all children) (KiB): 90640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 318.018
system time used= 3.0377
maximum resident set size= 88068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2372224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3913
involuntary context switches= 608
# summary of solver processes directly reported to runsolver:
# pid: 31643
# total CPU time (s): 321.056
# total CPU user time (s): 318.018
# total CPU system time (s): 3.0377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70884 second user time and 3.2411 second system time
The end
Begin job on nodeC006 at 2025-06-29 21:12:41
IDJOB=4517115
IDBENCH=176016
IDSOLVER=3358
FILE ID=nodeC006/4517115-1751224361
RUNJOBID= nodeC006-1751216867-27474
SLURM_JOB_ID= 9587659
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-15array_diag_greater.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517115-1751224361/watcher-4517115-1751224361 -o /tmp/evaluation-result-4517115-1751224361/solver-4517115-1751224361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27474 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4517115-1751224361.opb PROOFDIR/proof-4517115-1751224361
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d43ecb7c1452ca8da1aa915bfc6a97e8
RANDOM SEED=823531879
nodeC006 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 : 0xb00001f
cpu MHz : 3662.457
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3662.515
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.473
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.433
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3662.467
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3662.451
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 114299044 kB
MemAvailable: 128731296 kB
Buffers: 2128 kB
Cached: 15225272 kB
SwapCached: 12 kB
Active: 1571468 kB
Inactive: 14954588 kB
Active(anon): 1303908 kB
Inactive(anon): 12740 kB
Active(file): 267560 kB
Inactive(file): 14941848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 151136 kB
Writeback: 0 kB
AnonPages: 1300964 kB
Mapped: 116756 kB
Shmem: 17948 kB
KReclaimable: 124560 kB
Slab: 211748 kB
SReclaimable: 124560 kB
SUnreclaim: 87188 kB
KernelStack: 4240 kB
PageTables: 5848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1850700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 813056 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 21:18:05