0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.98/1.11 c #variables 1400 #constraints 109379
0.98/1.11 c objective is ce32
1.47/1.56 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.47/1.56 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.47/1.56 c GLOBAL bounds - >= -1400 @ 1.16217
1.47/1.56 c GLOBAL bounds - >= -1400 @ 1.16376
1.47/1.57 c GLOBAL bounds - >= -1400 @ 1.16445
1.47/1.57 c GLOBAL bounds - >= -1400 @ 1.16607
1.47/1.60 c GLOBAL bounds - >= -1400 @ 1.19173
1.57/1.62 c GLOBAL bounds - >= -1400 @ 1.21478
1.57/1.62 c GLOBAL bounds - >= -1400 @ 1.21617
1.57/1.62 c GLOBAL bounds - >= -1400 @ 1.21725
1.57/1.63 c GLOBAL bounds - >= -1400 @ 1.21831
1.57/1.63 c GLOBAL bounds - >= -1400 @ 1.21857
1.57/1.64 c GLOBAL bounds - >= -1400 @ 1.23069
1.57/1.65 c GLOBAL bounds - >= -1400 @ 1.23497
1.57/1.65 c GLOBAL bounds - >= -1400 @ 1.23606
1.57/1.65 c GLOBAL bounds - >= -1400 @ 1.23697
1.57/1.66 c GLOBAL bounds - >= -1400 @ 1.24265
1.57/1.66 c GLOBAL bounds - >= -1400 @ 1.24689
1.57/1.66 c GLOBAL bounds - >= -1400 @ 1.24875
1.57/1.67 c GLOBAL bounds - >= -1400 @ 1.25596
1.67/1.70 c GLOBAL bounds - >= -1400 @ 1.28143
3.08/3.19 c #Conflicts: 1000 | #Constraints: 110413
3.08/3.19 c GLOBAL bounds - >= -1400 @ 2.76578
3.17/3.24 c GLOBAL bounds - >= -1400 @ 2.81415
3.27/3.31 c GLOBAL bounds - >= -1400 @ 2.88285
3.27/3.35 c GLOBAL bounds - >= -1400 @ 2.91967
3.27/3.39 c GLOBAL bounds - >= -1400 @ 2.9577
4.56/4.65 c #Conflicts: 2000 | #Constraints: 111423
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c GLOBAL bounds - >= -1400 @ 4.2056
5.35/5.42 c #Conflicts: 3000 | #Constraints: 111426
5.35/5.42 c GLOBAL bounds - >= -1400 @ 4.9674
5.46/5.51 c GLOBAL bounds - >= -1400 @ 5.05729
5.46/5.52 c GLOBAL bounds - >= -1400 @ 5.06931
5.46/5.55 c GLOBAL bounds - >= -1400 @ 5.09646
5.56/5.67 c GLOBAL bounds - >= -1400 @ 5.21154
5.66/5.70 c GLOBAL bounds - >= -1400 @ 5.24357
5.66/5.71 c GLOBAL bounds - >= -1400 @ 5.25708
5.66/5.72 c GLOBAL bounds - >= -1400 @ 5.26321
5.66/5.74 c GLOBAL bounds - >= -1400 @ 5.28795
5.66/5.75 c GLOBAL bounds - >= -1400 @ 5.29211
5.66/5.75 c GLOBAL bounds - >= -1400 @ 5.29898
5.66/5.76 c GLOBAL bounds - >= -1400 @ 5.30879
5.66/5.77 c GLOBAL bounds - >= -1400 @ 5.31349
5.66/5.77 c GLOBAL bounds - >= -1400 @ 5.31898
5.66/5.78 c GLOBAL bounds - >= -1400 @ 5.32464
5.66/5.79 c GLOBAL bounds - >= -1400 @ 5.33533
5.66/5.79 c GLOBAL bounds - >= -1400 @ 5.33766
5.76/5.80 c GLOBAL bounds - >= -1400 @ 5.33948
5.76/5.80 c GLOBAL bounds - >= -1400 @ 5.34301
5.76/5.81 c GLOBAL bounds - >= -1400 @ 5.35019
5.76/5.87 c GLOBAL bounds - >= -1400 @ 5.41202
246.60/247.49 c #Conflicts: 4000 | #Constraints: 112468
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 5000 | #Constraints: 111871
246.60/247.49 c #Conflicts: 6000 | #Constraints: 112871
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 7000 | #Constraints: 111874
246.60/247.49 c #Conflicts: 8000 | #Constraints: 112874
246.60/247.49 c #Conflicts: 9000 | #Constraints: 113874
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 10000 | #Constraints: 112579
246.60/247.49 c #Conflicts: 11000 | #Constraints: 113579
246.60/247.49 c #Conflicts: 12000 | #Constraints: 114579
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 13000 | #Constraints: 113028
246.60/247.49 c #Conflicts: 14000 | #Constraints: 114028
246.60/247.49 c #Conflicts: 15000 | #Constraints: 115028
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 16000 | #Constraints: 113255
246.60/247.49 c #Conflicts: 17000 | #Constraints: 114255
246.60/247.49 c #Conflicts: 18000 | #Constraints: 115255
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 19000 | #Constraints: 113271
246.60/247.49 c #Conflicts: 20000 | #Constraints: 114271
246.60/247.49 c #Conflicts: 21000 | #Constraints: 115271
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 22000 | #Constraints: 113074
246.60/247.49 c #Conflicts: 23000 | #Constraints: 114074
246.60/247.49 c #Conflicts: 24000 | #Constraints: 115074
246.60/247.49 c #Conflicts: 25000 | #Constraints: 116074
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 26000 | #Constraints: 113678
246.60/247.49 c #Conflicts: 27000 | #Constraints: 114678
246.60/247.49 c #Conflicts: 28000 | #Constraints: 115678
246.60/247.49 c #Conflicts: 29000 | #Constraints: 116678
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 30000 | #Constraints: 114080
246.60/247.49 c #Conflicts: 31000 | #Constraints: 115080
246.60/247.49 c #Conflicts: 32000 | #Constraints: 116080
246.60/247.49 c #Conflicts: 33000 | #Constraints: 117080
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 34000 | #Constraints: 114281
246.60/247.49 c #Conflicts: 35000 | #Constraints: 115281
246.60/247.49 c #Conflicts: 36000 | #Constraints: 116281
246.60/247.49 c #Conflicts: 37000 | #Constraints: 117281
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 38000 | #Constraints: 114284
246.60/247.49 c #Conflicts: 39000 | #Constraints: 115284
246.60/247.49 c #Conflicts: 40000 | #Constraints: 116284
246.60/247.49 c #Conflicts: 41000 | #Constraints: 117284
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 42000 | #Constraints: 114083
246.60/247.49 c #Conflicts: 43000 | #Constraints: 115083
246.60/247.49 c #Conflicts: 44000 | #Constraints: 116083
246.60/247.49 c #Conflicts: 45000 | #Constraints: 117083
246.60/247.49 c #Conflicts: 46000 | #Constraints: 118083
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 47000 | #Constraints: 114682
246.60/247.49 c #Conflicts: 48000 | #Constraints: 115682
246.60/247.49 c #Conflicts: 49000 | #Constraints: 116682
246.60/247.49 c #Conflicts: 50000 | #Constraints: 117682
246.60/247.49 c #Conflicts: 51000 | #Constraints: 118682
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 52000 | #Constraints: 115083
246.60/247.49 c #Conflicts: 53000 | #Constraints: 116083
246.60/247.49 c #Conflicts: 54000 | #Constraints: 117083
246.60/247.49 c #Conflicts: 55000 | #Constraints: 118083
246.60/247.49 c #Conflicts: 56000 | #Constraints: 119083
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 57000 | #Constraints: 115284
246.60/247.49 c #Conflicts: 58000 | #Constraints: 116284
246.60/247.49 c #Conflicts: 59000 | #Constraints: 117284
246.60/247.49 c #Conflicts: 60000 | #Constraints: 118284
246.60/247.49 c #Conflicts: 61000 | #Constraints: 119284
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 62000 | #Constraints: 115286
246.60/247.49 c #Conflicts: 63000 | #Constraints: 116286
246.60/247.49 c #Conflicts: 64000 | #Constraints: 117286
246.60/247.49 c #Conflicts: 65000 | #Constraints: 118286
246.60/247.49 c #Conflicts: 66000 | #Constraints: 119286
246.60/247.49 c INPROCESSING
246.60/247.49 c GARBAGE COLLECT
246.60/247.49 c #Conflicts: 67000 | #Constraints: 115085
246.60/247.49 c #Conflicts: 68000 | #Constraints: 116085
246.60/247.49 c #Conflicts: 69000 | #Constraints: 117085
246.60/247.49 c #Conflicts: 70000 | #Constraints: 118085
246.60/247.49 c #Conflicts: 71000 | #Constraints: 119085
341.24/342.30 c #Conflicts: 72000 | #Constraints: 120085
341.24/342.30 c INPROCESSING
341.24/342.30 c GARBAGE COLLECT
341.24/342.30 c #Conflicts: 73000 | #Constraints: 115684
341.24/342.30 c #Conflicts: 74000 | #Constraints: 116684
341.24/342.30 c #Conflicts: 75000 | #Constraints: 117684
341.24/342.30 c #Conflicts: 76000 | #Constraints: 118684
341.24/342.30 c #Conflicts: 77000 | #Constraints: 119684
341.24/342.30 c #Conflicts: 78000 | #Constraints: 120684
341.24/342.30 c INPROCESSING
341.24/342.30 c GARBAGE COLLECT
341.24/342.30 c #Conflicts: 79000 | #Constraints: 116083
341.24/342.30 c #Conflicts: 80000 | #Constraints: 117083
341.24/342.30 c #Conflicts: 81000 | #Constraints: 118083
341.24/342.30 c #Conflicts: 82000 | #Constraints: 119083
341.24/342.30 c #Conflicts: 83000 | #Constraints: 120083
341.24/342.30 c #Conflicts: 84000 | #Constraints: 121083
341.24/342.30 c INPROCESSING
341.24/342.30 c GARBAGE COLLECT
341.24/342.30 c #Conflicts: 85000 | #Constraints: 116283
341.24/342.30 c #Conflicts: 86000 | #Constraints: 117283
341.24/342.30 c #Conflicts: 87000 | #Constraints: 118283
341.24/342.30 c #Conflicts: 88000 | #Constraints: 119283
341.24/342.30 c #Conflicts: 89000 | #Constraints: 120283
341.24/342.30 c GLOBAL bounds - >= -1400 @ 340.17
454.42/455.87 c #Conflicts: 90000 | #Constraints: 121285
454.42/455.87 c INPROCESSING
454.42/455.87 c GARBAGE COLLECT
454.42/455.87 c #Conflicts: 91000 | #Constraints: 116284
454.42/455.87 c #Conflicts: 92000 | #Constraints: 117284
454.42/455.87 c #Conflicts: 93000 | #Constraints: 118284
454.42/455.87 c #Conflicts: 94000 | #Constraints: 119284
454.42/455.87 c #Conflicts: 95000 | #Constraints: 120284
454.42/455.87 c #Conflicts: 96000 | #Constraints: 121284
454.42/455.87 c INPROCESSING
454.42/455.87 c GARBAGE COLLECT
454.42/455.87 c #Conflicts: 97000 | #Constraints: 116082
454.42/455.87 c #Conflicts: 98000 | #Constraints: 117082
454.42/455.87 c #Conflicts: 99000 | #Constraints: 118082
454.42/455.87 c #Conflicts: 100000 | #Constraints: 119082
454.42/455.87 c #Conflicts: 101000 | #Constraints: 120082
454.42/455.87 c #Conflicts: 102000 | #Constraints: 121082
454.42/455.87 c #Conflicts: 103000 | #Constraints: 122082
454.42/455.87 c INPROCESSING
454.42/455.87 c GARBAGE COLLECT
454.42/455.87 c #Conflicts: 104000 | #Constraints: 116683
454.42/455.87 c #Conflicts: 105000 | #Constraints: 117683
454.42/455.87 c #Conflicts: 106000 | #Constraints: 118683
454.42/455.87 c #Conflicts: 107000 | #Constraints: 119683
454.42/455.87 c #Conflicts: 108000 | #Constraints: 120683
454.42/455.87 c #Conflicts: 109000 | #Constraints: 121683
454.42/455.87 c #Conflicts: 110000 | #Constraints: 122683
454.42/455.87 c INPROCESSING
454.42/455.87 c GARBAGE COLLECT
454.42/455.87 c #Conflicts: 111000 | #Constraints: 117082
454.42/455.87 c #Conflicts: 112000 | #Constraints: 118082
454.42/455.87 c GLOBAL bounds - >= -1400 @ 453.257
472.28/473.73 c #Conflicts: 113000 | #Constraints: 119084
472.28/473.73 c #Conflicts: 114000 | #Constraints: 120084
472.28/473.73 c #Conflicts: 115000 | #Constraints: 121084
472.28/473.73 c GLOBAL bounds - >= -1400 @ 471.043
1180.02/1183.80 c #Conflicts: 116000 | #Constraints: 122086
1180.02/1183.80 c #Conflicts: 117000 | #Constraints: 123086
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 118000 | #Constraints: 117288
1180.02/1183.80 c #Conflicts: 119000 | #Constraints: 118288
1180.02/1183.80 c #Conflicts: 120000 | #Constraints: 119288
1180.02/1183.80 c #Conflicts: 121000 | #Constraints: 120288
1180.02/1183.80 c #Conflicts: 122000 | #Constraints: 121288
1180.02/1183.80 c #Conflicts: 123000 | #Constraints: 122288
1180.02/1183.80 c #Conflicts: 124000 | #Constraints: 123288
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 125000 | #Constraints: 117290
1180.02/1183.80 c #Conflicts: 126000 | #Constraints: 118290
1180.02/1183.80 c #Conflicts: 127000 | #Constraints: 119290
1180.02/1183.80 c #Conflicts: 128000 | #Constraints: 120290
1180.02/1183.80 c #Conflicts: 129000 | #Constraints: 121290
1180.02/1183.80 c #Conflicts: 130000 | #Constraints: 122290
1180.02/1183.80 c #Conflicts: 131000 | #Constraints: 123290
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 132000 | #Constraints: 117090
1180.02/1183.80 c #Conflicts: 133000 | #Constraints: 118090
1180.02/1183.80 c #Conflicts: 134000 | #Constraints: 119090
1180.02/1183.80 c #Conflicts: 135000 | #Constraints: 120090
1180.02/1183.80 c #Conflicts: 136000 | #Constraints: 121090
1180.02/1183.80 c #Conflicts: 137000 | #Constraints: 122090
1180.02/1183.80 c #Conflicts: 138000 | #Constraints: 123090
1180.02/1183.80 c #Conflicts: 139000 | #Constraints: 124090
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 140000 | #Constraints: 117690
1180.02/1183.80 c #Conflicts: 141000 | #Constraints: 118690
1180.02/1183.80 c #Conflicts: 142000 | #Constraints: 119690
1180.02/1183.80 c #Conflicts: 143000 | #Constraints: 120690
1180.02/1183.80 c #Conflicts: 144000 | #Constraints: 121690
1180.02/1183.80 c #Conflicts: 145000 | #Constraints: 122690
1180.02/1183.80 c #Conflicts: 146000 | #Constraints: 123690
1180.02/1183.80 c #Conflicts: 147000 | #Constraints: 124690
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 148000 | #Constraints: 118088
1180.02/1183.80 c #Conflicts: 149000 | #Constraints: 119088
1180.02/1183.80 c #Conflicts: 150000 | #Constraints: 120088
1180.02/1183.80 c #Conflicts: 151000 | #Constraints: 121088
1180.02/1183.80 c #Conflicts: 152000 | #Constraints: 122088
1180.02/1183.80 c #Conflicts: 153000 | #Constraints: 123088
1180.02/1183.80 c #Conflicts: 154000 | #Constraints: 124088
1180.02/1183.80 c #Conflicts: 155000 | #Constraints: 125088
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 156000 | #Constraints: 118288
1180.02/1183.80 c #Conflicts: 157000 | #Constraints: 119288
1180.02/1183.80 c #Conflicts: 158000 | #Constraints: 120288
1180.02/1183.80 c #Conflicts: 159000 | #Constraints: 121288
1180.02/1183.80 c #Conflicts: 160000 | #Constraints: 122288
1180.02/1183.80 c #Conflicts: 161000 | #Constraints: 123288
1180.02/1183.80 c #Conflicts: 162000 | #Constraints: 124288
1180.02/1183.80 c #Conflicts: 163000 | #Constraints: 125288
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 164000 | #Constraints: 118291
1180.02/1183.80 c #Conflicts: 165000 | #Constraints: 119291
1180.02/1183.80 c #Conflicts: 166000 | #Constraints: 120291
1180.02/1183.80 c #Conflicts: 167000 | #Constraints: 121291
1180.02/1183.80 c #Conflicts: 168000 | #Constraints: 122291
1180.02/1183.80 c #Conflicts: 169000 | #Constraints: 123291
1180.02/1183.80 c #Conflicts: 170000 | #Constraints: 124291
1180.02/1183.80 c #Conflicts: 171000 | #Constraints: 125291
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 172000 | #Constraints: 118091
1180.02/1183.80 c #Conflicts: 173000 | #Constraints: 119091
1180.02/1183.80 c #Conflicts: 174000 | #Constraints: 120091
1180.02/1183.80 c #Conflicts: 175000 | #Constraints: 121091
1180.02/1183.80 c #Conflicts: 176000 | #Constraints: 122091
1180.02/1183.80 c #Conflicts: 177000 | #Constraints: 123091
1180.02/1183.80 c #Conflicts: 178000 | #Constraints: 124091
1180.02/1183.80 c #Conflicts: 179000 | #Constraints: 125091
1180.02/1183.80 c #Conflicts: 180000 | #Constraints: 126091
1180.02/1183.80 c INPROCESSING
1180.02/1183.80 c GARBAGE COLLECT
1180.02/1183.80 c #Conflicts: 181000 | #Constraints: 118692
1180.02/1183.80 c #Conflicts: 182000 | #Constraints: 119692
1180.02/1183.80 c #Conflicts: 183000 | #Constraints: 120692
1180.02/1183.80 c #Conflicts: 184000 | #Constraints: 121692
1180.02/1183.80 c #Conflicts: 185000 | #Constraints: 122692
1180.02/1183.80 c #Conflicts: 186000 | #Constraints: 123692
1180.02/1183.80 c #Conflicts: 187000 | #Constraints: 124692
1180.02/1183.80 c #Conflicts: 188000 | #Constraints: 125692
1180.02/1183.80 c #Conflicts: 189000 | #Constraints: 126692
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 190000 | #Constraints: 119092
1967.83/1973.93 c #Conflicts: 191000 | #Constraints: 120092
1967.83/1973.93 c #Conflicts: 192000 | #Constraints: 121092
1967.83/1973.93 c #Conflicts: 193000 | #Constraints: 122092
1967.83/1973.93 c #Conflicts: 194000 | #Constraints: 123092
1967.83/1973.93 c #Conflicts: 195000 | #Constraints: 124092
1967.83/1973.93 c #Conflicts: 196000 | #Constraints: 125092
1967.83/1973.93 c #Conflicts: 197000 | #Constraints: 126092
1967.83/1973.93 c #Conflicts: 198000 | #Constraints: 127092
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 199000 | #Constraints: 119296
1967.83/1973.93 c #Conflicts: 200000 | #Constraints: 120296
1967.83/1973.93 c #Conflicts: 201000 | #Constraints: 121296
1967.83/1973.93 c #Conflicts: 202000 | #Constraints: 122296
1967.83/1973.93 c #Conflicts: 203000 | #Constraints: 123296
1967.83/1973.93 c #Conflicts: 204000 | #Constraints: 124296
1967.83/1973.93 c #Conflicts: 205000 | #Constraints: 125296
1967.83/1973.93 c #Conflicts: 206000 | #Constraints: 126296
1967.83/1973.93 c #Conflicts: 207000 | #Constraints: 127296
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 208000 | #Constraints: 119291
1967.83/1973.93 c #Conflicts: 209000 | #Constraints: 120291
1967.83/1973.93 c #Conflicts: 210000 | #Constraints: 121291
1967.83/1973.93 c #Conflicts: 211000 | #Constraints: 122291
1967.83/1973.93 c #Conflicts: 212000 | #Constraints: 123291
1967.83/1973.93 c #Conflicts: 213000 | #Constraints: 124291
1967.83/1973.93 c #Conflicts: 214000 | #Constraints: 125291
1967.83/1973.93 c #Conflicts: 215000 | #Constraints: 126291
1967.83/1973.93 c #Conflicts: 216000 | #Constraints: 127291
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 217000 | #Constraints: 119092
1967.83/1973.93 c #Conflicts: 218000 | #Constraints: 120092
1967.83/1973.93 c #Conflicts: 219000 | #Constraints: 121092
1967.83/1973.93 c #Conflicts: 220000 | #Constraints: 122092
1967.83/1973.93 c #Conflicts: 221000 | #Constraints: 123092
1967.83/1973.93 c #Conflicts: 222000 | #Constraints: 124092
1967.83/1973.93 c #Conflicts: 223000 | #Constraints: 125092
1967.83/1973.93 c #Conflicts: 224000 | #Constraints: 126092
1967.83/1973.93 c #Conflicts: 225000 | #Constraints: 127092
1967.83/1973.93 c #Conflicts: 226000 | #Constraints: 128092
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 227000 | #Constraints: 119693
1967.83/1973.93 c #Conflicts: 228000 | #Constraints: 120693
1967.83/1973.93 c #Conflicts: 229000 | #Constraints: 121693
1967.83/1973.93 c #Conflicts: 230000 | #Constraints: 122693
1967.83/1973.93 c #Conflicts: 231000 | #Constraints: 123693
1967.83/1973.93 c #Conflicts: 232000 | #Constraints: 124693
1967.83/1973.93 c #Conflicts: 233000 | #Constraints: 125693
1967.83/1973.93 c #Conflicts: 234000 | #Constraints: 126693
1967.83/1973.93 c #Conflicts: 235000 | #Constraints: 127693
1967.83/1973.93 c #Conflicts: 236000 | #Constraints: 128693
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 237000 | #Constraints: 120093
1967.83/1973.93 c #Conflicts: 238000 | #Constraints: 121093
1967.83/1973.93 c #Conflicts: 239000 | #Constraints: 122093
1967.83/1973.93 c #Conflicts: 240000 | #Constraints: 123093
1967.83/1973.93 c #Conflicts: 241000 | #Constraints: 124093
1967.83/1973.93 c #Conflicts: 242000 | #Constraints: 125093
1967.83/1973.93 c #Conflicts: 243000 | #Constraints: 126093
1967.83/1973.93 c #Conflicts: 244000 | #Constraints: 127093
1967.83/1973.93 c #Conflicts: 245000 | #Constraints: 128093
1967.83/1973.93 c #Conflicts: 246000 | #Constraints: 129093
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 247000 | #Constraints: 120291
1967.83/1973.93 c #Conflicts: 248000 | #Constraints: 121291
1967.83/1973.93 c #Conflicts: 249000 | #Constraints: 122291
1967.83/1973.93 c #Conflicts: 250000 | #Constraints: 123291
1967.83/1973.93 c #Conflicts: 251000 | #Constraints: 124291
1967.83/1973.93 c #Conflicts: 252000 | #Constraints: 125291
1967.83/1973.93 c #Conflicts: 253000 | #Constraints: 126291
1967.83/1973.93 c #Conflicts: 254000 | #Constraints: 127291
1967.83/1973.93 c #Conflicts: 255000 | #Constraints: 128291
1967.83/1973.93 c #Conflicts: 256000 | #Constraints: 129291
1967.83/1973.93 c INPROCESSING
1967.83/1973.93 c GARBAGE COLLECT
1967.83/1973.93 c #Conflicts: 257000 | #Constraints: 120291
1967.83/1973.93 c #Conflicts: 258000 | #Constraints: 121291
1967.83/1973.93 c #Conflicts: 259000 | #Constraints: 122291
1967.83/1973.93 c #Conflicts: 260000 | #Constraints: 123291
1967.83/1973.93 c #Conflicts: 261000 | #Constraints: 124291
1967.83/1973.93 c #Conflicts: 262000 | #Constraints: 125291
2833.98/2842.64 c #Conflicts: 263000 | #Constraints: 126291
2833.98/2842.64 c #Conflicts: 264000 | #Constraints: 127291
2833.98/2842.64 c #Conflicts: 265000 | #Constraints: 128291
2833.98/2842.64 c #Conflicts: 266000 | #Constraints: 129291
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 267000 | #Constraints: 120090
2833.98/2842.64 c #Conflicts: 268000 | #Constraints: 121090
2833.98/2842.64 c #Conflicts: 269000 | #Constraints: 122090
2833.98/2842.64 c #Conflicts: 270000 | #Constraints: 123090
2833.98/2842.64 c #Conflicts: 271000 | #Constraints: 124090
2833.98/2842.64 c #Conflicts: 272000 | #Constraints: 125090
2833.98/2842.64 c #Conflicts: 273000 | #Constraints: 126090
2833.98/2842.64 c #Conflicts: 274000 | #Constraints: 127090
2833.98/2842.64 c #Conflicts: 275000 | #Constraints: 128090
2833.98/2842.64 c #Conflicts: 276000 | #Constraints: 129090
2833.98/2842.64 c #Conflicts: 277000 | #Constraints: 130090
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 278000 | #Constraints: 120693
2833.98/2842.64 c #Conflicts: 279000 | #Constraints: 121693
2833.98/2842.64 c #Conflicts: 280000 | #Constraints: 122693
2833.98/2842.64 c #Conflicts: 281000 | #Constraints: 123693
2833.98/2842.64 c #Conflicts: 282000 | #Constraints: 124693
2833.98/2842.64 c #Conflicts: 283000 | #Constraints: 125693
2833.98/2842.64 c #Conflicts: 284000 | #Constraints: 126693
2833.98/2842.64 c #Conflicts: 285000 | #Constraints: 127693
2833.98/2842.64 c #Conflicts: 286000 | #Constraints: 128693
2833.98/2842.64 c #Conflicts: 287000 | #Constraints: 129693
2833.98/2842.64 c #Conflicts: 288000 | #Constraints: 130693
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 289000 | #Constraints: 121093
2833.98/2842.64 c #Conflicts: 290000 | #Constraints: 122093
2833.98/2842.64 c #Conflicts: 291000 | #Constraints: 123093
2833.98/2842.64 c #Conflicts: 292000 | #Constraints: 124093
2833.98/2842.64 c #Conflicts: 293000 | #Constraints: 125093
2833.98/2842.64 c #Conflicts: 294000 | #Constraints: 126093
2833.98/2842.64 c #Conflicts: 295000 | #Constraints: 127093
2833.98/2842.64 c #Conflicts: 296000 | #Constraints: 128093
2833.98/2842.64 c #Conflicts: 297000 | #Constraints: 129093
2833.98/2842.64 c #Conflicts: 298000 | #Constraints: 130093
2833.98/2842.64 c #Conflicts: 299000 | #Constraints: 131093
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 300000 | #Constraints: 121295
2833.98/2842.64 c #Conflicts: 301000 | #Constraints: 122295
2833.98/2842.64 c #Conflicts: 302000 | #Constraints: 123295
2833.98/2842.64 c #Conflicts: 303000 | #Constraints: 124295
2833.98/2842.64 c #Conflicts: 304000 | #Constraints: 125295
2833.98/2842.64 c #Conflicts: 305000 | #Constraints: 126295
2833.98/2842.64 c #Conflicts: 306000 | #Constraints: 127295
2833.98/2842.64 c #Conflicts: 307000 | #Constraints: 128295
2833.98/2842.64 c #Conflicts: 308000 | #Constraints: 129295
2833.98/2842.64 c #Conflicts: 309000 | #Constraints: 130295
2833.98/2842.64 c #Conflicts: 310000 | #Constraints: 131295
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 311000 | #Constraints: 121292
2833.98/2842.64 c #Conflicts: 312000 | #Constraints: 122292
2833.98/2842.64 c #Conflicts: 313000 | #Constraints: 123292
2833.98/2842.64 c #Conflicts: 314000 | #Constraints: 124292
2833.98/2842.64 c #Conflicts: 315000 | #Constraints: 125292
2833.98/2842.64 c #Conflicts: 316000 | #Constraints: 126292
2833.98/2842.64 c #Conflicts: 317000 | #Constraints: 127292
2833.98/2842.64 c #Conflicts: 318000 | #Constraints: 128292
2833.98/2842.64 c #Conflicts: 319000 | #Constraints: 129292
2833.98/2842.64 c #Conflicts: 320000 | #Constraints: 130292
2833.98/2842.64 c #Conflicts: 321000 | #Constraints: 131292
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 322000 | #Constraints: 121093
2833.98/2842.64 c #Conflicts: 323000 | #Constraints: 122093
2833.98/2842.64 c #Conflicts: 324000 | #Constraints: 123093
2833.98/2842.64 c #Conflicts: 325000 | #Constraints: 124093
2833.98/2842.64 c #Conflicts: 326000 | #Constraints: 125093
2833.98/2842.64 c #Conflicts: 327000 | #Constraints: 126093
2833.98/2842.64 c #Conflicts: 328000 | #Constraints: 127093
2833.98/2842.64 c #Conflicts: 329000 | #Constraints: 128093
2833.98/2842.64 c #Conflicts: 330000 | #Constraints: 129093
2833.98/2842.64 c #Conflicts: 331000 | #Constraints: 130093
2833.98/2842.64 c #Conflicts: 332000 | #Constraints: 131093
2833.98/2842.64 c #Conflicts: 333000 | #Constraints: 132093
2833.98/2842.64 c INPROCESSING
2833.98/2842.64 c GARBAGE COLLECT
2833.98/2842.64 c #Conflicts: 334000 | #Constraints: 121686
2833.98/2842.64 c #Conflicts: 335000 | #Constraints: 122686
2833.98/2842.64 c #Conflicts: 336000 | #Constraints: 123686
2833.98/2842.64 c #Conflicts: 337000 | #Constraints: 124686
3600.06/3610.90 c #Conflicts: 338000 | #Constraints: 125686
3600.06/3610.90 c #Conflicts: 339000 | #Constraints: 126686
3600.06/3610.90 c #Conflicts: 340000 | #Constraints: 127686
3600.06/3610.90 c #Conflicts: 341000 | #Constraints: 128686
3600.06/3610.90 c #Conflicts: 342000 | #Constraints: 129686
3600.06/3610.90 c #Conflicts: 343000 | #Constraints: 130686
3600.06/3610.90 c #Conflicts: 344000 | #Constraints: 131686
3600.06/3610.90 c #Conflicts: 345000 | #Constraints: 132686
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 346000 | #Constraints: 122091
3600.06/3610.90 c #Conflicts: 347000 | #Constraints: 123091
3600.06/3610.90 c #Conflicts: 348000 | #Constraints: 124091
3600.06/3610.90 c #Conflicts: 349000 | #Constraints: 125091
3600.06/3610.90 c #Conflicts: 350000 | #Constraints: 126091
3600.06/3610.90 c #Conflicts: 351000 | #Constraints: 127091
3600.06/3610.90 c #Conflicts: 352000 | #Constraints: 128091
3600.06/3610.90 c #Conflicts: 353000 | #Constraints: 129091
3600.06/3610.90 c #Conflicts: 354000 | #Constraints: 130091
3600.06/3610.90 c #Conflicts: 355000 | #Constraints: 131091
3600.06/3610.90 c #Conflicts: 356000 | #Constraints: 132091
3600.06/3610.90 c #Conflicts: 357000 | #Constraints: 133091
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 358000 | #Constraints: 122291
3600.06/3610.90 c #Conflicts: 359000 | #Constraints: 123291
3600.06/3610.90 c #Conflicts: 360000 | #Constraints: 124291
3600.06/3610.90 c #Conflicts: 361000 | #Constraints: 125291
3600.06/3610.90 c #Conflicts: 362000 | #Constraints: 126291
3600.06/3610.90 c #Conflicts: 363000 | #Constraints: 127291
3600.06/3610.90 c #Conflicts: 364000 | #Constraints: 128291
3600.06/3610.90 c #Conflicts: 365000 | #Constraints: 129291
3600.06/3610.90 c #Conflicts: 366000 | #Constraints: 130291
3600.06/3610.90 c #Conflicts: 367000 | #Constraints: 131291
3600.06/3610.90 c #Conflicts: 368000 | #Constraints: 132291
3600.06/3610.90 c #Conflicts: 369000 | #Constraints: 133291
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 370000 | #Constraints: 122291
3600.06/3610.90 c #Conflicts: 371000 | #Constraints: 123291
3600.06/3610.90 c #Conflicts: 372000 | #Constraints: 124291
3600.06/3610.90 c #Conflicts: 373000 | #Constraints: 125291
3600.06/3610.90 c #Conflicts: 374000 | #Constraints: 126291
3600.06/3610.90 c #Conflicts: 375000 | #Constraints: 127291
3600.06/3610.90 c #Conflicts: 376000 | #Constraints: 128291
3600.06/3610.90 c #Conflicts: 377000 | #Constraints: 129291
3600.06/3610.90 c #Conflicts: 378000 | #Constraints: 130291
3600.06/3610.90 c #Conflicts: 379000 | #Constraints: 131291
3600.06/3610.90 c #Conflicts: 380000 | #Constraints: 132291
3600.06/3610.90 c #Conflicts: 381000 | #Constraints: 133291
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 382000 | #Constraints: 122091
3600.06/3610.90 c #Conflicts: 383000 | #Constraints: 123091
3600.06/3610.90 c #Conflicts: 384000 | #Constraints: 124091
3600.06/3610.90 c #Conflicts: 385000 | #Constraints: 125091
3600.06/3610.90 c #Conflicts: 386000 | #Constraints: 126091
3600.06/3610.90 c #Conflicts: 387000 | #Constraints: 127091
3600.06/3610.90 c #Conflicts: 388000 | #Constraints: 128091
3600.06/3610.90 c #Conflicts: 389000 | #Constraints: 129091
3600.06/3610.90 c #Conflicts: 390000 | #Constraints: 130091
3600.06/3610.90 c #Conflicts: 391000 | #Constraints: 131091
3600.06/3610.90 c #Conflicts: 392000 | #Constraints: 132091
3600.06/3610.90 c #Conflicts: 393000 | #Constraints: 133091
3600.06/3610.90 c #Conflicts: 394000 | #Constraints: 134091
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 395000 | #Constraints: 122692
3600.06/3610.90 c #Conflicts: 396000 | #Constraints: 123692
3600.06/3610.90 c #Conflicts: 397000 | #Constraints: 124692
3600.06/3610.90 c #Conflicts: 398000 | #Constraints: 125692
3600.06/3610.90 c cpu time 3596.29 s
3600.06/3610.90 c deterministic time 1 1.00e+00
3600.06/3610.90 c optimization time 3595.44 s
3600.06/3610.90 c total solve time 0 s
3600.06/3610.90 c core-guided solve time 0 s
3600.06/3610.90 c propagation time 0.086961 s
3600.06/3610.90 c conflict analysis time 0 s
3600.06/3610.90 c propagations 0
3600.06/3610.90 c resolve steps 0
3600.06/3610.90 c decisions 0
3600.06/3610.90 c conflicts 0
3600.06/3610.90 c restarts 0
3600.06/3610.90 c inprocessing phases 0
3600.06/3610.90 c garbage collections 0 ,( -nan )
3600.06/3610.90 c input clauses 109379 ,( 100.00 )
3600.06/3610.90 c input cardinalities 0 ,( 0.00 )
3600.06/3610.90 c input general constraints 0 ,( 0.00 )
3600.06/3610.90 c input average constraint length 2.00
3600.06/3610.90 c input average constraint degree 1.00
3600.06/3610.90 c learned clauses 0 ,( 0.00 )
3600.06/3610.90 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.90 c learned general constraints 0 ,( 0.00 )
3600.06/3610.90 c learned average constraint length 0.00
3600.06/3610.90 c learned average constraint degree 0.00
3600.06/3610.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3610.90 c watched constraints 0 ,( -nan )
3600.06/3610.90 c counting constraints 0 ,( -nan )
3600.06/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.90 c gcd simplifications 0
3600.06/3610.90 c detected cardinalities 0
3600.06/3610.90 c weakened non-implied lits 0
3600.06/3610.90 c weakened non-implying lits 0
3600.06/3610.90 c original variables 1400
3600.06/3610.90 c clausal propagations 0
3600.06/3610.90 c cardinality propagations 0
3600.06/3610.90 c watched propagations 0
3600.06/3610.90 c counting propagations 0
3600.06/3610.90 c watch lookups 0
3600.06/3610.90 c watch backjump lookups 0
3600.06/3610.90 c watch checks 0
3600.06/3610.90 c propagation checks 0
3600.06/3610.90 c constraint additions 0
3600.06/3610.90 c trail pops 0
3600.06/3610.90 c formula constraints 109379
3600.06/3610.90 c learned constraints 0
3600.06/3610.90 c bound constraints 0
3600.06/3610.90 c core-guided constraints 0
3600.06/3610.90 c encountered formula constraints 0
3600.06/3610.90 c encountered learned constraints 0
3600.06/3610.90 c encountered bound constraints 0
3600.06/3610.90 c encountered core-guided constraints 0
3600.06/3610.90 c LP total time 0 s
3600.06/3610.90 c LP solve time 0 s
3600.06/3610.90 c LP constraints added 0
3600.06/3610.90 c LP constraints removed 0
3600.06/3610.90 c LP pivots internal 0
3600.06/3610.90 c LP pivots root 0
3600.06/3610.90 c LP calls 0
3600.06/3610.90 c LP optimalities 0
3600.06/3610.90 c LP no pivot count 0
3600.06/3610.90 c LP infeasibilities 0
3600.06/3610.90 c LP valid Farkas constraints 0
3600.06/3610.90 c LP learned Farkas constraints 0
3600.06/3610.90 c LP basis resets 0
3600.06/3610.90 c LP cycling count 0
3600.06/3610.90 c LP singular count 0
3600.06/3610.90 c LP no primal count 0
3600.06/3610.90 c LP no farkas count 0
3600.06/3610.90 c LP other issue count 0
3600.06/3610.90 c LP Gomory cuts 0
3600.06/3610.90 c LP learned cuts 0
3600.06/3610.90 c LP deleted cuts 0
3600.06/3610.90 c LP encountered Gomory constraints 0
3600.06/3610.90 c LP encountered Farkas constraints 0
3600.06/3610.90 c LP encountered learned Farkas constraints 0
3600.06/3610.90 c CG auxiliary variables introduced 0
3600.06/3610.90 c CG solutions found 0
3600.06/3610.90 c CG cores constructed 0
3600.06/3610.90 c CG core cardinality constraints returned 0
3600.06/3610.90 c CG unit cores 0
3600.06/3610.90 c CG single cores 0
3600.06/3610.90 c CG blocks removed during cardinality reduction 0
3600.06/3610.90 c CG first core best 0
3600.06/3610.90 c CG decision core best 0
3600.06/3610.90 c CG core reduction tie 0
3600.06/3610.90 c CG core degree average 0.00
3600.06/3610.90 c CG core slack average 0.00
3600.06/3610.90 c CG core upper bound improvements 0
3600.06/3610.90 c STR number of successful calls 0
3600.06/3610.90 c STR number of unsuccessful calls 0
3600.06/3610.90 c STR number of inconclusive calls 0
3600.06/3610.90 c STR number of successful attempts 0
3600.06/3610.90 c STR number of unsuccessful attempts 0
3600.06/3610.90 c STR number of inconclusive attempts 0
3600.06/3610.90 c STR average degree increase per successful call inf
3600.06/3610.90 c STR average degree increase per successful attempt inf
3600.06/3610.90 c STR total number of conflicts for successful attempts 0
3600.06/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.90 c STR average number of conflicts per successful attempt inf
3600.06/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.90 c AVG.sumWPerc -nan
3600.06/3610.90 c bigint constraints 0
3600.06/3610.90 s UNKNOWN
3600.06/3610.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (51772 MiB free)
memory of node 1: 64465 MiB (36393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484769-1751295851/watcher-4484769-1751295851 -o /tmp/evaluation-result-4484769-1751295851/solver-4484769-1751295851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39153 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484769-1751295851.opb PROOFDIR/proof-4484769-1751295851
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=39628, runsolver pid=39625
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.10 4.09 6/252 39630
/proc/meminfo: memFree=91220028/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=58088 memory=13072 CPUtime=0.08 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 1172 0 0 0 7 1 0 0 20 0 1 0 45264517 59482112 3268 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 14522 3268 1920 1147 0 1949 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62280 KiB
Current children cumulated memory: 16144 KiB
[startup+0.207109 s]*
/proc/loadavg: 4.11 4.10 4.09 6/252 39630
/proc/meminfo: memFree=95392852/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=59700 memory=14416 CPUtime=0.2 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 1559 0 0 0 15 5 0 0 20 0 1 0 45264517 61132800 3604 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 14925 3604 1920 1147 0 2352 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63892 KiB
Current children cumulated memory: 17488 KiB
[startup+0.313804 s]*
/proc/loadavg: 4.11 4.10 4.09 5/249 39635
/proc/meminfo: memFree=97907808/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=60960 memory=16000 CPUtime=0.3 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 2021 0 0 0 22 8 0 0 20 0 1 0 45264517 62423040 4000 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 15240 4000 1920 1147 0 2667 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65152 KiB
Current children cumulated memory: 19072 KiB
[startup+0.700423 s]
/proc/loadavg: 4.27 4.13 4.10 5/249 39638
/proc/meminfo: memFree=100360992/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=66248 memory=22976 CPUtime=0.67 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 3569 0 0 0 50 17 0 0 20 0 1 0 45264517 67837952 5744 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 16562 5744 1920 1147 0 3989 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70440 KiB
Current children cumulated memory: 26048 KiB
[startup+1.50037 s]
/proc/loadavg: 4.27 4.13 4.10 5/252 39649
/proc/meminfo: memFree=106300080/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=217572 memory=163948 CPUtime=1.47 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 27159 0 0 0 112 35 0 0 20 0 1 0 45264517 222793728 40987 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 54393 40987 2272 1147 0 41820 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 221764 KiB
Current children cumulated memory: 167020 KiB
[startup+3.11333 s]
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106211196/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=218760 memory=166380 CPUtime=3.08 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 27795 0 0 0 268 40 0 0 20 0 1 0 45264517 224010240 41595 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 54690 41595 2336 1147 0 42117 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 222952 KiB
Current children cumulated memory: 169452 KiB
[startup+6.30035 s]
/proc/loadavg: 4.32 4.14 4.11 6/260 39697
/proc/meminfo: memFree=128651536/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=268080 memory=197204 CPUtime=6.26 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28321 0 0 0 583 43 0 0 20 0 1 0 45264517 274513920 49301 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 67020 49301 2336 1147 0 54447 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 272272 KiB
Current children cumulated memory: 200276 KiB
[startup+12.7004 s]
/proc/loadavg: 4.30 4.14 4.11 5/260 39697
/proc/meminfo: memFree=128463364/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=268080 memory=205400 CPUtime=12.64 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28344 0 0 0 1218 46 0 0 20 0 1 0 45264517 274513920 51350 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 67020 51350 2336 1147 0 54447 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 272272 KiB
Current children cumulated memory: 208472 KiB
[startup+25.5005 s]
/proc/loadavg: 4.33 4.15 4.11 5/260 39697
/proc/meminfo: memFree=128392416/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=268080 memory=213600 CPUtime=25.4 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28352 0 0 0 2490 50 0 0 20 0 1 0 45264517 274513920 53400 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 67020 53400 2336 1147 0 54447 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 272272 KiB
Current children cumulated memory: 216672 KiB
[startup+51.114 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 39697
/proc/meminfo: memFree=128333140/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=298900 memory=223912 CPUtime=50.95 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28886 0 0 0 5037 58 0 0 20 0 1 0 45264517 306073600 55978 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 74725 55978 2336 1147 0 62152 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 303092 KiB
Current children cumulated memory: 226984 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 39699
/proc/meminfo: memFree=128263768/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=298900 memory=238260 CPUtime=101.98 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28902 0 0 0 10129 69 0 0 20 0 1 0 45264517 306073600 59565 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 74725 59565 2336 1147 0 62152 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 303092 KiB
Current children cumulated memory: 241332 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128701340/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=298900 memory=246460 CPUtime=161.78 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 28928 0 0 0 16100 78 0 0 20 0 1 0 45264517 306073600 61615 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 74725 61615 2336 1147 0 62152 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 303092 KiB
Current children cumulated memory: 249532 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 39749
/proc/meminfo: memFree=128633384/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=351452 memory=258292 CPUtime=221.57 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 29863 0 0 0 22067 90 0 0 20 0 1 0 45264517 359886848 64573 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 87863 64573 2336 1147 0 75290 0
################
# More data... #
################
/proc/39630/statm: 158162 139822 2336 1147 0 145589 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 636840 KiB
Current children cumulated memory: 562360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/255 39897
/proc/meminfo: memFree=127400668/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=632648 memory=559288 CPUtime=3152.75 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 72646 0 0 0 314930 345 0 0 20 0 1 0 45264517 647831552 139822 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 158162 139822 2336 1147 0 145589 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 636840 KiB
Current children cumulated memory: 562360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/254 39899
/proc/meminfo: memFree=127400112/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=634384 memory=560824 CPUtime=3212.58 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 73006 0 0 0 320909 349 0 0 20 0 1 0 45264517 649609216 140206 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 158596 140206 2336 1147 0 146023 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 638576 KiB
Current children cumulated memory: 563896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/254 39901
/proc/meminfo: memFree=127371932/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=638284 memory=566228 CPUtime=3272.41 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 73876 0 0 0 326887 354 0 0 20 0 1 0 45264517 653602816 141557 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 159571 141557 2336 1147 0 146998 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 642476 KiB
Current children cumulated memory: 569300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/255 39904
/proc/meminfo: memFree=127365684/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=638736 memory=566740 CPUtime=3332.23 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 74000 0 0 0 332866 357 0 0 20 0 1 0 45264517 654065664 141685 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 159684 141685 2336 1147 0 147111 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 642928 KiB
Current children cumulated memory: 569812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/255 39906
/proc/meminfo: memFree=127357072/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=642640 memory=576416 CPUtime=3392.06 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 74890 0 0 0 338844 362 0 0 20 0 1 0 45264517 658063360 144104 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160660 144104 2336 1147 0 148087 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 646832 KiB
Current children cumulated memory: 579488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 39926
/proc/meminfo: memFree=127324200/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=642640 memory=576416 CPUtime=3451.89 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 74891 0 0 0 344823 366 0 0 20 0 1 0 45264517 658063360 144104 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160660 144104 2336 1147 0 148087 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 646832 KiB
Current children cumulated memory: 579488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/257 39929
/proc/meminfo: memFree=127324252/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=642640 memory=576416 CPUtime=3511.71 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 75105 0 0 0 350800 371 0 0 20 0 1 0 45264517 658063360 144104 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160660 144104 2336 1147 0 148087 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 646832 KiB
Current children cumulated memory: 579488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/257 39931
/proc/meminfo: memFree=127310540/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=643412 memory=577568 CPUtime=3571.54 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 75380 0 0 0 356779 375 0 0 20 0 1 0 45264517 658853888 144392 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160853 144392 2336 1147 0 148280 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 647604 KiB
Current children cumulated memory: 580640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.12 4.13 4.13 5/257 39931
/proc/meminfo: memFree=127298500/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=643412 memory=577568 CPUtime=3600.06 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 75380 0 0 0 359629 377 0 0 20 0 1 0 45264517 658853888 144392 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160853 144392 2336 1147 0 148280 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 647604 KiB
Current children cumulated memory: 580640 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.91 s]
# the end of solver process 39628 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.003136 s
Sleeping 2 seconds
[startup+3610.93 s]
# the end of solver process 39630 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.31 s, system=3.78456 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.9 s]
/proc/loadavg: 4.12 4.13 4.13 5/257 39931
/proc/meminfo: memFree=127298500/131382116 swapFree=33010684/33010684
[pid=39628] ppid=39625 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39628/stat : 39628 (run-opt-log.sh) S 39625 39628 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45264516 4292608 768 18446744073709551615 94504432287744 94504433182277 140722570599120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94504433421328 94504433469072 94504465317888 140722570606881 140722570607076 140722570607076 140722570612678 0
/proc/39628/statm: 1048 768 704 219 0 110 0
[pid=39630] ppid=39628 vsize=643412 memory=577568 CPUtime=3600.06 cores=0,2
/proc/39630/stat : 39630 (roundingsat) R 39628 39628 39143 0 -1 4194304 75380 0 0 0 359629 377 0 0 20 0 1 0 45264517 658853888 144392 18446744073709551615 4227072 8923433 140734991640944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41500672 140734991649106 140734991649320 140734991649320 140734991654890 0
/proc/39630/statm: 160853 144392 2336 1147 0 148280 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 647604 KiB
Current children cumulated memory: 580640 KiB
Child status: 2
Real time (s): 3610.93
CPU time (s): 3600.1
CPU user time (s): 3596.31
CPU system time (s): 3.78456
CPU usage (%): 99.7001
Max. virtual memory (cumulated for all children) (KiB): 647604
Max. memory (cumulated for all children) (KiB): 580640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.31
system time used= 3.78456
maximum resident set size= 577952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 156128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268
involuntary context switches= 8495
# summary of solver processes directly reported to runsolver:
# pid: 39628,39630
# total CPU time (s): 3600.1
# total CPU user time (s): 3596.31
# total CPU system time (s): 3.78456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7026 second user time and 37.3238 second system time
The end
Begin job on nodeC010 at 2025-06-30 17:04:11
IDJOB=4484769
IDBENCH=146669
IDSOLVER=3351
FILE ID=nodeC010/4484769-1751295851
RUNJOBID= nodeC010-1751292234-39153
SLURM_JOB_ID= 9594261
Free space on /tmp= 432664 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484769-1751295851/watcher-4484769-1751295851 -o /tmp/evaluation-result-4484769-1751295851/solver-4484769-1751295851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39153 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484769-1751295851.opb PROOFDIR/proof-4484769-1751295851
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121
RANDOM SEED=869255825
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2793.939
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.454
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.867
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 89117428 kB
MemAvailable: 125040244 kB
Buffers: 3280 kB
Cached: 36690344 kB
SwapCached: 0 kB
Active: 5140208 kB
Inactive: 36385552 kB
Active(anon): 4850112 kB
Inactive(anon): 0 kB
Active(file): 290096 kB
Inactive(file): 36385552 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10168 kB
Writeback: 4125380 kB
AnonPages: 4833732 kB
Mapped: 113700 kB
Shmem: 17960 kB
KReclaimable: 173592 kB
Slab: 389064 kB
SReclaimable: 173592 kB
SUnreclaim: 215472 kB
KernelStack: 4048 kB
PageTables: 13664 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6280008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2539520 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432656 MiB
End job on nodeC010 at 2025-06-30 18:04:22