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-4517114-1751225145.opb'
0.00/0.01 c read 0.04MB (0.70ms)
0.00/0.01 c [cnf: #variables 1185 #clauses 1186 #duplicates 0 #arr 3885]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (1.22ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.29ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 5867 #edges 14762]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.35ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4517114-1751225145.opb.pre'
0.00/0.01 c wrote 0.04MB (0.14ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 1.22ms 42.25% approx_orbits
0.00/0.01 c 0.70ms 24.35% parse
0.00/0.01 c 0.35ms 12.02% detect_generic
0.00/0.01 c 0.29ms 9.98% detect_special
0.00/0.01 c 0.15ms 5.26% other
0.00/0.01 c 0.14ms 4.90% output
0.00/0.01 c 0.04ms 1.24% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 2.88ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1185 #constraints 1696
0.00/0.03 c rational objective 1.86265e-09
0.28/0.34 c #Conflicts: 1000 | #Constraints: 2696
0.28/0.34 c #Conflicts: 2000 | #Constraints: 3696
0.28/0.34 c INPROCESSING
0.28/0.34 c GARBAGE COLLECT
0.28/0.34 c rational objective 5.02486
0.66/0.71 c #Conflicts: 3000 | #Constraints: 3716
0.66/0.71 c #Conflicts: 4000 | #Constraints: 4716
0.66/0.71 c INPROCESSING
0.66/0.71 c GARBAGE COLLECT
0.66/0.71 c rational objective 5.18751
2.26/2.38 c #Conflicts: 5000 | #Constraints: 4141
2.26/2.38 c #Conflicts: 6000 | #Constraints: 5144
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c #Conflicts: 7000 | #Constraints: 4157
2.26/2.38 c #Conflicts: 8000 | #Constraints: 5157
2.26/2.38 c #Conflicts: 9000 | #Constraints: 6159
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c #Conflicts: 10000 | #Constraints: 4886
2.26/2.38 c #Conflicts: 11000 | #Constraints: 5887
2.26/2.38 c #Conflicts: 12000 | #Constraints: 6887
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c rational objective 5.26563
4.96/5.06 c #Conflicts: 13000 | #Constraints: 5356
4.96/5.06 c #Conflicts: 14000 | #Constraints: 6356
4.96/5.06 c #Conflicts: 15000 | #Constraints: 7356
4.96/5.06 c INPROCESSING
4.96/5.06 c GARBAGE COLLECT
4.96/5.06 c #Conflicts: 16000 | #Constraints: 5574
4.96/5.06 c #Conflicts: 17000 | #Constraints: 6574
4.96/5.06 c #Conflicts: 18000 | #Constraints: 7574
4.96/5.06 c INPROCESSING
4.96/5.06 c GARBAGE COLLECT
4.96/5.06 c #Conflicts: 19000 | #Constraints: 5599
4.96/5.06 c #Conflicts: 20000 | #Constraints: 6599
4.96/5.06 c #Conflicts: 21000 | #Constraints: 7600
4.96/5.06 c INPROCESSING
4.96/5.06 c GARBAGE COLLECT
4.96/5.06 c rational objective 5.26954
17.63/17.77 c #Conflicts: 22000 | #Constraints: 5416
17.63/17.77 c #Conflicts: 23000 | #Constraints: 6417
17.63/17.77 c #Conflicts: 24000 | #Constraints: 7418
17.63/17.77 c #Conflicts: 25000 | #Constraints: 8418
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c #Conflicts: 26000 | #Constraints: 6035
17.63/17.77 c #Conflicts: 27000 | #Constraints: 7035
17.63/17.77 c #Conflicts: 28000 | #Constraints: 8037
17.63/17.77 c #Conflicts: 29000 | #Constraints: 9038
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c #Conflicts: 30000 | #Constraints: 6442
17.63/17.77 c #Conflicts: 31000 | #Constraints: 7442
17.63/17.77 c #Conflicts: 32000 | #Constraints: 8442
17.63/17.77 c #Conflicts: 33000 | #Constraints: 9442
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c #Conflicts: 34000 | #Constraints: 6668
17.63/17.77 c #Conflicts: 35000 | #Constraints: 7668
17.63/17.77 c #Conflicts: 36000 | #Constraints: 8668
17.63/17.77 c #Conflicts: 37000 | #Constraints: 9668
17.63/17.77 c #Conflicts: 38000 | #Constraints: 10668
17.63/17.77 c #Conflicts: 39000 | #Constraints: 11668
17.63/17.77 c #Conflicts: 40000 | #Constraints: 12668
17.63/17.77 c #Conflicts: 41000 | #Constraints: 13668
17.63/17.77 c #Conflicts: 42000 | #Constraints: 14668
17.63/17.77 c #Conflicts: 43000 | #Constraints: 15668
17.63/17.77 c #Conflicts: 44000 | #Constraints: 16668
17.63/17.77 c #Conflicts: 45000 | #Constraints: 17668
17.63/17.77 c #Conflicts: 46000 | #Constraints: 18668
17.63/17.77 c #Conflicts: 47000 | #Constraints: 19668
17.63/17.77 c #Conflicts: 48000 | #Constraints: 20668
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c #Conflicts: 49000 | #Constraints: 12279
17.63/17.77 c #Conflicts: 50000 | #Constraints: 13279
17.63/17.77 c #Conflicts: 51000 | #Constraints: 14279
17.63/17.77 c #Conflicts: 52000 | #Constraints: 15279
17.63/17.77 c #Conflicts: 53000 | #Constraints: 16279
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c #Conflicts: 54000 | #Constraints: 9933
17.63/17.77 c #Conflicts: 55000 | #Constraints: 10933
17.63/17.77 c #Conflicts: 56000 | #Constraints: 11933
17.63/17.77 c #Conflicts: 57000 | #Constraints: 12934
17.63/17.77 c #Conflicts: 58000 | #Constraints: 13934
17.63/17.77 c INPROCESSING
17.63/17.77 c GARBAGE COLLECT
17.63/17.77 c rational objective 5.33643
28.10/28.27 c #Conflicts: 59000 | #Constraints: 8539
28.10/28.27 c #Conflicts: 60000 | #Constraints: 9540
28.10/28.27 c #Conflicts: 61000 | #Constraints: 10540
28.10/28.27 c #Conflicts: 62000 | #Constraints: 11540
28.10/28.27 c #Conflicts: 63000 | #Constraints: 12540
28.10/28.27 c #Conflicts: 64000 | #Constraints: 13542
28.10/28.27 c INPROCESSING
28.10/28.27 c GARBAGE COLLECT
28.10/28.27 c #Conflicts: 65000 | #Constraints: 8472
28.10/28.27 c #Conflicts: 66000 | #Constraints: 9472
28.10/28.27 c #Conflicts: 67000 | #Constraints: 10472
28.10/28.27 c #Conflicts: 68000 | #Constraints: 11472
28.10/28.27 c #Conflicts: 69000 | #Constraints: 12472
28.10/28.27 c #Conflicts: 70000 | #Constraints: 13472
28.10/28.27 c #Conflicts: 71000 | #Constraints: 14472
28.10/28.27 c #Conflicts: 72000 | #Constraints: 15472
28.10/28.27 c #Conflicts: 73000 | #Constraints: 16472
28.10/28.27 c #Conflicts: 74000 | #Constraints: 17472
28.10/28.27 c #Conflicts: 75000 | #Constraints: 18472
28.10/28.27 c #Conflicts: 76000 | #Constraints: 19472
28.10/28.27 c #Conflicts: 77000 | #Constraints: 20472
28.10/28.27 c #Conflicts: 78000 | #Constraints: 21472
28.10/28.27 c #Conflicts: 79000 | #Constraints: 22473
28.10/28.27 c #Conflicts: 80000 | #Constraints: 23473
28.10/28.27 c #Conflicts: 81000 | #Constraints: 24473
28.10/28.27 c #Conflicts: 82000 | #Constraints: 25473
28.10/28.27 c #Conflicts: 83000 | #Constraints: 26473
28.10/28.27 WSVECS04 Frhs2[17]: 6 -23.5969 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[197]: 6 -1.00007 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[200]: 6 -5.19344 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[201]: 6 -3.38684 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[242]: 6 -1.00009 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[276]: 6 0 3.75009 shouldn't be
28.10/28.27 WSVECS04 Frhs2[279]: 6 0 44.75 shouldn't be
28.10/28.27 WSVECS04 Frhs2[280]: 6 0 92.0001 shouldn't be
28.10/28.27 WSVECS04 Frhs2[302]: 6 0 3.00006 shouldn't be
28.10/28.27 WSVECS04 Frhs2[330]: 6 -19 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[338]: 6 -1.00007 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[380]: 6 -47109 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[384]: 6 0 88.7267 shouldn't be
28.10/28.27 WSVECS04 Frhs2[394]: 6 -1.00007 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[397]: 6 0 87.7266 shouldn't be
28.10/28.27 WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
28.10/28.27 WSVECS04 Frhs2[424]: 6 0 3.00004 shouldn't be
28.10/28.27 WSVECS04 Frhs2[491]: 6 0 179.003 shouldn't be
28.10/28.27 WSVECS04 Frhs2[497]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[505]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[506]: 6 -1.00005 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[521]: 6 0 2937.05 shouldn't be
28.10/28.27 WSVECS04 Frhs2[533]: 6 -1471.02 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[547]: 6 -1.00001 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[554]: 6 -48.0125 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[562]: 6 -1.00007 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[617]: 6 0 94202.5 shouldn't be
28.10/28.27 WSVECS04 Frhs2[631]: 6 -188413 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[683]: 6 -1.00006 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[684]: 6 -1.00008 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[697]: 6 -1.0001 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[720]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[724]: 6 -1.00003 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[733]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[734]: 6 -1.00009 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[762]: 6 -737 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[798]: 6 -1.00002 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[812]: 6 -1.00007 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[838]: 6 -47108 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[869]: 6 -376832 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[886]: 6 0 178.453 shouldn't be
28.10/28.27 WSVECS04 Frhs2[887]: 6 -1.00005 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[923]: 6 -1.00005 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[945]: 6 -1.00006 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[995]: 6 -15.0003 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1009]: 6 -1.00003 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1023]: 6 -1.00005 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1037]: 6 -1.00005 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1067]: 6 -1.00008 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1112]: 6 -1.00002 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1129]: 6 -0.910527 0 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1138]: 6 0 44.8445 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1140]: 6 0 182.378 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1141]: 6 0 365.756 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1146]: 6 0 11735.2 shouldn't be
28.10/28.27 WSVECS04 Frhs2[1147]: 6 0 23471.4 shouldn't be
29.59/29.79 c #Conflicts: 84000 | #Constraints: 27473
29.59/29.79 c INPROCESSING
29.59/29.79 c GARBAGE COLLECT
29.59/29.79 WSVECS04 Frhs2[2]: 6 -16.625 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[10]: 6 0 2.33333 shouldn't be
29.59/29.79 WSVECS04 Frhs2[13]: 6 -1 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[28]: 6 -1 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[59]: 6 -3.5253 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[68]: 6 -1.96893 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[74]: 6 -4.0506 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[194]: 6 -2.20833 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[209]: 6 -1.41667 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[222]: 6 -2.83333 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[253]: 6 -1.66667 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[254]: 6 -0.333334 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[278]: 6 0 10.125 shouldn't be
29.59/29.79 WSVECS04 Frhs2[307]: 6 0 1.75 shouldn't be
29.59/29.79 WSVECS04 Frhs2[309]: 6 0 6.31238 shouldn't be
29.59/29.79 WSVECS04 Frhs2[365]: 6 0 1.72917 shouldn't be
29.59/29.79 WSVECS04 Frhs2[366]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[380]: 6 0 3.05969 shouldn't be
29.59/29.79 WSVECS04 Frhs2[393]: 6 0 4.05969 shouldn't be
29.59/29.79 WSVECS04 Frhs2[410]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[423]: 6 0 1.04502 shouldn't be
29.59/29.79 WSVECS04 Frhs2[450]: 6 -8 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[466]: 6 0 2.5 shouldn't be
29.59/29.79 WSVECS04 Frhs2[515]: 6 0 2 shouldn't be
29.59/29.79 WSVECS04 Frhs2[516]: 6 0 2.99609 shouldn't be
29.59/29.79 WSVECS04 Frhs2[538]: 6 0 2 shouldn't be
29.59/29.79 WSVECS04 Frhs2[564]: 6 0 4 shouldn't be
29.59/29.79 WSVECS04 Frhs2[565]: 6 0 5.44291 shouldn't be
29.59/29.79 WSVECS04 Frhs2[583]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[594]: 6 0 15.3125 shouldn't be
29.59/29.79 WSVECS04 Frhs2[597]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[600]: 6 0 2.75 shouldn't be
29.59/29.79 WSVECS04 Frhs2[602]: 6 0 3.5 shouldn't be
29.59/29.79 WSVECS04 Frhs2[605]: 6 0 0.813339 shouldn't be
29.59/29.79 WSVECS04 Frhs2[611]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[627]: 6 0 1 shouldn't be
29.59/29.79 WSVECS04 Frhs2[667]: 6 0 2 shouldn't be
29.59/29.79 WSVECS04 Frhs2[702]: 6 0 0.422615 shouldn't be
29.59/29.79 WSVECS04 Frhs2[735]: 6 -0.750001 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[749]: 6 -0.75 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[810]: 6 -0.500001 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[824]: 6 -2.05969 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[839]: 6 -1.61937 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1095]: 6 -11.2534 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1110]: 6 -1 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1124]: 6 -17.7567 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1151]: 6 -0.9375 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
29.59/29.79 WSVECS04 Frhs2[1153]: 6 -1 0 shouldn't be
33.29/33.40 c #Conflicts: 85000 | #Constraints: 15329
33.29/33.40 c #Conflicts: 86000 | #Constraints: 16329
33.29/33.40 c #Conflicts: 87000 | #Constraints: 17329
33.29/33.40 c #Conflicts: 88000 | #Constraints: 18329
33.29/33.40 c #Conflicts: 89000 | #Constraints: 19329
33.29/33.40 c #Conflicts: 90000 | #Constraints: 20329
33.29/33.40 c #Conflicts: 91000 | #Constraints: 21329
33.29/33.40 c INPROCESSING
33.29/33.40 c GARBAGE COLLECT
33.29/33.40 c rational objective 5.38023
60.21/60.47 c #Conflicts: 92000 | #Constraints: 12265
60.21/60.47 c #Conflicts: 93000 | #Constraints: 13265
60.21/60.47 c #Conflicts: 94000 | #Constraints: 14265
60.21/60.47 c #Conflicts: 95000 | #Constraints: 15265
60.21/60.47 c #Conflicts: 96000 | #Constraints: 16265
60.21/60.47 c #Conflicts: 97000 | #Constraints: 17265
60.21/60.47 c #Conflicts: 98000 | #Constraints: 18265
60.21/60.47 c #Conflicts: 99000 | #Constraints: 19265
60.21/60.47 c INPROCESSING
60.21/60.47 c GARBAGE COLLECT
60.21/60.47 c #Conflicts: 100000 | #Constraints: 11587
60.21/60.47 c #Conflicts: 101000 | #Constraints: 12587
60.21/60.47 c #Conflicts: 102000 | #Constraints: 13587
60.21/60.47 c #Conflicts: 103000 | #Constraints: 14587
60.21/60.47 c #Conflicts: 104000 | #Constraints: 15587
60.21/60.47 c #Conflicts: 105000 | #Constraints: 16587
60.21/60.47 c #Conflicts: 106000 | #Constraints: 17587
60.21/60.47 c INPROCESSING
60.21/60.47 c GARBAGE COLLECT
60.21/60.47 c #Conflicts: 107000 | #Constraints: 10596
60.21/60.47 c #Conflicts: 108000 | #Constraints: 11596
60.21/60.47 c #Conflicts: 109000 | #Constraints: 12596
60.21/60.47 c #Conflicts: 110000 | #Constraints: 13596
60.21/60.47 c #Conflicts: 111000 | #Constraints: 14596
60.21/60.47 c #Conflicts: 112000 | #Constraints: 15596
60.21/60.47 c #Conflicts: 113000 | #Constraints: 16596
60.21/60.47 c #Conflicts: 114000 | #Constraints: 17596
60.21/60.47 c #Conflicts: 115000 | #Constraints: 18596
60.21/60.47 c #Conflicts: 116000 | #Constraints: 19596
60.21/60.47 c #Conflicts: 117000 | #Constraints: 20596
60.21/60.47 c #Conflicts: 118000 | #Constraints: 21596
60.21/60.47 c #Conflicts: 119000 | #Constraints: 22597
60.21/60.47 c #Conflicts: 120000 | #Constraints: 23597
60.21/60.47 c #Conflicts: 121000 | #Constraints: 24597
60.21/60.47 c #Conflicts: 122000 | #Constraints: 25597
60.21/60.47 c #Conflicts: 123000 | #Constraints: 26598
60.21/60.47 c #Conflicts: 124000 | #Constraints: 27599
60.21/60.47 c #Conflicts: 125000 | #Constraints: 28600
60.21/60.47 c #Conflicts: 126000 | #Constraints: 29600
60.21/60.47 c #Conflicts: 127000 | #Constraints: 30601
60.21/60.47 c #Conflicts: 128000 | #Constraints: 31601
60.21/60.47 c #Conflicts: 129000 | #Constraints: 32601
60.21/60.47 c #Conflicts: 130000 | #Constraints: 33602
60.21/60.47 c #Conflicts: 131000 | #Constraints: 34602
60.21/60.47 c #Conflicts: 132000 | #Constraints: 35602
60.21/60.47 c INPROCESSING
60.21/60.47 c GARBAGE COLLECT
60.21/60.47 WSVECS04 Frhs2[3]: 6 -3.68151 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[18]: 6 -0.771156 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[23]: 6 -0.771144 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[26]: 6 -3.74162 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[29]: 6 0 238.664 shouldn't be
60.21/60.47 WSVECS04 Frhs2[36]: 6 -2.99481 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[43]: 6 -226.816 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[45]: 6 -234.523 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[46]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[53]: 6 -3.33613 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[60]: 6 -34.734 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[61]: 6 -1.00009 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[91]: 6 -1.00003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[151]: 6 -1.00003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[154]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[156]: 6 -1.43753 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[167]: 6 -1.00004 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[168]: 6 -1.00004 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[194]: 6 0 255.002 shouldn't be
60.21/60.47 WSVECS04 Frhs2[195]: 6 0 58.638 shouldn't be
60.21/60.47 WSVECS04 Frhs2[199]: 6 0 2.50009 shouldn't be
60.21/60.47 WSVECS04 Frhs2[209]: 6 0 55.8881 shouldn't be
60.21/60.47 WSVECS04 Frhs2[210]: 6 0 120.276 shouldn't be
60.21/60.47 WSVECS04 Frhs2[211]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[212]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[224]: 6 0 106.114 shouldn't be
60.21/60.47 WSVECS04 Frhs2[240]: 6 0 56.9734 shouldn't be
60.21/60.47 WSVECS04 Frhs2[241]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[382]: 6 -1.00007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[397]: 6 -1.00001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[411]: 6 -0.750029 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[413]: 6 0 2.00006 shouldn't be
60.21/60.47 WSVECS04 Frhs2[425]: 6 -2.00007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[453]: 6 -1.54599 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[492]: 6 0 2.98578 shouldn't be
60.21/60.47 WSVECS04 Frhs2[494]: 6 -4.56252 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[519]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[531]: 6 -1.00006 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[533]: 6 -1.50002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[539]: 6 -5.0001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[542]: 6 -1.0001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[545]: 6 -1.89675 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[552]: 6 -3.50006 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[556]: 6 -1.98443 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[576]: 6 0 1.00004 shouldn't be
60.21/60.47 WSVECS04 Frhs2[578]: 6 -1.00001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[590]: 6 0 2.06258 shouldn't be
60.21/60.47 WSVECS04 Frhs2[592]: 6 -1.00007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[593]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[603]: 6 0 3.93752 shouldn't be
60.21/60.47 WSVECS04 Frhs2[607]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[608]: 6 0 1.25008 shouldn't be
60.21/60.47 WSVECS04 Frhs2[635]: 6 -3.50003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[663]: 6 -9.87509 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[678]: 6 0 0.498723 shouldn't be
60.21/60.47 WSVECS04 Frhs2[685]: 6 0 0.0836465 shouldn't be
60.21/60.47 WSVECS04 Frhs2[691]: 6 -2.74943 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[699]: 6 -1.0577 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[706]: 6 -3.26986 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[714]: 6 -1.11523 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[754]: 6 -0.500059 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[756]: 6 -1.75007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[758]: 6 -0.750098 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[770]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[773]: 6 -0.500039 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[782]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[796]: 6 -1.00008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[798]: 6 -1.50004 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[799]: 6 -1.50008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[803]: 6 -0.519805 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[807]: 6 0 55.0735 shouldn't be
60.21/60.47 WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[815]: 6 0 0.12502 shouldn't be
60.21/60.47 WSVECS04 Frhs2[816]: 6 -1.50008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[818]: 6 -0.0395861 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[822]: 6 0 111.147 shouldn't be
60.21/60.47 WSVECS04 Frhs2[823]: 6 -7.21834 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[825]: 6 -30.8733 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[827]: 6 -1.00001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[837]: 6 0 223.294 shouldn't be
60.21/60.47 WSVECS04 Frhs2[840]: 6 0 162.186 shouldn't be
60.21/60.47 WSVECS04 Frhs2[842]: 6 -1.00006 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[844]: 6 -3.50001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[852]: 6 0 223.246 shouldn't be
60.21/60.47 WSVECS04 Frhs2[856]: 6 -1.00009 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[857]: 6 -1.0001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[859]: 6 -2.50003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[861]: 6 -0.454204 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[867]: 6 0 223.152 shouldn't be
60.21/60.47 WSVECS04 Frhs2[869]: 6 0 6.22893 shouldn't be
60.21/60.47 WSVECS04 Frhs2[887]: 6 -1.0001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[892]: 6 -1.00005 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[903]: 6 0 0.0442945 shouldn't be
60.21/60.47 WSVECS04 Frhs2[909]: 6 0 0.0442428 shouldn't be
60.21/60.47 WSVECS04 Frhs2[910]: 6 0 0.000367975 shouldn't be
60.21/60.47 WSVECS04 Frhs2[945]: 6 0 0.0161148 shouldn't be
60.21/60.47 WSVECS04 Frhs2[952]: 6 -1.12898 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[960]: 6 0 0.0322348 shouldn't be
60.21/60.47 WSVECS04 Frhs2[963]: 6 -0.500014 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[975]: 6 0 0.0644562 shouldn't be
60.21/60.47 WSVECS04 Frhs2[979]: 6 -0.500031 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[980]: 6 -3.50008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[981]: 6 -1.49227 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[995]: 6 -1.00007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1018]: 6 -1.0001 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1023]: 6 -1.50008 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1024]: 6 -1.98442 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1028]: 6 -0.500067 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1036]: 6 -1.00006 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1041]: 6 -1.87504 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1052]: 6 -1.00003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1056]: 6 -1.00006 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1064]: 6 -1.12504 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1067]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1070]: 6 -0.750061 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1079]: 6 -1.25005 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1081]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1082]: 6 -1.00002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1094]: 6 -1.50003 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1111]: 6 -0.75005 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1112]: 6 -2.50002 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1119]: 6 -1.00007 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1124]: 6 -1.00005 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1126]: 6 -0.749431 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1135]: 6 -0.749609 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1143]: 6 -1.15575 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1145]: 6 -0.374725 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1147]: 6 -3.63598 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1148]: 6 -2.52259 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1149]: 6 -4.2957 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1152]: 6 -28.8912 0 shouldn't be
60.21/60.47 WSVECS04 Frhs2[1153]: 6 -57.0329 0 shouldn't be
107.11/107.47 c #Conflicts: 133000 | #Constraints: 19817
107.11/107.47 c #Conflicts: 134000 | #Constraints: 20817
107.11/107.47 c #Conflicts: 135000 | #Constraints: 21817
107.11/107.47 c #Conflicts: 136000 | #Constraints: 22817
107.11/107.47 c #Conflicts: 137000 | #Constraints: 23817
107.11/107.47 c #Conflicts: 138000 | #Constraints: 24817
107.11/107.47 c #Conflicts: 139000 | #Constraints: 25817
107.11/107.47 c #Conflicts: 140000 | #Constraints: 26817
107.11/107.47 c INPROCESSING
107.11/107.47 c GARBAGE COLLECT
107.11/107.47 c #Conflicts: 141000 | #Constraints: 15077
107.11/107.47 c #Conflicts: 142000 | #Constraints: 16077
107.11/107.47 c #Conflicts: 143000 | #Constraints: 17077
107.11/107.47 c #Conflicts: 144000 | #Constraints: 18077
107.11/107.47 c #Conflicts: 145000 | #Constraints: 19077
107.11/107.47 c #Conflicts: 146000 | #Constraints: 20077
107.11/107.47 c #Conflicts: 147000 | #Constraints: 21077
107.11/107.47 c #Conflicts: 148000 | #Constraints: 22077
107.11/107.47 c #Conflicts: 149000 | #Constraints: 23077
107.11/107.47 c INPROCESSING
107.11/107.47 c GARBAGE COLLECT
107.11/107.47 c #Conflicts: 150000 | #Constraints: 13227
107.11/107.47 c #Conflicts: 151000 | #Constraints: 14227
107.11/107.47 c #Conflicts: 152000 | #Constraints: 15227
107.11/107.47 c #Conflicts: 153000 | #Constraints: 16227
107.11/107.47 c #Conflicts: 154000 | #Constraints: 17227
107.11/107.47 c #Conflicts: 155000 | #Constraints: 18227
107.11/107.47 c #Conflicts: 156000 | #Constraints: 19227
107.11/107.47 c #Conflicts: 157000 | #Constraints: 20227
107.11/107.47 c #Conflicts: 158000 | #Constraints: 21228
107.11/107.47 c #Conflicts: 159000 | #Constraints: 22228
107.11/107.47 c #Conflicts: 160000 | #Constraints: 23228
107.11/107.47 c #Conflicts: 161000 | #Constraints: 24228
107.11/107.47 c #Conflicts: 162000 | #Constraints: 25228
107.11/107.47 c #Conflicts: 163000 | #Constraints: 26228
107.11/107.47 c #Conflicts: 164000 | #Constraints: 27228
107.11/107.47 c #Conflicts: 165000 | #Constraints: 28228
107.11/107.47 c #Conflicts: 166000 | #Constraints: 29228
107.11/107.47 c #Conflicts: 167000 | #Constraints: 30228
107.11/107.47 c #Conflicts: 168000 | #Constraints: 31228
107.11/107.47 c #Conflicts: 169000 | #Constraints: 32228
107.11/107.47 c #Conflicts: 170000 | #Constraints: 33228
107.11/107.47 c #Conflicts: 171000 | #Constraints: 34228
107.11/107.47 c #Conflicts: 172000 | #Constraints: 35228
107.11/107.47 c #Conflicts: 173000 | #Constraints: 36228
107.11/107.47 c #Conflicts: 174000 | #Constraints: 37228
107.11/107.47 c #Conflicts: 175000 | #Constraints: 38228
107.11/107.47 c #Conflicts: 176000 | #Constraints: 39228
107.11/107.47 c #Conflicts: 177000 | #Constraints: 40228
107.11/107.47 c #Conflicts: 178000 | #Constraints: 41228
107.11/107.47 c #Conflicts: 179000 | #Constraints: 42228
107.11/107.47 c INPROCESSING
107.11/107.47 c GARBAGE COLLECT
107.11/107.47 c #Conflicts: 180000 | #Constraints: 22935
107.11/107.47 c #Conflicts: 181000 | #Constraints: 23935
107.11/107.47 c #Conflicts: 182000 | #Constraints: 24935
107.11/107.47 c #Conflicts: 183000 | #Constraints: 25935
107.11/107.47 c #Conflicts: 184000 | #Constraints: 26935
107.11/107.47 c #Conflicts: 185000 | #Constraints: 27935
107.11/107.47 c #Conflicts: 186000 | #Constraints: 28935
107.11/107.47 c #Conflicts: 187000 | #Constraints: 29935
107.11/107.47 c #Conflicts: 188000 | #Constraints: 30935
107.11/107.47 c #Conflicts: 189000 | #Constraints: 31935
107.11/107.47 c INPROCESSING
107.11/107.47 c GARBAGE COLLECT
107.11/107.47 c #Conflicts: 190000 | #Constraints: 17708
107.11/107.47 c #Conflicts: 191000 | #Constraints: 18708
107.11/107.47 c #Conflicts: 192000 | #Constraints: 19708
107.11/107.47 c #Conflicts: 193000 | #Constraints: 20708
107.11/107.47 c #Conflicts: 194000 | #Constraints: 21708
107.11/107.47 c #Conflicts: 195000 | #Constraints: 22708
107.11/107.47 c #Conflicts: 196000 | #Constraints: 23708
107.11/107.47 c #Conflicts: 197000 | #Constraints: 24708
107.11/107.47 c #Conflicts: 198000 | #Constraints: 25708
107.11/107.47 c #Conflicts: 199000 | #Constraints: 26708
107.11/107.47 c #Conflicts: 200000 | #Constraints: 27708
107.11/107.47 c INPROCESSING
107.11/107.47 c GARBAGE COLLECT
107.11/107.47 c #Conflicts: 201000 | #Constraints: 15879
107.11/107.47 c #Conflicts: 202000 | #Constraints: 16879
107.11/107.47 c #Conflicts: 203000 | #Constraints: 17879
107.11/107.47 c #Conflicts: 204000 | #Constraints: 18879
107.11/107.47 c #Conflicts: 205000 | #Constraints: 19879
107.11/107.47 c #Conflicts: 206000 | #Constraints: 20879
107.11/107.47 c #Conflicts: 207000 | #Constraints: 21880
107.11/107.47 c #Conflicts: 208000 | #Constraints: 22880
153.88/154.37 c #Conflicts: 209000 | #Constraints: 23880
153.88/154.37 c #Conflicts: 210000 | #Constraints: 24880
153.88/154.37 c #Conflicts: 211000 | #Constraints: 25880
153.88/154.37 c #Conflicts: 212000 | #Constraints: 26880
153.88/154.37 c #Conflicts: 213000 | #Constraints: 27880
153.88/154.37 c #Conflicts: 214000 | #Constraints: 28880
153.88/154.37 c #Conflicts: 215000 | #Constraints: 29880
153.88/154.37 c #Conflicts: 216000 | #Constraints: 30880
153.88/154.37 c #Conflicts: 217000 | #Constraints: 31880
153.88/154.37 c #Conflicts: 218000 | #Constraints: 32880
153.88/154.37 c #Conflicts: 219000 | #Constraints: 33880
153.88/154.37 c #Conflicts: 220000 | #Constraints: 34880
153.88/154.37 c #Conflicts: 221000 | #Constraints: 35880
153.88/154.37 c #Conflicts: 222000 | #Constraints: 36880
153.88/154.37 c #Conflicts: 223000 | #Constraints: 37880
153.88/154.37 c #Conflicts: 224000 | #Constraints: 38880
153.88/154.37 c #Conflicts: 225000 | #Constraints: 39880
153.88/154.37 c #Conflicts: 226000 | #Constraints: 40880
153.88/154.37 c #Conflicts: 227000 | #Constraints: 41880
153.88/154.37 c #Conflicts: 228000 | #Constraints: 42880
153.88/154.37 c #Conflicts: 229000 | #Constraints: 43880
153.88/154.37 c #Conflicts: 230000 | #Constraints: 44880
153.88/154.37 c #Conflicts: 231000 | #Constraints: 45880
153.88/154.37 c #Conflicts: 232000 | #Constraints: 46880
153.88/154.37 c #Conflicts: 233000 | #Constraints: 47881
153.88/154.37 c #Conflicts: 234000 | #Constraints: 48881
153.88/154.37 c INPROCESSING
153.88/154.37 c GARBAGE COLLECT
153.88/154.37 c #Conflicts: 235000 | #Constraints: 26452
153.88/154.37 c #Conflicts: 236000 | #Constraints: 27452
153.88/154.37 c #Conflicts: 237000 | #Constraints: 28452
153.88/154.37 c #Conflicts: 238000 | #Constraints: 29452
153.88/154.37 c #Conflicts: 239000 | #Constraints: 30452
153.88/154.37 c #Conflicts: 240000 | #Constraints: 31452
153.88/154.37 c #Conflicts: 241000 | #Constraints: 32452
153.88/154.37 c #Conflicts: 242000 | #Constraints: 33452
153.88/154.37 c #Conflicts: 243000 | #Constraints: 34452
153.88/154.37 c #Conflicts: 244000 | #Constraints: 35452
153.88/154.37 WSVECS04 Frhs2[3]: 6 -8.20042 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[72]: 6 -2.99875 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[120]: 6 -2.84202 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[271]: 6 0 5.32975 shouldn't be
153.88/154.37 WSVECS04 Frhs2[284]: 6 0 6.32975 shouldn't be
153.88/154.37 WSVECS04 Frhs2[354]: 6 0 1 shouldn't be
153.88/154.37 WSVECS04 Frhs2[368]: 6 0 3 shouldn't be
153.88/154.37 WSVECS04 Frhs2[395]: 6 -2 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[529]: 6 -15.4157 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[543]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[555]: 6 -11.4157 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[564]: 6 0 1 shouldn't be
153.88/154.37 WSVECS04 Frhs2[569]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[578]: 6 0 2.26054 shouldn't be
153.88/154.37 WSVECS04 Frhs2[620]: 6 0 1 shouldn't be
153.88/154.37 WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
153.88/154.37 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[751]: 6 0 11.6595 shouldn't be
153.88/154.37 WSVECS04 Frhs2[953]: 6 -2.30196 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[984]: 6 -3.99877 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[985]: 6 -2.24754 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[999]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[1010]: 6 -2 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[1012]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[1041]: 6 -1 0 shouldn't be
153.88/154.37 WSVECS04 Frhs2[1182]: 6 -1.125 0 shouldn't be
215.82/216.40 c #Conflicts: 245000 | #Constraints: 36452
215.82/216.40 c INPROCESSING
215.82/216.40 c GARBAGE COLLECT
215.82/216.40 c #Conflicts: 246000 | #Constraints: 19899
215.82/216.40 c #Conflicts: 247000 | #Constraints: 20899
215.82/216.40 c #Conflicts: 248000 | #Constraints: 21899
215.82/216.40 c #Conflicts: 249000 | #Constraints: 22899
215.82/216.40 c #Conflicts: 250000 | #Constraints: 23899
215.82/216.40 c #Conflicts: 251000 | #Constraints: 24899
215.82/216.40 c #Conflicts: 252000 | #Constraints: 25899
215.82/216.40 c #Conflicts: 253000 | #Constraints: 26899
215.82/216.40 c #Conflicts: 254000 | #Constraints: 27899
215.82/216.40 c #Conflicts: 255000 | #Constraints: 28899
215.82/216.40 c #Conflicts: 256000 | #Constraints: 29899
215.82/216.40 c #Conflicts: 257000 | #Constraints: 30899
215.82/216.40 c INPROCESSING
215.82/216.40 c GARBAGE COLLECT
215.82/216.40 c #Conflicts: 258000 | #Constraints: 17182
215.82/216.40 c #Conflicts: 259000 | #Constraints: 18182
215.82/216.40 c #Conflicts: 260000 | #Constraints: 19182
215.82/216.40 c #Conflicts: 261000 | #Constraints: 20182
215.82/216.40 c #Conflicts: 262000 | #Constraints: 21182
215.82/216.40 c #Conflicts: 263000 | #Constraints: 22182
215.82/216.40 c #Conflicts: 264000 | #Constraints: 23182
215.82/216.40 c #Conflicts: 265000 | #Constraints: 24182
215.82/216.40 c #Conflicts: 266000 | #Constraints: 25182
215.82/216.40 c #Conflicts: 267000 | #Constraints: 26182
215.82/216.40 c #Conflicts: 268000 | #Constraints: 27182
215.82/216.40 c #Conflicts: 269000 | #Constraints: 28182
215.82/216.40 c #Conflicts: 270000 | #Constraints: 29182
215.82/216.40 c #Conflicts: 271000 | #Constraints: 30182
215.82/216.40 c #Conflicts: 272000 | #Constraints: 31182
215.82/216.40 c #Conflicts: 273000 | #Constraints: 32182
215.82/216.40 c #Conflicts: 274000 | #Constraints: 33182
215.82/216.40 c #Conflicts: 275000 | #Constraints: 34183
215.82/216.40 c #Conflicts: 276000 | #Constraints: 35183
215.82/216.40 c #Conflicts: 277000 | #Constraints: 36184
215.82/216.40 c #Conflicts: 278000 | #Constraints: 37185
215.82/216.40 c #Conflicts: 279000 | #Constraints: 38185
215.82/216.40 c #Conflicts: 280000 | #Constraints: 39185
215.82/216.40 c #Conflicts: 281000 | #Constraints: 40185
215.82/216.40 c #Conflicts: 282000 | #Constraints: 41185
215.82/216.40 c #Conflicts: 283000 | #Constraints: 42185
215.82/216.40 c #Conflicts: 284000 | #Constraints: 43185
215.82/216.40 c #Conflicts: 285000 | #Constraints: 44185
215.82/216.40 c #Conflicts: 286000 | #Constraints: 45185
215.82/216.40 c #Conflicts: 287000 | #Constraints: 46185
215.82/216.40 c #Conflicts: 288000 | #Constraints: 47185
215.82/216.40 c #Conflicts: 289000 | #Constraints: 48185
215.82/216.40 c #Conflicts: 290000 | #Constraints: 49185
215.82/216.40 c #Conflicts: 291000 | #Constraints: 50185
215.82/216.40 c #Conflicts: 292000 | #Constraints: 51185
215.82/216.40 c #Conflicts: 293000 | #Constraints: 52185
215.82/216.40 c #Conflicts: 294000 | #Constraints: 53185
215.82/216.40 c #Conflicts: 295000 | #Constraints: 54185
215.82/216.40 c INPROCESSING
215.82/216.40 c GARBAGE COLLECT
215.82/216.40 c #Conflicts: 296000 | #Constraints: 28706
215.82/216.40 c #Conflicts: 297000 | #Constraints: 29706
215.82/216.40 c #Conflicts: 298000 | #Constraints: 30706
215.82/216.40 c #Conflicts: 299000 | #Constraints: 31706
215.82/216.40 c #Conflicts: 300000 | #Constraints: 32706
215.82/216.40 c #Conflicts: 301000 | #Constraints: 33706
215.82/216.40 c #Conflicts: 302000 | #Constraints: 34706
215.82/216.40 c #Conflicts: 303000 | #Constraints: 35706
215.82/216.40 c #Conflicts: 304000 | #Constraints: 36706
215.82/216.40 c #Conflicts: 305000 | #Constraints: 37706
215.82/216.40 c #Conflicts: 306000 | #Constraints: 38706
215.82/216.40 c #Conflicts: 307000 | #Constraints: 39706
215.82/216.40 c #Conflicts: 308000 | #Constraints: 40706
215.82/216.40 c #Conflicts: 309000 | #Constraints: 41706
215.82/216.40 c INPROCESSING
215.82/216.40 c GARBAGE COLLECT
215.82/216.40 c #Conflicts: 310000 | #Constraints: 22892
215.82/216.40 c #Conflicts: 311000 | #Constraints: 23892
215.82/216.40 c #Conflicts: 312000 | #Constraints: 24892
215.82/216.40 c #Conflicts: 313000 | #Constraints: 25892
215.82/216.40 c #Conflicts: 314000 | #Constraints: 26892
215.82/216.40 c #Conflicts: 315000 | #Constraints: 27892
215.82/216.40 c #Conflicts: 316000 | #Constraints: 28893
215.82/216.40 c #Conflicts: 317000 | #Constraints: 29893
215.82/216.40 c #Conflicts: 318000 | #Constraints: 30893
215.82/216.40 c #Conflicts: 319000 | #Constraints: 31893
215.82/216.40 c #Conflicts: 320000 | #Constraints: 32893
215.82/216.40 c #Conflicts: 321000 | #Constraints: 33893
216.92/217.56 c #Conflicts: 322000 | #Constraints: 34893
216.92/217.56 c INPROCESSING
216.92/217.56 c GARBAGE COLLECT
216.92/217.56 WSVECS04 Frhs2[18]: 6 -45.2659 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[36]: 6 0 41.2659 shouldn't be
216.92/217.56 WSVECS04 Frhs2[40]: 6 0 24.9686 shouldn't be
216.92/217.56 WSVECS04 Frhs2[42]: 6 0 41.2659 shouldn't be
216.92/217.56 WSVECS04 Frhs2[43]: 6 0 23.9686 shouldn't be
216.92/217.56 WSVECS04 Frhs2[54]: 6 -22.634 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[56]: 6 -26.6836 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[120]: 6 0 16.8942 shouldn't be
216.92/217.56 WSVECS04 Frhs2[142]: 6 -9.24599 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[189]: 6 -1.58091 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[232]: 6 -5.06348 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[257]: 6 0 2.99949 shouldn't be
216.92/217.56 WSVECS04 Frhs2[269]: 6 0 1 shouldn't be
216.92/217.56 WSVECS04 Frhs2[347]: 6 0 25.6249 shouldn't be
216.92/217.56 WSVECS04 Frhs2[350]: 6 0 43.2681 shouldn't be
216.92/217.56 WSVECS04 Frhs2[351]: 6 0 15.5843 shouldn't be
216.92/217.56 WSVECS04 Frhs2[364]: 6 0 43.1062 shouldn't be
216.92/217.56 WSVECS04 Frhs2[377]: 6 0 329.731 shouldn't be
216.92/217.56 WSVECS04 Frhs2[403]: 6 -1 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[408]: 6 -1.83429 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[423]: 6 0 82.0615 shouldn't be
216.92/217.56 WSVECS04 Frhs2[568]: 6 0 1 shouldn't be
216.92/217.56 WSVECS04 Frhs2[647]: 6 0 169.226 shouldn't be
216.92/217.56 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[687]: 6 -1 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[693]: 6 -3.00545 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[700]: 6 -1 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[879]: 6 -7.4027 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[881]: 6 -53.5776 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[982]: 6 -0.482097 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[997]: 6 -0.964194 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[1057]: 6 -2.5 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[1091]: 6 -2.79287 0 shouldn't be
216.92/217.56 WSVECS04 Frhs2[1184]: 6 0 6.65158 shouldn't be
217.03/217.63 WSVECS04 Frhs2[8]: 6 -120.812 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[11]: 6 -3.5109 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[14]: 6 -121.812 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[19]: 6 -43.2659 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[26]: 6 -3.5109 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[29]: 6 -133.635 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[32]: 6 0 23.9686 shouldn't be
217.03/217.63 WSVECS04 Frhs2[48]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[90]: 6 0 20.7 shouldn't be
217.03/217.63 WSVECS04 Frhs2[135]: 6 0 10.9843 shouldn't be
217.03/217.63 WSVECS04 Frhs2[138]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[139]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[140]: 6 -3.5179 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[144]: 6 -1.94761 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[146]: 6 -85.9046 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[179]: 6 0 37.6843 shouldn't be
217.03/217.63 WSVECS04 Frhs2[183]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[184]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[185]: 6 -2.14323 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[187]: 6 -1.75794 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[191]: 6 -6.77476 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[194]: 6 -116.321 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[229]: 6 -4.25794 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[230]: 6 -4.51587 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[236]: 6 -28.1763 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[239]: 6 -114.855 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[278]: 6 0 38.755 shouldn't be
217.03/217.63 WSVECS04 Frhs2[284]: 6 0 38.755 shouldn't be
217.03/217.63 WSVECS04 Frhs2[286]: 6 0 41.2659 shouldn't be
217.03/217.63 WSVECS04 Frhs2[288]: 6 0 41.2659 shouldn't be
217.03/217.63 WSVECS04 Frhs2[290]: 6 0 41.2659 shouldn't be
217.03/217.63 WSVECS04 Frhs2[373]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[387]: 6 -2.18503 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[455]: 6 0 6.48024 shouldn't be
217.03/217.63 WSVECS04 Frhs2[477]: 6 0 42.2659 shouldn't be
217.03/217.63 WSVECS04 Frhs2[542]: 6 0 0.928388 shouldn't be
217.03/217.63 WSVECS04 Frhs2[611]: 6 -3 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[613]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[627]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[688]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[741]: 6 -122.323 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[750]: 6 -0.778376 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[755]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[756]: 6 -3.0218 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[769]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[770]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[771]: 6 -4.0436 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[783]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[784]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[786]: 6 -6.08719 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[789]: 6 -1.89614 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[800]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[801]: 6 -10.1744 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[804]: 6 -1.79227 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[814]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[815]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[816]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[828]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[829]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[830]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[832]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[838]: 6 -43.9284 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[852]: 6 -99.8227 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[853]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[854]: 6 -7.8505 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[860]: 6 -0.314971 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[867]: 6 -91.656 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[870]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[873]: 6 -2.34252 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[877]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[884]: 6 -25.8506 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[905]: 6 -40.7572 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[953]: 6 -1.24105 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[994]: 6 -2.87948 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[998]: 6 -3.89714 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1008]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1009]: 6 -3.75895 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1039]: 6 -3.03581 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1042]: 6 -2.75 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1049]: 6 -111.722 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1053]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1054]: 6 -2.07161 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1058]: 6 -0.354191 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1075]: 6 -43.2659 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1077]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1079]: 6 -22.1533 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1084]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1086]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1087]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1089]: 6 -2.91648 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1092]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1098]: 6 -2.28645 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1099]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1102]: 6 -1 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1104]: 6 -3.83296 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1109]: 6 -85.613 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1135]: 6 -0.96757 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1137]: 6 -0.870278 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1139]: 6 -0.481108 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1143]: 6 -0.889188 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1145]: 6 -0.556751 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1146]: 6 -0.113502 0 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1154]: 6 0 19.6251 shouldn't be
217.03/217.63 WSVECS04 Frhs2[1160]: 6 -3.51191 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[2]: 6 -120.812 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[22]: 6 -43.2659 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[554]: 6 0 1 shouldn't be
217.12/217.71 WSVECS04 Frhs2[567]: 6 0 2 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1106]: 6 -3.5109 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1130]: 6 -0.998987 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1132]: 6 -0.995947 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1133]: 6 -0.991892 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1134]: 6 -0.983785 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1136]: 6 -0.935139 0 shouldn't be
217.12/217.71 WSVECS04 Frhs2[1138]: 6 -0.740554 0 shouldn't be
279.16/279.92 c #Conflicts: 323000 | #Constraints: 19274
279.16/279.92 c #Conflicts: 324000 | #Constraints: 20274
279.16/279.92 c #Conflicts: 325000 | #Constraints: 21274
279.16/279.92 c #Conflicts: 326000 | #Constraints: 22275
279.16/279.92 c #Conflicts: 327000 | #Constraints: 23275
279.16/279.92 c #Conflicts: 328000 | #Constraints: 24275
279.16/279.92 c #Conflicts: 329000 | #Constraints: 25275
279.16/279.92 c #Conflicts: 330000 | #Constraints: 26275
279.16/279.92 c #Conflicts: 331000 | #Constraints: 27276
279.16/279.92 c #Conflicts: 332000 | #Constraints: 28277
279.16/279.92 c #Conflicts: 333000 | #Constraints: 29278
279.16/279.92 c #Conflicts: 334000 | #Constraints: 30278
279.16/279.92 c #Conflicts: 335000 | #Constraints: 31278
279.16/279.92 c #Conflicts: 336000 | #Constraints: 32278
279.16/279.92 c #Conflicts: 337000 | #Constraints: 33278
279.16/279.92 c #Conflicts: 338000 | #Constraints: 34278
279.16/279.92 c #Conflicts: 339000 | #Constraints: 35279
279.16/279.92 c #Conflicts: 340000 | #Constraints: 36279
279.16/279.92 c #Conflicts: 341000 | #Constraints: 37279
279.16/279.92 c #Conflicts: 342000 | #Constraints: 38280
279.16/279.92 c #Conflicts: 343000 | #Constraints: 39281
279.16/279.92 c #Conflicts: 344000 | #Constraints: 40281
279.16/279.92 c #Conflicts: 345000 | #Constraints: 41282
279.16/279.92 c #Conflicts: 346000 | #Constraints: 42282
279.16/279.92 c #Conflicts: 347000 | #Constraints: 43282
279.16/279.92 c #Conflicts: 348000 | #Constraints: 44283
279.16/279.92 c #Conflicts: 349000 | #Constraints: 45283
279.16/279.92 c #Conflicts: 350000 | #Constraints: 46284
279.16/279.92 c #Conflicts: 351000 | #Constraints: 47284
279.16/279.92 c #Conflicts: 352000 | #Constraints: 48284
279.16/279.92 c #Conflicts: 353000 | #Constraints: 49284
279.16/279.92 c #Conflicts: 354000 | #Constraints: 50284
279.16/279.92 c #Conflicts: 355000 | #Constraints: 51284
279.16/279.92 c #Conflicts: 356000 | #Constraints: 52284
279.16/279.92 c #Conflicts: 357000 | #Constraints: 53284
279.16/279.92 c #Conflicts: 358000 | #Constraints: 54284
279.16/279.92 c #Conflicts: 359000 | #Constraints: 55284
279.16/279.92 c #Conflicts: 360000 | #Constraints: 56284
279.16/279.92 c #Conflicts: 361000 | #Constraints: 57284
279.16/279.92 c #Conflicts: 362000 | #Constraints: 58284
279.16/279.92 c #Conflicts: 363000 | #Constraints: 59284
279.16/279.92 c #Conflicts: 364000 | #Constraints: 60284
279.16/279.92 c INPROCESSING
279.16/279.92 c GARBAGE COLLECT
279.16/279.92 c #Conflicts: 365000 | #Constraints: 31772
279.16/279.92 c #Conflicts: 366000 | #Constraints: 32772
279.16/279.92 c #Conflicts: 367000 | #Constraints: 33772
279.16/279.92 c #Conflicts: 368000 | #Constraints: 34772
279.16/279.92 c #Conflicts: 369000 | #Constraints: 35772
279.16/279.92 c #Conflicts: 370000 | #Constraints: 36772
279.16/279.92 c #Conflicts: 371000 | #Constraints: 37772
279.16/279.92 c #Conflicts: 372000 | #Constraints: 38772
279.16/279.92 c #Conflicts: 373000 | #Constraints: 39773
279.16/279.92 c #Conflicts: 374000 | #Constraints: 40773
279.16/279.92 c #Conflicts: 375000 | #Constraints: 41773
279.16/279.92 c #Conflicts: 376000 | #Constraints: 42773
279.16/279.92 c #Conflicts: 377000 | #Constraints: 43778
279.16/279.92 c #Conflicts: 378000 | #Constraints: 44779
279.16/279.92 c #Conflicts: 379000 | #Constraints: 45780
279.16/279.92 c INPROCESSING
279.16/279.92 c GARBAGE COLLECT
279.16/279.92 WSVECS04 Frhs2[5]: 6 -4.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[6]: 6 -4.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[9]: 6 -4.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[10]: 6 -4.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[12]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[14]: 6 -4.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[15]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[16]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[21]: 6 -3.92859 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[22]: 6 -3.92857 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[25]: 6 -4.25446 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[26]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[32]: 6 0 0.379525 shouldn't be
279.16/279.92 WSVECS04 Frhs2[33]: 6 0 1.35717 shouldn't be
279.16/279.92 WSVECS04 Frhs2[38]: 6 -1.01796 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[39]: 6 0 1.92862 shouldn't be
279.16/279.92 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[60]: 6 0 0.39745 shouldn't be
279.16/279.92 WSVECS04 Frhs2[90]: 6 0 2.39743 shouldn't be
279.16/279.92 WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[92]: 6 -2.50006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[95]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[96]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[97]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[98]: 6 -1.50003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[101]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[104]: 6 -2.92855 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[105]: 6 0 0.397427 shouldn't be
279.16/279.92 WSVECS04 Frhs2[106]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[107]: 6 -2.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[110]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[111]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[112]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[113]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[116]: 6 -5.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[119]: 6 -3.92859 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[120]: 6 0 0.397449 shouldn't be
279.16/279.92 WSVECS04 Frhs2[129]: 6 0 3.00007 shouldn't be
279.16/279.92 WSVECS04 Frhs2[135]: 6 0 0.397465 shouldn't be
279.16/279.92 WSVECS04 Frhs2[150]: 6 0 0.397469 shouldn't be
279.16/279.92 WSVECS04 Frhs2[151]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[154]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[155]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[156]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[158]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[164]: 6 -3.92855 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[165]: 6 0 0.397479 shouldn't be
279.16/279.92 WSVECS04 Frhs2[166]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[167]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[169]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[170]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[172]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[173]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[175]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[177]: 6 -3.92856 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[196]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[197]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[199]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[202]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[227]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[229]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[230]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[231]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[232]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[233]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[241]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[242]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[245]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[246]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[247]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[254]: 6 -1.07154 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[315]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[316]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[317]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[331]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[344]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[345]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[363]: 6 -3.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[368]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[373]: 6 -5.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[374]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[377]: 6 -1.50002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[378]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[380]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[382]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[385]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[386]: 6 -3.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[387]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[388]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[396]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[402]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[405]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[406]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[407]: 6 0 4.0915 shouldn't be
279.16/279.92 WSVECS04 Frhs2[410]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[412]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[414]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[416]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[419]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[420]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[422]: 6 -3.92856 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[424]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[428]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[434]: 6 -1.50008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[437]: 6 0 1.92857 shouldn't be
279.16/279.92 WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[443]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[446]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[452]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[454]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[455]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[460]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[461]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[462]: 6 -4.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[507]: 6 0 1.0001 shouldn't be
279.16/279.92 WSVECS04 Frhs2[524]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[525]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[526]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[527]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[539]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[541]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[545]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[554]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[555]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[559]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[569]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[573]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[581]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[583]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[584]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[587]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[588]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[590]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[592]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[595]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[596]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[601]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[602]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[606]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[612]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[615]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[616]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[618]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[620]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[622]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[623]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[624]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[626]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[629]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[630]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[632]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[634]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[638]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[644]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[650]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[652]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[653]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[654]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[656]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[658]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[659]: 6 -3.92857 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[660]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[662]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[664]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[665]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[666]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[667]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[668]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[670]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[671]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[676]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[696]: 6 -0.50004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[699]: 6 -0.651846 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[705]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[707]: 6 -1.14294 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[734]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[735]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[749]: 6 -1.00006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[750]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[751]: 6 -1.75005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[753]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[754]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[755]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[756]: 6 -1.0001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[764]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[765]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[768]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[769]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[770]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[779]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[780]: 6 -0.500092 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[782]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[785]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[786]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[792]: 6 -2.96432 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[794]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[796]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[799]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[801]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[811]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[817]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[818]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[824]: 6 -3.92856 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[831]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[835]: 6 -1.50006 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[841]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[858]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[859]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[860]: 6 -2.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[863]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[871]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[872]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[875]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[885]: 6 -3.92859 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[886]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[891]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[892]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[893]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[898]: 6 -3.92862 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[899]: 6 -3.92859 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[900]: 6 -4.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[961]: 6 -1.87501 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[962]: 6 -0.250078 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[976]: 6 -1.75003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[979]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[981]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[995]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1005]: 6 -4.42858 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1010]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1011]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1015]: 6 -1.57207 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1021]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1024]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1026]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1029]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1030]: 6 -2.14405 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1031]: 6 -1.50009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1033]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1035]: 6 -3.92857 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1036]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1039]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1042]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1043]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1045]: 6 -3.28797 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1048]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1055]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1056]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1057]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1066]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1072]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1074]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1077]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1078]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1080]: 6 -3.92858 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1083]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1084]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1085]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1094]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1096]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1097]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1100]: 6 -1.00004 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1104]: 6 -1.00002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1110]: 6 -1.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1111]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1113]: 6 -1.00005 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1119]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1122]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1123]: 6 -1.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1124]: 6 -1.00003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1125]: 6 -1.00009 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1142]: 6 -0.984474 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1143]: 6 -0.968805 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1144]: 6 -0.93752 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1145]: 6 -0.875049 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1146]: 6 -0.75002 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1149]: 6 0 1.00009 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1150]: 6 0 0.0715115 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1152]: 6 0 12.0715 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1169]: 6 -1.00199 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1176]: 6 -1.25003 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1178]: 6 -2.00007 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1181]: 6 -9.00008 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1183]: 6 -27.1435 0 shouldn't be
279.16/279.92 WSVECS04 Frhs2[1184]: 6 -53.287 0 shouldn't be
288.25/289.01 c #Conflicts: 380000 | #Constraints: 24691
288.25/289.01 c #Conflicts: 381000 | #Constraints: 25691
288.25/289.01 c #Conflicts: 382000 | #Constraints: 26691
288.25/289.01 c #Conflicts: 383000 | #Constraints: 27691
288.25/289.01 c #Conflicts: 384000 | #Constraints: 28691
288.25/289.01 c #Conflicts: 385000 | #Constraints: 29691
288.25/289.01 c #Conflicts: 386000 | #Constraints: 30691
288.25/289.01 c #Conflicts: 387000 | #Constraints: 31691
288.25/289.01 c #Conflicts: 388000 | #Constraints: 32691
288.25/289.01 c #Conflicts: 389000 | #Constraints: 33691
288.25/289.01 c #Conflicts: 390000 | #Constraints: 34691
288.25/289.01 c #Conflicts: 391000 | #Constraints: 35691
288.25/289.01 c #Conflicts: 392000 | #Constraints: 36691
288.25/289.01 c #Conflicts: 393000 | #Constraints: 37691
288.25/289.01 c #Conflicts: 394000 | #Constraints: 38692
288.25/289.01 c INPROCESSING
288.25/289.01 c GARBAGE COLLECT
288.25/289.01 WSVECS04 Frhs2[4]: 6 -78.2457 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[7]: 6 -79.069 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[8]: 6 -46.5882 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[10]: 6 -36.5017 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[12]: 6 -10.2574 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[14]: 6 -33.031 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[18]: 6 -10.422 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[22]: 6 -51.3211 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[23]: 6 -57.3474 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[24]: 6 -56.4119 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[27]: 6 -39.4152 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[30]: 6 -83.5347 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[36]: 6 -1.00198 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[37]: 6 -1.28519 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[38]: 6 -0.060574 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[39]: 6 -1.50201 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[44]: 6 0 38.3044 shouldn't be
288.25/289.01 WSVECS04 Frhs2[82]: 6 -36.9705 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[90]: 6 -17.3999 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[126]: 6 -6.89171 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[142]: 6 -2.04493 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[143]: 6 -0.0897352 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[144]: 6 -0.812582 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[150]: 6 -25.5058 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[158]: 6 0 2.88315 shouldn't be
288.25/289.01 WSVECS04 Frhs2[161]: 6 0 17 shouldn't be
288.25/289.01 WSVECS04 Frhs2[171]: 6 -2.08973 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[187]: 6 0 0.641143 shouldn't be
288.25/289.01 WSVECS04 Frhs2[210]: 6 -9.98443 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[212]: 6 0 4.20916 shouldn't be
288.25/289.01 WSVECS04 Frhs2[216]: 6 0 4.28229 shouldn't be
288.25/289.01 WSVECS04 Frhs2[217]: 6 0 11.5645 shouldn't be
288.25/289.01 WSVECS04 Frhs2[240]: 6 -17.9688 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[293]: 6 0 6.98442 shouldn't be
288.25/289.01 WSVECS04 Frhs2[417]: 6 -69 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[444]: 6 -129 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[445]: 6 -1.00006 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[454]: 6 0 4.00009 shouldn't be
288.25/289.01 WSVECS04 Frhs2[455]: 6 0 16.0001 shouldn't be
288.25/289.01 WSVECS04 Frhs2[466]: 6 0 0.250034 shouldn't be
288.25/289.01 WSVECS04 Frhs2[469]: 6 0 8.98441 shouldn't be
288.25/289.01 WSVECS04 Frhs2[482]: 6 0 9.98444 shouldn't be
288.25/289.01 WSVECS04 Frhs2[527]: 6 -4.00006 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
288.25/289.01 WSVECS04 Frhs2[545]: 6 0 1.00007 shouldn't be
288.25/289.01 WSVECS04 Frhs2[567]: 6 0 9.95531 shouldn't be
288.25/289.01 WSVECS04 Frhs2[572]: 6 0 14.7822 shouldn't be
288.25/289.01 WSVECS04 Frhs2[591]: 6 0 16.9688 shouldn't be
288.25/289.01 WSVECS04 Frhs2[603]: 6 0 2.89259 shouldn't be
288.25/289.01 WSVECS04 Frhs2[605]: 6 -5.99229 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[626]: 6 -63.5 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[667]: 6 0 2.00003 shouldn't be
288.25/289.01 WSVECS04 Frhs2[668]: 6 0 2.00003 shouldn't be
288.25/289.01 WSVECS04 Frhs2[670]: 6 0 64.8751 shouldn't be
288.25/289.01 WSVECS04 Frhs2[688]: 6 -2.00007 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[701]: 6 -0.576181 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[749]: 6 -1.25008 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[763]: 6 -14.4922 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[823]: 6 -6.4922 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[837]: 6 -2.44345 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[840]: 6 0 5.541 shouldn't be
288.25/289.01 WSVECS04 Frhs2[853]: 6 -1.00002 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[854]: 6 -1.00009 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[855]: 6 0 5.54106 shouldn't be
288.25/289.01 WSVECS04 Frhs2[856]: 6 0 2.21397 shouldn't be
288.25/289.01 WSVECS04 Frhs2[864]: 6 -1.00002 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[870]: 6 -1.00009 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[882]: 6 -42.0427 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[885]: 6 -8.98442 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[886]: 6 0 14.8558 shouldn't be
288.25/289.01 WSVECS04 Frhs2[890]: 6 0 7.00009 shouldn't be
288.25/289.01 WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[894]: 6 -1.00003 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[930]: 6 -89.8652 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1024]: 6 -5.96205 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1028]: 6 -4.82062 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1043]: 6 -8.64118 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1058]: 6 -0.500064 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1059]: 6 -33.5626 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1079]: 6 -0.875099 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1092]: 6 -0.500037 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1093]: 6 -0.750037 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1101]: 6 -1.00006 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1115]: 6 0 2.56448 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1134]: 6 -1.50001 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1146]: 6 -1.00003 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1148]: 6 -1.0001 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1152]: 6 -8.98446 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1153]: 6 -16.9688 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1171]: 6 -1.00003 0 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1184]: 6 0 30.9347 shouldn't be
288.25/289.01 WSVECS04 Frhs2[1185]: 6 0 48.3497 shouldn't be
288.34/289.11 c cpu time 286.582 s
288.34/289.11 c deterministic time 13727947479 1.37e+10
288.34/289.11 c optimization time 3.6e-05 s
288.34/289.11 c total solve time 286.576 s
288.34/289.11 c core-guided solve time 0 s
288.34/289.11 c propagation time 169.854 s
288.34/289.11 c conflict analysis time 108.718 s
288.34/289.11 c propagations 78729429
288.34/289.11 c resolve steps 29211410
288.34/289.11 c decisions 542020
288.34/289.11 c conflicts 394436
288.34/289.11 c restarts 955
288.34/289.11 c inprocessing phases 34
288.34/289.11 c garbage collections 34 ,( 100.00 )
288.34/289.11 c input clauses 855 ,( 50.41 )
288.34/289.11 c input cardinalities 0 ,( 0.00 )
288.34/289.11 c input general constraints 841 ,( 49.59 )
288.34/289.11 c input average constraint length 3.62
288.34/289.11 c input average constraint degree 633104.46
288.34/289.11 c learned clauses 302504 ,( 76.68 )
288.34/289.11 c learned cardinalities 67 ,( 0.02 )
288.34/289.11 c learned general constraints 91925 ,( 23.30 )
288.34/289.11 c learned average constraint length 119.81
288.34/289.11 c learned average constraint degree 36220684.27
288.34/289.11 c watched CF 32, 64, 128, Arb: 16275 , 0 , 0 , 0
288.34/289.11 c counting CF 32, 64, 128, Arb: 76491 , 0 , 0 , 0
288.34/289.11 c watched constraints 16275 ,( 17.54 )
288.34/289.11 c counting constraints 76491 ,( 82.46 )
288.34/289.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 202610595 , 1605367 , 3204433043 ,( 12519143 , 3191913900 )
288.34/289.11 c gcd simplifications 6527
288.34/289.11 c detected cardinalities 28
288.34/289.11 c weakened non-implied lits 11345386
288.34/289.11 c weakened non-implying lits 22502
288.34/289.11 c original variables 1185
288.34/289.11 c clausal propagations 24348760
288.34/289.11 c cardinality propagations 87388
288.34/289.11 c watched propagations 265520
288.34/289.11 c counting propagations 53630833
288.34/289.11 c watch lookups 8753779294
288.34/289.11 c watch backjump lookups 0
288.34/289.11 c watch checks 527434658
288.34/289.11 c propagation checks 4065861982
288.34/289.11 c constraint additions 221853023
288.34/289.11 c trail pops 79665884
288.34/289.11 c formula constraints 1696
288.34/289.11 c learned constraints 394434
288.34/289.11 c bound constraints 0
288.34/289.11 c core-guided constraints 0
288.34/289.11 c encountered formula constraints 20966161
288.34/289.11 c encountered learned constraints 8638494
288.34/289.11 c encountered bound constraints 0
288.34/289.11 c encountered core-guided constraints 0
288.34/289.11 c LP total time 5.73833 s
288.34/289.11 c LP solve time 5.08 s
288.34/289.11 c LP constraints added 1717
288.34/289.11 c LP constraints removed 4
288.34/289.11 c LP pivots internal 39726
288.34/289.11 c LP pivots root 41462
288.34/289.11 c LP calls 134
288.34/289.11 c LP optimalities 32
288.34/289.11 c LP no pivot count 1
288.34/289.11 c LP infeasibilities 61
288.34/289.11 c LP valid Farkas constraints 56
288.34/289.11 c LP learned Farkas constraints 0
288.34/289.11 c LP basis resets 43
288.34/289.11 c LP cycling count 9
288.34/289.11 c LP singular count 19
288.34/289.11 c LP no primal count 0
288.34/289.11 c LP no farkas count 5
288.34/289.11 c LP other issue count 10
288.34/289.11 c LP Gomory cuts 6
288.34/289.11 c LP learned cuts 15
288.34/289.11 c LP deleted cuts 4
288.34/289.11 c LP encountered Gomory constraints 1
288.34/289.11 c LP encountered Farkas constraints 1189
288.34/289.11 c LP encountered learned Farkas constraints 0
288.34/289.11 c CG auxiliary variables introduced 0
288.34/289.11 c CG solutions found 0
288.34/289.11 c CG cores constructed 0
288.34/289.11 c CG core cardinality constraints returned 0
288.34/289.11 c CG unit cores 0
288.34/289.11 c CG single cores 0
288.34/289.11 c CG blocks removed during cardinality reduction 0
288.34/289.11 c CG first core best 0
288.34/289.11 c CG decision core best 0
288.34/289.11 c CG core reduction tie 0
288.34/289.11 c CG core degree average 0.00
288.34/289.11 c CG core slack average 0.00
288.34/289.11 c CG core upper bound improvements 0
288.34/289.11 c STR number of successful calls 0
288.34/289.11 c STR number of unsuccessful calls 0
288.34/289.11 c STR number of inconclusive calls 0
288.34/289.11 c STR number of successful attempts 0
288.34/289.11 c STR number of unsuccessful attempts 0
288.34/289.11 c STR number of inconclusive attempts 0
288.34/289.11 c STR average degree increase per successful call inf
288.34/289.11 c STR average degree increase per successful attempt inf
288.34/289.11 c STR total number of conflicts for successful attempts 0
288.34/289.11 c STR total number of conflicts for unsuccessful attempts 0
288.34/289.11 c STR total number of conflicts for inconclusive attempts 0
288.34/289.11 c STR average number of conflicts per successful attempt inf
288.34/289.11 c STR average number of conflicts per unsuccessful attempt inf
288.34/289.11 c STR average number of conflicts per inconclusive attempt inf
288.34/289.11 c AVG.sumWPerc 71.90
288.34/289.11 c bigint constraints 0
288.34/289.11 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: 63665 MiB (62856 MiB free)
memory of node 1: 64507 MiB (63440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517114-1751225145/watcher-4517114-1751225145 -o /tmp/evaluation-result-4517114-1751225145/solver-4517114-1751225145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751217107-31779 --watchdog 3760 run-dec-break.sh HOME/instance-4517114-1751225145.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34854, runsolver pid=34851
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129325224/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=59444 memory=16088 CPUtime=0.07 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 1638 0 0 0 7 0 0 0 20 0 1 0 38192336 60870656 4022 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 14861 4022 2368 1147 0 2288 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63636 KiB
Current children cumulated memory: 19160 KiB
[startup+0.205526 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129325224/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=59708 memory=16344 CPUtime=0.18 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 1683 0 0 0 17 1 0 0 20 0 1 0 38192336 61140992 4086 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 14927 4086 2368 1147 0 2354 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 19416 KiB
[startup+0.30462 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129325224/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=59840 memory=16472 CPUtime=0.28 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 1730 0 0 0 27 1 0 0 20 0 1 0 38192336 61276160 4118 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 14960 4118 2368 1147 0 2387 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64032 KiB
Current children cumulated memory: 19544 KiB
[startup+0.700124 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129323224/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=60856 memory=17496 CPUtime=0.66 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 1969 0 0 0 65 1 0 0 20 0 1 0 38192336 62316544 4374 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 15214 4374 2368 1147 0 2641 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65048 KiB
Current children cumulated memory: 20568 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129323224/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=61796 memory=18264 CPUtime=1.47 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 2173 0 0 0 144 3 0 0 20 0 1 0 38192336 63279104 4566 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 15449 4566 2368 1147 0 2876 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65988 KiB
Current children cumulated memory: 21336 KiB
[startup+3.10492 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129311440/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=63108 memory=19672 CPUtime=3.06 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 2527 0 0 0 302 4 0 0 20 0 1 0 38192336 64622592 4918 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 15777 4918 2368 1147 0 3204 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 67300 KiB
Current children cumulated memory: 22744 KiB
[startup+6.30012 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129307512/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=65572 memory=24044 CPUtime=6.25 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 3103 0 0 0 617 8 0 0 20 0 1 0 38192336 67145728 6011 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 16393 6011 2368 1147 0 3820 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 69764 KiB
Current children cumulated memory: 27116 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 34857
/proc/meminfo: memFree=129303992/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=70480 memory=29292 CPUtime=12.64 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 4335 0 0 0 1248 16 0 0 20 0 1 0 38192336 72171520 7323 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 17620 7323 2496 1147 0 5047 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74672 KiB
Current children cumulated memory: 32364 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 34857
/proc/meminfo: memFree=129267576/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=77456 memory=34476 CPUtime=25.4 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 5118 0 0 0 2513 27 0 0 20 0 1 0 38192336 79314944 8619 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 19364 8619 2496 1147 0 6791 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 81648 KiB
Current children cumulated memory: 37548 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 34857
/proc/meminfo: memFree=129231484/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=98228 memory=48940 CPUtime=50.95 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 8732 0 0 0 5047 48 0 0 20 0 1 0 38192336 100585472 12235 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 24557 12235 2496 1147 0 11984 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 102420 KiB
Current children cumulated memory: 52012 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 35188
/proc/meminfo: memFree=129306268/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=101844 memory=58436 CPUtime=102.02 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 9802 0 0 0 10118 84 0 0 20 0 1 0 38192336 104288256 14609 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 25461 14609 2496 1147 0 12888 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 106036 KiB
Current children cumulated memory: 61508 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 35196
/proc/meminfo: memFree=129215280/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=120872 memory=77232 CPUtime=161.86 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 12192 0 0 0 16072 114 0 0 20 0 1 0 38192336 123772928 19308 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 30218 19308 2496 1147 0 17645 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 125064 KiB
Current children cumulated memory: 80304 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 35198
/proc/meminfo: memFree=129186960/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=121880 memory=78180 CPUtime=221.71 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 12975 0 0 0 22026 145 0 0 20 0 1 0 38192336 124805120 19545 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 30470 19545 2496 1147 0 17897 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 126072 KiB
Current children cumulated memory: 81252 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 35200
/proc/meminfo: memFree=129162368/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124356 memory=80552 CPUtime=281.55 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14054 0 0 0 27984 171 0 0 20 0 1 0 38192336 127340544 20138 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31089 20138 2496 1147 0 18516 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 83624 KiB
[startup+289.116 s]
# the end of solver process 34854 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=286.583 s, system=1.78924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+284.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 35200
/proc/meminfo: memFree=129162368/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124356 memory=80552 CPUtime=284.05 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14054 0 0 0 28231 174 0 0 20 0 1 0 38192336 127340544 20138 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31089 20138 2496 1147 0 18516 0
Current children cumulated CPU time: 284.05 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 83624 KiB
[startup+286.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 35200
/proc/meminfo: memFree=129161360/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124356 memory=80552 CPUtime=285.64 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14054 0 0 0 28389 175 0 0 20 0 1 0 38192336 127340544 20138 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31089 20138 2496 1147 0 18516 0
Current children cumulated CPU time: 285.64 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 83624 KiB
[startup+288 s]*
/proc/loadavg: 4.14 4.12 4.09 5/270 35200
/proc/meminfo: memFree=129161360/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124356 memory=80552 CPUtime=287.25 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14054 0 0 0 28549 176 0 0 20 0 1 0 38192336 127340544 20138 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31089 20138 2496 1147 0 18516 0
Current children cumulated CPU time: 287.25 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 83624 KiB
[startup+288.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 35200
/proc/meminfo: memFree=129161360/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124356 memory=80552 CPUtime=288.04 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14054 0 0 0 28628 176 0 0 20 0 1 0 38192336 127340544 20138 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31089 20138 2496 1147 0 18516 0
Current children cumulated CPU time: 288.04 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 83624 KiB
[startup+289 s]*
/proc/loadavg: 4.13 4.11 4.09 5/270 35200
/proc/meminfo: memFree=129161360/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124692 memory=80808 CPUtime=288.25 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14115 0 0 0 28648 177 0 0 20 0 1 0 38192336 127684608 20202 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31173 20202 2496 1147 0 18600 0
Current children cumulated CPU time: 288.25 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 83880 KiB
[startup+289.105 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 35200
/proc/meminfo: memFree=129161360/131250000 swapFree=33010684/33010684
[pid=34854] ppid=34851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/34854/stat : 34854 (run-dec-break.s) S 34851 34854 31764 0 -1 4194304 236 723 0 0 0 0 0 0 20 0 1 0 38192334 4292608 768 18446744073709551615 94152590041088 94152590935621 140734117514768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94152591174672 94152591222416 94152618287104 140734117521761 140734117521890 140734117521890 140734117527492 0
/proc/34854/statm: 1048 768 704 219 0 110 0
[pid=34857] ppid=34854 vsize=124692 memory=80808 CPUtime=288.34 cores=1,3
/proc/34857/stat : 34857 (roundingsat) R 34854 34854 31764 0 -1 4194304 14115 0 0 0 28657 177 0 0 20 0 1 0 38192336 127684608 20202 18446744073709551615 4227072 8923433 140723209562512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30425088 140723209570628 140723209570856 140723209570856 140723209576426 0
/proc/34857/statm: 31173 20202 2496 1147 0 18600 0
Current children cumulated CPU time: 288.34 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 83880 KiB
Child status: 0
Real time (s): 289.116
CPU time (s): 288.373
CPU user time (s): 286.583
CPU system time (s): 1.78924
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 128884
Max. memory (cumulated for all children) (KiB): 83880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.583
system time used= 1.78924
maximum resident set size= 81124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 627
# summary of solver processes directly reported to runsolver:
# pid: 34854
# total CPU time (s): 288.373
# total CPU user time (s): 286.583
# total CPU system time (s): 1.78924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.494797 second user time and 1.23813 second system time
The end
Begin job on nodeC018 at 2025-06-29 21:25:45
IDJOB=4517114
IDBENCH=176016
IDSOLVER=3357
FILE ID=nodeC018/4517114-1751225145
RUNJOBID= nodeC018-1751217107-31779
SLURM_JOB_ID= 9587660
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517114-1751225145/watcher-4517114-1751225145 -o /tmp/evaluation-result-4517114-1751225145/solver-4517114-1751225145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751217107-31779 --watchdog 3760 run-dec-break.sh HOME/instance-4517114-1751225145.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d43ecb7c1452ca8da1aa915bfc6a97e8
RANDOM SEED=1441896519
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.190
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129327904 kB
MemAvailable: 129082852 kB
Buffers: 3280 kB
Cached: 564144 kB
SwapCached: 0 kB
Active: 1040744 kB
Inactive: 306976 kB
Active(anon): 798372 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 306976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7260 kB
Writeback: 0 kB
AnonPages: 781772 kB
Mapped: 116648 kB
Shmem: 18076 kB
KReclaimable: 89276 kB
Slab: 173596 kB
SReclaimable: 89276 kB
SUnreclaim: 84320 kB
KernelStack: 4384 kB
PageTables: 4860 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1139348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 575488 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC018 at 2025-06-29 21:30:34