0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 1000 #constraints 1
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= -5085234 @ 0.001814
0.00/0.01 c GLOBAL bounds - >= -5085234 @ 0.002037
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.002369
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.002899
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.004159
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.005054
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.005054
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.006084
0.00/0.02 c GLOBAL bounds - >= -5085234 @ 0.00737
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.007975
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.009019
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.010346
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.01168
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.012359
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.013429
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.014033
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.014306
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.015369
0.00/0.05 c GLOBAL bounds - >= -5085234 @ 0.027046
0.00/0.05 c GLOBAL bounds - >= -5085234 @ 0.028597
0.00/0.05 c GLOBAL bounds - >= -5085234 @ 0.030256
298.25/299.28 c #Conflicts: 1000 | #Constraints: 1039
298.25/299.28 c #Conflicts: 2000 | #Constraints: 2039
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 3000 | #Constraints: 2042
298.25/299.28 c #Conflicts: 4000 | #Constraints: 3042
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 5000 | #Constraints: 2443
298.25/299.28 c #Conflicts: 6000 | #Constraints: 3443
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 7000 | #Constraints: 2444
298.25/299.28 c #Conflicts: 8000 | #Constraints: 3444
298.25/299.28 c #Conflicts: 9000 | #Constraints: 4444
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 10000 | #Constraints: 3147
298.25/299.28 c #Conflicts: 11000 | #Constraints: 4147
298.25/299.28 c #Conflicts: 12000 | #Constraints: 5147
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 13000 | #Constraints: 3598
298.25/299.28 c #Conflicts: 14000 | #Constraints: 4598
298.25/299.28 c #Conflicts: 15000 | #Constraints: 5598
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 16000 | #Constraints: 3824
298.25/299.28 c #Conflicts: 17000 | #Constraints: 4824
298.25/299.28 c #Conflicts: 18000 | #Constraints: 5824
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 19000 | #Constraints: 3836
298.25/299.28 c #Conflicts: 20000 | #Constraints: 4836
298.25/299.28 c #Conflicts: 21000 | #Constraints: 5836
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 22000 | #Constraints: 3640
298.25/299.28 c #Conflicts: 23000 | #Constraints: 4640
298.25/299.28 c #Conflicts: 24000 | #Constraints: 5640
298.25/299.28 c #Conflicts: 25000 | #Constraints: 6640
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 26000 | #Constraints: 4245
298.25/299.28 c #Conflicts: 27000 | #Constraints: 5245
298.25/299.28 c #Conflicts: 28000 | #Constraints: 6245
298.25/299.28 c #Conflicts: 29000 | #Constraints: 7245
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 30000 | #Constraints: 4645
298.25/299.28 c #Conflicts: 31000 | #Constraints: 5645
298.25/299.28 c #Conflicts: 32000 | #Constraints: 6645
298.25/299.28 c #Conflicts: 33000 | #Constraints: 7645
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 34000 | #Constraints: 4846
298.25/299.28 c #Conflicts: 35000 | #Constraints: 5846
298.25/299.28 c #Conflicts: 36000 | #Constraints: 6846
298.25/299.28 c #Conflicts: 37000 | #Constraints: 7846
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 38000 | #Constraints: 4845
298.25/299.28 c #Conflicts: 39000 | #Constraints: 5845
298.25/299.28 c #Conflicts: 40000 | #Constraints: 6845
298.25/299.28 c #Conflicts: 41000 | #Constraints: 7845
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 42000 | #Constraints: 4646
298.25/299.28 c #Conflicts: 43000 | #Constraints: 5646
298.25/299.28 c #Conflicts: 44000 | #Constraints: 6646
298.25/299.28 c #Conflicts: 45000 | #Constraints: 7646
298.25/299.28 c #Conflicts: 46000 | #Constraints: 8646
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 47000 | #Constraints: 5249
298.25/299.28 c #Conflicts: 48000 | #Constraints: 6249
298.25/299.28 c #Conflicts: 49000 | #Constraints: 7249
298.25/299.28 c #Conflicts: 50000 | #Constraints: 8249
298.25/299.28 c #Conflicts: 51000 | #Constraints: 9249
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 52000 | #Constraints: 5652
298.25/299.28 c #Conflicts: 53000 | #Constraints: 6652
298.25/299.28 c #Conflicts: 54000 | #Constraints: 7652
298.25/299.28 c #Conflicts: 55000 | #Constraints: 8652
298.25/299.28 c #Conflicts: 56000 | #Constraints: 9652
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 57000 | #Constraints: 5853
298.25/299.28 c #Conflicts: 58000 | #Constraints: 6853
298.25/299.28 c #Conflicts: 59000 | #Constraints: 7853
298.25/299.28 c #Conflicts: 60000 | #Constraints: 8853
298.25/299.28 c #Conflicts: 61000 | #Constraints: 9853
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 62000 | #Constraints: 5850
298.25/299.28 c #Conflicts: 63000 | #Constraints: 6850
298.25/299.28 c #Conflicts: 64000 | #Constraints: 7850
298.25/299.28 c #Conflicts: 65000 | #Constraints: 8850
298.25/299.28 c #Conflicts: 66000 | #Constraints: 9850
298.25/299.28 c INPROCESSING
298.25/299.28 c GARBAGE COLLECT
298.25/299.28 c #Conflicts: 67000 | #Constraints: 5651
298.25/299.28 c #Conflicts: 68000 | #Constraints: 6651
828.64/831.37 c #Conflicts: 69000 | #Constraints: 7651
828.64/831.37 c #Conflicts: 70000 | #Constraints: 8651
828.64/831.37 c #Conflicts: 71000 | #Constraints: 9651
828.64/831.37 c #Conflicts: 72000 | #Constraints: 10651
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 73000 | #Constraints: 6253
828.64/831.37 c #Conflicts: 74000 | #Constraints: 7253
828.64/831.37 c #Conflicts: 75000 | #Constraints: 8253
828.64/831.37 c #Conflicts: 76000 | #Constraints: 9253
828.64/831.37 c #Conflicts: 77000 | #Constraints: 10253
828.64/831.37 c #Conflicts: 78000 | #Constraints: 11253
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 79000 | #Constraints: 6650
828.64/831.37 c #Conflicts: 80000 | #Constraints: 7650
828.64/831.37 c #Conflicts: 81000 | #Constraints: 8650
828.64/831.37 c #Conflicts: 82000 | #Constraints: 9650
828.64/831.37 c #Conflicts: 83000 | #Constraints: 10650
828.64/831.37 c #Conflicts: 84000 | #Constraints: 11650
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 85000 | #Constraints: 6850
828.64/831.37 c #Conflicts: 86000 | #Constraints: 7850
828.64/831.37 c #Conflicts: 87000 | #Constraints: 8850
828.64/831.37 c #Conflicts: 88000 | #Constraints: 9850
828.64/831.37 c #Conflicts: 89000 | #Constraints: 10850
828.64/831.37 c #Conflicts: 90000 | #Constraints: 11850
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 91000 | #Constraints: 6850
828.64/831.37 c #Conflicts: 92000 | #Constraints: 7850
828.64/831.37 c #Conflicts: 93000 | #Constraints: 8850
828.64/831.37 c #Conflicts: 94000 | #Constraints: 9850
828.64/831.37 c #Conflicts: 95000 | #Constraints: 10850
828.64/831.37 c #Conflicts: 96000 | #Constraints: 11850
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 97000 | #Constraints: 6648
828.64/831.37 c #Conflicts: 98000 | #Constraints: 7648
828.64/831.37 c #Conflicts: 99000 | #Constraints: 8648
828.64/831.37 c #Conflicts: 100000 | #Constraints: 9648
828.64/831.37 c #Conflicts: 101000 | #Constraints: 10648
828.64/831.37 c #Conflicts: 102000 | #Constraints: 11648
828.64/831.37 c #Conflicts: 103000 | #Constraints: 12648
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 104000 | #Constraints: 7252
828.64/831.37 c #Conflicts: 105000 | #Constraints: 8252
828.64/831.37 c #Conflicts: 106000 | #Constraints: 9252
828.64/831.37 c #Conflicts: 107000 | #Constraints: 10252
828.64/831.37 c #Conflicts: 108000 | #Constraints: 11252
828.64/831.37 c #Conflicts: 109000 | #Constraints: 12252
828.64/831.37 c #Conflicts: 110000 | #Constraints: 13252
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 111000 | #Constraints: 7649
828.64/831.37 c #Conflicts: 112000 | #Constraints: 8649
828.64/831.37 c #Conflicts: 113000 | #Constraints: 9649
828.64/831.37 c #Conflicts: 114000 | #Constraints: 10649
828.64/831.37 c #Conflicts: 115000 | #Constraints: 11649
828.64/831.37 c #Conflicts: 116000 | #Constraints: 12649
828.64/831.37 c #Conflicts: 117000 | #Constraints: 13649
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 118000 | #Constraints: 7847
828.64/831.37 c #Conflicts: 119000 | #Constraints: 8847
828.64/831.37 c #Conflicts: 120000 | #Constraints: 9847
828.64/831.37 c #Conflicts: 121000 | #Constraints: 10847
828.64/831.37 c #Conflicts: 122000 | #Constraints: 11847
828.64/831.37 c #Conflicts: 123000 | #Constraints: 12847
828.64/831.37 c #Conflicts: 124000 | #Constraints: 13847
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 125000 | #Constraints: 7849
828.64/831.37 c #Conflicts: 126000 | #Constraints: 8849
828.64/831.37 c #Conflicts: 127000 | #Constraints: 9849
828.64/831.37 c #Conflicts: 128000 | #Constraints: 10849
828.64/831.37 c #Conflicts: 129000 | #Constraints: 11849
828.64/831.37 c #Conflicts: 130000 | #Constraints: 12849
828.64/831.37 c #Conflicts: 131000 | #Constraints: 13849
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 132000 | #Constraints: 7648
828.64/831.37 c #Conflicts: 133000 | #Constraints: 8648
828.64/831.37 c #Conflicts: 134000 | #Constraints: 9648
828.64/831.37 c #Conflicts: 135000 | #Constraints: 10648
828.64/831.37 c #Conflicts: 136000 | #Constraints: 11648
828.64/831.37 c #Conflicts: 137000 | #Constraints: 12648
828.64/831.37 c #Conflicts: 138000 | #Constraints: 13648
828.64/831.37 c #Conflicts: 139000 | #Constraints: 14648
828.64/831.37 c INPROCESSING
828.64/831.37 c GARBAGE COLLECT
828.64/831.37 c #Conflicts: 140000 | #Constraints: 8248
1468.16/1472.84 c #Conflicts: 141000 | #Constraints: 9248
1468.16/1472.84 c #Conflicts: 142000 | #Constraints: 10248
1468.16/1472.84 c #Conflicts: 143000 | #Constraints: 11248
1468.16/1472.84 c #Conflicts: 144000 | #Constraints: 12248
1468.16/1472.84 c #Conflicts: 145000 | #Constraints: 13248
1468.16/1472.84 c #Conflicts: 146000 | #Constraints: 14248
1468.16/1472.84 c #Conflicts: 147000 | #Constraints: 15248
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 148000 | #Constraints: 8651
1468.16/1472.84 c #Conflicts: 149000 | #Constraints: 9651
1468.16/1472.84 c #Conflicts: 150000 | #Constraints: 10651
1468.16/1472.84 c #Conflicts: 151000 | #Constraints: 11651
1468.16/1472.84 c #Conflicts: 152000 | #Constraints: 12651
1468.16/1472.84 c #Conflicts: 153000 | #Constraints: 13651
1468.16/1472.84 c #Conflicts: 154000 | #Constraints: 14651
1468.16/1472.84 c #Conflicts: 155000 | #Constraints: 15651
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 156000 | #Constraints: 8848
1468.16/1472.84 c #Conflicts: 157000 | #Constraints: 9848
1468.16/1472.84 c #Conflicts: 158000 | #Constraints: 10848
1468.16/1472.84 c #Conflicts: 159000 | #Constraints: 11848
1468.16/1472.84 c #Conflicts: 160000 | #Constraints: 12848
1468.16/1472.84 c #Conflicts: 161000 | #Constraints: 13848
1468.16/1472.84 c #Conflicts: 162000 | #Constraints: 14848
1468.16/1472.84 c #Conflicts: 163000 | #Constraints: 15848
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 164000 | #Constraints: 8847
1468.16/1472.84 c #Conflicts: 165000 | #Constraints: 9847
1468.16/1472.84 c #Conflicts: 166000 | #Constraints: 10847
1468.16/1472.84 c #Conflicts: 167000 | #Constraints: 11847
1468.16/1472.84 c #Conflicts: 168000 | #Constraints: 12847
1468.16/1472.84 c #Conflicts: 169000 | #Constraints: 13847
1468.16/1472.84 c #Conflicts: 170000 | #Constraints: 14847
1468.16/1472.84 c #Conflicts: 171000 | #Constraints: 15847
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 172000 | #Constraints: 8646
1468.16/1472.84 c #Conflicts: 173000 | #Constraints: 9646
1468.16/1472.84 c #Conflicts: 174000 | #Constraints: 10646
1468.16/1472.84 c #Conflicts: 175000 | #Constraints: 11646
1468.16/1472.84 c #Conflicts: 176000 | #Constraints: 12646
1468.16/1472.84 c #Conflicts: 177000 | #Constraints: 13646
1468.16/1472.84 c #Conflicts: 178000 | #Constraints: 14646
1468.16/1472.84 c #Conflicts: 179000 | #Constraints: 15646
1468.16/1472.84 c #Conflicts: 180000 | #Constraints: 16646
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 181000 | #Constraints: 9248
1468.16/1472.84 c #Conflicts: 182000 | #Constraints: 10248
1468.16/1472.84 c #Conflicts: 183000 | #Constraints: 11248
1468.16/1472.84 c #Conflicts: 184000 | #Constraints: 12248
1468.16/1472.84 c #Conflicts: 185000 | #Constraints: 13248
1468.16/1472.84 c #Conflicts: 186000 | #Constraints: 14248
1468.16/1472.84 c #Conflicts: 187000 | #Constraints: 15248
1468.16/1472.84 c #Conflicts: 188000 | #Constraints: 16248
1468.16/1472.84 c #Conflicts: 189000 | #Constraints: 17248
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 190000 | #Constraints: 9649
1468.16/1472.84 c #Conflicts: 191000 | #Constraints: 10649
1468.16/1472.84 c #Conflicts: 192000 | #Constraints: 11649
1468.16/1472.84 c #Conflicts: 193000 | #Constraints: 12649
1468.16/1472.84 c #Conflicts: 194000 | #Constraints: 13649
1468.16/1472.84 c #Conflicts: 195000 | #Constraints: 14649
1468.16/1472.84 c #Conflicts: 196000 | #Constraints: 15649
1468.16/1472.84 c #Conflicts: 197000 | #Constraints: 16649
1468.16/1472.84 c #Conflicts: 198000 | #Constraints: 17649
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 199000 | #Constraints: 9858
1468.16/1472.84 c #Conflicts: 200000 | #Constraints: 10858
1468.16/1472.84 c #Conflicts: 201000 | #Constraints: 11858
1468.16/1472.84 c #Conflicts: 202000 | #Constraints: 12858
1468.16/1472.84 c #Conflicts: 203000 | #Constraints: 13858
1468.16/1472.84 c #Conflicts: 204000 | #Constraints: 14858
1468.16/1472.84 c #Conflicts: 205000 | #Constraints: 15858
1468.16/1472.84 c #Conflicts: 206000 | #Constraints: 16858
1468.16/1472.84 c #Conflicts: 207000 | #Constraints: 17858
1468.16/1472.84 c INPROCESSING
1468.16/1472.84 c GARBAGE COLLECT
1468.16/1472.84 c #Conflicts: 208000 | #Constraints: 9857
1468.16/1472.84 c #Conflicts: 209000 | #Constraints: 10857
1468.16/1472.84 c #Conflicts: 210000 | #Constraints: 11857
1468.16/1472.84 c #Conflicts: 211000 | #Constraints: 12857
1468.16/1472.84 c #Conflicts: 212000 | #Constraints: 13857
1468.16/1472.84 c #Conflicts: 213000 | #Constraints: 14857
2259.56/2266.67 c #Conflicts: 214000 | #Constraints: 15857
2259.56/2266.67 c #Conflicts: 215000 | #Constraints: 16857
2259.56/2266.67 c #Conflicts: 216000 | #Constraints: 17857
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 217000 | #Constraints: 9656
2259.56/2266.67 c #Conflicts: 218000 | #Constraints: 10656
2259.56/2266.67 c #Conflicts: 219000 | #Constraints: 11656
2259.56/2266.67 c #Conflicts: 220000 | #Constraints: 12656
2259.56/2266.67 c #Conflicts: 221000 | #Constraints: 13656
2259.56/2266.67 c #Conflicts: 222000 | #Constraints: 14656
2259.56/2266.67 c #Conflicts: 223000 | #Constraints: 15656
2259.56/2266.67 c #Conflicts: 224000 | #Constraints: 16656
2259.56/2266.67 c #Conflicts: 225000 | #Constraints: 17656
2259.56/2266.67 c #Conflicts: 226000 | #Constraints: 18656
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 227000 | #Constraints: 10251
2259.56/2266.67 c #Conflicts: 228000 | #Constraints: 11251
2259.56/2266.67 c #Conflicts: 229000 | #Constraints: 12251
2259.56/2266.67 c #Conflicts: 230000 | #Constraints: 13251
2259.56/2266.67 c #Conflicts: 231000 | #Constraints: 14251
2259.56/2266.67 c #Conflicts: 232000 | #Constraints: 15251
2259.56/2266.67 c #Conflicts: 233000 | #Constraints: 16251
2259.56/2266.67 c #Conflicts: 234000 | #Constraints: 17251
2259.56/2266.67 c #Conflicts: 235000 | #Constraints: 18251
2259.56/2266.67 c #Conflicts: 236000 | #Constraints: 19251
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 237000 | #Constraints: 10647
2259.56/2266.67 c #Conflicts: 238000 | #Constraints: 11647
2259.56/2266.67 c #Conflicts: 239000 | #Constraints: 12647
2259.56/2266.67 c #Conflicts: 240000 | #Constraints: 13647
2259.56/2266.67 c #Conflicts: 241000 | #Constraints: 14647
2259.56/2266.67 c #Conflicts: 242000 | #Constraints: 15647
2259.56/2266.67 c #Conflicts: 243000 | #Constraints: 16647
2259.56/2266.67 c #Conflicts: 244000 | #Constraints: 17647
2259.56/2266.67 c #Conflicts: 245000 | #Constraints: 18647
2259.56/2266.67 c #Conflicts: 246000 | #Constraints: 19647
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 247000 | #Constraints: 10848
2259.56/2266.67 c #Conflicts: 248000 | #Constraints: 11848
2259.56/2266.67 c #Conflicts: 249000 | #Constraints: 12848
2259.56/2266.67 c #Conflicts: 250000 | #Constraints: 13848
2259.56/2266.67 c #Conflicts: 251000 | #Constraints: 14848
2259.56/2266.67 c #Conflicts: 252000 | #Constraints: 15848
2259.56/2266.67 c #Conflicts: 253000 | #Constraints: 16848
2259.56/2266.67 c #Conflicts: 254000 | #Constraints: 17848
2259.56/2266.67 c #Conflicts: 255000 | #Constraints: 18848
2259.56/2266.67 c #Conflicts: 256000 | #Constraints: 19848
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 257000 | #Constraints: 10855
2259.56/2266.67 c #Conflicts: 258000 | #Constraints: 11855
2259.56/2266.67 c #Conflicts: 259000 | #Constraints: 12855
2259.56/2266.67 c #Conflicts: 260000 | #Constraints: 13855
2259.56/2266.67 c #Conflicts: 261000 | #Constraints: 14855
2259.56/2266.67 c #Conflicts: 262000 | #Constraints: 15855
2259.56/2266.67 c #Conflicts: 263000 | #Constraints: 16855
2259.56/2266.67 c #Conflicts: 264000 | #Constraints: 17855
2259.56/2266.67 c #Conflicts: 265000 | #Constraints: 18855
2259.56/2266.67 c #Conflicts: 266000 | #Constraints: 19855
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 267000 | #Constraints: 10651
2259.56/2266.67 c #Conflicts: 268000 | #Constraints: 11651
2259.56/2266.67 c #Conflicts: 269000 | #Constraints: 12651
2259.56/2266.67 c #Conflicts: 270000 | #Constraints: 13651
2259.56/2266.67 c #Conflicts: 271000 | #Constraints: 14651
2259.56/2266.67 c #Conflicts: 272000 | #Constraints: 15651
2259.56/2266.67 c #Conflicts: 273000 | #Constraints: 16651
2259.56/2266.67 c #Conflicts: 274000 | #Constraints: 17651
2259.56/2266.67 c #Conflicts: 275000 | #Constraints: 18651
2259.56/2266.67 c #Conflicts: 276000 | #Constraints: 19651
2259.56/2266.67 c #Conflicts: 277000 | #Constraints: 20651
2259.56/2266.67 c INPROCESSING
2259.56/2266.67 c GARBAGE COLLECT
2259.56/2266.67 c #Conflicts: 278000 | #Constraints: 11254
2259.56/2266.67 c #Conflicts: 279000 | #Constraints: 12254
2259.56/2266.67 c #Conflicts: 280000 | #Constraints: 13254
2259.56/2266.67 c #Conflicts: 281000 | #Constraints: 14254
2259.56/2266.67 c #Conflicts: 282000 | #Constraints: 15254
2259.56/2266.67 c #Conflicts: 283000 | #Constraints: 16254
2259.56/2266.67 c #Conflicts: 284000 | #Constraints: 17254
2259.56/2266.67 c #Conflicts: 285000 | #Constraints: 18254
2259.56/2266.67 c #Conflicts: 286000 | #Constraints: 19254
2259.56/2266.67 c #Conflicts: 287000 | #Constraints: 20254
2259.56/2266.67 c #Conflicts: 288000 | #Constraints: 21254
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 289000 | #Constraints: 11652
3109.84/3118.90 c #Conflicts: 290000 | #Constraints: 12652
3109.84/3118.90 c #Conflicts: 291000 | #Constraints: 13652
3109.84/3118.90 c #Conflicts: 292000 | #Constraints: 14652
3109.84/3118.90 c #Conflicts: 293000 | #Constraints: 15652
3109.84/3118.90 c #Conflicts: 294000 | #Constraints: 16652
3109.84/3118.90 c #Conflicts: 295000 | #Constraints: 17652
3109.84/3118.90 c #Conflicts: 296000 | #Constraints: 18652
3109.84/3118.90 c #Conflicts: 297000 | #Constraints: 19652
3109.84/3118.90 c #Conflicts: 298000 | #Constraints: 20652
3109.84/3118.90 c #Conflicts: 299000 | #Constraints: 21652
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 300000 | #Constraints: 11852
3109.84/3118.90 c #Conflicts: 301000 | #Constraints: 12852
3109.84/3118.90 c #Conflicts: 302000 | #Constraints: 13852
3109.84/3118.90 c #Conflicts: 303000 | #Constraints: 14852
3109.84/3118.90 c #Conflicts: 304000 | #Constraints: 15852
3109.84/3118.90 c #Conflicts: 305000 | #Constraints: 16852
3109.84/3118.90 c #Conflicts: 306000 | #Constraints: 17852
3109.84/3118.90 c #Conflicts: 307000 | #Constraints: 18852
3109.84/3118.90 c #Conflicts: 308000 | #Constraints: 19852
3109.84/3118.90 c #Conflicts: 309000 | #Constraints: 20852
3109.84/3118.90 c #Conflicts: 310000 | #Constraints: 21852
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 311000 | #Constraints: 11851
3109.84/3118.90 c #Conflicts: 312000 | #Constraints: 12851
3109.84/3118.90 c #Conflicts: 313000 | #Constraints: 13851
3109.84/3118.90 c #Conflicts: 314000 | #Constraints: 14851
3109.84/3118.90 c #Conflicts: 315000 | #Constraints: 15851
3109.84/3118.90 c #Conflicts: 316000 | #Constraints: 16851
3109.84/3118.90 c #Conflicts: 317000 | #Constraints: 17851
3109.84/3118.90 c #Conflicts: 318000 | #Constraints: 18851
3109.84/3118.90 c #Conflicts: 319000 | #Constraints: 19851
3109.84/3118.90 c #Conflicts: 320000 | #Constraints: 20851
3109.84/3118.90 c #Conflicts: 321000 | #Constraints: 21851
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 322000 | #Constraints: 11651
3109.84/3118.90 c #Conflicts: 323000 | #Constraints: 12651
3109.84/3118.90 c #Conflicts: 324000 | #Constraints: 13651
3109.84/3118.90 c #Conflicts: 325000 | #Constraints: 14651
3109.84/3118.90 c #Conflicts: 326000 | #Constraints: 15651
3109.84/3118.90 c #Conflicts: 327000 | #Constraints: 16651
3109.84/3118.90 c #Conflicts: 328000 | #Constraints: 17651
3109.84/3118.90 c #Conflicts: 329000 | #Constraints: 18651
3109.84/3118.90 c #Conflicts: 330000 | #Constraints: 19651
3109.84/3118.90 c #Conflicts: 331000 | #Constraints: 20651
3109.84/3118.90 c #Conflicts: 332000 | #Constraints: 21651
3109.84/3118.90 c #Conflicts: 333000 | #Constraints: 22651
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 334000 | #Constraints: 12247
3109.84/3118.90 c #Conflicts: 335000 | #Constraints: 13247
3109.84/3118.90 c #Conflicts: 336000 | #Constraints: 14247
3109.84/3118.90 c #Conflicts: 337000 | #Constraints: 15247
3109.84/3118.90 c #Conflicts: 338000 | #Constraints: 16247
3109.84/3118.90 c #Conflicts: 339000 | #Constraints: 17247
3109.84/3118.90 c #Conflicts: 340000 | #Constraints: 18247
3109.84/3118.90 c #Conflicts: 341000 | #Constraints: 19247
3109.84/3118.90 c #Conflicts: 342000 | #Constraints: 20247
3109.84/3118.90 c #Conflicts: 343000 | #Constraints: 21247
3109.84/3118.90 c #Conflicts: 344000 | #Constraints: 22247
3109.84/3118.90 c #Conflicts: 345000 | #Constraints: 23247
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 346000 | #Constraints: 12651
3109.84/3118.90 c #Conflicts: 347000 | #Constraints: 13651
3109.84/3118.90 c #Conflicts: 348000 | #Constraints: 14651
3109.84/3118.90 c #Conflicts: 349000 | #Constraints: 15651
3109.84/3118.90 c #Conflicts: 350000 | #Constraints: 16651
3109.84/3118.90 c #Conflicts: 351000 | #Constraints: 17651
3109.84/3118.90 c #Conflicts: 352000 | #Constraints: 18651
3109.84/3118.90 c #Conflicts: 353000 | #Constraints: 19651
3109.84/3118.90 c #Conflicts: 354000 | #Constraints: 20651
3109.84/3118.90 c #Conflicts: 355000 | #Constraints: 21651
3109.84/3118.90 c #Conflicts: 356000 | #Constraints: 22651
3109.84/3118.90 c #Conflicts: 357000 | #Constraints: 23651
3109.84/3118.90 c INPROCESSING
3109.84/3118.90 c GARBAGE COLLECT
3109.84/3118.90 c #Conflicts: 358000 | #Constraints: 12850
3109.84/3118.90 c #Conflicts: 359000 | #Constraints: 13850
3109.84/3118.90 c #Conflicts: 360000 | #Constraints: 14850
3109.84/3118.90 c #Conflicts: 361000 | #Constraints: 15850
3109.84/3118.90 c #Conflicts: 362000 | #Constraints: 16850
3600.03/3610.30 c #Conflicts: 363000 | #Constraints: 17850
3600.03/3610.30 c #Conflicts: 364000 | #Constraints: 18850
3600.03/3610.30 c #Conflicts: 365000 | #Constraints: 19850
3600.03/3610.30 c #Conflicts: 366000 | #Constraints: 20850
3600.03/3610.30 c #Conflicts: 367000 | #Constraints: 21850
3600.03/3610.30 c #Conflicts: 368000 | #Constraints: 22850
3600.03/3610.30 c #Conflicts: 369000 | #Constraints: 23850
3600.03/3610.30 c INPROCESSING
3600.03/3610.30 c GARBAGE COLLECT
3600.03/3610.30 c #Conflicts: 370000 | #Constraints: 12855
3600.03/3610.30 c #Conflicts: 371000 | #Constraints: 13855
3600.03/3610.30 c #Conflicts: 372000 | #Constraints: 14855
3600.03/3610.30 c #Conflicts: 373000 | #Constraints: 15855
3600.03/3610.30 c #Conflicts: 374000 | #Constraints: 16855
3600.03/3610.30 c #Conflicts: 375000 | #Constraints: 17855
3600.03/3610.30 c #Conflicts: 376000 | #Constraints: 18855
3600.03/3610.30 c #Conflicts: 377000 | #Constraints: 19855
3600.03/3610.30 c #Conflicts: 378000 | #Constraints: 20855
3600.03/3610.30 c #Conflicts: 379000 | #Constraints: 21855
3600.03/3610.30 c #Conflicts: 380000 | #Constraints: 22855
3600.03/3610.30 c #Conflicts: 381000 | #Constraints: 23855
3600.03/3610.30 c INPROCESSING
3600.03/3610.30 c GARBAGE COLLECT
3600.03/3610.30 c #Conflicts: 382000 | #Constraints: 12653
3600.03/3610.30 c #Conflicts: 383000 | #Constraints: 13653
3600.03/3610.30 c #Conflicts: 384000 | #Constraints: 14653
3600.03/3610.30 c #Conflicts: 385000 | #Constraints: 15653
3600.03/3610.30 c #Conflicts: 386000 | #Constraints: 16653
3600.03/3610.30 c #Conflicts: 387000 | #Constraints: 17653
3600.03/3610.30 c #Conflicts: 388000 | #Constraints: 18653
3600.03/3610.30 c #Conflicts: 389000 | #Constraints: 19653
3600.03/3610.30 c #Conflicts: 390000 | #Constraints: 20653
3600.03/3610.30 c #Conflicts: 391000 | #Constraints: 21653
3600.03/3610.30 c #Conflicts: 392000 | #Constraints: 22653
3600.03/3610.30 c #Conflicts: 393000 | #Constraints: 23653
3600.03/3610.30 c #Conflicts: 394000 | #Constraints: 24653
3600.03/3610.30 c INPROCESSING
3600.03/3610.30 c GARBAGE COLLECT
3600.03/3610.30 c #Conflicts: 395000 | #Constraints: 13250
3600.03/3610.30 c #Conflicts: 396000 | #Constraints: 14250
3600.03/3610.30 c #Conflicts: 397000 | #Constraints: 15250
3600.03/3610.30 c #Conflicts: 398000 | #Constraints: 16250
3600.03/3610.30 c #Conflicts: 399000 | #Constraints: 17250
3600.03/3610.30 c cpu time 3588.6 s
3600.03/3610.30 c deterministic time 1 1.00e+00
3600.03/3610.30 c optimization time 3588.6 s
3600.03/3610.30 c total solve time 0 s
3600.03/3610.30 c core-guided solve time 0 s
3600.03/3610.30 c propagation time 1e-06 s
3600.03/3610.30 c conflict analysis time 0 s
3600.03/3610.30 c propagations 0
3600.03/3610.30 c resolve steps 0
3600.03/3610.30 c decisions 0
3600.03/3610.30 c conflicts 0
3600.03/3610.30 c restarts 0
3600.03/3610.30 c inprocessing phases 0
3600.03/3610.30 c garbage collections 0 ,( -nan )
3600.03/3610.30 c input clauses 0 ,( 0.00 )
3600.03/3610.30 c input cardinalities 0 ,( 0.00 )
3600.03/3610.30 c input general constraints 1 ,( 100.00 )
3600.03/3610.30 c input average constraint length 1000.00
3600.03/3610.30 c input average constraint degree 5036242.00
3600.03/3610.30 c learned clauses 0 ,( 0.00 )
3600.03/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.03/3610.30 c learned general constraints 0 ,( 0.00 )
3600.03/3610.30 c learned average constraint length 0.00
3600.03/3610.30 c learned average constraint degree 0.00
3600.03/3610.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.30 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.03/3610.30 c watched constraints 0 ,( 0.00 )
3600.03/3610.30 c counting constraints 1 ,( 100.00 )
3600.03/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.30 c gcd simplifications 0
3600.03/3610.30 c detected cardinalities 0
3600.03/3610.30 c weakened non-implied lits 0
3600.03/3610.30 c weakened non-implying lits 0
3600.03/3610.30 c original variables 1000
3600.03/3610.30 c clausal propagations 0
3600.03/3610.30 c cardinality propagations 0
3600.03/3610.30 c watched propagations 0
3600.03/3610.30 c counting propagations 0
3600.03/3610.30 c watch lookups 0
3600.03/3610.30 c watch backjump lookups 0
3600.03/3610.30 c watch checks 0
3600.03/3610.30 c propagation checks 0
3600.03/3610.30 c constraint additions 0
3600.03/3610.30 c trail pops 0
3600.03/3610.30 c formula constraints 1
3600.03/3610.30 c learned constraints 0
3600.03/3610.30 c bound constraints 0
3600.03/3610.30 c core-guided constraints 0
3600.03/3610.30 c encountered formula constraints 0
3600.03/3610.30 c encountered learned constraints 0
3600.03/3610.30 c encountered bound constraints 0
3600.03/3610.30 c encountered core-guided constraints 0
3600.03/3610.30 c LP total time 0 s
3600.03/3610.30 c LP solve time 0 s
3600.03/3610.30 c LP constraints added 0
3600.03/3610.30 c LP constraints removed 0
3600.03/3610.30 c LP pivots internal 0
3600.03/3610.30 c LP pivots root 0
3600.03/3610.30 c LP calls 0
3600.03/3610.30 c LP optimalities 0
3600.03/3610.30 c LP no pivot count 0
3600.03/3610.30 c LP infeasibilities 0
3600.03/3610.30 c LP valid Farkas constraints 0
3600.03/3610.30 c LP learned Farkas constraints 0
3600.03/3610.30 c LP basis resets 0
3600.03/3610.30 c LP cycling count 0
3600.03/3610.30 c LP singular count 0
3600.03/3610.30 c LP no primal count 0
3600.03/3610.30 c LP no farkas count 0
3600.03/3610.30 c LP other issue count 0
3600.03/3610.30 c LP Gomory cuts 0
3600.03/3610.30 c LP learned cuts 0
3600.03/3610.30 c LP deleted cuts 0
3600.03/3610.30 c LP encountered Gomory constraints 0
3600.03/3610.30 c LP encountered Farkas constraints 0
3600.03/3610.30 c LP encountered learned Farkas constraints 0
3600.03/3610.30 c CG auxiliary variables introduced 0
3600.03/3610.30 c CG solutions found 0
3600.03/3610.30 c CG cores constructed 0
3600.03/3610.30 c CG core cardinality constraints returned 0
3600.03/3610.30 c CG unit cores 0
3600.03/3610.30 c CG single cores 0
3600.03/3610.30 c CG blocks removed during cardinality reduction 0
3600.03/3610.30 c CG first core best 0
3600.03/3610.30 c CG decision core best 0
3600.03/3610.30 c CG core reduction tie 0
3600.03/3610.30 c CG core degree average 0.00
3600.03/3610.30 c CG core slack average 0.00
3600.03/3610.30 c CG core upper bound improvements 0
3600.03/3610.30 c STR number of successful calls 0
3600.03/3610.30 c STR number of unsuccessful calls 0
3600.03/3610.30 c STR number of inconclusive calls 0
3600.03/3610.30 c STR number of successful attempts 0
3600.03/3610.30 c STR number of unsuccessful attempts 0
3600.03/3610.30 c STR number of inconclusive attempts 0
3600.03/3610.30 c STR average degree increase per successful call inf
3600.03/3610.30 c STR average degree increase per successful attempt inf
3600.03/3610.30 c STR total number of conflicts for successful attempts 0
3600.03/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.30 c STR average number of conflicts per successful attempt inf
3600.03/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.30 c AVG.sumWPerc 99.70
3600.03/3610.30 c bigint constraints 0
3600.03/3610.30 s UNKNOWN
3600.03/3610.30 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: 63665 MiB (50045 MiB free)
memory of node 1: 64507 MiB (55895 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518181-1751543949/watcher-4518181-1751543949 -o /tmp/evaluation-result-4518181-1751543949/solver-4518181-1751543949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76786 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518181-1751543949.opb PROOFDIR/proof-4518181-1751543949
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=77908, runsolver pid=77905
[startup+0.100067 s]*
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108470836/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=61680 memory=14344 CPUtime=0.09 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 969 0 0 0 8 1 0 0 20 0 1 0 70072594 63160320 3586 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 15420 3586 2336 1147 0 2847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65872 KiB
Current children cumulated memory: 17416 KiB
[startup+0.205814 s]*
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108470836/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=62864 memory=15624 CPUtime=0.19 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 1265 0 0 0 18 1 0 0 20 0 1 0 70072594 64372736 3906 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 15716 3906 2368 1147 0 3143 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67056 KiB
Current children cumulated memory: 18696 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108470836/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=64968 memory=17800 CPUtime=0.28 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 1800 0 0 0 27 1 0 0 20 0 1 0 70072594 66527232 4450 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 16242 4450 2368 1147 0 3669 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69160 KiB
Current children cumulated memory: 20872 KiB
[startup+0.700206 s]
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108467056/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=72160 memory=24456 CPUtime=0.67 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 3467 0 0 0 65 2 0 0 20 0 1 0 70072594 73891840 6114 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 18040 6114 2368 1147 0 5467 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76352 KiB
Current children cumulated memory: 27528 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108456472/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=85736 memory=38220 CPUtime=1.47 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 6406 0 0 0 143 4 0 0 20 0 1 0 70072594 87793664 9555 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 21434 9555 2368 1147 0 8861 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89928 KiB
Current children cumulated memory: 41292 KiB
[startup+3.10557 s]
/proc/loadavg: 4.12 4.17 4.12 5/273 77910
/proc/meminfo: memFree=108396116/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=94676 memory=45332 CPUtime=3.08 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 7651 0 0 0 301 7 0 0 20 0 1 0 70072594 96948224 11333 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 23669 11333 2368 1147 0 11096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98868 KiB
Current children cumulated memory: 48404 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.16 4.12 5/273 77910
/proc/meminfo: memFree=108320188/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=125124 memory=67716 CPUtime=6.26 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 12231 0 0 0 615 11 0 0 20 0 1 0 70072594 128126976 16929 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 31281 16929 2368 1147 0 18708 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129316 KiB
Current children cumulated memory: 70788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.18 4.12 5/273 77910
/proc/meminfo: memFree=108135924/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=158732 memory=96520 CPUtime=12.64 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 18428 0 0 0 1245 19 0 0 20 0 1 0 70072594 162541568 24130 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 39683 24130 2368 1147 0 27110 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 162924 KiB
Current children cumulated memory: 99592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.17 4.12 5/273 77911
/proc/meminfo: memFree=107791172/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=181156 memory=112136 CPUtime=25.4 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 20795 0 0 0 2508 32 0 0 20 0 1 0 70072594 185503744 28034 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 45289 28034 2368 1147 0 32716 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 185348 KiB
Current children cumulated memory: 115208 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.15 4.11 5/273 77911
/proc/meminfo: memFree=107276124/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=181348 memory=128804 CPUtime=50.93 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 22901 0 0 0 5037 56 0 0 20 0 1 0 70072594 185700352 32201 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 45337 32201 2368 1147 0 32764 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 185540 KiB
Current children cumulated memory: 131876 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/273 77914
/proc/meminfo: memFree=106153988/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=285956 memory=187808 CPUtime=101.96 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 35632 0 0 0 10098 98 0 0 20 0 1 0 70072594 292818944 46952 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 71489 46952 2368 1147 0 58916 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 290148 KiB
Current children cumulated memory: 190880 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/274 77928
/proc/meminfo: memFree=104935552/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=287276 memory=203040 CPUtime=161.78 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 37405 0 0 0 16036 142 0 0 20 0 1 0 70072594 294170624 50760 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 71819 50760 2368 1147 0 59246 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 291468 KiB
Current children cumulated memory: 206112 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/275 77931
/proc/meminfo: memFree=103855780/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=289840 memory=215384 CPUtime=221.59 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 38961 0 0 0 21974 185 0 0 20 0 1 0 70072594 296796160 53846 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 72460 53846 2368 1147 0 59887 0
################
# More data... #
################
/proc/77910/statm: 180569 141054 2368 1147 0 167996 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 726468 KiB
Current children cumulated memory: 567288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.20 4.12 5/273 78317
/proc/meminfo: memFree=102846416/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=722276 memory=564216 CPUtime=3153.14 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 114307 0 0 0 314263 1051 0 0 20 0 1 0 70072594 739610624 141054 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 180569 141054 2368 1147 0 167996 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 726468 KiB
Current children cumulated memory: 567288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/274 78321
/proc/meminfo: memFree=102313324/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=722276 memory=568364 CPUtime=3212.99 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 114323 0 0 0 320239 1060 0 0 20 0 1 0 70072594 739610624 142091 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 180569 142091 2368 1147 0 167996 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 726468 KiB
Current children cumulated memory: 571436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/274 78324
/proc/meminfo: memFree=101804636/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=722276 memory=568364 CPUtime=3272.84 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 114323 0 0 0 326212 1072 0 0 20 0 1 0 70072594 739610624 142091 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 180569 142091 2368 1147 0 167996 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 726468 KiB
Current children cumulated memory: 571436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/274 78326
/proc/meminfo: memFree=101317372/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=722276 memory=568364 CPUtime=3332.69 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 114323 0 0 0 332185 1084 0 0 20 0 1 0 70072594 739610624 142091 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 180569 142091 2368 1147 0 167996 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 726468 KiB
Current children cumulated memory: 571436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/274 78328
/proc/meminfo: memFree=100837912/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=818428 memory=583844 CPUtime=3392.55 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 137715 0 0 0 338153 1102 0 0 20 0 1 0 70072594 838070272 145961 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 204607 145961 2368 1147 0 192034 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 822620 KiB
Current children cumulated memory: 586916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/274 78335
/proc/meminfo: memFree=100300296/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=829200 memory=586160 CPUtime=3452.4 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 140379 0 0 0 344124 1116 0 0 20 0 1 0 70072594 849100800 146540 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 207300 146540 2368 1147 0 194727 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 833392 KiB
Current children cumulated memory: 589232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/273 78337
/proc/meminfo: memFree=99784612/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=829200 memory=586160 CPUtime=3512.24 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 140381 0 0 0 350098 1126 0 0 20 0 1 0 70072594 849100800 146540 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 207300 146540 2368 1147 0 194727 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 833392 KiB
Current children cumulated memory: 589232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 78338
/proc/meminfo: memFree=99341908/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=829200 memory=588284 CPUtime=3572.1 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 140395 0 0 0 356072 1138 0 0 20 0 1 0 70072594 849100800 147071 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 207300 147071 2368 1147 0 194727 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 833392 KiB
Current children cumulated memory: 591356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/271 78340
/proc/meminfo: memFree=99138476/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=829200 memory=588284 CPUtime=3600.03 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 140395 0 0 0 358859 1144 0 0 20 0 1 0 70072594 849100800 147071 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 207300 147071 2368 1147 0 194727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 833392 KiB
Current children cumulated memory: 591356 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 77908 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.002658 s
Sleeping 2 seconds
[startup+3610.36 s]
# the end of solver process 77910 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.6 s, system=11.4696 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+3610.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/271 78340
/proc/meminfo: memFree=99138476/131249996 swapFree=33003468/33010684
[pid=77908] ppid=77905 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77908/stat : 77908 (run-opt-log.sh) S 77905 77908 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 70072594 4292608 768 18446744073709551615 93855706169344 93855707063877 140728646828208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93855707302928 93855707350672 93855720992768 140728646830369 140728646830564 140728646830564 140728646836166 0
/proc/77908/statm: 1048 768 704 219 0 110 0
[pid=77910] ppid=77908 vsize=829200 memory=588284 CPUtime=3600.03 cores=1,3
/proc/77910/stat : 77910 (roundingsat) R 77908 77908 76774 0 -1 4194304 140395 0 0 0 358859 1144 0 0 20 0 1 0 70072594 849100800 147071 18446744073709551615 4227072 8923433 140734951711008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20103168 140734951717202 140734951717416 140734951717416 140734951722986 0
/proc/77910/statm: 207300 147071 2368 1147 0 194727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 833392 KiB
Current children cumulated memory: 591356 KiB
Child status: 2
Real time (s): 3610.36
CPU time (s): 3600.07
CPU user time (s): 3588.6
CPU system time (s): 11.4696
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 833392
Max. memory (cumulated for all children) (KiB): 591356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.6
system time used= 11.4696
maximum resident set size= 588540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12612384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 506
involuntary context switches= 8380
# summary of solver processes directly reported to runsolver:
# pid: 77908,77910
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.6
# total CPU system time (s): 11.4696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99717 second user time and 17.8104 second system time
The end
Begin job on nodeC021 at 2025-07-03 13:59:09
IDJOB=4518181
IDBENCH=176641
IDSOLVER=3351
FILE ID=nodeC021/4518181-1751543949
RUNJOBID= nodeC021-1751536445-76786
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518181-1751543949/watcher-4518181-1751543949 -o /tmp/evaluation-result-4518181-1751543949/solver-4518181-1751543949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76786 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518181-1751543949.opb PROOFDIR/proof-4518181-1751543949
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=152511562
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.737
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3557.508
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.845
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.925
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108482980 kB
MemAvailable: 126604344 kB
Buffers: 1056 kB
Cached: 18855476 kB
SwapCached: 32 kB
Active: 3639720 kB
Inactive: 18393100 kB
Active(anon): 3148836 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 18352156 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 147492 kB
Writeback: 0 kB
AnonPages: 3178052 kB
Mapped: 112608 kB
Shmem: 13452 kB
KReclaimable: 234724 kB
Slab: 331372 kB
SReclaimable: 234724 kB
SUnreclaim: 96648 kB
KernelStack: 4416 kB
PageTables: 9884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3970028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1298432 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430928 MiB
End job on nodeC021 at 2025-07-03 14:59:20