0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1000 #constraints 1
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.001187
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.00191
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.001984
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.002069
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.002424
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.003408
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.003917
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.004509
0.00/0.03 c GLOBAL bounds - >= -5085234 @ 0.004858
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.004917
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.004951
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.00597
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.006766
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.006799
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.006842
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.007418
0.00/0.04 c GLOBAL bounds - >= -5085234 @ 0.008482
0.00/0.05 c GLOBAL bounds - >= -5085234 @ 0.009542
0.00/0.05 c GLOBAL bounds - >= -5085234 @ 0.016847
0.00/0.06 c GLOBAL bounds - >= -5085234 @ 0.017786
0.00/0.06 c GLOBAL bounds - >= -5085234 @ 0.018779
268.11/268.98 c #Conflicts: 1000 | #Constraints: 1039
268.11/268.98 c #Conflicts: 2000 | #Constraints: 2039
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 3000 | #Constraints: 2042
268.11/268.98 c #Conflicts: 4000 | #Constraints: 3042
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 5000 | #Constraints: 2443
268.11/268.98 c #Conflicts: 6000 | #Constraints: 3443
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 7000 | #Constraints: 2444
268.11/268.98 c #Conflicts: 8000 | #Constraints: 3444
268.11/268.98 c #Conflicts: 9000 | #Constraints: 4444
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 10000 | #Constraints: 3147
268.11/268.98 c #Conflicts: 11000 | #Constraints: 4147
268.11/268.98 c #Conflicts: 12000 | #Constraints: 5147
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 13000 | #Constraints: 3598
268.11/268.98 c #Conflicts: 14000 | #Constraints: 4598
268.11/268.98 c #Conflicts: 15000 | #Constraints: 5598
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 16000 | #Constraints: 3824
268.11/268.98 c #Conflicts: 17000 | #Constraints: 4824
268.11/268.98 c #Conflicts: 18000 | #Constraints: 5824
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 19000 | #Constraints: 3836
268.11/268.98 c #Conflicts: 20000 | #Constraints: 4836
268.11/268.98 c #Conflicts: 21000 | #Constraints: 5836
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 22000 | #Constraints: 3640
268.11/268.98 c #Conflicts: 23000 | #Constraints: 4640
268.11/268.98 c #Conflicts: 24000 | #Constraints: 5640
268.11/268.98 c #Conflicts: 25000 | #Constraints: 6640
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 26000 | #Constraints: 4245
268.11/268.98 c #Conflicts: 27000 | #Constraints: 5245
268.11/268.98 c #Conflicts: 28000 | #Constraints: 6245
268.11/268.98 c #Conflicts: 29000 | #Constraints: 7245
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 30000 | #Constraints: 4645
268.11/268.98 c #Conflicts: 31000 | #Constraints: 5645
268.11/268.98 c #Conflicts: 32000 | #Constraints: 6645
268.11/268.98 c #Conflicts: 33000 | #Constraints: 7645
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 34000 | #Constraints: 4846
268.11/268.98 c #Conflicts: 35000 | #Constraints: 5846
268.11/268.98 c #Conflicts: 36000 | #Constraints: 6846
268.11/268.98 c #Conflicts: 37000 | #Constraints: 7846
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 38000 | #Constraints: 4845
268.11/268.98 c #Conflicts: 39000 | #Constraints: 5845
268.11/268.98 c #Conflicts: 40000 | #Constraints: 6845
268.11/268.98 c #Conflicts: 41000 | #Constraints: 7845
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 42000 | #Constraints: 4646
268.11/268.98 c #Conflicts: 43000 | #Constraints: 5646
268.11/268.98 c #Conflicts: 44000 | #Constraints: 6646
268.11/268.98 c #Conflicts: 45000 | #Constraints: 7646
268.11/268.98 c #Conflicts: 46000 | #Constraints: 8646
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 47000 | #Constraints: 5249
268.11/268.98 c #Conflicts: 48000 | #Constraints: 6249
268.11/268.98 c #Conflicts: 49000 | #Constraints: 7249
268.11/268.98 c #Conflicts: 50000 | #Constraints: 8249
268.11/268.98 c #Conflicts: 51000 | #Constraints: 9249
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 52000 | #Constraints: 5652
268.11/268.98 c #Conflicts: 53000 | #Constraints: 6652
268.11/268.98 c #Conflicts: 54000 | #Constraints: 7652
268.11/268.98 c #Conflicts: 55000 | #Constraints: 8652
268.11/268.98 c #Conflicts: 56000 | #Constraints: 9652
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 57000 | #Constraints: 5853
268.11/268.98 c #Conflicts: 58000 | #Constraints: 6853
268.11/268.98 c #Conflicts: 59000 | #Constraints: 7853
268.11/268.98 c #Conflicts: 60000 | #Constraints: 8853
268.11/268.98 c #Conflicts: 61000 | #Constraints: 9853
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 62000 | #Constraints: 5850
268.11/268.98 c #Conflicts: 63000 | #Constraints: 6850
268.11/268.98 c #Conflicts: 64000 | #Constraints: 7850
268.11/268.98 c #Conflicts: 65000 | #Constraints: 8850
268.11/268.98 c #Conflicts: 66000 | #Constraints: 9850
268.11/268.98 c INPROCESSING
268.11/268.98 c GARBAGE COLLECT
268.11/268.98 c #Conflicts: 67000 | #Constraints: 5651
268.11/268.98 c #Conflicts: 68000 | #Constraints: 6651
769.00/771.20 c #Conflicts: 69000 | #Constraints: 7651
769.00/771.20 c #Conflicts: 70000 | #Constraints: 8651
769.00/771.20 c #Conflicts: 71000 | #Constraints: 9651
769.00/771.20 c #Conflicts: 72000 | #Constraints: 10651
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 73000 | #Constraints: 6253
769.00/771.20 c #Conflicts: 74000 | #Constraints: 7253
769.00/771.20 c #Conflicts: 75000 | #Constraints: 8253
769.00/771.20 c #Conflicts: 76000 | #Constraints: 9253
769.00/771.20 c #Conflicts: 77000 | #Constraints: 10253
769.00/771.20 c #Conflicts: 78000 | #Constraints: 11253
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 79000 | #Constraints: 6650
769.00/771.20 c #Conflicts: 80000 | #Constraints: 7650
769.00/771.20 c #Conflicts: 81000 | #Constraints: 8650
769.00/771.20 c #Conflicts: 82000 | #Constraints: 9650
769.00/771.20 c #Conflicts: 83000 | #Constraints: 10650
769.00/771.20 c #Conflicts: 84000 | #Constraints: 11650
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 85000 | #Constraints: 6850
769.00/771.20 c #Conflicts: 86000 | #Constraints: 7850
769.00/771.20 c #Conflicts: 87000 | #Constraints: 8850
769.00/771.20 c #Conflicts: 88000 | #Constraints: 9850
769.00/771.20 c #Conflicts: 89000 | #Constraints: 10850
769.00/771.20 c #Conflicts: 90000 | #Constraints: 11850
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 91000 | #Constraints: 6850
769.00/771.20 c #Conflicts: 92000 | #Constraints: 7850
769.00/771.20 c #Conflicts: 93000 | #Constraints: 8850
769.00/771.20 c #Conflicts: 94000 | #Constraints: 9850
769.00/771.20 c #Conflicts: 95000 | #Constraints: 10850
769.00/771.20 c #Conflicts: 96000 | #Constraints: 11850
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 97000 | #Constraints: 6648
769.00/771.20 c #Conflicts: 98000 | #Constraints: 7648
769.00/771.20 c #Conflicts: 99000 | #Constraints: 8648
769.00/771.20 c #Conflicts: 100000 | #Constraints: 9648
769.00/771.20 c #Conflicts: 101000 | #Constraints: 10648
769.00/771.20 c #Conflicts: 102000 | #Constraints: 11648
769.00/771.20 c #Conflicts: 103000 | #Constraints: 12648
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 104000 | #Constraints: 7252
769.00/771.20 c #Conflicts: 105000 | #Constraints: 8252
769.00/771.20 c #Conflicts: 106000 | #Constraints: 9252
769.00/771.20 c #Conflicts: 107000 | #Constraints: 10252
769.00/771.20 c #Conflicts: 108000 | #Constraints: 11252
769.00/771.20 c #Conflicts: 109000 | #Constraints: 12252
769.00/771.20 c #Conflicts: 110000 | #Constraints: 13252
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 111000 | #Constraints: 7649
769.00/771.20 c #Conflicts: 112000 | #Constraints: 8649
769.00/771.20 c #Conflicts: 113000 | #Constraints: 9649
769.00/771.20 c #Conflicts: 114000 | #Constraints: 10649
769.00/771.20 c #Conflicts: 115000 | #Constraints: 11649
769.00/771.20 c #Conflicts: 116000 | #Constraints: 12649
769.00/771.20 c #Conflicts: 117000 | #Constraints: 13649
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 118000 | #Constraints: 7847
769.00/771.20 c #Conflicts: 119000 | #Constraints: 8847
769.00/771.20 c #Conflicts: 120000 | #Constraints: 9847
769.00/771.20 c #Conflicts: 121000 | #Constraints: 10847
769.00/771.20 c #Conflicts: 122000 | #Constraints: 11847
769.00/771.20 c #Conflicts: 123000 | #Constraints: 12847
769.00/771.20 c #Conflicts: 124000 | #Constraints: 13847
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 125000 | #Constraints: 7849
769.00/771.20 c #Conflicts: 126000 | #Constraints: 8849
769.00/771.20 c #Conflicts: 127000 | #Constraints: 9849
769.00/771.20 c #Conflicts: 128000 | #Constraints: 10849
769.00/771.20 c #Conflicts: 129000 | #Constraints: 11849
769.00/771.20 c #Conflicts: 130000 | #Constraints: 12849
769.00/771.20 c #Conflicts: 131000 | #Constraints: 13849
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 132000 | #Constraints: 7648
769.00/771.20 c #Conflicts: 133000 | #Constraints: 8648
769.00/771.20 c #Conflicts: 134000 | #Constraints: 9648
769.00/771.20 c #Conflicts: 135000 | #Constraints: 10648
769.00/771.20 c #Conflicts: 136000 | #Constraints: 11648
769.00/771.20 c #Conflicts: 137000 | #Constraints: 12648
769.00/771.20 c #Conflicts: 138000 | #Constraints: 13648
769.00/771.20 c #Conflicts: 139000 | #Constraints: 14648
769.00/771.20 c INPROCESSING
769.00/771.20 c GARBAGE COLLECT
769.00/771.20 c #Conflicts: 140000 | #Constraints: 8248
1399.21/1403.36 c #Conflicts: 141000 | #Constraints: 9248
1399.21/1403.36 c #Conflicts: 142000 | #Constraints: 10248
1399.21/1403.36 c #Conflicts: 143000 | #Constraints: 11248
1399.21/1403.36 c #Conflicts: 144000 | #Constraints: 12248
1399.21/1403.36 c #Conflicts: 145000 | #Constraints: 13248
1399.21/1403.36 c #Conflicts: 146000 | #Constraints: 14248
1399.21/1403.36 c #Conflicts: 147000 | #Constraints: 15248
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 148000 | #Constraints: 8651
1399.21/1403.36 c #Conflicts: 149000 | #Constraints: 9651
1399.21/1403.36 c #Conflicts: 150000 | #Constraints: 10651
1399.21/1403.36 c #Conflicts: 151000 | #Constraints: 11651
1399.21/1403.36 c #Conflicts: 152000 | #Constraints: 12651
1399.21/1403.36 c #Conflicts: 153000 | #Constraints: 13651
1399.21/1403.36 c #Conflicts: 154000 | #Constraints: 14651
1399.21/1403.36 c #Conflicts: 155000 | #Constraints: 15651
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 156000 | #Constraints: 8848
1399.21/1403.36 c #Conflicts: 157000 | #Constraints: 9848
1399.21/1403.36 c #Conflicts: 158000 | #Constraints: 10848
1399.21/1403.36 c #Conflicts: 159000 | #Constraints: 11848
1399.21/1403.36 c #Conflicts: 160000 | #Constraints: 12848
1399.21/1403.36 c #Conflicts: 161000 | #Constraints: 13848
1399.21/1403.36 c #Conflicts: 162000 | #Constraints: 14848
1399.21/1403.36 c #Conflicts: 163000 | #Constraints: 15848
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 164000 | #Constraints: 8847
1399.21/1403.36 c #Conflicts: 165000 | #Constraints: 9847
1399.21/1403.36 c #Conflicts: 166000 | #Constraints: 10847
1399.21/1403.36 c #Conflicts: 167000 | #Constraints: 11847
1399.21/1403.36 c #Conflicts: 168000 | #Constraints: 12847
1399.21/1403.36 c #Conflicts: 169000 | #Constraints: 13847
1399.21/1403.36 c #Conflicts: 170000 | #Constraints: 14847
1399.21/1403.36 c #Conflicts: 171000 | #Constraints: 15847
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 172000 | #Constraints: 8646
1399.21/1403.36 c #Conflicts: 173000 | #Constraints: 9646
1399.21/1403.36 c #Conflicts: 174000 | #Constraints: 10646
1399.21/1403.36 c #Conflicts: 175000 | #Constraints: 11646
1399.21/1403.36 c #Conflicts: 176000 | #Constraints: 12646
1399.21/1403.36 c #Conflicts: 177000 | #Constraints: 13646
1399.21/1403.36 c #Conflicts: 178000 | #Constraints: 14646
1399.21/1403.36 c #Conflicts: 179000 | #Constraints: 15646
1399.21/1403.36 c #Conflicts: 180000 | #Constraints: 16646
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 181000 | #Constraints: 9248
1399.21/1403.36 c #Conflicts: 182000 | #Constraints: 10248
1399.21/1403.36 c #Conflicts: 183000 | #Constraints: 11248
1399.21/1403.36 c #Conflicts: 184000 | #Constraints: 12248
1399.21/1403.36 c #Conflicts: 185000 | #Constraints: 13248
1399.21/1403.36 c #Conflicts: 186000 | #Constraints: 14248
1399.21/1403.36 c #Conflicts: 187000 | #Constraints: 15248
1399.21/1403.36 c #Conflicts: 188000 | #Constraints: 16248
1399.21/1403.36 c #Conflicts: 189000 | #Constraints: 17248
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 190000 | #Constraints: 9649
1399.21/1403.36 c #Conflicts: 191000 | #Constraints: 10649
1399.21/1403.36 c #Conflicts: 192000 | #Constraints: 11649
1399.21/1403.36 c #Conflicts: 193000 | #Constraints: 12649
1399.21/1403.36 c #Conflicts: 194000 | #Constraints: 13649
1399.21/1403.36 c #Conflicts: 195000 | #Constraints: 14649
1399.21/1403.36 c #Conflicts: 196000 | #Constraints: 15649
1399.21/1403.36 c #Conflicts: 197000 | #Constraints: 16649
1399.21/1403.36 c #Conflicts: 198000 | #Constraints: 17649
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 199000 | #Constraints: 9858
1399.21/1403.36 c #Conflicts: 200000 | #Constraints: 10858
1399.21/1403.36 c #Conflicts: 201000 | #Constraints: 11858
1399.21/1403.36 c #Conflicts: 202000 | #Constraints: 12858
1399.21/1403.36 c #Conflicts: 203000 | #Constraints: 13858
1399.21/1403.36 c #Conflicts: 204000 | #Constraints: 14858
1399.21/1403.36 c #Conflicts: 205000 | #Constraints: 15858
1399.21/1403.36 c #Conflicts: 206000 | #Constraints: 16858
1399.21/1403.36 c #Conflicts: 207000 | #Constraints: 17858
1399.21/1403.36 c INPROCESSING
1399.21/1403.36 c GARBAGE COLLECT
1399.21/1403.36 c #Conflicts: 208000 | #Constraints: 9857
1399.21/1403.36 c #Conflicts: 209000 | #Constraints: 10857
1399.21/1403.36 c #Conflicts: 210000 | #Constraints: 11857
1399.21/1403.36 c #Conflicts: 211000 | #Constraints: 12857
1399.21/1403.36 c #Conflicts: 212000 | #Constraints: 13857
1399.21/1403.36 c #Conflicts: 213000 | #Constraints: 14857
2190.82/2197.46 c #Conflicts: 214000 | #Constraints: 15857
2190.82/2197.46 c #Conflicts: 215000 | #Constraints: 16857
2190.82/2197.46 c #Conflicts: 216000 | #Constraints: 17857
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 217000 | #Constraints: 9656
2190.82/2197.46 c #Conflicts: 218000 | #Constraints: 10656
2190.82/2197.46 c #Conflicts: 219000 | #Constraints: 11656
2190.82/2197.46 c #Conflicts: 220000 | #Constraints: 12656
2190.82/2197.46 c #Conflicts: 221000 | #Constraints: 13656
2190.82/2197.46 c #Conflicts: 222000 | #Constraints: 14656
2190.82/2197.46 c #Conflicts: 223000 | #Constraints: 15656
2190.82/2197.46 c #Conflicts: 224000 | #Constraints: 16656
2190.82/2197.46 c #Conflicts: 225000 | #Constraints: 17656
2190.82/2197.46 c #Conflicts: 226000 | #Constraints: 18656
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 227000 | #Constraints: 10251
2190.82/2197.46 c #Conflicts: 228000 | #Constraints: 11251
2190.82/2197.46 c #Conflicts: 229000 | #Constraints: 12251
2190.82/2197.46 c #Conflicts: 230000 | #Constraints: 13251
2190.82/2197.46 c #Conflicts: 231000 | #Constraints: 14251
2190.82/2197.46 c #Conflicts: 232000 | #Constraints: 15251
2190.82/2197.46 c #Conflicts: 233000 | #Constraints: 16251
2190.82/2197.46 c #Conflicts: 234000 | #Constraints: 17251
2190.82/2197.46 c #Conflicts: 235000 | #Constraints: 18251
2190.82/2197.46 c #Conflicts: 236000 | #Constraints: 19251
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 237000 | #Constraints: 10647
2190.82/2197.46 c #Conflicts: 238000 | #Constraints: 11647
2190.82/2197.46 c #Conflicts: 239000 | #Constraints: 12647
2190.82/2197.46 c #Conflicts: 240000 | #Constraints: 13647
2190.82/2197.46 c #Conflicts: 241000 | #Constraints: 14647
2190.82/2197.46 c #Conflicts: 242000 | #Constraints: 15647
2190.82/2197.46 c #Conflicts: 243000 | #Constraints: 16647
2190.82/2197.46 c #Conflicts: 244000 | #Constraints: 17647
2190.82/2197.46 c #Conflicts: 245000 | #Constraints: 18647
2190.82/2197.46 c #Conflicts: 246000 | #Constraints: 19647
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 247000 | #Constraints: 10848
2190.82/2197.46 c #Conflicts: 248000 | #Constraints: 11848
2190.82/2197.46 c #Conflicts: 249000 | #Constraints: 12848
2190.82/2197.46 c #Conflicts: 250000 | #Constraints: 13848
2190.82/2197.46 c #Conflicts: 251000 | #Constraints: 14848
2190.82/2197.46 c #Conflicts: 252000 | #Constraints: 15848
2190.82/2197.46 c #Conflicts: 253000 | #Constraints: 16848
2190.82/2197.46 c #Conflicts: 254000 | #Constraints: 17848
2190.82/2197.46 c #Conflicts: 255000 | #Constraints: 18848
2190.82/2197.46 c #Conflicts: 256000 | #Constraints: 19848
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 257000 | #Constraints: 10855
2190.82/2197.46 c #Conflicts: 258000 | #Constraints: 11855
2190.82/2197.46 c #Conflicts: 259000 | #Constraints: 12855
2190.82/2197.46 c #Conflicts: 260000 | #Constraints: 13855
2190.82/2197.46 c #Conflicts: 261000 | #Constraints: 14855
2190.82/2197.46 c #Conflicts: 262000 | #Constraints: 15855
2190.82/2197.46 c #Conflicts: 263000 | #Constraints: 16855
2190.82/2197.46 c #Conflicts: 264000 | #Constraints: 17855
2190.82/2197.46 c #Conflicts: 265000 | #Constraints: 18855
2190.82/2197.46 c #Conflicts: 266000 | #Constraints: 19855
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 267000 | #Constraints: 10651
2190.82/2197.46 c #Conflicts: 268000 | #Constraints: 11651
2190.82/2197.46 c #Conflicts: 269000 | #Constraints: 12651
2190.82/2197.46 c #Conflicts: 270000 | #Constraints: 13651
2190.82/2197.46 c #Conflicts: 271000 | #Constraints: 14651
2190.82/2197.46 c #Conflicts: 272000 | #Constraints: 15651
2190.82/2197.46 c #Conflicts: 273000 | #Constraints: 16651
2190.82/2197.46 c #Conflicts: 274000 | #Constraints: 17651
2190.82/2197.46 c #Conflicts: 275000 | #Constraints: 18651
2190.82/2197.46 c #Conflicts: 276000 | #Constraints: 19651
2190.82/2197.46 c #Conflicts: 277000 | #Constraints: 20651
2190.82/2197.46 c INPROCESSING
2190.82/2197.46 c GARBAGE COLLECT
2190.82/2197.46 c #Conflicts: 278000 | #Constraints: 11254
2190.82/2197.46 c #Conflicts: 279000 | #Constraints: 12254
2190.82/2197.46 c #Conflicts: 280000 | #Constraints: 13254
2190.82/2197.46 c #Conflicts: 281000 | #Constraints: 14254
2190.82/2197.46 c #Conflicts: 282000 | #Constraints: 15254
2190.82/2197.46 c #Conflicts: 283000 | #Constraints: 16254
2190.82/2197.46 c #Conflicts: 284000 | #Constraints: 17254
2190.82/2197.46 c #Conflicts: 285000 | #Constraints: 18254
2190.82/2197.46 c #Conflicts: 286000 | #Constraints: 19254
2190.82/2197.46 c #Conflicts: 287000 | #Constraints: 20254
2190.82/2197.46 c #Conflicts: 288000 | #Constraints: 21254
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 289000 | #Constraints: 11652
3059.14/3068.54 c #Conflicts: 290000 | #Constraints: 12652
3059.14/3068.54 c #Conflicts: 291000 | #Constraints: 13652
3059.14/3068.54 c #Conflicts: 292000 | #Constraints: 14652
3059.14/3068.54 c #Conflicts: 293000 | #Constraints: 15652
3059.14/3068.54 c #Conflicts: 294000 | #Constraints: 16652
3059.14/3068.54 c #Conflicts: 295000 | #Constraints: 17652
3059.14/3068.54 c #Conflicts: 296000 | #Constraints: 18652
3059.14/3068.54 c #Conflicts: 297000 | #Constraints: 19652
3059.14/3068.54 c #Conflicts: 298000 | #Constraints: 20652
3059.14/3068.54 c #Conflicts: 299000 | #Constraints: 21652
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 300000 | #Constraints: 11852
3059.14/3068.54 c #Conflicts: 301000 | #Constraints: 12852
3059.14/3068.54 c #Conflicts: 302000 | #Constraints: 13852
3059.14/3068.54 c #Conflicts: 303000 | #Constraints: 14852
3059.14/3068.54 c #Conflicts: 304000 | #Constraints: 15852
3059.14/3068.54 c #Conflicts: 305000 | #Constraints: 16852
3059.14/3068.54 c #Conflicts: 306000 | #Constraints: 17852
3059.14/3068.54 c #Conflicts: 307000 | #Constraints: 18852
3059.14/3068.54 c #Conflicts: 308000 | #Constraints: 19852
3059.14/3068.54 c #Conflicts: 309000 | #Constraints: 20852
3059.14/3068.54 c #Conflicts: 310000 | #Constraints: 21852
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 311000 | #Constraints: 11851
3059.14/3068.54 c #Conflicts: 312000 | #Constraints: 12851
3059.14/3068.54 c #Conflicts: 313000 | #Constraints: 13851
3059.14/3068.54 c #Conflicts: 314000 | #Constraints: 14851
3059.14/3068.54 c #Conflicts: 315000 | #Constraints: 15851
3059.14/3068.54 c #Conflicts: 316000 | #Constraints: 16851
3059.14/3068.54 c #Conflicts: 317000 | #Constraints: 17851
3059.14/3068.54 c #Conflicts: 318000 | #Constraints: 18851
3059.14/3068.54 c #Conflicts: 319000 | #Constraints: 19851
3059.14/3068.54 c #Conflicts: 320000 | #Constraints: 20851
3059.14/3068.54 c #Conflicts: 321000 | #Constraints: 21851
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 322000 | #Constraints: 11651
3059.14/3068.54 c #Conflicts: 323000 | #Constraints: 12651
3059.14/3068.54 c #Conflicts: 324000 | #Constraints: 13651
3059.14/3068.54 c #Conflicts: 325000 | #Constraints: 14651
3059.14/3068.54 c #Conflicts: 326000 | #Constraints: 15651
3059.14/3068.54 c #Conflicts: 327000 | #Constraints: 16651
3059.14/3068.54 c #Conflicts: 328000 | #Constraints: 17651
3059.14/3068.54 c #Conflicts: 329000 | #Constraints: 18651
3059.14/3068.54 c #Conflicts: 330000 | #Constraints: 19651
3059.14/3068.54 c #Conflicts: 331000 | #Constraints: 20651
3059.14/3068.54 c #Conflicts: 332000 | #Constraints: 21651
3059.14/3068.54 c #Conflicts: 333000 | #Constraints: 22651
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 334000 | #Constraints: 12247
3059.14/3068.54 c #Conflicts: 335000 | #Constraints: 13247
3059.14/3068.54 c #Conflicts: 336000 | #Constraints: 14247
3059.14/3068.54 c #Conflicts: 337000 | #Constraints: 15247
3059.14/3068.54 c #Conflicts: 338000 | #Constraints: 16247
3059.14/3068.54 c #Conflicts: 339000 | #Constraints: 17247
3059.14/3068.54 c #Conflicts: 340000 | #Constraints: 18247
3059.14/3068.54 c #Conflicts: 341000 | #Constraints: 19247
3059.14/3068.54 c #Conflicts: 342000 | #Constraints: 20247
3059.14/3068.54 c #Conflicts: 343000 | #Constraints: 21247
3059.14/3068.54 c #Conflicts: 344000 | #Constraints: 22247
3059.14/3068.54 c #Conflicts: 345000 | #Constraints: 23247
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 346000 | #Constraints: 12651
3059.14/3068.54 c #Conflicts: 347000 | #Constraints: 13651
3059.14/3068.54 c #Conflicts: 348000 | #Constraints: 14651
3059.14/3068.54 c #Conflicts: 349000 | #Constraints: 15651
3059.14/3068.54 c #Conflicts: 350000 | #Constraints: 16651
3059.14/3068.54 c #Conflicts: 351000 | #Constraints: 17651
3059.14/3068.54 c #Conflicts: 352000 | #Constraints: 18651
3059.14/3068.54 c #Conflicts: 353000 | #Constraints: 19651
3059.14/3068.54 c #Conflicts: 354000 | #Constraints: 20651
3059.14/3068.54 c #Conflicts: 355000 | #Constraints: 21651
3059.14/3068.54 c #Conflicts: 356000 | #Constraints: 22651
3059.14/3068.54 c #Conflicts: 357000 | #Constraints: 23651
3059.14/3068.54 c INPROCESSING
3059.14/3068.54 c GARBAGE COLLECT
3059.14/3068.54 c #Conflicts: 358000 | #Constraints: 12850
3059.14/3068.54 c #Conflicts: 359000 | #Constraints: 13850
3059.14/3068.54 c #Conflicts: 360000 | #Constraints: 14850
3059.14/3068.54 c #Conflicts: 361000 | #Constraints: 15850
3059.14/3068.54 c #Conflicts: 362000 | #Constraints: 16850
3600.01/3611.10 c #Conflicts: 363000 | #Constraints: 17850
3600.01/3611.10 c #Conflicts: 364000 | #Constraints: 18850
3600.01/3611.10 c #Conflicts: 365000 | #Constraints: 19850
3600.01/3611.10 c #Conflicts: 366000 | #Constraints: 20850
3600.01/3611.10 c #Conflicts: 367000 | #Constraints: 21850
3600.01/3611.10 c #Conflicts: 368000 | #Constraints: 22850
3600.01/3611.10 c #Conflicts: 369000 | #Constraints: 23850
3600.01/3611.10 c INPROCESSING
3600.01/3611.10 c GARBAGE COLLECT
3600.01/3611.10 c #Conflicts: 370000 | #Constraints: 12855
3600.01/3611.10 c #Conflicts: 371000 | #Constraints: 13855
3600.01/3611.10 c #Conflicts: 372000 | #Constraints: 14855
3600.01/3611.10 c #Conflicts: 373000 | #Constraints: 15855
3600.01/3611.10 c #Conflicts: 374000 | #Constraints: 16855
3600.01/3611.10 c #Conflicts: 375000 | #Constraints: 17855
3600.01/3611.10 c #Conflicts: 376000 | #Constraints: 18855
3600.01/3611.10 c #Conflicts: 377000 | #Constraints: 19855
3600.01/3611.10 c #Conflicts: 378000 | #Constraints: 20855
3600.01/3611.10 c #Conflicts: 379000 | #Constraints: 21855
3600.01/3611.10 c #Conflicts: 380000 | #Constraints: 22855
3600.01/3611.10 c #Conflicts: 381000 | #Constraints: 23855
3600.01/3611.10 c INPROCESSING
3600.01/3611.10 c GARBAGE COLLECT
3600.01/3611.10 c #Conflicts: 382000 | #Constraints: 12653
3600.01/3611.10 c #Conflicts: 383000 | #Constraints: 13653
3600.01/3611.10 c #Conflicts: 384000 | #Constraints: 14653
3600.01/3611.10 c #Conflicts: 385000 | #Constraints: 15653
3600.01/3611.10 c #Conflicts: 386000 | #Constraints: 16653
3600.01/3611.10 c #Conflicts: 387000 | #Constraints: 17653
3600.01/3611.10 c #Conflicts: 388000 | #Constraints: 18653
3600.01/3611.10 c #Conflicts: 389000 | #Constraints: 19653
3600.01/3611.10 c #Conflicts: 390000 | #Constraints: 20653
3600.01/3611.10 c #Conflicts: 391000 | #Constraints: 21653
3600.01/3611.10 c #Conflicts: 392000 | #Constraints: 22653
3600.01/3611.10 c #Conflicts: 393000 | #Constraints: 23653
3600.01/3611.10 c #Conflicts: 394000 | #Constraints: 24653
3600.01/3611.10 c INPROCESSING
3600.01/3611.10 c GARBAGE COLLECT
3600.01/3611.10 c #Conflicts: 395000 | #Constraints: 13250
3600.01/3611.10 c #Conflicts: 396000 | #Constraints: 14250
3600.01/3611.10 c #Conflicts: 397000 | #Constraints: 15250
3600.01/3611.10 c #Conflicts: 398000 | #Constraints: 16250
3600.01/3611.10 c #Conflicts: 399000 | #Constraints: 17250
3600.01/3611.10 c #Conflicts: 400000 | #Constraints: 18250
3600.01/3611.10 c #Conflicts: 401000 | #Constraints: 19250
3600.01/3611.10 c #Conflicts: 402000 | #Constraints: 20250
3600.01/3611.10 c cpu time 3596.01 s
3600.01/3611.10 c deterministic time 1 1.00e+00
3600.01/3611.10 c optimization time 3596.01 s
3600.01/3611.10 c total solve time 0 s
3600.01/3611.10 c core-guided solve time 0 s
3600.01/3611.10 c propagation time 1e-06 s
3600.01/3611.10 c conflict analysis time 0 s
3600.01/3611.10 c propagations 0
3600.01/3611.10 c resolve steps 0
3600.01/3611.10 c decisions 0
3600.01/3611.10 c conflicts 0
3600.01/3611.10 c restarts 0
3600.01/3611.10 c inprocessing phases 0
3600.01/3611.10 c garbage collections 0 ,( -nan )
3600.01/3611.10 c input clauses 0 ,( 0.00 )
3600.01/3611.10 c input cardinalities 0 ,( 0.00 )
3600.01/3611.10 c input general constraints 1 ,( 100.00 )
3600.01/3611.10 c input average constraint length 1000.00
3600.01/3611.10 c input average constraint degree 5036242.00
3600.01/3611.10 c learned clauses 0 ,( 0.00 )
3600.01/3611.10 c learned cardinalities 0 ,( 0.00 )
3600.01/3611.10 c learned general constraints 0 ,( 0.00 )
3600.01/3611.10 c learned average constraint length 0.00
3600.01/3611.10 c learned average constraint degree 0.00
3600.01/3611.10 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3611.10 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.01/3611.10 c watched constraints 0 ,( 0.00 )
3600.01/3611.10 c counting constraints 1 ,( 100.00 )
3600.01/3611.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3611.10 c gcd simplifications 0
3600.01/3611.10 c detected cardinalities 0
3600.01/3611.10 c weakened non-implied lits 0
3600.01/3611.10 c weakened non-implying lits 0
3600.01/3611.10 c original variables 1000
3600.01/3611.10 c clausal propagations 0
3600.01/3611.10 c cardinality propagations 0
3600.01/3611.10 c watched propagations 0
3600.01/3611.10 c counting propagations 0
3600.01/3611.10 c watch lookups 0
3600.01/3611.10 c watch backjump lookups 0
3600.01/3611.10 c watch checks 0
3600.01/3611.10 c propagation checks 0
3600.01/3611.10 c constraint additions 0
3600.01/3611.10 c trail pops 0
3600.01/3611.10 c formula constraints 1
3600.01/3611.10 c learned constraints 0
3600.01/3611.10 c bound constraints 0
3600.01/3611.10 c core-guided constraints 0
3600.01/3611.10 c encountered formula constraints 0
3600.01/3611.10 c encountered learned constraints 0
3600.01/3611.10 c encountered bound constraints 0
3600.01/3611.10 c encountered core-guided constraints 0
3600.01/3611.10 c LP total time 0 s
3600.01/3611.10 c LP solve time 0 s
3600.01/3611.10 c LP constraints added 0
3600.01/3611.10 c LP constraints removed 0
3600.01/3611.10 c LP pivots internal 0
3600.01/3611.10 c LP pivots root 0
3600.01/3611.10 c LP calls 0
3600.01/3611.10 c LP optimalities 0
3600.01/3611.10 c LP no pivot count 0
3600.01/3611.10 c LP infeasibilities 0
3600.01/3611.10 c LP valid Farkas constraints 0
3600.01/3611.10 c LP learned Farkas constraints 0
3600.01/3611.10 c LP basis resets 0
3600.01/3611.10 c LP cycling count 0
3600.01/3611.10 c LP singular count 0
3600.01/3611.10 c LP no primal count 0
3600.01/3611.10 c LP no farkas count 0
3600.01/3611.10 c LP other issue count 0
3600.01/3611.10 c LP Gomory cuts 0
3600.01/3611.10 c LP learned cuts 0
3600.01/3611.10 c LP deleted cuts 0
3600.01/3611.10 c LP encountered Gomory constraints 0
3600.01/3611.10 c LP encountered Farkas constraints 0
3600.01/3611.10 c LP encountered learned Farkas constraints 0
3600.01/3611.10 c CG auxiliary variables introduced 0
3600.01/3611.10 c CG solutions found 0
3600.01/3611.10 c CG cores constructed 0
3600.01/3611.10 c CG core cardinality constraints returned 0
3600.01/3611.10 c CG unit cores 0
3600.01/3611.10 c CG single cores 0
3600.01/3611.10 c CG blocks removed during cardinality reduction 0
3600.01/3611.10 c CG first core best 0
3600.01/3611.10 c CG decision core best 0
3600.01/3611.10 c CG core reduction tie 0
3600.01/3611.10 c CG core degree average 0.00
3600.01/3611.10 c CG core slack average 0.00
3600.01/3611.10 c CG core upper bound improvements 0
3600.01/3611.10 c STR number of successful calls 0
3600.01/3611.10 c STR number of unsuccessful calls 0
3600.01/3611.10 c STR number of inconclusive calls 0
3600.01/3611.10 c STR number of successful attempts 0
3600.01/3611.10 c STR number of unsuccessful attempts 0
3600.01/3611.10 c STR number of inconclusive attempts 0
3600.01/3611.10 c STR average degree increase per successful call inf
3600.01/3611.10 c STR average degree increase per successful attempt inf
3600.01/3611.10 c STR total number of conflicts for successful attempts 0
3600.01/3611.10 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.10 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.10 c STR average number of conflicts per successful attempt inf
3600.01/3611.10 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.10 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.10 c AVG.sumWPerc 99.70
3600.01/3611.10 c bigint constraints 0
3600.01/3611.10 s UNKNOWN
3600.01/3611.10 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: 63708 MiB (50227 MiB free)
memory of node 1: 64465 MiB (61034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518180-1751543886/watcher-4518180-1751543886 -o /tmp/evaluation-result-4518180-1751543886/solver-4518180-1751543886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77532 --watchdog 3760 run-opt.sh HOME/instance-4518180-1751543886.opb
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 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=77578, runsolver pid=77571
Current StackSize limit: 8192 KiB
[startup+0.100048 s]*
/proc/loadavg: 0.25 1.25 2.42 6/268 77594
/proc/meminfo: memFree=113908044/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=61632 memory=14524 CPUtime=0.07 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 962 0 0 0 6 1 0 0 20 0 1 0 70066476 63111168 3631 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 15408 3631 2400 1147 0 2835 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65824 KiB
Current children cumulated memory: 17596 KiB
[startup+0.205938 s]*
/proc/loadavg: 0.25 1.25 2.42 5/268 77594
/proc/meminfo: memFree=113901996/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=64912 memory=17852 CPUtime=0.17 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 1773 0 0 0 16 1 0 0 20 0 1 0 70066476 66469888 4463 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 16228 4463 2400 1147 0 3655 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 69104 KiB
Current children cumulated memory: 20924 KiB
[startup+0.305295 s]*
/proc/loadavg: 0.25 1.25 2.42 6/268 77594
/proc/meminfo: memFree=113890152/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=68980 memory=22844 CPUtime=0.28 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 3033 0 0 0 26 2 0 0 20 0 1 0 70066476 70635520 5711 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 17245 5711 2400 1147 0 4672 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73172 KiB
Current children cumulated memory: 25916 KiB
[startup+0.700184 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113886120/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=72240 memory=26556 CPUtime=0.66 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 3960 0 0 0 64 2 0 0 20 0 1 0 70066476 73973760 6639 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 18060 6639 2400 1147 0 5487 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 76432 KiB
Current children cumulated memory: 29628 KiB
[startup+1.5002 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113865192/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=92888 memory=40260 CPUtime=1.46 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 6862 0 0 0 143 3 0 0 20 0 1 0 70066476 95117312 10065 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 23222 10065 2400 1147 0 10649 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 97080 KiB
Current children cumulated memory: 43332 KiB
[startup+3.10587 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113729532/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=110688 memory=56360 CPUtime=3.06 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 10381 0 0 0 302 4 0 0 20 0 1 0 70066476 113344512 14090 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 27672 14090 2400 1147 0 15099 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 114880 KiB
Current children cumulated memory: 59432 KiB
[startup+6.30019 s]
/proc/loadavg: 0.83 1.34 2.44 6/268 77594
/proc/meminfo: memFree=113657780/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=124764 memory=71768 CPUtime=6.25 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 12713 0 0 0 620 5 0 0 20 0 1 0 70066476 127758336 17942 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 31191 17942 2400 1147 0 18618 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 74840 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.40 2.45 6/268 77594
/proc/meminfo: memFree=113517512/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=159464 memory=101384 CPUtime=12.63 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 19080 0 0 0 1254 9 0 0 20 0 1 0 70066476 163291136 25346 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 39866 25346 2400 1147 0 27293 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 163656 KiB
Current children cumulated memory: 104456 KiB
[startup+25.5002 s]
/proc/loadavg: 1.60 1.49 2.47 6/269 77596
/proc/meminfo: memFree=113178632/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=179584 memory=116340 CPUtime=25.4 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 21301 0 0 0 2526 14 0 0 20 0 1 0 70066476 183894016 29085 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 44896 29085 2400 1147 0 32323 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 183776 KiB
Current children cumulated memory: 119412 KiB
[startup+51.106 s]
/proc/loadavg: 2.55 1.73 2.52 6/269 77596
/proc/meminfo: memFree=112699504/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=232168 memory=157092 CPUtime=50.93 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 29428 0 0 0 5073 20 0 0 20 0 1 0 70066476 237740032 39273 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 58042 39273 2400 1147 0 45469 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 236360 KiB
Current children cumulated memory: 160164 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.09 2.60 6/269 77599
/proc/meminfo: memFree=112358592/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=285428 memory=189316 CPUtime=101.99 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 35445 0 0 0 10165 34 0 0 20 0 1 0 70066476 292278272 47329 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 71357 47329 2400 1147 0 58784 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 289620 KiB
Current children cumulated memory: 192388 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.46 2.70 6/270 77606
/proc/meminfo: memFree=112073384/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=287012 memory=211260 CPUtime=161.82 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 38400 0 0 0 16137 45 0 0 20 0 1 0 70066476 293900288 52815 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 71753 52815 2400 1147 0 59180 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 291204 KiB
Current children cumulated memory: 214332 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.76 2.79 6/270 77619
/proc/meminfo: memFree=111643048/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=289636 memory=221732 CPUtime=221.66 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 39488 0 0 0 22109 57 0 0 20 0 1 0 70066476 296587264 55433 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 72409 55433 2400 1147 0 59836 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/77583/statm: 178884 136505 2400 1147 0 166311 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 719728 KiB
Current children cumulated memory: 549092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.08 5/267 78170
/proc/meminfo: memFree=107632944/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=715536 memory=546148 CPUtime=3152.65 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 120911 0 0 0 314906 359 0 0 20 0 1 0 70066476 732708864 136537 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 178884 136537 2400 1147 0 166311 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 719728 KiB
Current children cumulated memory: 549220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/268 78177
/proc/meminfo: memFree=107598692/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=715536 memory=548280 CPUtime=3212.45 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 120918 0 0 0 320883 362 0 0 20 0 1 0 70066476 732708864 137070 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 178884 137070 2400 1147 0 166311 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 719728 KiB
Current children cumulated memory: 551352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/268 78179
/proc/meminfo: memFree=107580072/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=715536 memory=548280 CPUtime=3272.27 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 120918 0 0 0 326861 366 0 0 20 0 1 0 70066476 732708864 137070 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 178884 137070 2400 1147 0 166311 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 719728 KiB
Current children cumulated memory: 551352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 78182
/proc/meminfo: memFree=107579288/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=754256 memory=554872 CPUtime=3332.07 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 130298 0 0 0 332836 371 0 0 20 0 1 0 70066476 772358144 138718 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 188564 138718 2400 1147 0 175991 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 758448 KiB
Current children cumulated memory: 557944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/269 78186
/proc/meminfo: memFree=107559496/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=567756 CPUtime=3391.88 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146655 0 0 0 338808 380 0 0 20 0 1 0 70066476 841162752 141939 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 141939 2400 1147 0 192789 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 570828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 78188
/proc/meminfo: memFree=107496172/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=567756 CPUtime=3451.68 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146655 0 0 0 344782 386 0 0 20 0 1 0 70066476 841162752 141939 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 141939 2400 1147 0 192789 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 570828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 78190
/proc/meminfo: memFree=107488388/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=569964 CPUtime=3511.49 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146699 0 0 0 350758 391 0 0 20 0 1 0 70066476 841162752 142491 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 142491 2400 1147 0 192789 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 573036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 78191
/proc/meminfo: memFree=107495856/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=569964 CPUtime=3571.3 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146699 0 0 0 356732 398 0 0 20 0 1 0 70066476 841162752 142491 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 142491 2400 1147 0 192789 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 573036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.05 4.09 4.08 5/266 78193
/proc/meminfo: memFree=107495448/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=569964 CPUtime=3600.01 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146703 0 0 0 359600 401 0 0 20 0 1 0 70066476 841162752 142491 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 142491 2400 1147 0 192789 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 573036 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 77578 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.002128 s
Sleeping 2 seconds
[startup+3611.14 s]
# the end of solver process 77583 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.01 s, system=4.03877 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.11 s]
/proc/loadavg: 4.05 4.09 4.08 5/266 78193
/proc/meminfo: memFree=107495448/131249996 swapFree=33004236/33010684
[pid=77578] ppid=77571 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77578/stat : 77578 (run-opt.sh) S 77571 77578 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 768 18446744073709551615 93923125387264 93923126281797 140735646827440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93923126520848 93923126568592 93923137802240 140735646833005 140735646833128 140735646833128 140735646838730 0
/proc/77578/statm: 1048 768 704 219 0 110 0
[pid=77583] ppid=77578 vsize=821448 memory=569964 CPUtime=3600.01 cores=4,6
/proc/77583/stat : 77583 (roundingsat) R 77578 77578 77498 0 -1 4194304 146703 0 0 0 359600 401 0 0 20 0 1 0 70066476 841162752 142491 18446744073709551615 4227072 8923433 140734838798992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29130752 140734838806946 140734838807080 140734838807080 140734838812650 0
/proc/77583/statm: 205362 142491 2400 1147 0 192789 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 825640 KiB
Current children cumulated memory: 573036 KiB
Child status: 2
Real time (s): 3611.14
CPU time (s): 3600.05
CPU user time (s): 3596.01
CPU system time (s): 4.03877
CPU usage (%): 99.6931
Max. virtual memory (cumulated for all children) (KiB): 825640
Max. memory (cumulated for all children) (KiB): 573036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.01
system time used= 4.03877
maximum resident set size= 570348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 273
involuntary context switches= 2668
# summary of solver processes directly reported to runsolver:
# pid: 77578,77583
# total CPU time (s): 3600.05
# total CPU user time (s): 3596.01
# total CPU system time (s): 4.03877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14767 second user time and 17.4823 second system time
The end
Begin job on nodeC023 at 2025-07-03 13:58:06
IDJOB=4518180
IDBENCH=176641
IDSOLVER=3350
FILE ID=nodeC023/4518180-1751543886
RUNJOBID= nodeC023-1751543886-77532
SLURM_JOB_ID= 9598710
Free space on /tmp= 431872 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518180-1751543886/watcher-4518180-1751543886 -o /tmp/evaluation-result-4518180-1751543886/solver-4518180-1751543886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77532 --watchdog 3760 run-opt.sh HOME/instance-4518180-1751543886.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=289542404
nodeC023 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.994
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.898
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.78
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 : 3600.830
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.78
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 : 3601.092
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.78
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 : 3600.036
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.78
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.887
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.78
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.879
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.78
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 : 2366.206
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113924460 kB
MemAvailable: 129673692 kB
Buffers: 16 kB
Cached: 16493744 kB
SwapCached: 592 kB
Active: 286080 kB
Inactive: 16288340 kB
Active(anon): 73936 kB
Inactive(anon): 20452 kB
Active(file): 212144 kB
Inactive(file): 16267888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17112 kB
Writeback: 16 kB
AnonPages: 83412 kB
Mapped: 99272 kB
Shmem: 13404 kB
KReclaimable: 216876 kB
Slab: 307348 kB
SReclaimable: 216876 kB
SUnreclaim: 90472 kB
KernelStack: 4000 kB
PageTables: 2872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 343448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 14:58:17