0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.23 c #variables 12650 #constraints 12650
0.18/0.23 c objective is ce32
0.18/0.29 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.29 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.29 c GLOBAL bounds - >= 0 @ 0.195088
0.18/0.32 c GLOBAL bounds - >= 0 @ 0.216265
0.65/0.78 c GLOBAL bounds - >= 0 @ 0.639842
0.86/0.91 c GLOBAL bounds - >= 0 @ 0.766079
1.15/1.21 c GLOBAL bounds - >= 0 @ 1.03378
1.55/1.62 c GLOBAL bounds - >= 0 @ 1.40504
3.06/3.15 c GLOBAL bounds - >= 0 @ 2.86561
12.72/12.82 c #Conflicts: 1000 | #Constraints: 13660
12.72/12.82 c #Conflicts: 2000 | #Constraints: 14660
12.72/12.82 c INPROCESSING
12.72/12.82 c GARBAGE COLLECT
12.72/12.82 c GLOBAL bounds - >= 0 @ 12.2161
21.70/21.81 c #Conflicts: 3000 | #Constraints: 14727
21.70/21.81 c GLOBAL bounds - >= 0 @ 20.9361
30.07/30.26 c #Conflicts: 4000 | #Constraints: 15729
30.07/30.26 c INPROCESSING
30.07/30.26 c GARBAGE COLLECT
30.07/30.26 c #Conflicts: 5000 | #Constraints: 15150
30.07/30.26 c GLOBAL bounds - >= 0 @ 29.233
31.48/31.68 c GLOBAL bounds - >= 0 @ 30.6263
32.57/32.70 c GLOBAL bounds - >= 0 @ 31.6178
33.47/33.60 c GLOBAL bounds - >= 0 @ 32.4921
34.27/34.47 c #Conflicts: 6000 | #Constraints: 16158
34.27/34.47 c GLOBAL bounds - >= 0 @ 33.3455
36.37/36.56 c GLOBAL bounds - >= 0 @ 35.3908
62.91/63.13 c INPROCESSING
62.91/63.13 c GARBAGE COLLECT
62.91/63.13 c #Conflicts: 7000 | #Constraints: 15191
62.91/63.13 c #Conflicts: 8000 | #Constraints: 16191
62.91/63.13 c #Conflicts: 9000 | #Constraints: 17191
62.91/63.13 c INPROCESSING
62.91/63.13 c GARBAGE COLLECT
62.91/63.13 c GLOBAL bounds - >= 0 @ 61.5447
138.70/139.19 c #Conflicts: 10000 | #Constraints: 15910
138.70/139.19 c #Conflicts: 11000 | #Constraints: 16910
138.70/139.19 c #Conflicts: 12000 | #Constraints: 17910
138.70/139.19 c INPROCESSING
138.70/139.19 c GARBAGE COLLECT
138.70/139.19 c #Conflicts: 13000 | #Constraints: 16350
138.70/139.19 c #Conflicts: 14000 | #Constraints: 17350
138.70/139.19 c #Conflicts: 15000 | #Constraints: 18350
138.70/139.19 c INPROCESSING
138.70/139.19 c GARBAGE COLLECT
138.70/139.19 c #Conflicts: 16000 | #Constraints: 16587
138.70/139.19 c #Conflicts: 17000 | #Constraints: 17587
138.70/139.19 c #Conflicts: 18000 | #Constraints: 18587
138.70/139.19 c INPROCESSING
138.70/139.19 c GARBAGE COLLECT
138.70/139.19 c #Conflicts: 19000 | #Constraints: 16609
138.70/139.19 c GLOBAL bounds - >= 0 @ 136.121
155.67/156.18 c #Conflicts: 20000 | #Constraints: 17611
155.67/156.18 c #Conflicts: 21000 | #Constraints: 18611
155.67/156.18 c GLOBAL bounds - >= 0 @ 152.62
161.14/161.65 c INPROCESSING
161.14/161.65 c GARBAGE COLLECT
161.14/161.65 c GLOBAL bounds - >= 0 @ 157.989
168.32/168.89 c #Conflicts: 22000 | #Constraints: 16408
168.32/168.89 c #Conflicts: 23000 | #Constraints: 17408
168.32/168.89 c GLOBAL bounds - >= 0 @ 165.133
173.30/173.83 c GLOBAL bounds - >= 0 @ 169.995
174.61/175.19 c GLOBAL bounds - >= 0 @ 171.331
183.28/183.84 c #Conflicts: 24000 | #Constraints: 18414
183.28/183.84 c #Conflicts: 25000 | #Constraints: 19414
183.28/183.84 c GLOBAL bounds - >= 0 @ 179.853
186.66/187.28 c INPROCESSING
186.66/187.28 c GARBAGE COLLECT
186.66/187.28 c GLOBAL bounds - >= 0 @ 183.245
187.96/188.56 c GLOBAL bounds - >= 0 @ 184.51
189.36/189.97 c GLOBAL bounds - >= 0 @ 185.897
200.32/201.00 c #Conflicts: 26000 | #Constraints: 17040
200.32/201.00 c #Conflicts: 27000 | #Constraints: 18040
200.32/201.00 c GLOBAL bounds - >= 0 @ 196.781
209.70/210.37 c #Conflicts: 28000 | #Constraints: 19042
209.70/210.37 c GLOBAL bounds - >= 0 @ 206.006
218.57/219.25 c #Conflicts: 29000 | #Constraints: 20044
218.57/219.25 c INPROCESSING
218.57/219.25 c GARBAGE COLLECT
218.57/219.25 c GLOBAL bounds - >= 0 @ 214.766
287.36/288.29 c #Conflicts: 30000 | #Constraints: 17470
287.36/288.29 c #Conflicts: 31000 | #Constraints: 18470
287.36/288.29 c #Conflicts: 32000 | #Constraints: 19470
287.36/288.29 c #Conflicts: 33000 | #Constraints: 20470
287.36/288.29 c INPROCESSING
287.36/288.29 c GARBAGE COLLECT
287.36/288.29 c #Conflicts: 34000 | #Constraints: 17683
287.36/288.29 c #Conflicts: 35000 | #Constraints: 18683
287.36/288.29 c #Conflicts: 36000 | #Constraints: 19683
287.36/288.29 c #Conflicts: 37000 | #Constraints: 20683
287.36/288.29 c INPROCESSING
287.36/288.29 c GARBAGE COLLECT
287.36/288.29 c #Conflicts: 38000 | #Constraints: 17698
287.36/288.29 c GLOBAL bounds - >= 0 @ 282.816
306.69/307.68 c #Conflicts: 39000 | #Constraints: 18700
306.69/307.68 c #Conflicts: 40000 | #Constraints: 19700
306.69/307.68 c #Conflicts: 41000 | #Constraints: 20700
306.69/307.68 c GLOBAL bounds - >= 0 @ 301.997
311.20/312.19 c INPROCESSING
311.20/312.19 c GARBAGE COLLECT
311.20/312.19 c GLOBAL bounds - >= 0 @ 306.44
331.52/332.59 c #Conflicts: 42000 | #Constraints: 17488
331.52/332.59 c #Conflicts: 43000 | #Constraints: 18488
331.52/332.59 c #Conflicts: 44000 | #Constraints: 19488
331.52/332.59 c #Conflicts: 45000 | #Constraints: 20488
331.52/332.59 c GLOBAL bounds - >= 0 @ 326.651
337.81/338.85 c GLOBAL bounds - >= 0 @ 332.82
340.80/341.85 c #Conflicts: 46000 | #Constraints: 21492
340.80/341.85 c GLOBAL bounds - >= 0 @ 335.754
349.27/350.34 c INPROCESSING
349.27/350.34 c GARBAGE COLLECT
349.27/350.34 c GLOBAL bounds - >= 0 @ 344.118
351.36/352.47 c #Conflicts: 47000 | #Constraints: 18040
351.36/352.47 c GLOBAL bounds - >= 0 @ 346.222
386.15/387.37 c #Conflicts: 48000 | #Constraints: 19042
386.15/387.37 c #Conflicts: 49000 | #Constraints: 20042
386.15/387.37 c #Conflicts: 50000 | #Constraints: 21042
386.15/387.37 c #Conflicts: 51000 | #Constraints: 22042
386.15/387.37 c INPROCESSING
386.15/387.37 c GARBAGE COLLECT
386.15/387.37 c GLOBAL bounds - >= 0 @ 380.564
397.02/398.22 c #Conflicts: 52000 | #Constraints: 18491
397.02/398.22 c GLOBAL bounds - >= 0 @ 391.275
410.19/411.46 c #Conflicts: 53000 | #Constraints: 19493
410.19/411.46 c #Conflicts: 54000 | #Constraints: 20493
410.19/411.46 c GLOBAL bounds - >= 0 @ 404.272
413.18/414.50 c GLOBAL bounds - >= 0 @ 407.259
505.92/507.49 c #Conflicts: 55000 | #Constraints: 21497
505.92/507.49 c #Conflicts: 56000 | #Constraints: 22497
505.92/507.49 c INPROCESSING
505.92/507.49 c GARBAGE COLLECT
505.92/507.49 c #Conflicts: 57000 | #Constraints: 18698
505.92/507.49 c #Conflicts: 58000 | #Constraints: 19698
505.92/507.49 c #Conflicts: 59000 | #Constraints: 20698
505.92/507.49 c #Conflicts: 60000 | #Constraints: 21698
505.92/507.49 c #Conflicts: 61000 | #Constraints: 22698
505.92/507.49 c INPROCESSING
505.92/507.49 c GARBAGE COLLECT
505.92/507.49 c #Conflicts: 62000 | #Constraints: 18720
505.92/507.49 c #Conflicts: 63000 | #Constraints: 19720
505.92/507.49 c #Conflicts: 64000 | #Constraints: 20720
505.92/507.49 c GLOBAL bounds - >= 0 @ 498.957
569.93/571.62 c #Conflicts: 65000 | #Constraints: 21722
569.93/571.62 c #Conflicts: 66000 | #Constraints: 22722
569.93/571.62 c INPROCESSING
569.93/571.62 c GARBAGE COLLECT
569.93/571.62 c #Conflicts: 67000 | #Constraints: 18518
569.93/571.62 c #Conflicts: 68000 | #Constraints: 19518
569.93/571.62 c #Conflicts: 69000 | #Constraints: 20518
569.93/571.62 c #Conflicts: 70000 | #Constraints: 21518
569.93/571.62 c GLOBAL bounds - >= 0 @ 561.832
601.73/603.55 c #Conflicts: 71000 | #Constraints: 22520
601.73/603.55 c #Conflicts: 72000 | #Constraints: 23520
601.73/603.55 c INPROCESSING
601.73/603.55 c GARBAGE COLLECT
601.73/603.55 c #Conflicts: 73000 | #Constraints: 19121
601.73/603.55 c #Conflicts: 74000 | #Constraints: 20121
601.73/603.55 c GLOBAL bounds - >= 0 @ 593.292
603.42/605.25 c GLOBAL bounds - >= 0 @ 594.975
605.82/607.66 c #Conflicts: 75000 | #Constraints: 21125
605.82/607.66 c GLOBAL bounds - >= 0 @ 597.358
616.49/618.32 c #Conflicts: 76000 | #Constraints: 22127
616.49/618.32 c GLOBAL bounds - >= 0 @ 607.904
629.65/631.58 c #Conflicts: 77000 | #Constraints: 23129
629.65/631.58 c GLOBAL bounds - >= 0 @ 620.602
753.50/755.78 c #Conflicts: 78000 | #Constraints: 24131
753.50/755.78 c INPROCESSING
753.50/755.78 c GARBAGE COLLECT
753.50/755.78 c #Conflicts: 79000 | #Constraints: 19545
753.50/755.78 c #Conflicts: 80000 | #Constraints: 20545
753.50/755.78 c #Conflicts: 81000 | #Constraints: 21545
753.50/755.78 c #Conflicts: 82000 | #Constraints: 22545
753.50/755.78 c #Conflicts: 83000 | #Constraints: 23545
753.50/755.78 c #Conflicts: 84000 | #Constraints: 24545
753.50/755.78 c INPROCESSING
753.50/755.78 c GARBAGE COLLECT
753.50/755.78 c #Conflicts: 85000 | #Constraints: 19773
753.50/755.78 c #Conflicts: 86000 | #Constraints: 20773
753.50/755.78 c #Conflicts: 87000 | #Constraints: 21773
753.50/755.78 c #Conflicts: 88000 | #Constraints: 22773
753.50/755.78 c #Conflicts: 89000 | #Constraints: 23773
753.50/755.78 c #Conflicts: 90000 | #Constraints: 24773
753.50/755.78 c INPROCESSING
753.50/755.78 c GARBAGE COLLECT
753.50/755.78 c #Conflicts: 91000 | #Constraints: 19774
753.50/755.78 c #Conflicts: 92000 | #Constraints: 20774
753.50/755.78 c #Conflicts: 93000 | #Constraints: 21774
753.50/755.78 c #Conflicts: 94000 | #Constraints: 22774
753.50/755.78 c #Conflicts: 95000 | #Constraints: 23774
753.50/755.78 c #Conflicts: 96000 | #Constraints: 24774
753.50/755.78 c INPROCESSING
753.50/755.78 c GARBAGE COLLECT
753.50/755.78 c #Conflicts: 97000 | #Constraints: 19555
753.50/755.78 c GLOBAL bounds - >= 0 @ 743.606
1347.45/1351.42 c #Conflicts: 98000 | #Constraints: 20557
1347.45/1351.42 c #Conflicts: 99000 | #Constraints: 21557
1347.45/1351.42 c #Conflicts: 100000 | #Constraints: 22557
1347.45/1351.42 c #Conflicts: 101000 | #Constraints: 23557
1347.45/1351.42 c #Conflicts: 102000 | #Constraints: 24557
1347.45/1351.42 c #Conflicts: 103000 | #Constraints: 25557
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 104000 | #Constraints: 20121
1347.45/1351.42 c #Conflicts: 105000 | #Constraints: 21121
1347.45/1351.42 c #Conflicts: 106000 | #Constraints: 22121
1347.45/1351.42 c #Conflicts: 107000 | #Constraints: 23121
1347.45/1351.42 c #Conflicts: 108000 | #Constraints: 24121
1347.45/1351.42 c #Conflicts: 109000 | #Constraints: 25121
1347.45/1351.42 c #Conflicts: 110000 | #Constraints: 26121
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 111000 | #Constraints: 20538
1347.45/1351.42 c #Conflicts: 112000 | #Constraints: 21538
1347.45/1351.42 c #Conflicts: 113000 | #Constraints: 22538
1347.45/1351.42 c #Conflicts: 114000 | #Constraints: 23538
1347.45/1351.42 c #Conflicts: 115000 | #Constraints: 24538
1347.45/1351.42 c #Conflicts: 116000 | #Constraints: 25538
1347.45/1351.42 c #Conflicts: 117000 | #Constraints: 26538
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 118000 | #Constraints: 20753
1347.45/1351.42 c #Conflicts: 119000 | #Constraints: 21753
1347.45/1351.42 c #Conflicts: 120000 | #Constraints: 22753
1347.45/1351.42 c #Conflicts: 121000 | #Constraints: 23753
1347.45/1351.42 c #Conflicts: 122000 | #Constraints: 24753
1347.45/1351.42 c #Conflicts: 123000 | #Constraints: 25753
1347.45/1351.42 c #Conflicts: 124000 | #Constraints: 26753
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 125000 | #Constraints: 20760
1347.45/1351.42 c #Conflicts: 126000 | #Constraints: 21760
1347.45/1351.42 c #Conflicts: 127000 | #Constraints: 22760
1347.45/1351.42 c #Conflicts: 128000 | #Constraints: 23760
1347.45/1351.42 c #Conflicts: 129000 | #Constraints: 24760
1347.45/1351.42 c #Conflicts: 130000 | #Constraints: 25760
1347.45/1351.42 c #Conflicts: 131000 | #Constraints: 26760
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 132000 | #Constraints: 20573
1347.45/1351.42 c #Conflicts: 133000 | #Constraints: 21573
1347.45/1351.42 c #Conflicts: 134000 | #Constraints: 22573
1347.45/1351.42 c #Conflicts: 135000 | #Constraints: 23573
1347.45/1351.42 c #Conflicts: 136000 | #Constraints: 24573
1347.45/1351.42 c #Conflicts: 137000 | #Constraints: 25573
1347.45/1351.42 c #Conflicts: 138000 | #Constraints: 26573
1347.45/1351.42 c #Conflicts: 139000 | #Constraints: 27573
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 140000 | #Constraints: 21176
1347.45/1351.42 c #Conflicts: 141000 | #Constraints: 22176
1347.45/1351.42 c #Conflicts: 142000 | #Constraints: 23176
1347.45/1351.42 c #Conflicts: 143000 | #Constraints: 24176
1347.45/1351.42 c #Conflicts: 144000 | #Constraints: 25176
1347.45/1351.42 c #Conflicts: 145000 | #Constraints: 26176
1347.45/1351.42 c #Conflicts: 146000 | #Constraints: 27176
1347.45/1351.42 c #Conflicts: 147000 | #Constraints: 28176
1347.45/1351.42 c INPROCESSING
1347.45/1351.42 c GARBAGE COLLECT
1347.45/1351.42 c #Conflicts: 148000 | #Constraints: 21576
1347.45/1351.42 c #Conflicts: 149000 | #Constraints: 22576
1347.45/1351.42 c #Conflicts: 150000 | #Constraints: 23576
1347.45/1351.42 c #Conflicts: 151000 | #Constraints: 24576
1347.45/1351.42 c #Conflicts: 152000 | #Constraints: 25576
1347.45/1351.42 c #Conflicts: 153000 | #Constraints: 26576
1347.45/1351.42 c GLOBAL bounds - >= 0 @ 1332.97
1351.34/1355.39 c #Conflicts: 154000 | #Constraints: 27578
1351.34/1355.39 c GLOBAL bounds - >= 0 @ 1336.9
1356.32/1360.34 c GLOBAL bounds - >= 0 @ 1341.78
1365.89/1369.90 c #Conflicts: 155000 | #Constraints: 28582
1365.89/1369.90 c INPROCESSING
1365.89/1369.90 c GARBAGE COLLECT
1365.89/1369.90 c GLOBAL bounds - >= 0 @ 1351.25
1390.82/1394.95 c #Conflicts: 156000 | #Constraints: 21803
1390.82/1394.95 c #Conflicts: 157000 | #Constraints: 22803
1390.82/1394.95 c #Conflicts: 158000 | #Constraints: 23803
1390.82/1394.95 c GLOBAL bounds - >= 0 @ 1376.05
1394.31/1398.48 c GLOBAL bounds - >= 0 @ 1379.55
1402.10/1406.29 c #Conflicts: 159000 | #Constraints: 24807
1402.10/1406.29 c GLOBAL bounds - >= 0 @ 1387.3
1523.56/1528.10 c #Conflicts: 160000 | #Constraints: 25809
1523.56/1528.10 c #Conflicts: 161000 | #Constraints: 26809
1523.56/1528.10 c #Conflicts: 162000 | #Constraints: 27809
1523.56/1528.10 c #Conflicts: 163000 | #Constraints: 28809
1523.56/1528.10 c INPROCESSING
1523.56/1528.10 c GARBAGE COLLECT
1523.56/1528.10 c #Conflicts: 164000 | #Constraints: 21851
1523.56/1528.10 c #Conflicts: 165000 | #Constraints: 22851
1523.56/1528.10 c #Conflicts: 166000 | #Constraints: 23851
1523.56/1528.10 c #Conflicts: 167000 | #Constraints: 24851
1523.56/1528.10 c #Conflicts: 168000 | #Constraints: 25851
1523.56/1528.10 c #Conflicts: 169000 | #Constraints: 26851
1523.56/1528.10 c #Conflicts: 170000 | #Constraints: 27851
1523.56/1528.10 c GLOBAL bounds - >= 0 @ 1507.67
1541.79/1546.30 c #Conflicts: 171000 | #Constraints: 28853
1541.79/1546.30 c INPROCESSING
1541.79/1546.30 c GARBAGE COLLECT
1541.79/1546.30 c GLOBAL bounds - >= 0 @ 1525.7
1622.29/1627.05 c #Conflicts: 172000 | #Constraints: 21653
1622.29/1627.05 c #Conflicts: 173000 | #Constraints: 22653
1622.29/1627.05 c #Conflicts: 174000 | #Constraints: 23653
1622.29/1627.05 c #Conflicts: 175000 | #Constraints: 24653
1622.29/1627.05 c #Conflicts: 176000 | #Constraints: 25653
1622.29/1627.05 c #Conflicts: 177000 | #Constraints: 26653
1622.29/1627.05 c #Conflicts: 178000 | #Constraints: 27653
1622.29/1627.05 c #Conflicts: 179000 | #Constraints: 28653
1622.29/1627.05 c GLOBAL bounds - >= 0 @ 1605.5
2359.63/2366.58 c #Conflicts: 180000 | #Constraints: 29655
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 181000 | #Constraints: 22247
2359.63/2366.58 c #Conflicts: 182000 | #Constraints: 23247
2359.63/2366.58 c #Conflicts: 183000 | #Constraints: 24247
2359.63/2366.58 c #Conflicts: 184000 | #Constraints: 25247
2359.63/2366.58 c #Conflicts: 185000 | #Constraints: 26247
2359.63/2366.58 c #Conflicts: 186000 | #Constraints: 27247
2359.63/2366.58 c #Conflicts: 187000 | #Constraints: 28247
2359.63/2366.58 c #Conflicts: 188000 | #Constraints: 29247
2359.63/2366.58 c #Conflicts: 189000 | #Constraints: 30247
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 190000 | #Constraints: 22663
2359.63/2366.58 c #Conflicts: 191000 | #Constraints: 23663
2359.63/2366.58 c #Conflicts: 192000 | #Constraints: 24663
2359.63/2366.58 c #Conflicts: 193000 | #Constraints: 25663
2359.63/2366.58 c #Conflicts: 194000 | #Constraints: 26663
2359.63/2366.58 c #Conflicts: 195000 | #Constraints: 27663
2359.63/2366.58 c #Conflicts: 196000 | #Constraints: 28663
2359.63/2366.58 c #Conflicts: 197000 | #Constraints: 29663
2359.63/2366.58 c #Conflicts: 198000 | #Constraints: 30663
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 199000 | #Constraints: 22854
2359.63/2366.58 c #Conflicts: 200000 | #Constraints: 23854
2359.63/2366.58 c #Conflicts: 201000 | #Constraints: 24854
2359.63/2366.58 c #Conflicts: 202000 | #Constraints: 25854
2359.63/2366.58 c #Conflicts: 203000 | #Constraints: 26854
2359.63/2366.58 c #Conflicts: 204000 | #Constraints: 27854
2359.63/2366.58 c #Conflicts: 205000 | #Constraints: 28854
2359.63/2366.58 c #Conflicts: 206000 | #Constraints: 29854
2359.63/2366.58 c #Conflicts: 207000 | #Constraints: 30854
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 208000 | #Constraints: 22844
2359.63/2366.58 c #Conflicts: 209000 | #Constraints: 23844
2359.63/2366.58 c #Conflicts: 210000 | #Constraints: 24844
2359.63/2366.58 c #Conflicts: 211000 | #Constraints: 25844
2359.63/2366.58 c #Conflicts: 212000 | #Constraints: 26844
2359.63/2366.58 c #Conflicts: 213000 | #Constraints: 27844
2359.63/2366.58 c #Conflicts: 214000 | #Constraints: 28844
2359.63/2366.58 c #Conflicts: 215000 | #Constraints: 29844
2359.63/2366.58 c #Conflicts: 216000 | #Constraints: 30844
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 217000 | #Constraints: 22647
2359.63/2366.58 c #Conflicts: 218000 | #Constraints: 23647
2359.63/2366.58 c #Conflicts: 219000 | #Constraints: 24647
2359.63/2366.58 c #Conflicts: 220000 | #Constraints: 25647
2359.63/2366.58 c #Conflicts: 221000 | #Constraints: 26647
2359.63/2366.58 c #Conflicts: 222000 | #Constraints: 27647
2359.63/2366.58 c #Conflicts: 223000 | #Constraints: 28647
2359.63/2366.58 c #Conflicts: 224000 | #Constraints: 29647
2359.63/2366.58 c #Conflicts: 225000 | #Constraints: 30647
2359.63/2366.58 c #Conflicts: 226000 | #Constraints: 31647
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 227000 | #Constraints: 23263
2359.63/2366.58 c #Conflicts: 228000 | #Constraints: 24263
2359.63/2366.58 c #Conflicts: 229000 | #Constraints: 25263
2359.63/2366.58 c #Conflicts: 230000 | #Constraints: 26263
2359.63/2366.58 c #Conflicts: 231000 | #Constraints: 27263
2359.63/2366.58 c #Conflicts: 232000 | #Constraints: 28263
2359.63/2366.58 c #Conflicts: 233000 | #Constraints: 29263
2359.63/2366.58 c #Conflicts: 234000 | #Constraints: 30263
2359.63/2366.58 c #Conflicts: 235000 | #Constraints: 31263
2359.63/2366.58 c #Conflicts: 236000 | #Constraints: 32263
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c #Conflicts: 237000 | #Constraints: 23659
2359.63/2366.58 c #Conflicts: 238000 | #Constraints: 24659
2359.63/2366.58 c #Conflicts: 239000 | #Constraints: 25659
2359.63/2366.58 c #Conflicts: 240000 | #Constraints: 26659
2359.63/2366.58 c #Conflicts: 241000 | #Constraints: 27659
2359.63/2366.58 c #Conflicts: 242000 | #Constraints: 28659
2359.63/2366.58 c #Conflicts: 243000 | #Constraints: 29659
2359.63/2366.58 c #Conflicts: 244000 | #Constraints: 30659
2359.63/2366.58 c #Conflicts: 245000 | #Constraints: 31659
2359.63/2366.58 c #Conflicts: 246000 | #Constraints: 32659
2359.63/2366.58 c INPROCESSING
2359.63/2366.58 c GARBAGE COLLECT
2359.63/2366.58 c GLOBAL bounds - >= 0 @ 2337.55
2397.62/2404.65 c #Conflicts: 247000 | #Constraints: 23850
2397.62/2404.65 c #Conflicts: 248000 | #Constraints: 24850
2397.62/2404.65 c #Conflicts: 249000 | #Constraints: 25850
2397.62/2404.65 c #Conflicts: 250000 | #Constraints: 26850
2397.62/2404.65 c #Conflicts: 251000 | #Constraints: 27850
2397.62/2404.65 c GLOBAL bounds - >= 0 @ 2375.29
2455.55/2462.77 c #Conflicts: 252000 | #Constraints: 28852
2455.55/2462.77 c #Conflicts: 253000 | #Constraints: 29852
2455.55/2462.77 c #Conflicts: 254000 | #Constraints: 30852
2455.55/2462.77 c #Conflicts: 255000 | #Constraints: 31852
2455.55/2462.77 c GLOBAL bounds - >= 0 @ 2432.79
2483.38/2490.68 c #Conflicts: 256000 | #Constraints: 32854
2483.38/2490.68 c INPROCESSING
2483.38/2490.68 c GARBAGE COLLECT
2483.38/2490.68 c #Conflicts: 257000 | #Constraints: 23876
2483.38/2490.68 c #Conflicts: 258000 | #Constraints: 24876
2483.38/2490.68 c GLOBAL bounds - >= 0 @ 2460.46
2593.60/2601.13 c #Conflicts: 259000 | #Constraints: 25878
2593.60/2601.13 c #Conflicts: 260000 | #Constraints: 26878
2593.60/2601.13 c #Conflicts: 261000 | #Constraints: 27878
2593.60/2601.13 c #Conflicts: 262000 | #Constraints: 28878
2593.60/2601.13 c #Conflicts: 263000 | #Constraints: 29878
2593.60/2601.13 c #Conflicts: 264000 | #Constraints: 30878
2593.60/2601.13 c #Conflicts: 265000 | #Constraints: 31878
2593.60/2601.13 c #Conflicts: 266000 | #Constraints: 32878
2593.60/2601.13 c INPROCESSING
2593.60/2601.13 c GARBAGE COLLECT
2593.60/2601.13 c #Conflicts: 267000 | #Constraints: 23683
2593.60/2601.13 c #Conflicts: 268000 | #Constraints: 24683
2593.60/2601.13 c #Conflicts: 269000 | #Constraints: 25683
2593.60/2601.13 c GLOBAL bounds - >= 0 @ 2569.7
2671.24/2679.08 c #Conflicts: 270000 | #Constraints: 26685
2671.24/2679.08 c #Conflicts: 271000 | #Constraints: 27685
2671.24/2679.08 c #Conflicts: 272000 | #Constraints: 28685
2671.24/2679.08 c #Conflicts: 273000 | #Constraints: 29685
2671.24/2679.08 c #Conflicts: 274000 | #Constraints: 30685
2671.24/2679.08 c #Conflicts: 275000 | #Constraints: 31685
2671.24/2679.08 c #Conflicts: 276000 | #Constraints: 32685
2671.24/2679.08 c #Conflicts: 277000 | #Constraints: 33685
2671.24/2679.08 c INPROCESSING
2671.24/2679.08 c GARBAGE COLLECT
2671.24/2679.08 c #Conflicts: 278000 | #Constraints: 24278
2671.24/2679.08 c #Conflicts: 279000 | #Constraints: 25278
2671.24/2679.08 c GLOBAL bounds - >= 0 @ 2646.83
2677.10/2684.94 c #Conflicts: 280000 | #Constraints: 26280
2677.10/2684.94 c GLOBAL bounds - >= 0 @ 2652.62
2775.76/2783.92 c #Conflicts: 281000 | #Constraints: 27282
2775.76/2783.92 c #Conflicts: 282000 | #Constraints: 28282
2775.76/2783.92 c #Conflicts: 283000 | #Constraints: 29282
2775.76/2783.92 c #Conflicts: 284000 | #Constraints: 30282
2775.76/2783.92 c #Conflicts: 285000 | #Constraints: 31282
2775.76/2783.92 c #Conflicts: 286000 | #Constraints: 32282
2775.76/2783.92 c #Conflicts: 287000 | #Constraints: 33282
2775.76/2783.92 c GLOBAL bounds - >= 0 @ 2750.64
2794.60/2802.86 c #Conflicts: 288000 | #Constraints: 34284
2794.60/2802.86 c INPROCESSING
2794.60/2802.86 c GARBAGE COLLECT
2794.60/2802.86 c #Conflicts: 289000 | #Constraints: 24685
2794.60/2802.86 c GLOBAL bounds - >= 0 @ 2768.92
2816.52/2824.88 c #Conflicts: 290000 | #Constraints: 25687
2816.52/2824.88 c GLOBAL bounds - >= 0 @ 2790.66
2820.61/2828.90 c #Conflicts: 291000 | #Constraints: 26689
2820.61/2828.90 c GLOBAL bounds - >= 0 @ 2794.64
2823.40/2831.75 c GLOBAL bounds - >= 0 @ 2797.46
2885.89/2894.49 c #Conflicts: 292000 | #Constraints: 27693
2885.89/2894.49 c #Conflicts: 293000 | #Constraints: 28693
2885.89/2894.49 c #Conflicts: 294000 | #Constraints: 29693
2885.89/2894.49 c #Conflicts: 295000 | #Constraints: 30693
2885.89/2894.49 c #Conflicts: 296000 | #Constraints: 31693
2885.89/2894.49 c #Conflicts: 297000 | #Constraints: 32693
2885.89/2894.49 c GLOBAL bounds - >= 0 @ 2859.56
2993.82/3002.74 c #Conflicts: 298000 | #Constraints: 33695
2993.82/3002.74 c #Conflicts: 299000 | #Constraints: 34695
2993.82/3002.74 c INPROCESSING
2993.82/3002.74 c GARBAGE COLLECT
2993.82/3002.74 c #Conflicts: 300000 | #Constraints: 24877
2993.82/3002.74 c #Conflicts: 301000 | #Constraints: 25877
2993.82/3002.74 c #Conflicts: 302000 | #Constraints: 26877
2993.82/3002.74 c #Conflicts: 303000 | #Constraints: 27877
2993.82/3002.74 c #Conflicts: 304000 | #Constraints: 28877
2993.82/3002.74 c #Conflicts: 305000 | #Constraints: 29877
2993.82/3002.74 c GLOBAL bounds - >= 0 @ 2966.42
3015.95/3024.91 c #Conflicts: 306000 | #Constraints: 30879
3015.95/3024.91 c #Conflicts: 307000 | #Constraints: 31879
3015.95/3024.91 c GLOBAL bounds - >= 0 @ 2988.34
3190.26/3199.82 c #Conflicts: 308000 | #Constraints: 32881
3190.26/3199.82 c #Conflicts: 309000 | #Constraints: 33881
3190.26/3199.82 c #Conflicts: 310000 | #Constraints: 34881
3190.26/3199.82 c INPROCESSING
3190.26/3199.82 c GARBAGE COLLECT
3190.26/3199.82 c #Conflicts: 311000 | #Constraints: 24882
3190.26/3199.82 c #Conflicts: 312000 | #Constraints: 25882
3190.26/3199.82 c #Conflicts: 313000 | #Constraints: 26882
3190.26/3199.82 c #Conflicts: 314000 | #Constraints: 27882
3190.26/3199.82 c #Conflicts: 315000 | #Constraints: 28882
3190.26/3199.82 c #Conflicts: 316000 | #Constraints: 29882
3190.26/3199.82 c #Conflicts: 317000 | #Constraints: 30882
3190.26/3199.82 c #Conflicts: 318000 | #Constraints: 31882
3190.26/3199.82 c #Conflicts: 319000 | #Constraints: 32882
3190.26/3199.82 c #Conflicts: 320000 | #Constraints: 33882
3190.26/3199.82 c #Conflicts: 321000 | #Constraints: 34882
3190.26/3199.82 c INPROCESSING
3190.26/3199.82 c GARBAGE COLLECT
3190.26/3199.82 c #Conflicts: 322000 | #Constraints: 24707
3190.26/3199.82 c #Conflicts: 323000 | #Constraints: 25707
3190.26/3199.82 c GLOBAL bounds - >= 0 @ 3161.32
3434.36/3444.72 c #Conflicts: 324000 | #Constraints: 26709
3434.36/3444.72 c #Conflicts: 325000 | #Constraints: 27709
3434.36/3444.72 c #Conflicts: 326000 | #Constraints: 28709
3434.36/3444.72 c #Conflicts: 327000 | #Constraints: 29709
3434.36/3444.72 c #Conflicts: 328000 | #Constraints: 30709
3434.36/3444.72 c #Conflicts: 329000 | #Constraints: 31709
3434.36/3444.72 c #Conflicts: 330000 | #Constraints: 32709
3434.36/3444.72 c #Conflicts: 331000 | #Constraints: 33709
3434.36/3444.72 c #Conflicts: 332000 | #Constraints: 34709
3434.36/3444.72 c #Conflicts: 333000 | #Constraints: 35709
3434.36/3444.72 c INPROCESSING
3434.36/3444.72 c GARBAGE COLLECT
3434.36/3444.72 c #Conflicts: 334000 | #Constraints: 25296
3434.36/3444.72 c #Conflicts: 335000 | #Constraints: 26296
3434.36/3444.72 c #Conflicts: 336000 | #Constraints: 27296
3434.36/3444.72 c #Conflicts: 337000 | #Constraints: 28296
3434.36/3444.72 c #Conflicts: 338000 | #Constraints: 29296
3434.36/3444.72 c #Conflicts: 339000 | #Constraints: 30296
3434.36/3444.72 c #Conflicts: 340000 | #Constraints: 31296
3434.36/3444.72 c #Conflicts: 341000 | #Constraints: 32296
3434.36/3444.72 c #Conflicts: 342000 | #Constraints: 33296
3434.36/3444.72 c #Conflicts: 343000 | #Constraints: 34296
3434.36/3444.72 c #Conflicts: 344000 | #Constraints: 35296
3434.36/3444.72 c #Conflicts: 345000 | #Constraints: 36296
3434.36/3444.72 c INPROCESSING
3434.36/3444.72 c GARBAGE COLLECT
3434.36/3444.72 c GLOBAL bounds - >= 0 @ 3403.34
3455.48/3465.96 c #Conflicts: 346000 | #Constraints: 25715
3455.48/3465.96 c #Conflicts: 347000 | #Constraints: 26715
3455.48/3465.96 c GLOBAL bounds - >= 0 @ 3424.31
3497.64/3508.21 c #Conflicts: 348000 | #Constraints: 27717
3497.64/3508.21 c #Conflicts: 349000 | #Constraints: 28717
3497.64/3508.21 c #Conflicts: 350000 | #Constraints: 29717
3497.64/3508.21 c #Conflicts: 351000 | #Constraints: 30717
3497.64/3508.21 c #Conflicts: 352000 | #Constraints: 31717
3497.64/3508.21 c GLOBAL bounds - >= 0 @ 3465.95
3600.01/3610.90 c #Conflicts: 353000 | #Constraints: 32719
3600.01/3610.90 c #Conflicts: 354000 | #Constraints: 33719
3600.01/3610.90 c #Conflicts: 355000 | #Constraints: 34719
3600.01/3610.90 c #Conflicts: 356000 | #Constraints: 35719
3600.01/3610.90 c #Conflicts: 357000 | #Constraints: 36719
3600.01/3610.90 c INPROCESSING
3600.01/3610.90 c GARBAGE COLLECT
3600.01/3610.90 c #Conflicts: 358000 | #Constraints: 25939
3600.01/3610.90 c #Conflicts: 359000 | #Constraints: 26939
3600.01/3610.90 c #Conflicts: 360000 | #Constraints: 27939
3600.01/3610.90 c #Conflicts: 361000 | #Constraints: 28939
3600.01/3610.90 c cpu time 3567.36 s
3600.01/3610.90 c deterministic time 1 1.00e+00
3600.01/3610.90 c optimization time 3567.2 s
3600.01/3610.90 c total solve time 0 s
3600.01/3610.90 c core-guided solve time 0 s
3600.01/3610.90 c propagation time 0.013028 s
3600.01/3610.90 c conflict analysis time 0 s
3600.01/3610.90 c propagations 0
3600.01/3610.90 c resolve steps 0
3600.01/3610.90 c decisions 0
3600.01/3610.90 c conflicts 0
3600.01/3610.90 c restarts 0
3600.01/3610.90 c inprocessing phases 0
3600.01/3610.90 c garbage collections 0 ,( -nan )
3600.01/3610.90 c input clauses 12650 ,( 100.00 )
3600.01/3610.90 c input cardinalities 0 ,( 0.00 )
3600.01/3610.90 c input general constraints 0 ,( 0.00 )
3600.01/3610.90 c input average constraint length 4.00
3600.01/3610.90 c input average constraint degree 1.00
3600.01/3610.90 c learned clauses 0 ,( 0.00 )
3600.01/3610.90 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.90 c learned general constraints 0 ,( 0.00 )
3600.01/3610.90 c learned average constraint length 0.00
3600.01/3610.90 c learned average constraint degree 0.00
3600.01/3610.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.90 c watched constraints 0 ,( -nan )
3600.01/3610.90 c counting constraints 0 ,( -nan )
3600.01/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.90 c gcd simplifications 0
3600.01/3610.90 c detected cardinalities 0
3600.01/3610.90 c weakened non-implied lits 0
3600.01/3610.90 c weakened non-implying lits 0
3600.01/3610.90 c original variables 12650
3600.01/3610.90 c clausal propagations 0
3600.01/3610.90 c cardinality propagations 0
3600.01/3610.90 c watched propagations 0
3600.01/3610.90 c counting propagations 0
3600.01/3610.90 c watch lookups 0
3600.01/3610.90 c watch backjump lookups 0
3600.01/3610.90 c watch checks 0
3600.01/3610.90 c propagation checks 0
3600.01/3610.90 c constraint additions 0
3600.01/3610.90 c trail pops 0
3600.01/3610.90 c formula constraints 12650
3600.01/3610.90 c learned constraints 0
3600.01/3610.90 c bound constraints 0
3600.01/3610.90 c core-guided constraints 0
3600.01/3610.90 c encountered formula constraints 0
3600.01/3610.90 c encountered learned constraints 0
3600.01/3610.90 c encountered bound constraints 0
3600.01/3610.90 c encountered core-guided constraints 0
3600.01/3610.90 c LP total time 0 s
3600.01/3610.90 c LP solve time 0 s
3600.01/3610.90 c LP constraints added 0
3600.01/3610.90 c LP constraints removed 0
3600.01/3610.90 c LP pivots internal 0
3600.01/3610.90 c LP pivots root 0
3600.01/3610.90 c LP calls 0
3600.01/3610.90 c LP optimalities 0
3600.01/3610.90 c LP no pivot count 0
3600.01/3610.90 c LP infeasibilities 0
3600.01/3610.90 c LP valid Farkas constraints 0
3600.01/3610.90 c LP learned Farkas constraints 0
3600.01/3610.90 c LP basis resets 0
3600.01/3610.90 c LP cycling count 0
3600.01/3610.90 c LP singular count 0
3600.01/3610.90 c LP no primal count 0
3600.01/3610.90 c LP no farkas count 0
3600.01/3610.90 c LP other issue count 0
3600.01/3610.90 c LP Gomory cuts 0
3600.01/3610.90 c LP learned cuts 0
3600.01/3610.90 c LP deleted cuts 0
3600.01/3610.90 c LP encountered Gomory constraints 0
3600.01/3610.90 c LP encountered Farkas constraints 0
3600.01/3610.90 c LP encountered learned Farkas constraints 0
3600.01/3610.90 c CG auxiliary variables introduced 0
3600.01/3610.90 c CG solutions found 0
3600.01/3610.90 c CG cores constructed 0
3600.01/3610.90 c CG core cardinality constraints returned 0
3600.01/3610.90 c CG unit cores 0
3600.01/3610.90 c CG single cores 0
3600.01/3610.90 c CG blocks removed during cardinality reduction 0
3600.01/3610.90 c CG first core best 0
3600.01/3610.90 c CG decision core best 0
3600.01/3610.90 c CG core reduction tie 0
3600.01/3610.90 c CG core degree average 0.00
3600.01/3610.90 c CG core slack average 0.00
3600.01/3610.90 c CG core upper bound improvements 0
3600.01/3610.90 c STR number of successful calls 0
3600.01/3610.90 c STR number of unsuccessful calls 0
3600.01/3610.90 c STR number of inconclusive calls 0
3600.01/3610.90 c STR number of successful attempts 0
3600.01/3610.90 c STR number of unsuccessful attempts 0
3600.01/3610.90 c STR number of inconclusive attempts 0
3600.01/3610.90 c STR average degree increase per successful call inf
3600.01/3610.90 c STR average degree increase per successful attempt inf
3600.01/3610.90 c STR total number of conflicts for successful attempts 0
3600.01/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.90 c STR average number of conflicts per successful attempt inf
3600.01/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.90 c AVG.sumWPerc -nan
3600.01/3610.90 c bigint constraints 0
3600.01/3610.90 s UNKNOWN
3600.01/3610.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (49536 MiB free)
memory of node 1: 64507 MiB (63022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520573-1751570143/watcher-4520573-1751570143 -o /tmp/evaluation-result-4520573-1751570143/solver-4520573-1751570143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80733 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520573-1751570143.opb PROOFDIR/proof-4520573-1751570143
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
solver pid=81509, runsolver pid=81506
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115261308/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=58300 memory=11896 CPUtime=0.07 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1607 0 0 0 6 1 0 0 20 0 1 0 72693217 59699200 2974 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 14575 2974 2016 1147 0 2002 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62492 KiB
Current children cumulated memory: 14968 KiB
[startup+0.214567 s]*
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115253180/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=71944 memory=25264 CPUtime=0.18 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 4607 0 0 0 15 3 0 0 20 0 1 0 72693217 73670656 6316 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 17986 6316 2304 1147 0 5413 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76136 KiB
Current children cumulated memory: 28336 KiB
[startup+0.314122 s]*
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115237240/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=85268 memory=36896 CPUtime=0.29 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 7010 0 0 0 22 7 0 0 20 0 1 0 72693217 87314432 9224 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 21317 9224 2368 1147 0 8744 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89460 KiB
Current children cumulated memory: 39968 KiB
[startup+0.700392 s]
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115233208/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=95308 memory=48672 CPUtime=0.65 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 9942 0 0 0 56 9 0 0 20 0 1 0 72693217 97595392 12168 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 23827 12168 2368 1147 0 11254 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 99500 KiB
Current children cumulated memory: 51744 KiB
[startup+1.50039 s]
/proc/loadavg: 4.08 4.17 4.18 6/259 81511
/proc/meminfo: memFree=115199944/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=151056 memory=100748 CPUtime=1.45 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 21942 0 0 0 128 17 0 0 20 0 1 0 72693217 154681344 25187 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 37764 25187 2368 1147 0 25191 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 155248 KiB
Current children cumulated memory: 103820 KiB
[startup+3.11345 s]
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115021848/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=234072 memory=184100 CPUtime=3.06 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 36122 0 0 0 282 24 0 0 20 0 1 0 72693217 239689728 46025 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 58518 46025 2368 1147 0 45945 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 238264 KiB
Current children cumulated memory: 187172 KiB
[startup+6.3004 s]
/proc/loadavg: 4.16 4.19 4.18 5/259 81511
/proc/meminfo: memFree=114779924/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=424504 memory=343992 CPUtime=6.24 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 64342 0 0 0 590 34 0 0 20 0 1 0 72693217 434692096 85998 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 106126 85998 2368 1147 0 93553 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 428696 KiB
Current children cumulated memory: 347064 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.18 4.18 5/258 81511
/proc/meminfo: memFree=114363880/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=719336 memory=605308 CPUtime=12.62 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 113861 0 0 0 1209 53 0 0 20 0 1 0 72693217 736600064 151327 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 179834 151327 2368 1147 0 167261 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 723528 KiB
Current children cumulated memory: 608380 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.17 4.18 5/258 81557
/proc/meminfo: memFree=126895320/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=1283516 memory=1008300 CPUtime=25.39 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 192146 0 0 0 2456 83 0 0 20 0 1 0 72693217 1314320384 252075 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 320879 252075 2368 1147 0 308306 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1287708 KiB
Current children cumulated memory: 1011372 KiB
[startup+51.1144 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 81559
/proc/meminfo: memFree=125781992/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=1504224 memory=1225600 CPUtime=50.94 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 221938 0 0 0 4975 119 0 0 20 0 1 0 72693217 1540325376 306400 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 376056 306400 2368 1147 0 363483 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1508416 KiB
Current children cumulated memory: 1228672 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/260 81561
/proc/meminfo: memFree=124144356/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=2315788 memory=1742632 CPUtime=101.99 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 336445 0 0 0 9981 218 0 0 20 0 1 0 72693217 2371366912 435658 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 578947 435658 2368 1147 0 566374 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2319980 KiB
Current children cumulated memory: 1745704 KiB
[startup+162.3 s]
/proc/loadavg: 4.94 4.39 4.26 5/262 81569
/proc/meminfo: memFree=122217064/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=2361652 memory=1941888 CPUtime=161.84 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 365335 0 0 0 15863 321 0 0 20 0 1 0 72693217 2418331648 485472 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 590413 485472 2368 1147 0 577840 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2365844 KiB
Current children cumulated memory: 1944960 KiB
[startup+222.3 s]
/proc/loadavg: 4.50 4.37 4.26 5/262 81571
/proc/meminfo: memFree=120937120/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=2717044 memory=2112828 CPUtime=221.66 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 389191 0 0 0 21778 388 0 0 20 0 1 0 72693217 2782253056 528207 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 679261 528207 2368 1147 0 666688 0
################
# More data... #
################
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8924100 memory=6590596 CPUtime=3152.88 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1178795 0 0 0 312416 2872 0 0 20 0 1 0 72693217 9138278400 1647649 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2231025 1647649 2368 1147 0 2218452 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 8928292 KiB
Current children cumulated memory: 6593668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/260 81742
/proc/meminfo: memFree=72160184/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8924100 memory=6590724 CPUtime=3212.69 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1179219 0 0 0 318355 2914 0 0 20 0 1 0 72693217 9138278400 1647681 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2231025 1647681 2368 1147 0 2218452 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 8928292 KiB
Current children cumulated memory: 6593796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/260 81744
/proc/meminfo: memFree=71087128/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8924100 memory=6590724 CPUtime=3272.49 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1179641 0 0 0 324292 2957 0 0 20 0 1 0 72693217 9138278400 1647681 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2231025 1647681 2368 1147 0 2218452 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 8928292 KiB
Current children cumulated memory: 6593796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 81747
/proc/meminfo: memFree=70188212/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8937924 memory=6621996 CPUtime=3332.29 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1184083 0 0 0 330217 3012 0 0 20 0 1 0 72693217 9152434176 1655499 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2234481 1655499 2368 1147 0 2221908 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 8942116 KiB
Current children cumulated memory: 6625068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 81749
/proc/meminfo: memFree=69482944/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8937924 memory=6621996 CPUtime=3392.1 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1184545 0 0 0 336141 3069 0 0 20 0 1 0 72693217 9152434176 1655499 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2234481 1655499 2368 1147 0 2221908 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 8942116 KiB
Current children cumulated memory: 6625068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 81752
/proc/meminfo: memFree=68820960/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8969672 memory=6700572 CPUtime=3451.9 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1196254 0 0 0 342069 3121 0 0 20 0 1 0 72693217 9184944128 1675143 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2242418 1675143 2368 1147 0 2229845 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 8973864 KiB
Current children cumulated memory: 6703644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 81758
/proc/meminfo: memFree=68219344/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=8969672 memory=6700572 CPUtime=3511.7 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1196843 0 0 0 347990 3180 0 0 20 0 1 0 72693217 9184944128 1675143 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2242418 1675143 2368 1147 0 2229845 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 8973864 KiB
Current children cumulated memory: 6703644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 81760
/proc/meminfo: memFree=67338956/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=9038792 memory=6884024 CPUtime=3571.51 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1223857 0 0 0 353914 3237 0 0 20 0 1 0 72693217 9255723008 1721006 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2259698 1721006 2368 1147 0 2247125 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 9042984 KiB
Current children cumulated memory: 6887096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.15 4.12 4.09 5/261 81761
/proc/meminfo: memFree=66895684/131382112 swapFree=33009904/33010684
[pid=81509] ppid=81506 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/81509/stat : 81509 (run-opt-log.sh) S 81506 81509 80700 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 72693216 4292608 768 18446744073709551615 94916878393344 94916879287877 140725762727072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94916879526928 94916879574672 94916884946944 140725762730273 140725762730468 140725762730468 140725762736070 0
/proc/81509/statm: 1048 768 704 219 0 110 0
[pid=81511] ppid=81509 vsize=9038792 memory=6884024 CPUtime=3600.01 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81509 81509 80700 0 -1 4194304 1224070 0 0 0 356736 3265 0 0 20 0 1 0 72693217 9255723008 1721006 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2259698 1721006 2368 1147 0 2247125 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9042984 KiB
Current children cumulated memory: 6887096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 81509 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.003474 s
[startup+3611.15 s]
# the end of solver process 81511 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3567.38 s, system=32.7802 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+3611 s]*
/proc/loadavg: 4.15 4.12 4.09 5/260 81761
/proc/meminfo: memFree=66876912/131382112 swapFree=33009904/33010684
[pid=81511] ppid=81506 vsize=9038792 memory=6884408 CPUtime=3600.03 cores=4,6
/proc/81511/stat : 81511 (roundingsat) D 81506 81509 80700 0 -1 4194304 1224075 0 0 0 356736 3267 0 0 20 0 1 0 72693217 9255723008 1721102 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2259698 1721102 2464 1147 0 2247125 0
Current cumulated CPU time of completed processes: 0.003474 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9038792 KiB
Current children cumulated memory: 6884408 KiB
[startup+3611.11 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 81761
/proc/meminfo: memFree=66876912/131382112 swapFree=33009904/33010684
[pid=81511] ppid=81506 vsize=8999368 memory=5273836 CPUtime=3600.11 cores=4,6
/proc/81511/stat : 81511 (roundingsat) R 81506 81509 80700 0 -1 4194304 1224075 0 0 0 356737 3274 0 0 20 0 1 0 72693217 9215352832 1318459 18446744073709551615 4227072 8923433 140726365986032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13238272 140726365993298 140726365993512 140726365993512 140726365999082 0
/proc/81511/statm: 2249842 1318459 2464 1147 0 2237269 0
Current cumulated CPU time of completed processes: 0.003474 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 8999368 KiB
Current children cumulated memory: 5273836 KiB
Child status: 2
Real time (s): 3611.15
CPU time (s): 3600.16
CPU user time (s): 3567.38
CPU system time (s): 32.7802
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 9042984
Max. memory (cumulated for all children) (KiB): 6887096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.38
system time used= 32.7802
maximum resident set size= 6884408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1224303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43758688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8163
involuntary context switches= 5013
# summary of solver processes directly reported to runsolver:
# pid: 81509,81511
# total CPU time (s): 3600.16
# total CPU user time (s): 3567.38
# total CPU system time (s): 32.7802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4221 second user time and 41.4838 second system time
The end
Begin job on nodeC001 at 2025-07-03 21:15:43
IDJOB=4520573
IDBENCH=178105
IDSOLVER=3351
FILE ID=nodeC001/4520573-1751570143
RUNJOBID= nodeC001-1751562911-80733
SLURM_JOB_ID= 9598765
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520573-1751570143/watcher-4520573-1751570143 -o /tmp/evaluation-result-4520573-1751570143/solver-4520573-1751570143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80733 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520573-1751570143.opb PROOFDIR/proof-4520573-1751570143
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d7ece7e3292f38d08ee869a6ef2ad2c1
RANDOM SEED=426676528
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.268
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.49
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 : 2095.058
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.49
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.132
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.49
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.391
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.49
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 : 2194.809
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.49
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 : 1795.759
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.49
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.342
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.49
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.371
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 115263244 kB
MemAvailable: 125759964 kB
Buffers: 1668 kB
Cached: 11276440 kB
SwapCached: 128 kB
Active: 4488340 kB
Inactive: 11038720 kB
Active(anon): 4238512 kB
Inactive(anon): 28268 kB
Active(file): 249828 kB
Inactive(file): 11010452 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24680 kB
Writeback: 0 kB
AnonPages: 4252060 kB
Mapped: 116720 kB
Shmem: 17776 kB
KReclaimable: 151748 kB
Slab: 237300 kB
SReclaimable: 151748 kB
SUnreclaim: 85552 kB
KernelStack: 4160 kB
PageTables: 11796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5013068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2656256 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC001 at 2025-07-03 22:15:55