0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.10 c #variables 11744 #constraints 797
0.00/0.10 c objective is ce32
0.07/0.11 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.11 c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.066762
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.082002
0.07/0.15 c GLOBAL bounds - >= 32 @ 0.082353
2.35/2.46 c #Conflicts: 1000 | #Constraints: 1796
2.35/2.46 c #Conflicts: 2000 | #Constraints: 2796
2.35/2.46 c INPROCESSING
2.35/2.46 c GARBAGE COLLECT
2.35/2.46 c rational objective 32
3.34/3.49 c GLOBAL bounds - >= 32 @ 3.25006
7.73/7.86 c #Conflicts: 3000 | #Constraints: 2817
7.73/7.86 c #Conflicts: 4000 | #Constraints: 3821
7.73/7.86 c INPROCESSING
7.73/7.86 c GARBAGE COLLECT
7.73/7.86 c rational objective 32
8.64/8.72 c GLOBAL bounds - >= 32 @ 8.26766
8.64/8.72 c GLOBAL bounds - >= 32 @ 8.2677
14.61/14.72 c #Conflicts: 5000 | #Constraints: 3244
14.61/14.72 c #Conflicts: 6000 | #Constraints: 4266
14.61/14.72 c INPROCESSING
14.61/14.72 c GARBAGE COLLECT
14.61/14.72 c rational objective 32
15.51/15.61 c GLOBAL bounds - >= 32 @ 14.959
15.51/15.61 c GLOBAL bounds - >= 32 @ 14.959
25.00/25.16 c #Conflicts: 7000 | #Constraints: 3274
25.00/25.16 c #Conflicts: 8000 | #Constraints: 4292
25.00/25.16 c #Conflicts: 9000 | #Constraints: 5315
25.00/25.16 c INPROCESSING
25.00/25.16 c GARBAGE COLLECT
25.00/25.16 c rational objective 32
26.28/26.44 c GLOBAL bounds - >= 32 @ 25.5136
26.28/26.44 c GLOBAL bounds - >= 32 @ 25.5136
33.16/33.34 c #Conflicts: 10000 | #Constraints: 3984
33.16/33.34 c #Conflicts: 11000 | #Constraints: 4986
33.16/33.34 c #Conflicts: 12000 | #Constraints: 5988
33.16/33.34 c INPROCESSING
33.16/33.34 c GARBAGE COLLECT
33.16/33.34 c rational objective 32
33.76/33.96 c GLOBAL bounds - >= 32 @ 32.8383
33.76/33.96 c GLOBAL bounds - >= 32 @ 32.8383
41.74/41.97 c #Conflicts: 13000 | #Constraints: 4425
41.74/41.97 c #Conflicts: 14000 | #Constraints: 5436
41.74/41.97 c #Conflicts: 15000 | #Constraints: 6452
41.74/41.97 c INPROCESSING
41.74/41.97 c GARBAGE COLLECT
41.74/41.97 c rational objective 32
42.54/42.71 c GLOBAL bounds - >= 32 @ 41.3506
42.54/42.71 c GLOBAL bounds - >= 32 @ 41.3507
56.40/56.68 c #Conflicts: 16000 | #Constraints: 4658
56.40/56.68 c #Conflicts: 17000 | #Constraints: 5663
56.40/56.68 c #Conflicts: 18000 | #Constraints: 6663
56.40/56.68 c INPROCESSING
56.40/56.68 c GARBAGE COLLECT
56.40/56.68 c rational objective 32
58.19/58.47 c GLOBAL bounds - >= 32 @ 56.6842
58.19/58.47 c GLOBAL bounds - >= 32 @ 56.6842
69.96/70.27 c #Conflicts: 19000 | #Constraints: 4647
69.96/70.27 c #Conflicts: 20000 | #Constraints: 5647
69.96/70.27 c #Conflicts: 21000 | #Constraints: 6647
69.96/70.27 c INPROCESSING
69.96/70.27 c GARBAGE COLLECT
69.96/70.27 c rational objective 32
71.25/71.52 c GLOBAL bounds - >= 32 @ 69.4633
71.25/71.52 c GLOBAL bounds - >= 32 @ 69.4633
86.51/86.80 c #Conflicts: 22000 | #Constraints: 4443
86.51/86.80 c #Conflicts: 23000 | #Constraints: 5458
86.51/86.80 c #Conflicts: 24000 | #Constraints: 6462
86.51/86.80 c #Conflicts: 25000 | #Constraints: 7464
86.51/86.80 c INPROCESSING
86.51/86.80 c GARBAGE COLLECT
86.51/86.80 c rational objective 32
87.72/88.06 c GLOBAL bounds - >= 32 @ 85.6984
87.72/88.06 c GLOBAL bounds - >= 32 @ 85.6985
101.17/101.57 c #Conflicts: 26000 | #Constraints: 5046
101.17/101.57 c #Conflicts: 27000 | #Constraints: 6049
101.17/101.57 c #Conflicts: 28000 | #Constraints: 7070
101.17/101.57 c #Conflicts: 29000 | #Constraints: 8082
101.17/101.57 c INPROCESSING
101.17/101.57 c GARBAGE COLLECT
101.17/101.57 c rational objective 32
101.97/102.37 c GLOBAL bounds - >= 32 @ 99.7023
101.97/102.37 c GLOBAL bounds - >= 32 @ 99.7023
117.42/117.87 c #Conflicts: 30000 | #Constraints: 5481
117.42/117.87 c #Conflicts: 31000 | #Constraints: 6489
117.42/117.87 c #Conflicts: 32000 | #Constraints: 7496
117.42/117.87 c #Conflicts: 33000 | #Constraints: 8514
117.42/117.87 c INPROCESSING
117.42/117.87 c GARBAGE COLLECT
117.42/117.87 c rational objective 32
118.92/119.36 c GLOBAL bounds - >= 32 @ 116.29
118.92/119.36 c GLOBAL bounds - >= 32 @ 116.29
132.98/133.41 c #Conflicts: 34000 | #Constraints: 5685
132.98/133.41 c #Conflicts: 35000 | #Constraints: 6687
132.98/133.41 c #Conflicts: 36000 | #Constraints: 7709
132.98/133.41 c #Conflicts: 37000 | #Constraints: 8726
132.98/133.41 c INPROCESSING
132.98/133.41 c GARBAGE COLLECT
132.98/133.41 c rational objective 32
133.48/133.95 c GLOBAL bounds - >= 32 @ 130.575
133.48/133.95 c GLOBAL bounds - >= 32 @ 130.575
147.04/147.53 c #Conflicts: 38000 | #Constraints: 5704
147.04/147.53 c #Conflicts: 39000 | #Constraints: 6720
147.04/147.53 c #Conflicts: 40000 | #Constraints: 7750
147.04/147.53 c #Conflicts: 41000 | #Constraints: 8766
147.04/147.53 c INPROCESSING
147.04/147.53 c GARBAGE COLLECT
147.04/147.53 c rational objective 32
147.34/147.88 c GLOBAL bounds - >= 32 @ 144.219
147.34/147.88 c GLOBAL bounds - >= 32 @ 144.219
178.15/178.78 c #Conflicts: 42000 | #Constraints: 5535
178.15/178.78 c #Conflicts: 43000 | #Constraints: 6554
178.15/178.78 c #Conflicts: 44000 | #Constraints: 7554
178.15/178.78 c #Conflicts: 45000 | #Constraints: 8562
178.15/178.78 c #Conflicts: 46000 | #Constraints: 9572
178.15/178.78 c INPROCESSING
178.15/178.78 c GARBAGE COLLECT
178.15/178.78 c rational objective 32
179.85/180.45 c GLOBAL bounds - >= 32 @ 176.055
179.85/180.45 c GLOBAL bounds - >= 32 @ 176.055
195.52/196.14 c #Conflicts: 47000 | #Constraints: 6114
195.52/196.14 c #Conflicts: 48000 | #Constraints: 7126
195.52/196.14 c #Conflicts: 49000 | #Constraints: 8143
195.52/196.14 c #Conflicts: 50000 | #Constraints: 9150
195.52/196.14 c #Conflicts: 51000 | #Constraints: 10164
195.52/196.14 c INPROCESSING
195.52/196.14 c GARBAGE COLLECT
195.52/196.14 c rational objective 32
196.20/196.85 c GLOBAL bounds - >= 32 @ 192.07
196.20/196.85 c GLOBAL bounds - >= 32 @ 192.07
214.25/214.91 c #Conflicts: 52000 | #Constraints: 6515
214.25/214.91 c #Conflicts: 53000 | #Constraints: 7534
214.25/214.91 c #Conflicts: 54000 | #Constraints: 8535
214.25/214.91 c #Conflicts: 55000 | #Constraints: 9543
214.25/214.91 c #Conflicts: 56000 | #Constraints: 10572
214.25/214.91 c INPROCESSING
214.25/214.91 c GARBAGE COLLECT
214.25/214.91 c rational objective 32
215.24/215.93 c GLOBAL bounds - >= 32 @ 210.751
215.24/215.93 c GLOBAL bounds - >= 32 @ 210.751
229.91/230.60 c #Conflicts: 57000 | #Constraints: 6718
229.91/230.60 c #Conflicts: 58000 | #Constraints: 7727
229.91/230.60 c #Conflicts: 59000 | #Constraints: 8729
229.91/230.60 c #Conflicts: 60000 | #Constraints: 9729
229.91/230.60 c #Conflicts: 61000 | #Constraints: 10731
229.91/230.60 c INPROCESSING
229.91/230.60 c GARBAGE COLLECT
229.91/230.60 c rational objective 32
230.91/231.65 c GLOBAL bounds - >= 32 @ 226.111
230.91/231.65 c GLOBAL bounds - >= 32 @ 226.111
245.65/246.48 c #Conflicts: 62000 | #Constraints: 6696
245.65/246.48 c #Conflicts: 63000 | #Constraints: 7708
245.65/246.48 c #Conflicts: 64000 | #Constraints: 8710
245.65/246.48 c #Conflicts: 65000 | #Constraints: 9728
245.65/246.48 c #Conflicts: 66000 | #Constraints: 10734
245.65/246.48 c INPROCESSING
245.65/246.48 c GARBAGE COLLECT
245.65/246.48 c rational objective 32
247.05/247.85 c GLOBAL bounds - >= 32 @ 241.963
247.05/247.85 c GLOBAL bounds - >= 32 @ 241.963
266.90/267.72 c #Conflicts: 67000 | #Constraints: 6499
266.90/267.72 c #Conflicts: 68000 | #Constraints: 7525
266.90/267.72 c #Conflicts: 69000 | #Constraints: 8538
266.90/267.72 c #Conflicts: 70000 | #Constraints: 9543
266.90/267.72 c #Conflicts: 71000 | #Constraints: 10566
266.90/267.72 c #Conflicts: 72000 | #Constraints: 11567
266.90/267.72 c INPROCESSING
266.90/267.72 c GARBAGE COLLECT
266.90/267.72 c rational objective 32
267.60/268.46 c GLOBAL bounds - >= 32 @ 262.174
267.60/268.46 c GLOBAL bounds - >= 32 @ 262.174
282.06/282.93 c #Conflicts: 73000 | #Constraints: 7111
282.06/282.93 c #Conflicts: 74000 | #Constraints: 8125
282.06/282.93 c #Conflicts: 75000 | #Constraints: 9133
282.06/282.93 c #Conflicts: 76000 | #Constraints: 10158
282.06/282.93 c #Conflicts: 77000 | #Constraints: 11170
282.06/282.93 c #Conflicts: 78000 | #Constraints: 12185
282.06/282.93 c INPROCESSING
282.06/282.93 c GARBAGE COLLECT
282.06/282.93 c rational objective 32
283.16/284.02 c GLOBAL bounds - >= 32 @ 277.379
283.16/284.02 c GLOBAL bounds - >= 32 @ 277.379
302.90/303.87 c #Conflicts: 79000 | #Constraints: 7551
302.90/303.87 c #Conflicts: 80000 | #Constraints: 8551
302.90/303.87 c #Conflicts: 81000 | #Constraints: 9552
302.90/303.87 c #Conflicts: 82000 | #Constraints: 10552
302.90/303.87 c #Conflicts: 83000 | #Constraints: 11553
302.90/303.87 c #Conflicts: 84000 | #Constraints: 12553
302.90/303.87 c INPROCESSING
302.90/303.87 c GARBAGE COLLECT
302.90/303.87 c rational objective 32
305.10/306.08 c GLOBAL bounds - >= 32 @ 299.036
305.10/306.08 c GLOBAL bounds - >= 32 @ 299.036
314.36/315.31 c #Conflicts: 85000 | #Constraints: 7699
314.36/315.31 c #Conflicts: 86000 | #Constraints: 8699
314.36/315.31 c #Conflicts: 87000 | #Constraints: 9699
314.36/315.31 c #Conflicts: 88000 | #Constraints: 10699
314.36/315.31 c #Conflicts: 89000 | #Constraints: 11699
314.36/315.31 c #Conflicts: 90000 | #Constraints: 12699
314.36/315.31 c INPROCESSING
314.36/315.31 c GARBAGE COLLECT
314.36/315.31 c rational objective 32
315.96/316.92 c GLOBAL bounds - >= 32 @ 309.619
315.96/316.92 c GLOBAL bounds - >= 32 @ 309.619
347.77/348.84 c #Conflicts: 91000 | #Constraints: 7684
347.77/348.84 c #Conflicts: 92000 | #Constraints: 8719
347.77/348.84 c #Conflicts: 93000 | #Constraints: 10437
347.77/348.84 c #Conflicts: 94000 | #Constraints: 12276
347.77/348.84 c #Conflicts: 95000 | #Constraints: 14079
347.77/348.84 c #Conflicts: 96000 | #Constraints: 15722
347.77/348.84 c INPROCESSING
347.77/348.84 c GARBAGE COLLECT
347.77/348.84 c rational objective 32
349.66/350.77 c GLOBAL bounds - >= 32 @ 342.743
349.66/350.77 c GLOBAL bounds - >= 32 @ 342.743
371.51/372.70 c #Conflicts: 97000 | #Constraints: 9182
371.51/372.70 c #Conflicts: 98000 | #Constraints: 10182
371.51/372.70 c #Conflicts: 99000 | #Constraints: 11182
371.51/372.70 c #Conflicts: 100000 | #Constraints: 12183
371.51/372.70 c #Conflicts: 101000 | #Constraints: 13188
371.51/372.70 c #Conflicts: 102000 | #Constraints: 14188
371.51/372.70 c #Conflicts: 103000 | #Constraints: 15188
371.51/372.70 c INPROCESSING
371.51/372.70 c GARBAGE COLLECT
371.51/372.70 c rational objective 32
373.92/375.05 c GLOBAL bounds - >= 32 @ 366.622
373.92/375.05 c GLOBAL bounds - >= 32 @ 366.622
385.56/386.75 c #Conflicts: 104000 | #Constraints: 8922
385.56/386.75 c #Conflicts: 105000 | #Constraints: 9922
385.56/386.75 c #Conflicts: 106000 | #Constraints: 10922
385.56/386.75 c #Conflicts: 107000 | #Constraints: 11922
385.56/386.75 c #Conflicts: 108000 | #Constraints: 12922
385.56/386.75 c #Conflicts: 109000 | #Constraints: 13922
385.56/386.75 c #Conflicts: 110000 | #Constraints: 14922
385.56/386.75 c INPROCESSING
385.56/386.75 c GARBAGE COLLECT
385.56/386.75 c rational objective 32
386.67/387.89 c GLOBAL bounds - >= 32 @ 379.155
386.67/387.89 c GLOBAL bounds - >= 32 @ 379.155
396.85/398.02 c #Conflicts: 111000 | #Constraints: 8880
396.85/398.02 c #Conflicts: 112000 | #Constraints: 9880
396.85/398.02 c #Conflicts: 113000 | #Constraints: 10880
396.85/398.02 c #Conflicts: 114000 | #Constraints: 11880
396.85/398.02 c #Conflicts: 115000 | #Constraints: 12880
396.85/398.02 c #Conflicts: 116000 | #Constraints: 13880
396.85/398.02 c #Conflicts: 117000 | #Constraints: 14880
396.85/398.02 c INPROCESSING
396.85/398.02 c GARBAGE COLLECT
396.85/398.02 c rational objective 32
398.53/399.70 c GLOBAL bounds - >= 32 @ 390.657
398.53/399.70 c GLOBAL bounds - >= 32 @ 390.657
424.56/425.82 c #Conflicts: 118000 | #Constraints: 8858
424.56/425.82 c #Conflicts: 119000 | #Constraints: 9864
424.56/425.82 c #Conflicts: 120000 | #Constraints: 10873
424.56/425.82 c #Conflicts: 121000 | #Constraints: 11877
424.56/425.82 c #Conflicts: 122000 | #Constraints: 12898
424.56/425.82 c #Conflicts: 123000 | #Constraints: 13940
424.56/425.82 c #Conflicts: 124000 | #Constraints: 14973
424.56/425.82 c INPROCESSING
424.56/425.82 c GARBAGE COLLECT
424.56/425.82 c rational objective 32
425.35/426.67 c GLOBAL bounds - >= 32 @ 417.11
425.35/426.67 c GLOBAL bounds - >= 32 @ 417.11
446.71/448.05 c #Conflicts: 125000 | #Constraints: 8826
446.71/448.05 c #Conflicts: 126000 | #Constraints: 9839
446.71/448.05 c #Conflicts: 127000 | #Constraints: 10840
446.71/448.05 c #Conflicts: 128000 | #Constraints: 11842
446.71/448.05 c #Conflicts: 129000 | #Constraints: 12848
446.71/448.05 c #Conflicts: 130000 | #Constraints: 13884
446.71/448.05 c #Conflicts: 131000 | #Constraints: 14892
446.71/448.05 c INPROCESSING
446.71/448.05 c GARBAGE COLLECT
446.71/448.05 c rational objective 32
448.09/449.46 c GLOBAL bounds - >= 32 @ 439.451
448.09/449.46 c GLOBAL bounds - >= 32 @ 439.451
469.23/470.61 c #Conflicts: 132000 | #Constraints: 8565
469.23/470.61 c #Conflicts: 133000 | #Constraints: 9567
469.23/470.61 c #Conflicts: 134000 | #Constraints: 10581
469.23/470.61 c #Conflicts: 135000 | #Constraints: 11596
469.23/470.61 c #Conflicts: 136000 | #Constraints: 12614
469.23/470.61 c #Conflicts: 137000 | #Constraints: 13619
469.23/470.61 c #Conflicts: 138000 | #Constraints: 14627
469.23/470.61 c #Conflicts: 139000 | #Constraints: 15642
469.23/470.61 c INPROCESSING
469.23/470.61 c GARBAGE COLLECT
469.23/470.61 c rational objective 32
470.34/471.70 c GLOBAL bounds - >= 32 @ 461.242
470.34/471.70 c GLOBAL bounds - >= 32 @ 461.242
495.67/497.14 c #Conflicts: 140000 | #Constraints: 9173
495.67/497.14 c #Conflicts: 141000 | #Constraints: 10187
495.67/497.14 c #Conflicts: 142000 | #Constraints: 11193
495.67/497.14 c #Conflicts: 143000 | #Constraints: 12200
495.67/497.14 c #Conflicts: 144000 | #Constraints: 13201
495.67/497.14 c #Conflicts: 145000 | #Constraints: 14201
495.67/497.14 c #Conflicts: 146000 | #Constraints: 15202
495.67/497.14 c #Conflicts: 147000 | #Constraints: 16203
495.67/497.14 c INPROCESSING
495.67/497.14 c GARBAGE COLLECT
495.67/497.14 c rational objective 32
496.57/498.05 c GLOBAL bounds - >= 32 @ 487.163
496.57/498.05 c GLOBAL bounds - >= 32 @ 487.163
530.27/531.88 c #Conflicts: 148000 | #Constraints: 9534
530.27/531.88 c #Conflicts: 149000 | #Constraints: 10534
530.27/531.88 c #Conflicts: 150000 | #Constraints: 11535
530.27/531.88 c #Conflicts: 151000 | #Constraints: 12535
530.27/531.88 c #Conflicts: 152000 | #Constraints: 13537
530.27/531.88 c #Conflicts: 153000 | #Constraints: 14537
530.27/531.88 c #Conflicts: 154000 | #Constraints: 15546
530.27/531.88 c #Conflicts: 155000 | #Constraints: 16557
530.27/531.88 c INPROCESSING
530.27/531.88 c GARBAGE COLLECT
530.27/531.88 c rational objective 32
531.66/533.21 c GLOBAL bounds - >= 32 @ 521.614
531.66/533.21 c GLOBAL bounds - >= 32 @ 521.614
553.20/554.81 c #Conflicts: 156000 | #Constraints: 9719
553.20/554.81 c #Conflicts: 157000 | #Constraints: 10742
553.20/554.81 c #Conflicts: 158000 | #Constraints: 11764
553.20/554.81 c #Conflicts: 159000 | #Constraints: 12788
553.20/554.81 c #Conflicts: 160000 | #Constraints: 13801
553.20/554.81 c #Conflicts: 161000 | #Constraints: 14829
553.20/554.81 c #Conflicts: 162000 | #Constraints: 15842
553.20/554.81 c #Conflicts: 163000 | #Constraints: 16854
553.20/554.81 c INPROCESSING
553.20/554.81 c GARBAGE COLLECT
553.20/554.81 c rational objective 32
553.80/555.44 c GLOBAL bounds - >= 32 @ 543.372
553.80/555.44 c GLOBAL bounds - >= 32 @ 543.372
579.83/581.55 c #Conflicts: 164000 | #Constraints: 9761
579.83/581.55 c #Conflicts: 165000 | #Constraints: 10761
579.83/581.55 c #Conflicts: 166000 | #Constraints: 11761
579.83/581.55 c #Conflicts: 167000 | #Constraints: 12761
579.83/581.55 c #Conflicts: 168000 | #Constraints: 13761
579.83/581.55 c #Conflicts: 169000 | #Constraints: 14761
579.83/581.55 c #Conflicts: 170000 | #Constraints: 15761
579.83/581.55 c #Conflicts: 171000 | #Constraints: 16761
579.83/581.55 c INPROCESSING
579.83/581.55 c GARBAGE COLLECT
579.83/581.55 c rational objective 32
581.34/583.03 c GLOBAL bounds - >= 32 @ 570.475
581.34/583.03 c GLOBAL bounds - >= 32 @ 570.475
616.13/617.92 c #Conflicts: 172000 | #Constraints: 9506
616.13/617.92 c #Conflicts: 173000 | #Constraints: 10507
616.13/617.92 c #Conflicts: 174000 | #Constraints: 11507
616.13/617.92 c #Conflicts: 175000 | #Constraints: 12508
616.13/617.92 c #Conflicts: 176000 | #Constraints: 13509
616.13/617.92 c #Conflicts: 177000 | #Constraints: 14514
616.13/617.92 c #Conflicts: 178000 | #Constraints: 15520
616.13/617.92 c #Conflicts: 179000 | #Constraints: 16524
616.13/617.92 c #Conflicts: 180000 | #Constraints: 17525
616.13/617.92 c INPROCESSING
616.13/617.92 c GARBAGE COLLECT
616.13/617.92 c rational objective 32
618.03/619.82 c GLOBAL bounds - >= 32 @ 606.642
618.03/619.82 c GLOBAL bounds - >= 32 @ 606.642
669.79/671.70 c #Conflicts: 181000 | #Constraints: 10079
669.79/671.70 c #Conflicts: 182000 | #Constraints: 11082
669.79/671.70 c #Conflicts: 183000 | #Constraints: 12086
669.79/671.70 c #Conflicts: 184000 | #Constraints: 13091
669.79/671.70 c #Conflicts: 185000 | #Constraints: 14098
669.79/671.70 c #Conflicts: 186000 | #Constraints: 15106
669.79/671.70 c #Conflicts: 187000 | #Constraints: 16120
669.79/671.70 c #Conflicts: 188000 | #Constraints: 17144
669.79/671.70 c #Conflicts: 189000 | #Constraints: 18146
669.79/671.70 c INPROCESSING
669.79/671.70 c GARBAGE COLLECT
669.79/671.70 c rational objective 32
670.38/672.33 c GLOBAL bounds - >= 32 @ 658.244
670.38/672.33 c GLOBAL bounds - >= 32 @ 658.244
700.89/703.00 c #Conflicts: 190000 | #Constraints: 10520
700.89/703.00 c #Conflicts: 191000 | #Constraints: 11523
700.89/703.00 c #Conflicts: 192000 | #Constraints: 12632
700.89/703.00 c #Conflicts: 193000 | #Constraints: 14032
700.89/703.00 c #Conflicts: 194000 | #Constraints: 15543
700.89/703.00 c #Conflicts: 195000 | #Constraints: 17069
700.89/703.00 c #Conflicts: 196000 | #Constraints: 18549
700.89/703.00 c #Conflicts: 197000 | #Constraints: 20066
700.89/703.00 c #Conflicts: 198000 | #Constraints: 21563
700.89/703.00 c INPROCESSING
700.89/703.00 c GARBAGE COLLECT
700.89/703.00 c rational objective 32
702.88/704.96 c GLOBAL bounds - >= 32 @ 690.3
702.88/704.96 c GLOBAL bounds - >= 32 @ 690.301
731.29/733.40 c #Conflicts: 199000 | #Constraints: 12203
731.29/733.40 c #Conflicts: 200000 | #Constraints: 13204
731.29/733.40 c #Conflicts: 201000 | #Constraints: 14208
731.29/733.40 c #Conflicts: 202000 | #Constraints: 15210
731.29/733.40 c #Conflicts: 203000 | #Constraints: 16210
731.29/733.40 c #Conflicts: 204000 | #Constraints: 17216
731.29/733.40 c #Conflicts: 205000 | #Constraints: 18217
731.29/733.40 c #Conflicts: 206000 | #Constraints: 19217
731.29/733.40 c #Conflicts: 207000 | #Constraints: 20217
731.29/733.40 c INPROCESSING
731.29/733.40 c GARBAGE COLLECT
731.29/733.40 c rational objective 32
732.69/734.85 c GLOBAL bounds - >= 32 @ 719.67
732.69/734.85 c GLOBAL bounds - >= 32 @ 719.67
741.97/744.18 c #Conflicts: 208000 | #Constraints: 11440
741.97/744.18 c #Conflicts: 209000 | #Constraints: 12440
741.97/744.18 c #Conflicts: 210000 | #Constraints: 13440
741.97/744.18 c #Conflicts: 211000 | #Constraints: 14440
741.97/744.18 c #Conflicts: 212000 | #Constraints: 15440
741.97/744.18 c #Conflicts: 213000 | #Constraints: 16440
741.97/744.18 c #Conflicts: 214000 | #Constraints: 17440
741.97/744.18 c #Conflicts: 215000 | #Constraints: 18440
741.97/744.18 c #Conflicts: 216000 | #Constraints: 19441
741.97/744.18 c INPROCESSING
741.97/744.18 c GARBAGE COLLECT
741.97/744.18 c rational objective 32
742.65/744.88 c GLOBAL bounds - >= 32 @ 729.448
742.65/744.88 c GLOBAL bounds - >= 32 @ 729.448
805.44/807.81 c #Conflicts: 217000 | #Constraints: 10849
805.44/807.81 c #Conflicts: 218000 | #Constraints: 11857
805.44/807.81 c #Conflicts: 219000 | #Constraints: 12867
805.44/807.81 c #Conflicts: 220000 | #Constraints: 13879
805.44/807.81 c #Conflicts: 221000 | #Constraints: 14901
805.44/807.81 c #Conflicts: 222000 | #Constraints: 15903
805.44/807.81 c #Conflicts: 223000 | #Constraints: 16903
805.44/807.81 c #Conflicts: 224000 | #Constraints: 17903
805.44/807.81 c #Conflicts: 225000 | #Constraints: 18903
805.44/807.81 c #Conflicts: 226000 | #Constraints: 19903
805.44/807.81 c INPROCESSING
805.44/807.81 c GARBAGE COLLECT
805.44/807.81 c rational objective 32
805.94/808.38 c GLOBAL bounds - >= 32 @ 791.95
805.94/808.38 c GLOBAL bounds - >= 32 @ 791.95
849.69/852.29 c #Conflicts: 227000 | #Constraints: 11295
849.69/852.29 c #Conflicts: 228000 | #Constraints: 12295
849.69/852.29 c #Conflicts: 229000 | #Constraints: 13295
849.69/852.29 c #Conflicts: 230000 | #Constraints: 14296
849.69/852.29 c #Conflicts: 231000 | #Constraints: 15301
849.69/852.29 c #Conflicts: 232000 | #Constraints: 16305
849.69/852.29 c #Conflicts: 233000 | #Constraints: 17307
849.69/852.29 c #Conflicts: 234000 | #Constraints: 18308
849.69/852.29 c #Conflicts: 235000 | #Constraints: 19310
849.69/852.29 c #Conflicts: 236000 | #Constraints: 20320
849.69/852.29 c INPROCESSING
849.69/852.29 c GARBAGE COLLECT
849.69/852.29 c rational objective 32
850.88/853.47 c GLOBAL bounds - >= 32 @ 836.252
850.88/853.47 c GLOBAL bounds - >= 32 @ 836.252
885.57/888.27 c #Conflicts: 237000 | #Constraints: 11588
885.57/888.27 c #Conflicts: 238000 | #Constraints: 12599
885.57/888.27 c #Conflicts: 239000 | #Constraints: 13603
885.57/888.27 c #Conflicts: 240000 | #Constraints: 14611
885.57/888.27 c #Conflicts: 241000 | #Constraints: 15630
885.57/888.27 c #Conflicts: 242000 | #Constraints: 16649
885.57/888.27 c #Conflicts: 243000 | #Constraints: 17663
885.57/888.27 c #Conflicts: 244000 | #Constraints: 18692
885.57/888.27 c #Conflicts: 245000 | #Constraints: 19700
885.57/888.27 c #Conflicts: 246000 | #Constraints: 20718
885.57/888.27 c INPROCESSING
885.57/888.27 c GARBAGE COLLECT
885.57/888.27 c rational objective 32
886.37/889.01 c GLOBAL bounds - >= 32 @ 871.025
886.37/889.01 c GLOBAL bounds - >= 32 @ 871.025
929.23/932.04 c #Conflicts: 247000 | #Constraints: 11819
929.23/932.04 c #Conflicts: 248000 | #Constraints: 12829
929.23/932.04 c #Conflicts: 249000 | #Constraints: 13831
929.23/932.04 c #Conflicts: 250000 | #Constraints: 14838
929.23/932.04 c #Conflicts: 251000 | #Constraints: 15865
929.23/932.04 c #Conflicts: 252000 | #Constraints: 16904
929.23/932.04 c #Conflicts: 253000 | #Constraints: 17908
929.23/932.04 c #Conflicts: 254000 | #Constraints: 18944
929.23/932.04 c #Conflicts: 255000 | #Constraints: 19970
929.23/932.04 c #Conflicts: 256000 | #Constraints: 20998
929.23/932.04 c INPROCESSING
929.23/932.04 c GARBAGE COLLECT
929.23/932.04 c rational objective 32
930.02/932.87 c GLOBAL bounds - >= 32 @ 913.979
930.02/932.87 c GLOBAL bounds - >= 32 @ 913.979
968.59/971.51 c #Conflicts: 257000 | #Constraints: 11836
968.59/971.51 c #Conflicts: 258000 | #Constraints: 12841
968.59/971.51 c #Conflicts: 259000 | #Constraints: 13857
968.59/971.51 c #Conflicts: 260000 | #Constraints: 14884
968.59/971.51 c #Conflicts: 261000 | #Constraints: 15900
968.59/971.51 c #Conflicts: 262000 | #Constraints: 16912
968.59/971.51 c #Conflicts: 263000 | #Constraints: 17934
968.59/971.51 c #Conflicts: 264000 | #Constraints: 18960
968.59/971.51 c #Conflicts: 265000 | #Constraints: 19987
968.59/971.51 c #Conflicts: 266000 | #Constraints: 21008
968.59/971.51 c INPROCESSING
968.59/971.51 c GARBAGE COLLECT
968.59/971.51 c rational objective 32
969.58/972.54 c GLOBAL bounds - >= 32 @ 952.84
969.58/972.54 c GLOBAL bounds - >= 32 @ 952.84
1043.14/1046.30 c #Conflicts: 267000 | #Constraints: 11658
1043.14/1046.30 c #Conflicts: 268000 | #Constraints: 12671
1043.14/1046.30 c #Conflicts: 269000 | #Constraints: 14001
1043.14/1046.30 c #Conflicts: 270000 | #Constraints: 15027
1043.14/1046.30 c #Conflicts: 271000 | #Constraints: 16027
1043.14/1046.30 c #Conflicts: 272000 | #Constraints: 17028
1043.14/1046.30 c #Conflicts: 273000 | #Constraints: 18028
1043.14/1046.30 c #Conflicts: 274000 | #Constraints: 19028
1043.14/1046.30 c #Conflicts: 275000 | #Constraints: 20028
1043.14/1046.30 c #Conflicts: 276000 | #Constraints: 21028
1043.14/1046.30 c #Conflicts: 277000 | #Constraints: 22028
1043.14/1046.30 c INPROCESSING
1043.14/1046.30 c GARBAGE COLLECT
1043.14/1046.30 c rational objective 32
1045.33/1048.57 c GLOBAL bounds - >= 32 @ 1027.71
1045.33/1048.57 c GLOBAL bounds - >= 32 @ 1027.71
1072.44/1075.75 c #Conflicts: 278000 | #Constraints: 12338
1072.44/1075.75 c #Conflicts: 279000 | #Constraints: 13338
1072.44/1075.75 c #Conflicts: 280000 | #Constraints: 14338
1072.44/1075.75 c #Conflicts: 281000 | #Constraints: 15338
1072.44/1075.75 c #Conflicts: 282000 | #Constraints: 16338
1072.44/1075.75 c #Conflicts: 283000 | #Constraints: 17340
1072.44/1075.75 c #Conflicts: 284000 | #Constraints: 18346
1072.44/1075.75 c #Conflicts: 285000 | #Constraints: 19349
1072.44/1075.75 c #Conflicts: 286000 | #Constraints: 20360
1072.44/1075.75 c #Conflicts: 287000 | #Constraints: 21392
1072.44/1075.75 c #Conflicts: 288000 | #Constraints: 22425
1072.44/1075.75 c INPROCESSING
1072.44/1075.75 c GARBAGE COLLECT
1072.44/1075.75 c rational objective 32
1073.75/1077.06 c GLOBAL bounds - >= 32 @ 1055.57
1073.75/1077.06 c GLOBAL bounds - >= 32 @ 1055.57
1106.33/1109.74 c #Conflicts: 289000 | #Constraints: 12639
1106.33/1109.74 c #Conflicts: 290000 | #Constraints: 13654
1106.33/1109.74 c #Conflicts: 291000 | #Constraints: 14682
1106.33/1109.74 c #Conflicts: 292000 | #Constraints: 15702
1106.33/1109.74 c #Conflicts: 293000 | #Constraints: 16720
1106.33/1109.74 c #Conflicts: 294000 | #Constraints: 17731
1106.33/1109.74 c #Conflicts: 295000 | #Constraints: 18753
1106.33/1109.74 c #Conflicts: 296000 | #Constraints: 19779
1106.33/1109.74 c #Conflicts: 297000 | #Constraints: 20798
1106.33/1109.74 c #Conflicts: 298000 | #Constraints: 21824
1106.33/1109.74 c #Conflicts: 299000 | #Constraints: 22844
1106.33/1109.74 c INPROCESSING
1106.33/1109.74 c GARBAGE COLLECT
1106.33/1109.74 c rational objective 32
1107.12/1110.52 c GLOBAL bounds - >= 32 @ 1088.28
1107.12/1110.52 c GLOBAL bounds - >= 32 @ 1088.28
1143.10/1146.62 c #Conflicts: 300000 | #Constraints: 12853
1143.10/1146.62 c #Conflicts: 301000 | #Constraints: 13869
1143.10/1146.62 c #Conflicts: 302000 | #Constraints: 14888
1143.10/1146.62 c #Conflicts: 303000 | #Constraints: 15898
1143.10/1146.62 c #Conflicts: 304000 | #Constraints: 16920
1143.10/1146.62 c #Conflicts: 305000 | #Constraints: 17933
1143.10/1146.62 c #Conflicts: 306000 | #Constraints: 18958
1143.10/1146.62 c #Conflicts: 307000 | #Constraints: 19978
1143.10/1146.62 c #Conflicts: 308000 | #Constraints: 20988
1143.10/1146.62 c #Conflicts: 309000 | #Constraints: 22025
1143.10/1146.62 c #Conflicts: 310000 | #Constraints: 23049
1143.10/1146.62 c INPROCESSING
1143.10/1146.62 c GARBAGE COLLECT
1143.10/1146.62 c rational objective 32
1144.00/1147.54 c GLOBAL bounds - >= 32 @ 1124.47
1144.00/1147.54 c GLOBAL bounds - >= 32 @ 1124.47
1178.87/1182.56 c #Conflicts: 311000 | #Constraints: 12850
1178.87/1182.56 c #Conflicts: 312000 | #Constraints: 13850
1178.87/1182.56 c #Conflicts: 313000 | #Constraints: 14850
1178.87/1182.56 c #Conflicts: 314000 | #Constraints: 15850
1178.87/1182.56 c #Conflicts: 315000 | #Constraints: 16850
1178.87/1182.56 c #Conflicts: 316000 | #Constraints: 17850
1178.87/1182.56 c #Conflicts: 317000 | #Constraints: 18850
1178.87/1182.56 c #Conflicts: 318000 | #Constraints: 19850
1178.87/1182.56 c #Conflicts: 319000 | #Constraints: 20854
1178.87/1182.56 c #Conflicts: 320000 | #Constraints: 21854
1178.87/1182.56 c #Conflicts: 321000 | #Constraints: 22854
1178.87/1182.56 c INPROCESSING
1178.87/1182.56 c GARBAGE COLLECT
1178.87/1182.56 c rational objective 32
1180.49/1184.14 c GLOBAL bounds - >= 32 @ 1160.16
1180.49/1184.14 c GLOBAL bounds - >= 32 @ 1160.16
1194.22/1197.91 c #Conflicts: 322000 | #Constraints: 12549
1194.22/1197.91 c #Conflicts: 323000 | #Constraints: 13549
1194.22/1197.91 c #Conflicts: 324000 | #Constraints: 14549
1194.22/1197.91 c #Conflicts: 325000 | #Constraints: 15549
1194.22/1197.91 c #Conflicts: 326000 | #Constraints: 16549
1194.22/1197.91 c #Conflicts: 327000 | #Constraints: 17549
1194.22/1197.91 c #Conflicts: 328000 | #Constraints: 18549
1194.22/1197.91 c #Conflicts: 329000 | #Constraints: 19549
1194.22/1197.91 c #Conflicts: 330000 | #Constraints: 20549
1194.22/1197.91 c #Conflicts: 331000 | #Constraints: 21549
1194.22/1197.91 c #Conflicts: 332000 | #Constraints: 22550
1194.22/1197.91 c #Conflicts: 333000 | #Constraints: 23559
1194.22/1197.91 c INPROCESSING
1194.22/1197.91 c GARBAGE COLLECT
1194.22/1197.91 c rational objective 32
1195.73/1199.43 c GLOBAL bounds - >= 32 @ 1175.08
1195.73/1199.43 c GLOBAL bounds - >= 32 @ 1175.08
1239.37/1243.25 c #Conflicts: 334000 | #Constraints: 13113
1239.37/1243.25 c #Conflicts: 335000 | #Constraints: 14134
1239.37/1243.25 c #Conflicts: 336000 | #Constraints: 15157
1239.37/1243.25 c #Conflicts: 337000 | #Constraints: 16176
1239.37/1243.25 c #Conflicts: 338000 | #Constraints: 17197
1239.37/1243.25 c #Conflicts: 339000 | #Constraints: 18215
1239.37/1243.25 c #Conflicts: 340000 | #Constraints: 19235
1239.37/1243.25 c #Conflicts: 341000 | #Constraints: 20235
1239.37/1243.25 c #Conflicts: 342000 | #Constraints: 21279
1239.37/1243.25 c #Conflicts: 343000 | #Constraints: 22310
1239.37/1243.25 c #Conflicts: 344000 | #Constraints: 23324
1239.37/1243.25 c #Conflicts: 345000 | #Constraints: 24340
1239.37/1243.25 c INPROCESSING
1239.37/1243.25 c GARBAGE COLLECT
1239.37/1243.25 c rational objective 32
1240.67/1244.58 c GLOBAL bounds - >= 32 @ 1219.21
1240.67/1244.58 c GLOBAL bounds - >= 32 @ 1219.21
1293.29/1297.37 c #Conflicts: 346000 | #Constraints: 13605
1293.29/1297.37 c #Conflicts: 347000 | #Constraints: 14628
1293.29/1297.37 c #Conflicts: 348000 | #Constraints: 15634
1293.29/1297.37 c #Conflicts: 349000 | #Constraints: 16642
1293.29/1297.37 c #Conflicts: 350000 | #Constraints: 17642
1293.29/1297.37 c #Conflicts: 351000 | #Constraints: 18642
1293.29/1297.37 c #Conflicts: 352000 | #Constraints: 19642
1293.29/1297.37 c #Conflicts: 353000 | #Constraints: 20663
1293.29/1297.37 c #Conflicts: 354000 | #Constraints: 21680
1293.29/1297.37 c #Conflicts: 355000 | #Constraints: 22694
1293.29/1297.37 c #Conflicts: 356000 | #Constraints: 23718
1293.29/1297.37 c #Conflicts: 357000 | #Constraints: 24751
1293.29/1297.37 c INPROCESSING
1293.29/1297.37 c GARBAGE COLLECT
1293.29/1297.37 c rational objective 32
1294.19/1298.27 c GLOBAL bounds - >= 32 @ 1271.92
1294.19/1298.27 c GLOBAL bounds - >= 32 @ 1271.92
1343.51/1347.74 c #Conflicts: 358000 | #Constraints: 13813
1343.51/1347.74 c #Conflicts: 359000 | #Constraints: 14836
1343.51/1347.74 c #Conflicts: 360000 | #Constraints: 15841
1343.51/1347.74 c #Conflicts: 361000 | #Constraints: 16854
1343.51/1347.74 c #Conflicts: 362000 | #Constraints: 17878
1343.51/1347.74 c #Conflicts: 363000 | #Constraints: 18902
1343.51/1347.74 c #Conflicts: 364000 | #Constraints: 19915
1343.51/1347.74 c #Conflicts: 365000 | #Constraints: 20922
1343.51/1347.74 c #Conflicts: 366000 | #Constraints: 21935
1343.51/1347.74 c #Conflicts: 367000 | #Constraints: 22949
1343.51/1347.74 c #Conflicts: 368000 | #Constraints: 23971
1343.51/1347.74 c #Conflicts: 369000 | #Constraints: 24991
1343.51/1347.74 c INPROCESSING
1343.51/1347.74 c GARBAGE COLLECT
1343.51/1347.74 c rational objective 32
1344.83/1349.03 c GLOBAL bounds - >= 32 @ 1321.72
1344.83/1349.03 c GLOBAL bounds - >= 32 @ 1321.72
1445.88/1450.42 c #Conflicts: 370000 | #Constraints: 13826
1445.88/1450.42 c #Conflicts: 371000 | #Constraints: 14831
1445.88/1450.42 c #Conflicts: 372000 | #Constraints: 15831
1445.88/1450.42 c #Conflicts: 373000 | #Constraints: 16831
1445.88/1450.42 c #Conflicts: 374000 | #Constraints: 17832
1445.88/1450.42 c #Conflicts: 375000 | #Constraints: 18832
1445.88/1450.42 c #Conflicts: 376000 | #Constraints: 19832
1445.88/1450.42 c #Conflicts: 377000 | #Constraints: 20832
1445.88/1450.42 c #Conflicts: 378000 | #Constraints: 21842
1445.88/1450.42 c #Conflicts: 379000 | #Constraints: 22897
1445.88/1450.42 c #Conflicts: 380000 | #Constraints: 23975
1445.88/1450.42 c #Conflicts: 381000 | #Constraints: 24987
1445.88/1450.42 c INPROCESSING
1445.88/1450.42 c GARBAGE COLLECT
1445.88/1450.42 c rational objective 32
1446.88/1451.45 c GLOBAL bounds - >= 32 @ 1422.2
1446.88/1451.45 c GLOBAL bounds - >= 32 @ 1422.2
1504.31/1509.02 c #Conflicts: 382000 | #Constraints: 13631
1504.31/1509.02 c #Conflicts: 383000 | #Constraints: 14634
1504.31/1509.02 c #Conflicts: 384000 | #Constraints: 15635
1504.31/1509.02 c #Conflicts: 385000 | #Constraints: 16637
1504.31/1509.02 c #Conflicts: 386000 | #Constraints: 17638
1504.31/1509.02 c #Conflicts: 387000 | #Constraints: 18638
1504.31/1509.02 c #Conflicts: 388000 | #Constraints: 19638
1504.31/1509.02 c #Conflicts: 389000 | #Constraints: 20638
1504.31/1509.02 c #Conflicts: 390000 | #Constraints: 21638
1504.31/1509.02 c #Conflicts: 391000 | #Constraints: 22638
1504.31/1509.02 c #Conflicts: 392000 | #Constraints: 23638
1504.31/1509.02 c #Conflicts: 393000 | #Constraints: 24638
1504.31/1509.02 c #Conflicts: 394000 | #Constraints: 25638
1504.31/1509.02 c INPROCESSING
1504.31/1509.02 c GARBAGE COLLECT
1504.31/1509.02 c rational objective 32
1506.70/1511.43 c GLOBAL bounds - >= 32 @ 1481.24
1506.70/1511.43 c GLOBAL bounds - >= 32 @ 1481.24
1542.59/1547.40 c #Conflicts: 395000 | #Constraints: 14144
1542.59/1547.40 c #Conflicts: 396000 | #Constraints: 15144
1542.59/1547.40 c #Conflicts: 397000 | #Constraints: 16156
1542.59/1547.40 c #Conflicts: 398000 | #Constraints: 17171
1542.59/1547.40 c #Conflicts: 399000 | #Constraints: 18181
1542.59/1547.40 c #Conflicts: 400000 | #Constraints: 19206
1542.59/1547.40 c #Conflicts: 401000 | #Constraints: 20235
1542.59/1547.40 c #Conflicts: 402000 | #Constraints: 21265
1542.59/1547.40 c #Conflicts: 403000 | #Constraints: 22283
1542.59/1547.40 c #Conflicts: 404000 | #Constraints: 23308
1542.59/1547.40 c #Conflicts: 405000 | #Constraints: 24337
1542.59/1547.40 c #Conflicts: 406000 | #Constraints: 25344
1542.59/1547.40 c #Conflicts: 407000 | #Constraints: 26353
1542.59/1547.40 c INPROCESSING
1542.59/1547.40 c GARBAGE COLLECT
1542.59/1547.40 c rational objective 32
1543.48/1548.32 c GLOBAL bounds - >= 32 @ 1517.26
1543.48/1548.32 c GLOBAL bounds - >= 32 @ 1517.26
1585.17/1590.17 c #Conflicts: 408000 | #Constraints: 14603
1585.17/1590.17 c #Conflicts: 409000 | #Constraints: 15604
1585.17/1590.17 c #Conflicts: 410000 | #Constraints: 16608
1585.17/1590.17 c #Conflicts: 411000 | #Constraints: 17611
1585.17/1590.17 c #Conflicts: 412000 | #Constraints: 18611
1585.17/1590.17 c #Conflicts: 413000 | #Constraints: 19613
1585.17/1590.17 c #Conflicts: 414000 | #Constraints: 20616
1585.17/1590.17 c #Conflicts: 415000 | #Constraints: 21644
1585.17/1590.17 c #Conflicts: 416000 | #Constraints: 22685
1585.17/1590.17 c #Conflicts: 417000 | #Constraints: 23704
1585.17/1590.17 c #Conflicts: 418000 | #Constraints: 24726
1585.17/1590.17 c #Conflicts: 419000 | #Constraints: 25742
1585.17/1590.17 c #Conflicts: 420000 | #Constraints: 26756
1585.17/1590.17 c INPROCESSING
1585.17/1590.17 c GARBAGE COLLECT
1585.17/1590.17 c rational objective 32
1586.06/1591.02 c GLOBAL bounds - >= 32 @ 1559.16
1586.06/1591.02 c GLOBAL bounds - >= 32 @ 1559.16
1667.92/1673.16 c #Conflicts: 421000 | #Constraints: 14821
1667.92/1673.16 c #Conflicts: 422000 | #Constraints: 15835
1667.92/1673.16 c #Conflicts: 423000 | #Constraints: 16851
1667.92/1673.16 c #Conflicts: 424000 | #Constraints: 17862
1667.92/1673.16 c #Conflicts: 425000 | #Constraints: 18869
1667.92/1673.16 c #Conflicts: 426000 | #Constraints: 19883
1667.92/1673.16 c #Conflicts: 427000 | #Constraints: 20892
1667.92/1673.16 c #Conflicts: 428000 | #Constraints: 21892
1667.92/1673.16 c #Conflicts: 429000 | #Constraints: 22892
1667.92/1673.16 c #Conflicts: 430000 | #Constraints: 23892
1667.92/1673.16 c #Conflicts: 431000 | #Constraints: 24893
1667.92/1673.16 c #Conflicts: 432000 | #Constraints: 25894
1667.92/1673.16 c #Conflicts: 433000 | #Constraints: 26895
1667.92/1673.16 c INPROCESSING
1667.92/1673.16 c GARBAGE COLLECT
1667.92/1673.16 c rational objective 32
1668.81/1674.07 c GLOBAL bounds - >= 32 @ 1640.89
1668.81/1674.07 c GLOBAL bounds - >= 32 @ 1640.89
1766.80/1772.39 c #Conflicts: 434000 | #Constraints: 14794
1766.80/1772.39 c #Conflicts: 435000 | #Constraints: 15794
1766.80/1772.39 c #Conflicts: 436000 | #Constraints: 16813
1766.80/1772.39 c #Conflicts: 437000 | #Constraints: 17813
1766.80/1772.39 c #Conflicts: 438000 | #Constraints: 18814
1766.80/1772.39 c #Conflicts: 439000 | #Constraints: 19814
1766.80/1772.39 c #Conflicts: 440000 | #Constraints: 20814
1766.80/1772.39 c #Conflicts: 441000 | #Constraints: 21814
1766.80/1772.39 c #Conflicts: 442000 | #Constraints: 22814
1766.80/1772.39 c #Conflicts: 443000 | #Constraints: 23814
1766.80/1772.39 c #Conflicts: 444000 | #Constraints: 24814
1766.80/1772.39 c #Conflicts: 445000 | #Constraints: 25814
1766.80/1772.39 c #Conflicts: 446000 | #Constraints: 26814
1766.80/1772.39 c INPROCESSING
1766.80/1772.39 c GARBAGE COLLECT
1766.80/1772.39 c rational objective 32
1767.52/1773.11 c GLOBAL bounds - >= 32 @ 1738.71
1767.52/1773.11 c GLOBAL bounds - >= 32 @ 1738.71
1871.07/1877.00 c #Conflicts: 447000 | #Constraints: 14557
1871.07/1877.00 c #Conflicts: 448000 | #Constraints: 15569
1871.07/1877.00 c #Conflicts: 449000 | #Constraints: 16574
1871.07/1877.00 c #Conflicts: 450000 | #Constraints: 17580
1871.07/1877.00 c #Conflicts: 451000 | #Constraints: 18582
1871.07/1877.00 c #Conflicts: 452000 | #Constraints: 19597
1871.07/1877.00 c #Conflicts: 453000 | #Constraints: 20615
1871.07/1877.00 c #Conflicts: 454000 | #Constraints: 21618
1871.07/1877.00 c #Conflicts: 455000 | #Constraints: 22619
1871.07/1877.00 c #Conflicts: 456000 | #Constraints: 23621
1871.07/1877.00 c #Conflicts: 457000 | #Constraints: 24622
1871.07/1877.00 c #Conflicts: 458000 | #Constraints: 25622
1871.07/1877.00 c #Conflicts: 459000 | #Constraints: 26622
1871.07/1877.00 c #Conflicts: 460000 | #Constraints: 27622
1871.07/1877.00 c INPROCESSING
1871.07/1877.00 c GARBAGE COLLECT
1871.07/1877.00 c rational objective 32
1871.77/1877.61 c GLOBAL bounds - >= 32 @ 1841.88
1871.77/1877.61 c GLOBAL bounds - >= 32 @ 1841.88
1992.67/1998.94 c #Conflicts: 461000 | #Constraints: 15181
1992.67/1998.94 c #Conflicts: 462000 | #Constraints: 16202
1992.67/1998.94 c #Conflicts: 463000 | #Constraints: 17207
1992.67/1998.94 c #Conflicts: 464000 | #Constraints: 18233
1992.67/1998.94 c #Conflicts: 465000 | #Constraints: 19244
1992.67/1998.94 c #Conflicts: 466000 | #Constraints: 20250
1992.67/1998.94 c #Conflicts: 467000 | #Constraints: 21259
1992.67/1998.94 c #Conflicts: 468000 | #Constraints: 22260
1992.67/1998.94 c #Conflicts: 469000 | #Constraints: 23260
1992.67/1998.94 c #Conflicts: 470000 | #Constraints: 24261
1992.67/1998.94 c #Conflicts: 471000 | #Constraints: 25262
1992.67/1998.94 c #Conflicts: 472000 | #Constraints: 26262
1992.67/1998.94 c #Conflicts: 473000 | #Constraints: 27262
1992.67/1998.94 c #Conflicts: 474000 | #Constraints: 28263
1992.67/1998.94 c INPROCESSING
1992.67/1998.94 c GARBAGE COLLECT
1992.67/1998.94 c rational objective 32
1993.07/1999.40 c GLOBAL bounds - >= 32 @ 1962.19
1993.07/1999.40 c GLOBAL bounds - >= 32 @ 1962.19
2090.44/2097.02 c #Conflicts: 475000 | #Constraints: 15592
2090.44/2097.02 c #Conflicts: 476000 | #Constraints: 16602
2090.44/2097.02 c #Conflicts: 477000 | #Constraints: 17604
2090.44/2097.02 c #Conflicts: 478000 | #Constraints: 18607
2090.44/2097.02 c #Conflicts: 479000 | #Constraints: 19607
2090.44/2097.02 c #Conflicts: 480000 | #Constraints: 20613
2090.44/2097.02 c #Conflicts: 481000 | #Constraints: 21622
2090.44/2097.02 c #Conflicts: 482000 | #Constraints: 22628
2090.44/2097.02 c #Conflicts: 483000 | #Constraints: 23644
2090.44/2097.02 c #Conflicts: 484000 | #Constraints: 24648
2090.44/2097.02 c #Conflicts: 485000 | #Constraints: 25652
2090.44/2097.02 c #Conflicts: 486000 | #Constraints: 26653
2090.44/2097.02 c #Conflicts: 487000 | #Constraints: 27657
2090.44/2097.02 c #Conflicts: 488000 | #Constraints: 28661
2090.44/2097.02 c INPROCESSING
2090.44/2097.02 c GARBAGE COLLECT
2090.44/2097.02 c rational objective 32
2090.92/2097.52 c GLOBAL bounds - >= 32 @ 2059.06
2090.92/2097.52 c GLOBAL bounds - >= 32 @ 2059.06
2164.28/2171.15 c #Conflicts: 489000 | #Constraints: 15776
2164.28/2171.15 c #Conflicts: 490000 | #Constraints: 16776
2164.28/2171.15 c #Conflicts: 491000 | #Constraints: 17791
2164.28/2171.15 c #Conflicts: 492000 | #Constraints: 18799
2164.28/2171.15 c #Conflicts: 493000 | #Constraints: 19812
2164.28/2171.15 c #Conflicts: 494000 | #Constraints: 20813
2164.28/2171.15 c #Conflicts: 495000 | #Constraints: 21816
2164.28/2171.15 c #Conflicts: 496000 | #Constraints: 22818
2164.28/2171.15 c #Conflicts: 497000 | #Constraints: 23822
2164.28/2171.15 c #Conflicts: 498000 | #Constraints: 24823
2164.28/2171.15 c #Conflicts: 499000 | #Constraints: 25823
2164.28/2171.15 c #Conflicts: 500000 | #Constraints: 26827
2164.28/2171.15 c #Conflicts: 501000 | #Constraints: 27827
2164.28/2171.15 c #Conflicts: 502000 | #Constraints: 28832
2164.28/2171.15 c INPROCESSING
2164.28/2171.15 c GARBAGE COLLECT
2164.28/2171.15 c rational objective 32
2164.86/2171.70 c GLOBAL bounds - >= 32 @ 2132.07
2164.86/2171.70 c GLOBAL bounds - >= 32 @ 2132.07
2215.19/2222.23 c #Conflicts: 503000 | #Constraints: 15762
2215.19/2222.23 c #Conflicts: 504000 | #Constraints: 16762
2215.19/2222.23 c #Conflicts: 505000 | #Constraints: 17762
2215.19/2222.23 c #Conflicts: 506000 | #Constraints: 18762
2215.19/2222.23 c #Conflicts: 507000 | #Constraints: 19762
2215.19/2222.23 c #Conflicts: 508000 | #Constraints: 20762
2215.19/2222.23 c #Conflicts: 509000 | #Constraints: 21762
2215.19/2222.23 c #Conflicts: 510000 | #Constraints: 22762
2215.19/2222.23 c #Conflicts: 511000 | #Constraints: 23762
2215.19/2222.23 c #Conflicts: 512000 | #Constraints: 24762
2215.19/2222.23 c #Conflicts: 513000 | #Constraints: 25762
2215.19/2222.23 c #Conflicts: 514000 | #Constraints: 26762
2215.19/2222.23 c #Conflicts: 515000 | #Constraints: 27762
2215.19/2222.23 c #Conflicts: 516000 | #Constraints: 28762
2215.19/2222.23 c INPROCESSING
2215.19/2222.23 c GARBAGE COLLECT
2215.19/2222.23 c rational objective 32
2216.69/2223.72 c GLOBAL bounds - >= 32 @ 2183.22
2216.69/2223.72 c GLOBAL bounds - >= 32 @ 2183.22
2273.59/2280.80 c #Conflicts: 517000 | #Constraints: 15504
2273.59/2280.80 c #Conflicts: 518000 | #Constraints: 16505
2273.59/2280.80 c #Conflicts: 519000 | #Constraints: 17505
2273.59/2280.80 c #Conflicts: 520000 | #Constraints: 18505
2273.59/2280.80 c #Conflicts: 521000 | #Constraints: 19506
2273.59/2280.80 c #Conflicts: 522000 | #Constraints: 20517
2273.59/2280.80 c #Conflicts: 523000 | #Constraints: 21525
2273.59/2280.80 c #Conflicts: 524000 | #Constraints: 22536
2273.59/2280.80 c #Conflicts: 525000 | #Constraints: 23542
2273.59/2280.80 c #Conflicts: 526000 | #Constraints: 24557
2273.59/2280.80 c #Conflicts: 527000 | #Constraints: 25586
2273.59/2280.80 c #Conflicts: 528000 | #Constraints: 26594
2273.59/2280.80 c #Conflicts: 529000 | #Constraints: 27607
2273.59/2280.80 c #Conflicts: 530000 | #Constraints: 28610
2273.59/2280.80 c #Conflicts: 531000 | #Constraints: 29612
2273.59/2280.80 c INPROCESSING
2273.59/2280.80 c GARBAGE COLLECT
2273.59/2280.80 c rational objective 32
2274.40/2281.67 c GLOBAL bounds - >= 32 @ 2240.19
2274.40/2281.67 c GLOBAL bounds - >= 32 @ 2240.19
2317.35/2324.76 c #Conflicts: 532000 | #Constraints: 16142
2317.35/2324.76 c #Conflicts: 533000 | #Constraints: 17154
2317.35/2324.76 c #Conflicts: 534000 | #Constraints: 18155
2317.35/2324.76 c #Conflicts: 535000 | #Constraints: 19155
2317.35/2324.76 c #Conflicts: 536000 | #Constraints: 20157
2317.35/2324.76 c #Conflicts: 537000 | #Constraints: 21345
2317.35/2324.76 c #Conflicts: 538000 | #Constraints: 22348
2317.35/2324.76 c #Conflicts: 539000 | #Constraints: 23596
2317.35/2324.76 c #Conflicts: 540000 | #Constraints: 24957
2317.35/2324.76 c #Conflicts: 541000 | #Constraints: 25959
2317.35/2324.76 c #Conflicts: 542000 | #Constraints: 26963
2317.35/2324.76 c #Conflicts: 543000 | #Constraints: 27968
2317.35/2324.76 c #Conflicts: 544000 | #Constraints: 28968
2317.35/2324.76 c #Conflicts: 545000 | #Constraints: 29969
2317.35/2324.76 c #Conflicts: 546000 | #Constraints: 30972
2317.35/2324.76 c INPROCESSING
2317.35/2324.76 c GARBAGE COLLECT
2317.35/2324.76 c rational objective 32
2318.95/2326.38 c GLOBAL bounds - >= 32 @ 2284.02
2318.95/2326.38 c GLOBAL bounds - >= 32 @ 2284.02
2375.15/2382.71 c #Conflicts: 547000 | #Constraints: 16897
2375.15/2382.71 c #Conflicts: 548000 | #Constraints: 17897
2375.15/2382.71 c #Conflicts: 549000 | #Constraints: 18897
2375.15/2382.71 c #Conflicts: 550000 | #Constraints: 19898
2375.15/2382.71 c #Conflicts: 551000 | #Constraints: 20901
2375.15/2382.71 c #Conflicts: 552000 | #Constraints: 21918
2375.15/2382.71 c #Conflicts: 553000 | #Constraints: 22931
2375.15/2382.71 c #Conflicts: 554000 | #Constraints: 23933
2375.15/2382.71 c #Conflicts: 555000 | #Constraints: 24933
2375.15/2382.71 c #Conflicts: 556000 | #Constraints: 25933
2375.15/2382.71 c #Conflicts: 557000 | #Constraints: 26933
2375.15/2382.71 c #Conflicts: 558000 | #Constraints: 27943
2375.15/2382.71 c #Conflicts: 559000 | #Constraints: 28968
2375.15/2382.71 c #Conflicts: 560000 | #Constraints: 29983
2375.15/2382.71 c #Conflicts: 561000 | #Constraints: 31004
2375.15/2382.71 c INPROCESSING
2375.15/2382.71 c GARBAGE COLLECT
2375.15/2382.71 c rational objective 32
2376.25/2383.85 c GLOBAL bounds - >= 32 @ 2340.5
2376.25/2383.85 c GLOBAL bounds - >= 32 @ 2340.5
2433.46/2441.26 c #Conflicts: 562000 | #Constraints: 16942
2433.46/2441.26 c #Conflicts: 563000 | #Constraints: 17949
2433.46/2441.26 c #Conflicts: 564000 | #Constraints: 18951
2433.46/2441.26 c #Conflicts: 565000 | #Constraints: 19963
2433.46/2441.26 c #Conflicts: 566000 | #Constraints: 20977
2433.46/2441.26 c #Conflicts: 567000 | #Constraints: 21995
2433.46/2441.26 c #Conflicts: 568000 | #Constraints: 23021
2433.46/2441.26 c #Conflicts: 569000 | #Constraints: 24040
2433.46/2441.26 c #Conflicts: 570000 | #Constraints: 25051
2433.46/2441.26 c #Conflicts: 571000 | #Constraints: 26074
2433.46/2441.26 c #Conflicts: 572000 | #Constraints: 27108
2433.46/2441.26 c #Conflicts: 573000 | #Constraints: 28134
2433.46/2441.26 c #Conflicts: 574000 | #Constraints: 29161
2433.46/2441.26 c #Conflicts: 575000 | #Constraints: 30183
2433.46/2441.26 c #Conflicts: 576000 | #Constraints: 31194
2433.46/2441.26 c INPROCESSING
2433.46/2441.26 c GARBAGE COLLECT
2433.46/2441.26 c rational objective 32
2434.16/2441.97 c GLOBAL bounds - >= 32 @ 2397.45
2434.16/2441.97 c GLOBAL bounds - >= 32 @ 2397.45
2497.65/2505.60 c #Conflicts: 577000 | #Constraints: 16933
2497.65/2505.60 c #Conflicts: 578000 | #Constraints: 17935
2497.65/2505.60 c #Conflicts: 579000 | #Constraints: 18937
2497.65/2505.60 c #Conflicts: 580000 | #Constraints: 19938
2497.65/2505.60 c #Conflicts: 581000 | #Constraints: 20938
2497.65/2505.60 c #Conflicts: 582000 | #Constraints: 21938
2497.65/2505.60 c #Conflicts: 583000 | #Constraints: 22941
2497.65/2505.60 c #Conflicts: 584000 | #Constraints: 23944
2497.65/2505.60 c #Conflicts: 585000 | #Constraints: 24950
2497.65/2505.60 c #Conflicts: 586000 | #Constraints: 25979
2497.65/2505.60 c #Conflicts: 587000 | #Constraints: 26987
2497.65/2505.60 c #Conflicts: 588000 | #Constraints: 27988
2497.65/2505.60 c #Conflicts: 589000 | #Constraints: 28989
2497.65/2505.60 c #Conflicts: 590000 | #Constraints: 29991
2497.65/2505.60 c #Conflicts: 591000 | #Constraints: 30994
2497.65/2505.60 c INPROCESSING
2497.65/2505.60 c GARBAGE COLLECT
2497.65/2505.60 c rational objective 32
2499.05/2507.06 c GLOBAL bounds - >= 32 @ 2461.49
2499.05/2507.06 c GLOBAL bounds - >= 32 @ 2461.49
2584.05/2592.32 c #Conflicts: 592000 | #Constraints: 16634
2584.05/2592.32 c #Conflicts: 593000 | #Constraints: 17659
2584.05/2592.32 c #Conflicts: 594000 | #Constraints: 18676
2584.05/2592.32 c #Conflicts: 595000 | #Constraints: 19681
2584.05/2592.32 c #Conflicts: 596000 | #Constraints: 20689
2584.05/2592.32 c #Conflicts: 597000 | #Constraints: 21707
2584.05/2592.32 c #Conflicts: 598000 | #Constraints: 22711
2584.05/2592.32 c #Conflicts: 599000 | #Constraints: 23711
2584.05/2592.32 c #Conflicts: 600000 | #Constraints: 24711
2584.05/2592.32 c #Conflicts: 601000 | #Constraints: 25711
2584.05/2592.32 c #Conflicts: 602000 | #Constraints: 26711
2584.05/2592.32 c #Conflicts: 603000 | #Constraints: 27734
2584.05/2592.32 c #Conflicts: 604000 | #Constraints: 28750
2584.05/2592.32 c #Conflicts: 605000 | #Constraints: 29752
2584.05/2592.32 c #Conflicts: 606000 | #Constraints: 30752
2584.05/2592.32 c #Conflicts: 607000 | #Constraints: 31753
2584.05/2592.32 c INPROCESSING
2584.05/2592.32 c GARBAGE COLLECT
2584.05/2592.32 c rational objective 32
2584.75/2593.10 c GLOBAL bounds - >= 32 @ 2546.14
2584.75/2593.10 c GLOBAL bounds - >= 32 @ 2546.14
2672.34/2680.96 c #Conflicts: 608000 | #Constraints: 17217
2672.34/2680.96 c #Conflicts: 609000 | #Constraints: 18221
2672.34/2680.96 c #Conflicts: 610000 | #Constraints: 19226
2672.34/2680.96 c #Conflicts: 611000 | #Constraints: 20237
2672.34/2680.96 c #Conflicts: 612000 | #Constraints: 21237
2672.34/2680.96 c #Conflicts: 613000 | #Constraints: 22237
2672.34/2680.96 c #Conflicts: 614000 | #Constraints: 23250
2672.34/2680.96 c #Conflicts: 615000 | #Constraints: 24258
2672.34/2680.96 c #Conflicts: 616000 | #Constraints: 25296
2672.34/2680.96 c #Conflicts: 617000 | #Constraints: 26336
2672.34/2680.96 c #Conflicts: 618000 | #Constraints: 27361
2672.34/2680.96 c #Conflicts: 619000 | #Constraints: 28388
2672.34/2680.96 c #Conflicts: 620000 | #Constraints: 29425
2672.34/2680.96 c #Conflicts: 621000 | #Constraints: 30450
2672.34/2680.96 c #Conflicts: 622000 | #Constraints: 31455
2672.34/2680.96 c #Conflicts: 623000 | #Constraints: 32456
2672.34/2680.96 c INPROCESSING
2672.34/2680.96 c GARBAGE COLLECT
2672.34/2680.96 c rational objective 32
2674.63/2683.23 c GLOBAL bounds - >= 32 @ 2634.8
2674.63/2683.23 c GLOBAL bounds - >= 32 @ 2634.8
2743.49/2752.31 c #Conflicts: 624000 | #Constraints: 17655
2743.49/2752.31 c #Conflicts: 625000 | #Constraints: 18679
2743.49/2752.31 c #Conflicts: 626000 | #Constraints: 19695
2743.49/2752.31 c #Conflicts: 627000 | #Constraints: 20719
2743.49/2752.31 c #Conflicts: 628000 | #Constraints: 21735
2743.49/2752.31 c #Conflicts: 629000 | #Constraints: 22744
2743.49/2752.31 c #Conflicts: 630000 | #Constraints: 23759
2743.49/2752.31 c #Conflicts: 631000 | #Constraints: 24764
2743.49/2752.31 c #Conflicts: 632000 | #Constraints: 25776
2743.49/2752.31 c #Conflicts: 633000 | #Constraints: 26776
2743.49/2752.31 c #Conflicts: 634000 | #Constraints: 27776
2743.49/2752.31 c #Conflicts: 635000 | #Constraints: 28794
2743.49/2752.31 c #Conflicts: 636000 | #Constraints: 29813
2743.49/2752.31 c #Conflicts: 637000 | #Constraints: 30837
2743.49/2752.31 c #Conflicts: 638000 | #Constraints: 31877
2743.49/2752.31 c #Conflicts: 639000 | #Constraints: 32897
2743.49/2752.31 c INPROCESSING
2743.49/2752.31 c GARBAGE COLLECT
2743.49/2752.31 c rational objective 32
2744.49/2753.31 c GLOBAL bounds - >= 32 @ 2703.61
2744.49/2753.31 c GLOBAL bounds - >= 32 @ 2703.61
2813.54/2822.62 c #Conflicts: 640000 | #Constraints: 17878
2813.54/2822.62 c #Conflicts: 641000 | #Constraints: 18887
2813.54/2822.62 c #Conflicts: 642000 | #Constraints: 19901
2813.54/2822.62 c #Conflicts: 643000 | #Constraints: 20926
2813.54/2822.62 c #Conflicts: 644000 | #Constraints: 21934
2813.54/2822.62 c #Conflicts: 645000 | #Constraints: 22936
2813.54/2822.62 c #Conflicts: 646000 | #Constraints: 23960
2813.54/2822.62 c #Conflicts: 647000 | #Constraints: 24990
2813.54/2822.62 c #Conflicts: 648000 | #Constraints: 26008
2813.54/2822.62 c #Conflicts: 649000 | #Constraints: 27028
2813.54/2822.62 c #Conflicts: 650000 | #Constraints: 28051
2813.54/2822.62 c #Conflicts: 651000 | #Constraints: 29072
2813.54/2822.62 c #Conflicts: 652000 | #Constraints: 30072
2813.54/2822.62 c #Conflicts: 653000 | #Constraints: 31072
2813.54/2822.62 c #Conflicts: 654000 | #Constraints: 32075
2813.54/2822.62 c #Conflicts: 655000 | #Constraints: 33076
2813.54/2822.62 c INPROCESSING
2813.54/2822.62 c GARBAGE COLLECT
2813.54/2822.62 c rational objective 32
2814.54/2823.64 c GLOBAL bounds - >= 32 @ 2772.59
2814.54/2823.64 c GLOBAL bounds - >= 32 @ 2772.59
2874.86/2884.17 c #Conflicts: 656000 | #Constraints: 17867
2874.86/2884.17 c #Conflicts: 657000 | #Constraints: 18873
2874.86/2884.17 c #Conflicts: 658000 | #Constraints: 19925
2874.86/2884.17 c #Conflicts: 659000 | #Constraints: 20978
2874.86/2884.17 c #Conflicts: 660000 | #Constraints: 21981
2874.86/2884.17 c #Conflicts: 661000 | #Constraints: 22981
2874.86/2884.17 c #Conflicts: 662000 | #Constraints: 23981
2874.86/2884.17 c #Conflicts: 663000 | #Constraints: 25111
2874.86/2884.17 c #Conflicts: 664000 | #Constraints: 26145
2874.86/2884.17 c #Conflicts: 665000 | #Constraints: 27173
2874.86/2884.17 c #Conflicts: 666000 | #Constraints: 28173
2874.86/2884.17 c #Conflicts: 667000 | #Constraints: 29174
2874.86/2884.17 c #Conflicts: 668000 | #Constraints: 30174
2874.86/2884.17 c #Conflicts: 669000 | #Constraints: 31175
2874.86/2884.17 c #Conflicts: 670000 | #Constraints: 32178
2874.86/2884.17 c #Conflicts: 671000 | #Constraints: 33178
2874.86/2884.17 c INPROCESSING
2874.86/2884.17 c GARBAGE COLLECT
2874.86/2884.17 c rational objective 32
2877.64/2886.94 c GLOBAL bounds - >= 32 @ 2834.84
2877.64/2886.94 c GLOBAL bounds - >= 32 @ 2834.84
2925.87/2935.38 c #Conflicts: 672000 | #Constraints: 17705
2925.87/2935.38 c #Conflicts: 673000 | #Constraints: 18705
2925.87/2935.38 c #Conflicts: 674000 | #Constraints: 19705
2925.87/2935.38 c #Conflicts: 675000 | #Constraints: 20705
2925.87/2935.38 c #Conflicts: 676000 | #Constraints: 21705
2925.87/2935.38 c #Conflicts: 677000 | #Constraints: 22705
2925.87/2935.38 c #Conflicts: 678000 | #Constraints: 23706
2925.87/2935.38 c #Conflicts: 679000 | #Constraints: 24707
2925.87/2935.38 c #Conflicts: 680000 | #Constraints: 25715
2925.87/2935.38 c #Conflicts: 681000 | #Constraints: 26736
2925.87/2935.38 c #Conflicts: 682000 | #Constraints: 27762
2925.87/2935.38 c #Conflicts: 683000 | #Constraints: 28784
2925.87/2935.38 c #Conflicts: 684000 | #Constraints: 29785
2925.87/2935.38 c #Conflicts: 685000 | #Constraints: 30799
2925.87/2935.38 c #Conflicts: 686000 | #Constraints: 31820
2925.87/2935.38 c #Conflicts: 687000 | #Constraints: 32832
2925.87/2935.38 c #Conflicts: 688000 | #Constraints: 33864
2925.87/2935.38 c INPROCESSING
2925.87/2935.38 c GARBAGE COLLECT
2925.87/2935.38 c rational objective 32
2926.47/2935.99 c GLOBAL bounds - >= 32 @ 2882.88
2926.47/2935.99 c GLOBAL bounds - >= 32 @ 2882.88
3017.66/3027.48 c #Conflicts: 689000 | #Constraints: 18275
3017.66/3027.48 c #Conflicts: 690000 | #Constraints: 19287
3017.66/3027.48 c #Conflicts: 691000 | #Constraints: 20306
3017.66/3027.48 c #Conflicts: 692000 | #Constraints: 21326
3017.66/3027.48 c #Conflicts: 693000 | #Constraints: 22341
3017.66/3027.48 c #Conflicts: 694000 | #Constraints: 23364
3017.66/3027.48 c #Conflicts: 695000 | #Constraints: 24365
3017.66/3027.48 c #Conflicts: 696000 | #Constraints: 25385
3017.66/3027.48 c #Conflicts: 697000 | #Constraints: 26395
3017.66/3027.48 c #Conflicts: 698000 | #Constraints: 27395
3017.66/3027.48 c #Conflicts: 699000 | #Constraints: 28401
3017.66/3027.48 c #Conflicts: 700000 | #Constraints: 29403
3017.66/3027.48 c #Conflicts: 701000 | #Constraints: 30404
3017.66/3027.48 c #Conflicts: 702000 | #Constraints: 31407
3017.66/3027.48 c #Conflicts: 703000 | #Constraints: 32407
3017.66/3027.48 c #Conflicts: 704000 | #Constraints: 33407
3017.66/3027.48 c #Conflicts: 705000 | #Constraints: 34422
3017.66/3027.48 c INPROCESSING
3017.66/3027.48 c GARBAGE COLLECT
3017.66/3027.48 c rational objective 32
3018.55/3028.31 c GLOBAL bounds - >= 32 @ 2973.72
3018.55/3028.31 c GLOBAL bounds - >= 32 @ 2973.72
3100.18/3110.25 c #Conflicts: 706000 | #Constraints: 18666
3100.18/3110.25 c #Conflicts: 707000 | #Constraints: 19668
3100.18/3110.25 c #Conflicts: 708000 | #Constraints: 20676
3100.18/3110.25 c #Conflicts: 709000 | #Constraints: 21683
3100.18/3110.25 c #Conflicts: 710000 | #Constraints: 22687
3100.18/3110.25 c #Conflicts: 711000 | #Constraints: 23697
3100.18/3110.25 c #Conflicts: 712000 | #Constraints: 24705
3100.18/3110.25 c #Conflicts: 713000 | #Constraints: 25715
3100.18/3110.25 c #Conflicts: 714000 | #Constraints: 26717
3100.18/3110.25 c #Conflicts: 715000 | #Constraints: 27719
3100.18/3110.25 c #Conflicts: 716000 | #Constraints: 28720
3100.18/3110.25 c #Conflicts: 717000 | #Constraints: 29721
3100.18/3110.25 c #Conflicts: 718000 | #Constraints: 30731
3100.18/3110.25 c #Conflicts: 719000 | #Constraints: 31740
3100.18/3110.25 c #Conflicts: 720000 | #Constraints: 32742
3100.18/3110.25 c #Conflicts: 721000 | #Constraints: 33746
3100.18/3110.25 c #Conflicts: 722000 | #Constraints: 34751
3100.18/3110.25 c INPROCESSING
3100.18/3110.25 c GARBAGE COLLECT
3100.18/3110.25 c rational objective 32
3101.28/3111.36 c GLOBAL bounds - >= 32 @ 3055.41
3101.28/3111.36 c GLOBAL bounds - >= 32 @ 3055.41
3248.76/3259.39 c #Conflicts: 723000 | #Constraints: 18808
3248.76/3259.39 c #Conflicts: 724000 | #Constraints: 19809
3248.76/3259.39 c #Conflicts: 725000 | #Constraints: 20818
3248.76/3259.39 c #Conflicts: 726000 | #Constraints: 21832
3248.76/3259.39 c #Conflicts: 727000 | #Constraints: 22839
3248.76/3259.39 c #Conflicts: 728000 | #Constraints: 23854
3248.76/3259.39 c #Conflicts: 729000 | #Constraints: 24854
3248.76/3259.39 c #Conflicts: 730000 | #Constraints: 25855
3248.76/3259.39 c #Conflicts: 731000 | #Constraints: 26855
3248.76/3259.39 c #Conflicts: 732000 | #Constraints: 27855
3248.76/3259.39 c #Conflicts: 733000 | #Constraints: 28855
3248.76/3259.39 c #Conflicts: 734000 | #Constraints: 29855
3248.76/3259.39 c #Conflicts: 735000 | #Constraints: 30855
3248.76/3259.39 c #Conflicts: 736000 | #Constraints: 31855
3248.76/3259.39 c #Conflicts: 737000 | #Constraints: 32855
3248.76/3259.39 c #Conflicts: 738000 | #Constraints: 33855
3248.76/3259.39 c #Conflicts: 739000 | #Constraints: 34855
3248.76/3259.39 c INPROCESSING
3248.76/3259.39 c GARBAGE COLLECT
3248.76/3259.39 c rational objective 32
3249.36/3259.97 c GLOBAL bounds - >= 32 @ 3202.58
3249.36/3259.97 c GLOBAL bounds - >= 32 @ 3202.58
3346.65/3357.53 c #Conflicts: 740000 | #Constraints: 18769
3346.65/3357.53 c #Conflicts: 741000 | #Constraints: 19771
3346.65/3357.53 c #Conflicts: 742000 | #Constraints: 20771
3346.65/3357.53 c #Conflicts: 743000 | #Constraints: 21771
3346.65/3357.53 c #Conflicts: 744000 | #Constraints: 22812
3346.65/3357.53 c #Conflicts: 745000 | #Constraints: 23812
3346.65/3357.53 c #Conflicts: 746000 | #Constraints: 24816
3346.65/3357.53 c #Conflicts: 747000 | #Constraints: 25830
3346.65/3357.53 c #Conflicts: 748000 | #Constraints: 27135
3346.65/3357.53 c #Conflicts: 749000 | #Constraints: 28136
3346.65/3357.53 c #Conflicts: 750000 | #Constraints: 29139
3346.65/3357.53 c #Conflicts: 751000 | #Constraints: 30144
3346.65/3357.53 c #Conflicts: 752000 | #Constraints: 31187
3346.65/3357.53 c #Conflicts: 753000 | #Constraints: 32187
3346.65/3357.53 c #Conflicts: 754000 | #Constraints: 33187
3346.65/3357.53 c #Conflicts: 755000 | #Constraints: 34187
3346.65/3357.53 c #Conflicts: 756000 | #Constraints: 35187
3346.65/3357.53 c INPROCESSING
3346.65/3357.53 c GARBAGE COLLECT
3346.65/3357.53 c rational objective 32
3348.15/3359.09 c GLOBAL bounds - >= 32 @ 3300.43
3348.15/3359.09 c GLOBAL bounds - >= 32 @ 3300.43
3415.43/3426.60 c #Conflicts: 757000 | #Constraints: 18721
3415.43/3426.60 c #Conflicts: 758000 | #Constraints: 19721
3415.43/3426.60 c #Conflicts: 759000 | #Constraints: 20721
3415.43/3426.60 c #Conflicts: 760000 | #Constraints: 21721
3415.43/3426.60 c #Conflicts: 761000 | #Constraints: 22721
3415.43/3426.60 c #Conflicts: 762000 | #Constraints: 23721
3415.43/3426.60 c #Conflicts: 763000 | #Constraints: 24721
3415.43/3426.60 c #Conflicts: 764000 | #Constraints: 25721
3415.43/3426.60 c #Conflicts: 765000 | #Constraints: 26722
3415.43/3426.60 c #Conflicts: 766000 | #Constraints: 27722
3415.43/3426.60 c #Conflicts: 767000 | #Constraints: 28722
3415.43/3426.60 c #Conflicts: 768000 | #Constraints: 29727
3415.43/3426.60 c #Conflicts: 769000 | #Constraints: 30738
3415.43/3426.60 c #Conflicts: 770000 | #Constraints: 31743
3415.43/3426.60 c #Conflicts: 771000 | #Constraints: 32745
3415.43/3426.60 c #Conflicts: 772000 | #Constraints: 33745
3415.43/3426.60 c #Conflicts: 773000 | #Constraints: 34745
3415.43/3426.60 c #Conflicts: 774000 | #Constraints: 35745
3415.43/3426.60 c INPROCESSING
3415.43/3426.60 c GARBAGE COLLECT
3415.43/3426.60 c rational objective 32
3417.52/3428.69 c GLOBAL bounds - >= 32 @ 3368.97
3417.52/3428.69 c GLOBAL bounds - >= 32 @ 3368.97
3482.41/3493.71 c #Conflicts: 775000 | #Constraints: 19191
3482.41/3493.71 c #Conflicts: 776000 | #Constraints: 20191
3482.41/3493.71 c #Conflicts: 777000 | #Constraints: 21191
3482.41/3493.71 c #Conflicts: 778000 | #Constraints: 22191
3482.41/3493.71 c #Conflicts: 779000 | #Constraints: 23191
3482.41/3493.71 c #Conflicts: 780000 | #Constraints: 24192
3482.41/3493.71 c #Conflicts: 781000 | #Constraints: 25192
3482.41/3493.71 c #Conflicts: 782000 | #Constraints: 26196
3482.41/3493.71 c #Conflicts: 783000 | #Constraints: 27214
3482.41/3493.71 c #Conflicts: 784000 | #Constraints: 28221
3482.41/3493.71 c #Conflicts: 785000 | #Constraints: 29230
3482.41/3493.71 c #Conflicts: 786000 | #Constraints: 30234
3482.41/3493.71 c #Conflicts: 787000 | #Constraints: 31253
3482.41/3493.71 c #Conflicts: 788000 | #Constraints: 32265
3482.41/3493.71 c #Conflicts: 789000 | #Constraints: 33271
3482.41/3493.71 c #Conflicts: 790000 | #Constraints: 34281
3482.41/3493.71 c #Conflicts: 791000 | #Constraints: 35307
3482.41/3493.71 c #Conflicts: 792000 | #Constraints: 36327
3482.41/3493.71 c INPROCESSING
3482.41/3493.71 c GARBAGE COLLECT
3482.41/3493.71 c rational objective 32
3483.61/3494.90 c GLOBAL bounds - >= 32 @ 3434.06
3483.61/3494.90 c GLOBAL bounds - >= 32 @ 3434.06
3564.74/3576.39 c #Conflicts: 793000 | #Constraints: 19612
3564.74/3576.39 c #Conflicts: 794000 | #Constraints: 20634
3564.74/3576.39 c #Conflicts: 795000 | #Constraints: 21655
3564.74/3576.39 c #Conflicts: 796000 | #Constraints: 22658
3564.74/3576.39 c #Conflicts: 797000 | #Constraints: 23680
3564.74/3576.39 c #Conflicts: 798000 | #Constraints: 24710
3564.74/3576.39 c #Conflicts: 799000 | #Constraints: 25727
3564.74/3576.39 c #Conflicts: 800000 | #Constraints: 26760
3564.74/3576.39 c #Conflicts: 801000 | #Constraints: 27791
3564.74/3576.39 c #Conflicts: 802000 | #Constraints: 28807
3564.74/3576.39 c #Conflicts: 803000 | #Constraints: 29823
3564.74/3576.39 c #Conflicts: 804000 | #Constraints: 30829
3564.74/3576.39 c #Conflicts: 805000 | #Constraints: 31842
3564.74/3576.39 c #Conflicts: 806000 | #Constraints: 32847
3564.74/3576.39 c #Conflicts: 807000 | #Constraints: 33847
3564.74/3576.39 c #Conflicts: 808000 | #Constraints: 34860
3564.74/3576.39 c #Conflicts: 809000 | #Constraints: 35868
3564.74/3576.39 c #Conflicts: 810000 | #Constraints: 36876
3564.74/3576.39 c INPROCESSING
3564.74/3576.39 c GARBAGE COLLECT
3564.74/3576.39 c rational objective 32
3566.14/3577.79 c GLOBAL bounds - >= 32 @ 3515.56
3566.14/3577.79 c GLOBAL bounds - >= 32 @ 3515.56
3600.03/3611.70 c #Conflicts: 811000 | #Constraints: 19891
3600.03/3611.70 c #Conflicts: 812000 | #Constraints: 20904
3600.03/3611.70 c #Conflicts: 813000 | #Constraints: 21924
3600.03/3611.70 c #Conflicts: 814000 | #Constraints: 22942
3600.03/3611.70 c #Conflicts: 815000 | #Constraints: 23963
3600.03/3611.70 c #Conflicts: 816000 | #Constraints: 24984
3600.03/3611.70 c #Conflicts: 817000 | #Constraints: 26000
3600.03/3611.70 c #Conflicts: 818000 | #Constraints: 27017
3600.03/3611.70 c #Conflicts: 819000 | #Constraints: 28025
3600.03/3611.70 c #Conflicts: 820000 | #Constraints: 29030
3600.03/3611.70 c #Conflicts: 821000 | #Constraints: 30042
3600.03/3611.70 c Disabling crashed LP
3600.03/3611.70 c cpu time 3548.77 s
3600.03/3611.70 c deterministic time 580154155997 5.80e+11
3600.03/3611.70 c optimization time 33.2407 s
3600.03/3611.70 c total solve time 3515.47 s
3600.03/3611.70 c core-guided solve time 0 s
3600.03/3611.70 c propagation time 2243.16 s
3600.03/3611.70 c conflict analysis time 973.149 s
3600.03/3611.70 c propagations 103877198
3600.03/3611.70 c resolve steps 3046999
3600.03/3611.70 c decisions 15149619
3600.03/3611.70 c conflicts 821523
3600.03/3611.70 c restarts 1784
3600.03/3611.70 c inprocessing phases 81
3600.03/3611.70 c garbage collections 81 ,( 100.00 )
3600.03/3611.70 c input clauses 366 ,( 45.92 )
3600.03/3611.70 c input cardinalities 367 ,( 46.05 )
3600.03/3611.70 c input general constraints 64 ,( 8.03 )
3600.03/3611.70 c input average constraint length 58.82
3600.03/3611.70 c input average constraint degree 11723.44
3600.03/3611.70 c learned clauses 35057 ,( 4.19 )
3600.03/3611.70 c learned cardinalities 801 ,( 0.10 )
3600.03/3611.70 c learned general constraints 801554 ,( 95.72 )
3600.03/3611.70 c learned average constraint length 3170.12
3600.03/3611.70 c learned average constraint degree 36926373533.38
3600.03/3611.70 c watched CF 32, 64, 128, Arb: 178615 , 0 , 0 , 0
3600.03/3611.70 c counting CF 32, 64, 128, Arb: 623004 , 0 , 0 , 0
3600.03/3611.70 c watched constraints 178615 ,( 22.28 )
3600.03/3611.70 c counting constraints 623003 ,( 77.72 )
3600.03/3611.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5464248 , 3856799 , 1252315569 ,( 65765308 , 1186550261 )
3600.03/3611.70 c gcd simplifications 14077
3600.03/3611.70 c detected cardinalities 58
3600.03/3611.70 c weakened non-implied lits 496611703
3600.03/3611.70 c weakened non-implying lits 2212684
3600.03/3611.70 c original variables 11744
3600.03/3611.70 c clausal propagations 1247657
3600.03/3611.70 c cardinality propagations 26943992
3600.03/3611.70 c watched propagations 284616
3600.03/3611.70 c counting propagations 68049413
3600.03/3611.70 c watch lookups 58990975585
3600.03/3611.70 c watch backjump lookups 0
3600.03/3611.70 c watch checks 47566014891
3600.03/3611.70 c propagation checks 466610117719
3600.03/3611.70 c constraint additions 6747295691
3600.03/3611.70 c trail pops 119831208
3600.03/3611.70 c formula constraints 797
3600.03/3611.70 c learned constraints 814663
3600.03/3611.70 c bound constraints 0
3600.03/3611.70 c core-guided constraints 0
3600.03/3611.70 c encountered formula constraints 2048173
3600.03/3611.70 c encountered learned constraints 1234098
3600.03/3611.70 c encountered bound constraints 0
3600.03/3611.70 c encountered core-guided constraints 0
3600.03/3611.70 c LP total time 474.752 s
3600.03/3611.70 c LP solve time 319.36 s
3600.03/3611.70 c LP constraints added 1461
3600.03/3611.70 c LP constraints removed 652
3600.03/3611.70 c LP pivots internal 821523
3600.03/3611.70 c LP pivots root 72562
3600.03/3611.70 c LP calls 131197
3600.03/3611.70 c LP optimalities 115936
3600.03/3611.70 c LP no pivot count 43332
3600.03/3611.70 c LP infeasibilities 15253
3600.03/3611.70 c LP valid Farkas constraints 15240
3600.03/3611.70 c LP learned Farkas constraints 6860
3600.03/3611.70 c LP basis resets 16
3600.03/3611.70 c LP cycling count 0
3600.03/3611.70 c LP singular count 3
3600.03/3611.70 c LP no primal count 0
3600.03/3611.70 c LP no farkas count 13
3600.03/3611.70 c LP other issue count 0
3600.03/3611.70 c LP Gomory cuts 649
3600.03/3611.70 c LP learned cuts 15
3600.03/3611.70 c LP deleted cuts 652
3600.03/3611.70 c LP encountered Gomory constraints 3
3600.03/3611.70 c LP encountered Farkas constraints 534406
3600.03/3611.70 c LP encountered learned Farkas constraints 44982
3600.03/3611.70 c CG auxiliary variables introduced 1
3600.03/3611.70 c CG solutions found 0
3600.03/3611.70 c CG cores constructed 0
3600.03/3611.70 c CG core cardinality constraints returned 0
3600.03/3611.70 c CG unit cores 0
3600.03/3611.70 c CG single cores 0
3600.03/3611.70 c CG blocks removed during cardinality reduction 0
3600.03/3611.70 c CG first core best 0
3600.03/3611.70 c CG decision core best 0
3600.03/3611.70 c CG core reduction tie 0
3600.03/3611.70 c CG core degree average 0.00
3600.03/3611.70 c CG core slack average 0.00
3600.03/3611.70 c CG core upper bound improvements 0
3600.03/3611.70 c STR number of successful calls 0
3600.03/3611.70 c STR number of unsuccessful calls 0
3600.03/3611.70 c STR number of inconclusive calls 0
3600.03/3611.70 c STR number of successful attempts 0
3600.03/3611.70 c STR number of unsuccessful attempts 0
3600.03/3611.70 c STR number of inconclusive attempts 0
3600.03/3611.70 c STR average degree increase per successful call inf
3600.03/3611.70 c STR average degree increase per successful attempt inf
3600.03/3611.70 c STR total number of conflicts for successful attempts 0
3600.03/3611.70 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.70 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.70 c STR average number of conflicts per successful attempt inf
3600.03/3611.70 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.70 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.70 c AVG.sumWPerc 59.62
3600.03/3611.70 c bigint constraints 0
3600.03/3611.70 s UNKNOWN
3600.03/3611.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60227 MiB free)
memory of node 1: 64465 MiB (38061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509609-1751523238/watcher-4509609-1751523238 -o /tmp/evaluation-result-4509609-1751523238/solver-4509609-1751523238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509609-1751523238.opb PROOFDIR/proof-4509609-1751523238
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83697, runsolver pid=83694
[startup+0.100104 s]*
/proc/loadavg: 4.08 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100642712/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=67604 memory=20124 CPUtime=0.07 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 2904 0 0 0 6 1 0 0 20 0 1 0 68002997 69226496 5031 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 16901 5031 2368 1147 0 4328 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 23196 KiB
[startup+0.214082 s]*
/proc/loadavg: 4.08 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100626332/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=76544 memory=26816 CPUtime=0.19 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 4868 0 0 0 15 4 0 0 20 0 1 0 68002997 78381056 6704 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 19136 6704 2400 1147 0 6563 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80736 KiB
Current children cumulated memory: 29888 KiB
[startup+0.313892 s]*
/proc/loadavg: 4.08 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100626332/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=76796 memory=27200 CPUtime=0.29 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 4924 0 0 0 25 4 0 0 20 0 1 0 68002997 78639104 6800 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 19199 6800 2432 1147 0 6626 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80988 KiB
Current children cumulated memory: 30272 KiB
[startup+0.700392 s]
/proc/loadavg: 4.08 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100618268/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=76796 memory=27200 CPUtime=0.66 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 4925 0 0 0 61 5 0 0 20 0 1 0 68002997 78639104 6800 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 19199 6800 2432 1147 0 6626 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80988 KiB
Current children cumulated memory: 30272 KiB
[startup+1.50036 s]
/proc/loadavg: 4.08 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100602320/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=88880 memory=40868 CPUtime=1.46 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 7322 0 0 0 134 12 0 0 20 0 1 0 68002997 91013120 10217 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 22220 10217 2432 1147 0 9647 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 93072 KiB
Current children cumulated memory: 43940 KiB
[startup+3.11351 s]
/proc/loadavg: 4.07 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100461864/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=119968 memory=70740 CPUtime=3.07 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 14273 0 0 0 288 19 0 0 20 0 1 0 68002997 122847232 17685 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 29992 17685 2464 1147 0 17419 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124160 KiB
Current children cumulated memory: 73812 KiB
[startup+6.30035 s]
/proc/loadavg: 4.07 4.12 4.15 5/263 83699
/proc/meminfo: memFree=100171552/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=263424 memory=203520 CPUtime=6.24 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 40816 0 0 0 593 31 0 0 20 0 1 0 68002997 269746176 50880 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 65856 50880 2464 1147 0 53283 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 267616 KiB
Current children cumulated memory: 206592 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.13 4.15 5/263 83699
/proc/meminfo: memFree=99804292/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=366840 memory=290112 CPUtime=12.62 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 59407 0 0 0 1211 51 0 0 20 0 1 0 68002997 375644160 72528 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 91710 72528 2464 1147 0 79137 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 371032 KiB
Current children cumulated memory: 293184 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.15 5/263 83700
/proc/meminfo: memFree=99047044/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=554016 memory=441868 CPUtime=25.39 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 89696 0 0 0 2459 80 0 0 20 0 1 0 68002997 567312384 110467 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 138504 110467 2464 1147 0 125931 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 558208 KiB
Current children cumulated memory: 444940 KiB
[startup+51.1142 s]
/proc/loadavg: 4.07 4.11 4.15 5/263 83700
/proc/meminfo: memFree=97743736/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=712568 memory=610620 CPUtime=50.94 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 129244 0 0 0 4955 139 0 0 20 0 1 0 68002997 729669632 152655 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 178142 152655 2464 1147 0 165569 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 716760 KiB
Current children cumulated memory: 613692 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/263 83702
/proc/meminfo: memFree=95799504/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=1044936 memory=859932 CPUtime=101.97 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 182892 0 0 0 9963 234 0 0 20 0 1 0 68002997 1070014464 214983 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 261234 214983 2560 1147 0 248661 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1049128 KiB
Current children cumulated memory: 863004 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.15 5/264 83707
/proc/meminfo: memFree=93299980/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=1284912 memory=1058720 CPUtime=161.8 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 231066 0 0 0 15832 348 0 0 20 0 1 0 68002997 1315749888 264680 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 321228 264680 2560 1147 0 308655 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1289104 KiB
Current children cumulated memory: 1061792 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/264 83709
/proc/meminfo: memFree=91088628/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=1438144 memory=1281888 CPUtime=221.63 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 274173 0 0 0 21696 467 0 0 20 0 1 0 68002997 1472659456 320472 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 359536 320472 2560 1147 0 346963 0
################
# More data... #
################
/proc/meminfo: memFree=72351080/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6415944 memory=5110020 CPUtime=3211.9 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1195456 0 0 0 316521 4669 0 0 20 0 1 0 68002997 6569926656 1277505 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1603986 1277505 2560 1147 0 1591413 0
Current children cumulated CPU time: 3211.9 s
Current children cumulated vsize: 6420136 KiB
Current children cumulated memory: 5113092 KiB
[startup+3282.3 s]
/proc/loadavg: 2.17 2.63 3.25 3/244 83969
/proc/meminfo: memFree=70601572/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6416216 memory=5170052 CPUtime=3271.68 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1210470 0 0 0 322460 4708 0 0 20 0 1 0 68002997 6570205184 1292513 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1604054 1292513 2560 1147 0 1591481 0
Current children cumulated CPU time: 3271.68 s
Current children cumulated vsize: 6420408 KiB
Current children cumulated memory: 5173124 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.53 3.17 3/244 83971
/proc/meminfo: memFree=68948440/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6422088 memory=5174020 CPUtime=3331.49 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1211680 0 0 0 328385 4764 0 0 20 0 1 0 68002997 6576218112 1293505 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1605522 1293505 2560 1147 0 1592949 0
Current children cumulated CPU time: 3331.49 s
Current children cumulated vsize: 6426280 KiB
Current children cumulated memory: 5177092 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.46 3.11 3/244 83973
/proc/meminfo: memFree=67133632/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6427232 memory=5180276 CPUtime=3391.31 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1213002 0 0 0 334301 4830 0 0 20 0 1 0 68002997 6581485568 1295069 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1606808 1295069 2560 1147 0 1594235 0
Current children cumulated CPU time: 3391.31 s
Current children cumulated vsize: 6431424 KiB
Current children cumulated memory: 5183348 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.41 3.05 3/245 83977
/proc/meminfo: memFree=64776612/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6428244 memory=5181428 CPUtime=3451.12 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1213280 0 0 0 340200 4912 0 0 20 0 1 0 68002997 6582521856 1295357 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1607061 1295357 2560 1147 0 1594488 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 6432436 KiB
Current children cumulated memory: 5184500 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.36 2.99 3/242 83983
/proc/meminfo: memFree=62761372/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6428244 memory=5181428 CPUtime=3510.91 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1213661 0 0 0 346086 5005 0 0 20 0 1 0 68002997 6582521856 1295357 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1607061 1295357 2560 1147 0 1594488 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 6432436 KiB
Current children cumulated memory: 5184500 KiB
[startup+3582.3 s]
/proc/loadavg: 2.20 2.34 2.94 2/242 83985
/proc/meminfo: memFree=60791044/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6428244 memory=5182068 CPUtime=3570.72 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1214294 0 0 0 351993 5079 0 0 20 0 1 0 68002997 6582521856 1295517 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1607061 1295517 2560 1147 0 1594488 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 6432436 KiB
Current children cumulated memory: 5185140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 2.13 2.31 2.91 3/242 83986
/proc/meminfo: memFree=59794568/131382112 swapFree=33005784/33010684
[pid=83697] ppid=83694 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83697/stat : 83697 (run-opt-log.sh) S 83694 83697 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 68002996 4292608 768 18446744073709551615 94708792504320 94708793398853 140734500075664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708793637904 94708793685648 94708809068544 140734500079905 140734500080100 140734500080100 140734500085702 0
/proc/83697/statm: 1048 768 704 219 0 110 0
[pid=83699] ppid=83697 vsize=6428244 memory=5182068 CPUtime=3600.03 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83697 83697 82234 0 -1 4194304 1214304 0 0 0 354877 5126 0 0 20 0 1 0 68002997 6582521856 1295517 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1607061 1295517 2560 1147 0 1594488 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6432436 KiB
Current children cumulated memory: 5185140 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.71 s]
# the end of solver process 83697 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001826 s, system=0.003603 s
Sleeping 2 seconds
[startup+3612.33 s]
# the end of solver process 83699 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3548.78 s, system=51.5466 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 2.20 2.32 2.91 2/241 83986
/proc/meminfo: memFree=59796244/131382112 swapFree=33005784/33010684
[pid=83699] ppid=83694 vsize=6427784 memory=5181968 CPUtime=3600.07 cores=4,6
/proc/83699/stat : 83699 (roundingsat) D 83694 83697 82234 0 -1 4194304 1214307 0 0 0 354877 5130 0 0 20 0 1 0 68002997 6582050816 1295492 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 1606946 1295492 2624 1147 0 1594373 0
Current cumulated CPU time of completed processes: 0.005429 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6427784 KiB
Current children cumulated memory: 5181968 KiB
[startup+3612.2 s]
/proc/loadavg: 2.20 2.32 2.91 2/241 83986
/proc/meminfo: memFree=59796244/131382112 swapFree=33005784/33010684
[pid=83699] ppid=83694 vsize=3940576 memory=3216716 CPUtime=3600.19 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83694 83697 82234 0 -1 4194304 1214307 0 0 0 354878 5141 0 0 20 0 1 0 68002997 4035149824 804179 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 985144 804179 2624 1147 0 972571 0
Current cumulated CPU time of completed processes: 0.005429 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 3940576 KiB
Current children cumulated memory: 3216716 KiB
[startup+3612.3 s]
/proc/loadavg: 2.20 2.32 2.91 2/241 83986
/proc/meminfo: memFree=59796244/131382112 swapFree=33005784/33010684
[pid=83699] ppid=83694 vsize=3940576 memory=1313864 CPUtime=3600.29 cores=4,6
/proc/83699/stat : 83699 (roundingsat) R 83694 83697 82234 0 -1 4194304 1214307 0 0 0 354878 5151 0 0 20 0 1 0 68002997 4035149824 328466 18446744073709551615 4227072 8923433 140727412440208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35467264 140727412443474 140727412443688 140727412443688 140727412449258 0
/proc/83699/statm: 985144 328466 2624 1147 0 972571 0
Current cumulated CPU time of completed processes: 0.005429 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 3940576 KiB
Current children cumulated memory: 1313864 KiB
Child status: 2
Real time (s): 3612.33
CPU time (s): 3600.33
CPU user time (s): 3548.78
CPU system time (s): 51.5466
CPU usage (%): 99.6679
Max. virtual memory (cumulated for all children) (KiB): 6432436
Max. memory (cumulated for all children) (KiB): 5185140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.78
system time used= 51.5466
maximum resident set size= 5182196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1214531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 76987632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6767
involuntary context switches= 5840
# summary of solver processes directly reported to runsolver:
# pid: 83697,83699
# total CPU time (s): 3600.33
# total CPU user time (s): 3548.78
# total CPU system time (s): 51.5466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6861 second user time and 37.6888 second system time
The end
Begin job on nodeC007 at 2025-07-03 08:13:59
IDJOB=4509609
IDBENCH=158625
IDSOLVER=3351
FILE ID=nodeC007/4509609-1751523238
RUNJOBID= nodeC007-1751514781-82245
SLURM_JOB_ID= 9598624
Free space on /tmp= 431020 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509609-1751523238/watcher-4509609-1751523238 -o /tmp/evaluation-result-4509609-1751523238/solver-4509609-1751523238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509609-1751523238.opb PROOFDIR/proof-4509609-1751523238
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=298166257
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3632.796
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.608
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.443
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.610
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.359
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 100648112 kB
MemAvailable: 123254264 kB
Buffers: 16 kB
Cached: 23275668 kB
SwapCached: 252 kB
Active: 6815796 kB
Inactive: 23050260 kB
Active(anon): 6556028 kB
Inactive(anon): 47904 kB
Active(file): 259768 kB
Inactive(file): 23002356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 549224 kB
Writeback: 4 kB
AnonPages: 6591316 kB
Mapped: 113252 kB
Shmem: 13504 kB
KReclaimable: 367312 kB
Slab: 474756 kB
SReclaimable: 367312 kB
SUnreclaim: 107444 kB
KernelStack: 4224 kB
PageTables: 18260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8355732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149592 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 534528 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431028 MiB
End job on nodeC007 at 2025-07-03 09:14:11