0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 19747 #constraints 3146
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 406528 @ 0.062246
0.00/0.06 c stratification level: 0
569.81/571.71 c #Conflicts: 1000 | #Constraints: 4145
569.81/571.71 c #Conflicts: 2000 | #Constraints: 5145
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 3000 | #Constraints: 5215
569.81/571.71 c #Conflicts: 4000 | #Constraints: 6215
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 5000 | #Constraints: 5646
569.81/571.71 c #Conflicts: 6000 | #Constraints: 6646
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 7000 | #Constraints: 5664
569.81/571.71 c #Conflicts: 8000 | #Constraints: 6664
569.81/571.71 c #Conflicts: 9000 | #Constraints: 7664
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 10000 | #Constraints: 6366
569.81/571.71 c #Conflicts: 11000 | #Constraints: 7366
569.81/571.71 c #Conflicts: 12000 | #Constraints: 8366
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 13000 | #Constraints: 6814
569.81/571.71 c #Conflicts: 14000 | #Constraints: 7814
569.81/571.71 c #Conflicts: 15000 | #Constraints: 8814
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 16000 | #Constraints: 7052
569.81/571.71 c #Conflicts: 17000 | #Constraints: 8052
569.81/571.71 c #Conflicts: 18000 | #Constraints: 9052
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 19000 | #Constraints: 7067
569.81/571.71 c #Conflicts: 20000 | #Constraints: 8067
569.81/571.71 c #Conflicts: 21000 | #Constraints: 9067
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 22000 | #Constraints: 6869
569.81/571.71 c #Conflicts: 23000 | #Constraints: 7869
569.81/571.71 c #Conflicts: 24000 | #Constraints: 8869
569.81/571.71 c #Conflicts: 25000 | #Constraints: 9869
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 26000 | #Constraints: 7475
569.81/571.71 c #Conflicts: 27000 | #Constraints: 8475
569.81/571.71 c #Conflicts: 28000 | #Constraints: 9475
569.81/571.71 c #Conflicts: 29000 | #Constraints: 10475
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 30000 | #Constraints: 7882
569.81/571.71 c #Conflicts: 31000 | #Constraints: 8882
569.81/571.71 c #Conflicts: 32000 | #Constraints: 9882
569.81/571.71 c #Conflicts: 33000 | #Constraints: 10882
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 34000 | #Constraints: 8078
569.81/571.71 c #Conflicts: 35000 | #Constraints: 9078
569.81/571.71 c #Conflicts: 36000 | #Constraints: 10078
569.81/571.71 c #Conflicts: 37000 | #Constraints: 11078
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 38000 | #Constraints: 8070
569.81/571.71 c #Conflicts: 39000 | #Constraints: 9070
569.81/571.71 c #Conflicts: 40000 | #Constraints: 10070
569.81/571.71 c #Conflicts: 41000 | #Constraints: 11070
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 42000 | #Constraints: 7881
569.81/571.71 c #Conflicts: 43000 | #Constraints: 8881
569.81/571.71 c #Conflicts: 44000 | #Constraints: 9881
569.81/571.71 c #Conflicts: 45000 | #Constraints: 10881
569.81/571.71 c #Conflicts: 46000 | #Constraints: 11881
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 47000 | #Constraints: 8480
569.81/571.71 c #Conflicts: 48000 | #Constraints: 9480
569.81/571.71 c #Conflicts: 49000 | #Constraints: 10480
569.81/571.71 c #Conflicts: 50000 | #Constraints: 11480
569.81/571.71 c #Conflicts: 51000 | #Constraints: 12480
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 52000 | #Constraints: 8877
569.81/571.71 c #Conflicts: 53000 | #Constraints: 9877
569.81/571.71 c #Conflicts: 54000 | #Constraints: 10877
569.81/571.71 c #Conflicts: 55000 | #Constraints: 11877
569.81/571.71 c #Conflicts: 56000 | #Constraints: 12877
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 57000 | #Constraints: 9085
569.81/571.71 c #Conflicts: 58000 | #Constraints: 10085
569.81/571.71 c #Conflicts: 59000 | #Constraints: 11085
569.81/571.71 c #Conflicts: 60000 | #Constraints: 12085
569.81/571.71 c #Conflicts: 61000 | #Constraints: 13085
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 62000 | #Constraints: 9087
569.81/571.71 c #Conflicts: 63000 | #Constraints: 10087
569.81/571.71 c #Conflicts: 64000 | #Constraints: 11087
569.81/571.71 c #Conflicts: 65000 | #Constraints: 12087
569.81/571.71 c #Conflicts: 66000 | #Constraints: 13087
569.81/571.71 c INPROCESSING
569.81/571.71 c GARBAGE COLLECT
569.81/571.71 c #Conflicts: 67000 | #Constraints: 8882
569.81/571.71 c #Conflicts: 68000 | #Constraints: 9882
1709.42/1715.12 c #Conflicts: 69000 | #Constraints: 10882
1709.42/1715.12 c #Conflicts: 70000 | #Constraints: 11882
1709.42/1715.12 c #Conflicts: 71000 | #Constraints: 12882
1709.42/1715.12 c #Conflicts: 72000 | #Constraints: 13882
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 73000 | #Constraints: 9481
1709.42/1715.12 c #Conflicts: 74000 | #Constraints: 10481
1709.42/1715.12 c #Conflicts: 75000 | #Constraints: 11481
1709.42/1715.12 c #Conflicts: 76000 | #Constraints: 12481
1709.42/1715.12 c #Conflicts: 77000 | #Constraints: 13481
1709.42/1715.12 c #Conflicts: 78000 | #Constraints: 14481
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 79000 | #Constraints: 9876
1709.42/1715.12 c #Conflicts: 80000 | #Constraints: 10876
1709.42/1715.12 c #Conflicts: 81000 | #Constraints: 11876
1709.42/1715.12 c #Conflicts: 82000 | #Constraints: 12876
1709.42/1715.12 c #Conflicts: 83000 | #Constraints: 13876
1709.42/1715.12 c #Conflicts: 84000 | #Constraints: 14876
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 85000 | #Constraints: 10085
1709.42/1715.12 c #Conflicts: 86000 | #Constraints: 11085
1709.42/1715.12 c #Conflicts: 87000 | #Constraints: 12085
1709.42/1715.12 c #Conflicts: 88000 | #Constraints: 13085
1709.42/1715.12 c #Conflicts: 89000 | #Constraints: 14085
1709.42/1715.12 c #Conflicts: 90000 | #Constraints: 15085
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 91000 | #Constraints: 10093
1709.42/1715.12 c #Conflicts: 92000 | #Constraints: 11093
1709.42/1715.12 c #Conflicts: 93000 | #Constraints: 12093
1709.42/1715.12 c #Conflicts: 94000 | #Constraints: 13093
1709.42/1715.12 c #Conflicts: 95000 | #Constraints: 14093
1709.42/1715.12 c #Conflicts: 96000 | #Constraints: 15093
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 97000 | #Constraints: 9894
1709.42/1715.12 c #Conflicts: 98000 | #Constraints: 10894
1709.42/1715.12 c #Conflicts: 99000 | #Constraints: 11894
1709.42/1715.12 c #Conflicts: 100000 | #Constraints: 12894
1709.42/1715.12 c #Conflicts: 101000 | #Constraints: 13894
1709.42/1715.12 c #Conflicts: 102000 | #Constraints: 14894
1709.42/1715.12 c #Conflicts: 103000 | #Constraints: 15894
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 104000 | #Constraints: 10489
1709.42/1715.12 c #Conflicts: 105000 | #Constraints: 11489
1709.42/1715.12 c #Conflicts: 106000 | #Constraints: 12489
1709.42/1715.12 c #Conflicts: 107000 | #Constraints: 13489
1709.42/1715.12 c #Conflicts: 108000 | #Constraints: 14489
1709.42/1715.12 c #Conflicts: 109000 | #Constraints: 15489
1709.42/1715.12 c #Conflicts: 110000 | #Constraints: 16489
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 111000 | #Constraints: 10886
1709.42/1715.12 c #Conflicts: 112000 | #Constraints: 11886
1709.42/1715.12 c #Conflicts: 113000 | #Constraints: 12886
1709.42/1715.12 c #Conflicts: 114000 | #Constraints: 13886
1709.42/1715.12 c #Conflicts: 115000 | #Constraints: 14886
1709.42/1715.12 c #Conflicts: 116000 | #Constraints: 15886
1709.42/1715.12 c #Conflicts: 117000 | #Constraints: 16886
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 118000 | #Constraints: 11092
1709.42/1715.12 c #Conflicts: 119000 | #Constraints: 12092
1709.42/1715.12 c #Conflicts: 120000 | #Constraints: 13092
1709.42/1715.12 c #Conflicts: 121000 | #Constraints: 14092
1709.42/1715.12 c #Conflicts: 122000 | #Constraints: 15092
1709.42/1715.12 c #Conflicts: 123000 | #Constraints: 16092
1709.42/1715.12 c #Conflicts: 124000 | #Constraints: 17092
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 125000 | #Constraints: 11088
1709.42/1715.12 c #Conflicts: 126000 | #Constraints: 12088
1709.42/1715.12 c #Conflicts: 127000 | #Constraints: 13088
1709.42/1715.12 c #Conflicts: 128000 | #Constraints: 14088
1709.42/1715.12 c #Conflicts: 129000 | #Constraints: 15088
1709.42/1715.12 c #Conflicts: 130000 | #Constraints: 16088
1709.42/1715.12 c #Conflicts: 131000 | #Constraints: 17088
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 132000 | #Constraints: 10897
1709.42/1715.12 c #Conflicts: 133000 | #Constraints: 11897
1709.42/1715.12 c #Conflicts: 134000 | #Constraints: 12897
1709.42/1715.12 c #Conflicts: 135000 | #Constraints: 13897
1709.42/1715.12 c #Conflicts: 136000 | #Constraints: 14897
1709.42/1715.12 c #Conflicts: 137000 | #Constraints: 15897
1709.42/1715.12 c #Conflicts: 138000 | #Constraints: 16897
1709.42/1715.12 c #Conflicts: 139000 | #Constraints: 17897
1709.42/1715.12 c INPROCESSING
1709.42/1715.12 c GARBAGE COLLECT
1709.42/1715.12 c #Conflicts: 140000 | #Constraints: 11496
3600.07/3611.90 c #Conflicts: 141000 | #Constraints: 12496
3600.07/3611.90 c #Conflicts: 142000 | #Constraints: 13496
3600.07/3611.90 c #Conflicts: 143000 | #Constraints: 14496
3600.07/3611.90 c #Conflicts: 144000 | #Constraints: 15496
3600.07/3611.90 c #Conflicts: 145000 | #Constraints: 16496
3600.07/3611.90 c #Conflicts: 146000 | #Constraints: 17496
3600.07/3611.90 c #Conflicts: 147000 | #Constraints: 18496
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 148000 | #Constraints: 11892
3600.07/3611.90 c #Conflicts: 149000 | #Constraints: 12892
3600.07/3611.90 c #Conflicts: 150000 | #Constraints: 13892
3600.07/3611.90 c #Conflicts: 151000 | #Constraints: 14892
3600.07/3611.90 c #Conflicts: 152000 | #Constraints: 15892
3600.07/3611.90 c #Conflicts: 153000 | #Constraints: 16892
3600.07/3611.90 c #Conflicts: 154000 | #Constraints: 17892
3600.07/3611.90 c #Conflicts: 155000 | #Constraints: 18892
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 156000 | #Constraints: 12089
3600.07/3611.90 c #Conflicts: 157000 | #Constraints: 13089
3600.07/3611.90 c #Conflicts: 158000 | #Constraints: 14089
3600.07/3611.90 c #Conflicts: 159000 | #Constraints: 15089
3600.07/3611.90 c #Conflicts: 160000 | #Constraints: 16089
3600.07/3611.90 c #Conflicts: 161000 | #Constraints: 17089
3600.07/3611.90 c #Conflicts: 162000 | #Constraints: 18089
3600.07/3611.90 c #Conflicts: 163000 | #Constraints: 19089
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 164000 | #Constraints: 12095
3600.07/3611.90 c #Conflicts: 165000 | #Constraints: 13095
3600.07/3611.90 c #Conflicts: 166000 | #Constraints: 14095
3600.07/3611.90 c #Conflicts: 167000 | #Constraints: 15095
3600.07/3611.90 c #Conflicts: 168000 | #Constraints: 16095
3600.07/3611.90 c #Conflicts: 169000 | #Constraints: 17095
3600.07/3611.90 c #Conflicts: 170000 | #Constraints: 18095
3600.07/3611.90 c #Conflicts: 171000 | #Constraints: 19095
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 172000 | #Constraints: 11895
3600.07/3611.90 c #Conflicts: 173000 | #Constraints: 12895
3600.07/3611.90 c #Conflicts: 174000 | #Constraints: 13895
3600.07/3611.90 c #Conflicts: 175000 | #Constraints: 14895
3600.07/3611.90 c #Conflicts: 176000 | #Constraints: 15895
3600.07/3611.90 c #Conflicts: 177000 | #Constraints: 16895
3600.07/3611.90 c #Conflicts: 178000 | #Constraints: 17895
3600.07/3611.90 c #Conflicts: 179000 | #Constraints: 18895
3600.07/3611.90 c #Conflicts: 180000 | #Constraints: 19895
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 181000 | #Constraints: 12496
3600.07/3611.90 c #Conflicts: 182000 | #Constraints: 13496
3600.07/3611.90 c #Conflicts: 183000 | #Constraints: 14496
3600.07/3611.90 c #Conflicts: 184000 | #Constraints: 15496
3600.07/3611.90 c #Conflicts: 185000 | #Constraints: 16496
3600.07/3611.90 c #Conflicts: 186000 | #Constraints: 17496
3600.07/3611.90 c #Conflicts: 187000 | #Constraints: 18496
3600.07/3611.90 c #Conflicts: 188000 | #Constraints: 19496
3600.07/3611.90 c #Conflicts: 189000 | #Constraints: 20496
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 190000 | #Constraints: 12894
3600.07/3611.90 c #Conflicts: 191000 | #Constraints: 13894
3600.07/3611.90 c #Conflicts: 192000 | #Constraints: 14894
3600.07/3611.90 c #Conflicts: 193000 | #Constraints: 15894
3600.07/3611.90 c #Conflicts: 194000 | #Constraints: 16894
3600.07/3611.90 c #Conflicts: 195000 | #Constraints: 17894
3600.07/3611.90 c #Conflicts: 196000 | #Constraints: 18894
3600.07/3611.90 c #Conflicts: 197000 | #Constraints: 19894
3600.07/3611.90 c #Conflicts: 198000 | #Constraints: 20894
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 199000 | #Constraints: 13102
3600.07/3611.90 c #Conflicts: 200000 | #Constraints: 14102
3600.07/3611.90 c #Conflicts: 201000 | #Constraints: 15102
3600.07/3611.90 c #Conflicts: 202000 | #Constraints: 16102
3600.07/3611.90 c #Conflicts: 203000 | #Constraints: 17102
3600.07/3611.90 c #Conflicts: 204000 | #Constraints: 18102
3600.07/3611.90 c #Conflicts: 205000 | #Constraints: 19102
3600.07/3611.90 c #Conflicts: 206000 | #Constraints: 20102
3600.07/3611.90 c #Conflicts: 207000 | #Constraints: 21102
3600.07/3611.90 c INPROCESSING
3600.07/3611.90 c GARBAGE COLLECT
3600.07/3611.90 c #Conflicts: 208000 | #Constraints: 13107
3600.07/3611.90 c #Conflicts: 209000 | #Constraints: 14107
3600.07/3611.90 c #Conflicts: 210000 | #Constraints: 15107
3600.07/3611.90 c #Conflicts: 211000 | #Constraints: 16107
3600.07/3611.90 c #Conflicts: 212000 | #Constraints: 17107
3600.07/3611.90 c Program interrupted by user.
3600.07/3611.90 c cpu time 3594.06 s
3600.07/3611.90 c deterministic time 281342936967 2.81e+11
3600.07/3611.90 c optimization time 129.078 s
3600.07/3611.90 c total solve time 3464.92 s
3600.07/3611.90 c core-guided solve time 3464.92 s
3600.07/3611.90 c propagation time 3452.38 s
3600.07/3611.90 c conflict analysis time 130.217 s
3600.07/3611.90 c propagations 359895285
3600.07/3611.90 c resolve steps 4279681
3600.07/3611.90 c decisions 3402423
3600.07/3611.90 c conflicts 212689
3600.07/3611.90 c restarts 510
3600.07/3611.90 c inprocessing phases 37
3600.07/3611.90 c input clauses 426
3600.07/3611.90 c input cardinalities 0
3600.07/3611.90 c input general constraints 2720
3600.07/3611.90 c input average constraint length 46.88
3600.07/3611.90 c input average constraint degree 726852106.66
3600.07/3611.90 c learned clauses 199
3600.07/3611.90 c learned cardinalities 0
3600.07/3611.90 c learned general constraints 212490
3600.07/3611.90 c learned average constraint length 145.90
3600.07/3611.90 c learned average constraint degree 944014277.72
3600.07/3611.90 c watched constraints 215197
3600.07/3611.90 c counting constraints 13
3600.07/3611.90 c gcd simplifications 75
3600.07/3611.90 c detected cardinalities 0
3600.07/3611.90 c weakened non-implied lits 24645
3600.07/3611.90 c weakened non-implying lits 334
3600.07/3611.90 c original variables 19747
3600.07/3611.90 c clausal propagations 842519
3600.07/3611.90 c cardinality propagations 0
3600.07/3611.90 c watched propagations 358941543
3600.07/3611.90 c counting propagations 110659
3600.07/3611.90 c watch lookups 77019041815
3600.07/3611.90 c watch backjump lookups 76959000103
3600.07/3611.90 c watch checks 36569700102
3600.07/3611.90 c propagation checks 89784350640
3600.07/3611.90 c constraint additions 284036435
3600.07/3611.90 c trail pops 363510163
3600.07/3611.90 c formula constraints 3146
3600.07/3611.90 c learned constraints 212689
3600.07/3611.90 c bound constraints 0
3600.07/3611.90 c core-guided constraints 0
3600.07/3611.90 c encountered formula constraints 2173299
3600.07/3611.90 c encountered learned constraints 2319071
3600.07/3611.90 c encountered bound constraints 0
3600.07/3611.90 c encountered core-guided constraints 0
3600.07/3611.90 c LP total time 0 s
3600.07/3611.90 c LP solve time 0 s
3600.07/3611.90 c LP constraints added 0
3600.07/3611.90 c LP constraints removed 0
3600.07/3611.90 c LP pivots internal 0
3600.07/3611.90 c LP pivots root 0
3600.07/3611.90 c LP calls 0
3600.07/3611.90 c LP optimalities 0
3600.07/3611.90 c LP no pivot count 0
3600.07/3611.90 c LP infeasibilities 0
3600.07/3611.90 c LP valid Farkas constraints 0
3600.07/3611.90 c LP learned Farkas constraints 0
3600.07/3611.90 c LP basis resets 0
3600.07/3611.90 c LP cycling count 0
3600.07/3611.90 c LP singular count 0
3600.07/3611.90 c LP no primal count 0
3600.07/3611.90 c LP no farkas count 0
3600.07/3611.90 c LP other issue count 0
3600.07/3611.90 c LP Gomory cuts 0
3600.07/3611.90 c LP learned cuts 0
3600.07/3611.90 c LP deleted cuts 0
3600.07/3611.90 c LP encountered Gomory constraints 0
3600.07/3611.90 c LP encountered Farkas constraints 0
3600.07/3611.90 c LP encountered learned Farkas constraints 0
3600.07/3611.90 c CG auxiliary variables introduced 0
3600.07/3611.90 c CG solutions found 0
3600.07/3611.90 c CG cores constructed 0
3600.07/3611.90 c CG core cardinality constraints returned 0
3600.07/3611.90 c CG unit cores 0
3600.07/3611.90 c CG single cores 0
3600.07/3611.90 c CG blocks removed during cardinality reduction 0
3600.07/3611.90 c CG first core best 0
3600.07/3611.90 c CG decision core best 0
3600.07/3611.90 c CG core reduction tie 0
3600.07/3611.90 c CG core degree average 0.00
3600.07/3611.90 c CG core slack average 0.00
3600.07/3611.90 c CG exhausted 0
3600.07/3611.90 c CG exhaust time 0 s
3600.07/3611.90 c CG trimmed 0
3600.07/3611.90 c CG trim time 0 s
3600.07/3611.90 c CG minimized 0
3600.07/3611.90 c CG minimize time 0 s
3600.07/3611.90 c CG am1 prop time 0.000494 s
3600.07/3611.90 c CG # am1s reformulated 0
3600.07/3611.90 c CG lower bound derived from am1s 0
3600.07/3611.90 c CG # clausal cores 0
3600.07/3611.90 c CG # cardinality cores 0
3600.07/3611.90 c CG # pb cores 0
3600.07/3611.90 c CG # pb reforms 0
3600.07/3611.90 c CG # cores discarded because of pb reform 0
3600.07/3611.90 d LOWERBOUND 0
3600.07/3611.90 d NCORES 0
3600.07/3611.90 d NPBCORES 0
3600.07/3611.90 d NPBREFORM 0
3600.07/3611.90 d NTRIMMED 0
3600.07/3611.90 d NEXHAUSTED 0
3600.07/3611.90 d NAM1S 0
3600.07/3611.90 d AM1LB 0
3600.07/3611.90 s UNKNOWN
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: 64059 MiB (62806 MiB free)
memory of node 1: 64510 MiB (62850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454240-1721444641/watcher-4454240-1721444641 -o /tmp/evaluation-result-4454240-1721444641/solver-4454240-1721444641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032986 --watchdog 3760 pb-oll-rs HOME/instance-4454240-1721444641.opb
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1037094, runsolver pid=1037091
[startup+0.100096 s]*
/proc/loadavg: 4.29 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128661176/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=47056 memory=16104 CPUtime=0.1 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 2479 0 0 0 10 0 0 0 20 0 1 0 196623598 48185344 4026 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 11764 4026 1401 291 0 3298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47056 KiB
Current children cumulated memory: 16104 KiB
[startup+0.213092 s]*
/proc/loadavg: 4.29 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128655404/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=47320 memory=16368 CPUtime=0.21 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 2536 0 0 0 20 1 0 0 20 0 1 0 196623598 48455680 4092 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 11830 4092 1401 291 0 3364 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47320 KiB
Current children cumulated memory: 16368 KiB
[startup+0.312067 s]*
/proc/loadavg: 4.29 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128653256/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=47584 memory=16896 CPUtime=0.32 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 2613 0 0 0 30 2 0 0 20 0 1 0 196623598 48726016 4224 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 11896 4224 1401 291 0 3430 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 16896 KiB
[startup+0.700268 s]
/proc/loadavg: 4.29 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128645052/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=48376 memory=19468 CPUtime=0.69 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 2797 0 0 0 66 3 0 0 20 0 1 0 196623598 49537024 4867 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 12094 4867 1401 291 0 3628 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48376 KiB
Current children cumulated memory: 19468 KiB
[startup+1.5003 s]
/proc/loadavg: 4.29 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128630620/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=49036 memory=20260 CPUtime=1.49 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 2983 0 0 0 145 4 0 0 20 0 1 0 196623598 50212864 5065 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 12259 5065 1401 291 0 3793 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49036 KiB
Current children cumulated memory: 20260 KiB
[startup+3.11253 s]
/proc/loadavg: 4.27 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128581812/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=50388 memory=21572 CPUtime=3.1 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 3299 0 0 0 305 5 0 0 20 0 1 0 196623598 51597312 5393 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 12597 5393 1401 291 0 4131 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 50388 KiB
Current children cumulated memory: 21572 KiB
[startup+6.30029 s]
/proc/loadavg: 4.27 4.29 4.20 5/242 1037097
/proc/meminfo: memFree=128494664/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=51528 memory=22620 CPUtime=6.27 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 3558 0 0 0 621 6 0 0 20 0 1 0 196623598 52764672 5655 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 12882 5655 1401 291 0 4416 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51528 KiB
Current children cumulated memory: 22620 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.30 4.21 5/242 1037097
/proc/meminfo: memFree=128427912/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=55548 memory=24664 CPUtime=12.66 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 4061 0 0 0 1255 11 0 0 20 0 1 0 196623598 56881152 6166 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 13887 6166 1401 291 0 5421 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55548 KiB
Current children cumulated memory: 24664 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.29 4.20 5/242 1037098
/proc/meminfo: memFree=128213608/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=58012 memory=27868 CPUtime=25.42 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 4867 0 0 0 2524 18 0 0 20 0 1 0 196623598 59404288 6967 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 14503 6967 1411 291 0 6037 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 58012 KiB
Current children cumulated memory: 27868 KiB
[startup+51.1126 s]
/proc/loadavg: 4.16 4.26 4.20 5/242 1037103
/proc/meminfo: memFree=128026032/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=59432 memory=30244 CPUtime=50.95 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 5447 0 0 0 5067 28 0 0 20 0 1 0 196623598 60858368 7561 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 14858 7561 1411 291 0 6392 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 59432 KiB
Current children cumulated memory: 30244 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.27 4.20 5/241 1037112
/proc/meminfo: memFree=127584776/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=65452 memory=32448 CPUtime=101.97 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 6050 0 0 0 10151 46 0 0 20 0 1 0 196623598 67022848 8112 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 16363 8112 1411 291 0 7897 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 65452 KiB
Current children cumulated memory: 32448 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/241 1037122
/proc/meminfo: memFree=127348940/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=66412 memory=34032 CPUtime=161.78 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 6420 0 0 0 16109 69 0 0 20 0 1 0 196623598 68005888 8508 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 16603 8508 1411 291 0 8137 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 66412 KiB
Current children cumulated memory: 34032 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.20 4.18 5/241 1037132
/proc/meminfo: memFree=127033632/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=67580 memory=37400 CPUtime=221.58 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 6772 0 0 0 22068 90 0 0 20 0 1 0 196623598 69201920 9350 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 16895 9350 1411 291 0 8429 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 67580 KiB
Current children cumulated memory: 37400 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/241 1037142
/proc/meminfo: memFree=126778284/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=68428 memory=38176 CPUtime=281.38 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 6936 0 0 0 28031 107 0 0 20 0 1 0 196623598 70070272 9544 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 17107 9544 1411 291 0 8641 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 68428 KiB
Current children cumulated memory: 38176 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/241 1037153
/proc/meminfo: memFree=126716240/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=68916 memory=38696 CPUtime=341.18 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 7071 0 0 0 33993 125 0 0 20 0 1 0 196623598 70569984 9674 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 17229 9674 1411 291 0 8763 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 68916 KiB
Current children cumulated memory: 38696 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/243 1037167
/proc/meminfo: memFree=126463180/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=69380 memory=39216 CPUtime=400.98 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 7206 0 0 0 39958 140 0 0 20 0 1 0 196623598 71045120 9804 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 17345 9804 1411 291 0 8879 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 69380 KiB
Current children cumulated memory: 39216 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.21 4.19 5/243 1037177
/proc/meminfo: memFree=126377640/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=69532 memory=39472 CPUtime=460.78 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 7287 0 0 0 45924 154 0 0 20 0 1 0 196623598 71200768 9868 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 17383 9868 1411 291 0 8917 0
################
# More data... #
################
Current children cumulated memory: 58472 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/244 1038231
/proc/meminfo: memFree=122939636/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=100908 memory=58472 CPUtime=2912.71 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11108 0 0 0 290746 525 0 0 20 0 1 0 196623598 103329792 14618 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25227 14618 1411 291 0 16761 0
Current children cumulated CPU time: 2912.71 s
Current children cumulated vsize: 100908 KiB
Current children cumulated memory: 58472 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.20 4.15 5/244 1038241
/proc/meminfo: memFree=122886664/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=101816 memory=59524 CPUtime=2972.51 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11391 0 0 0 296721 530 0 0 20 0 1 0 196623598 104259584 14881 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25454 14881 1411 291 0 16988 0
Current children cumulated CPU time: 2972.51 s
Current children cumulated vsize: 101816 KiB
Current children cumulated memory: 59524 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.18 4.15 5/244 1038252
/proc/meminfo: memFree=122831440/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=102108 memory=59712 CPUtime=3032.32 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11494 0 0 0 302691 541 0 0 20 0 1 0 196623598 104558592 14928 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25527 14928 1411 291 0 17061 0
Current children cumulated CPU time: 3032.32 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 59712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/244 1038647
/proc/meminfo: memFree=122813996/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=102108 memory=59712 CPUtime=3092.13 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11512 0 0 0 308665 548 0 0 20 0 1 0 196623598 104558592 14928 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25527 14928 1411 291 0 17061 0
Current children cumulated CPU time: 3092.13 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 59712 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/243 1038657
/proc/meminfo: memFree=122795924/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=102108 memory=59864 CPUtime=3151.94 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11531 0 0 0 314641 553 0 0 20 0 1 0 196623598 104558592 14966 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25527 14966 1411 291 0 17061 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 59864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.14 6/243 1038667
/proc/meminfo: memFree=122780328/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=102108 memory=59864 CPUtime=3211.74 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11551 0 0 0 320618 556 0 0 20 0 1 0 196623598 104558592 14966 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25527 14966 1411 291 0 17061 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 59864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/243 1038845
/proc/meminfo: memFree=122763220/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103004 memory=60468 CPUtime=3271.54 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11741 0 0 0 326591 563 0 0 20 0 1 0 196623598 105476096 15117 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25751 15117 1411 291 0 17285 0
Current children cumulated CPU time: 3271.54 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 60468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/243 1038856
/proc/meminfo: memFree=122743264/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103004 memory=60468 CPUtime=3331.35 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11759 0 0 0 332564 571 0 0 20 0 1 0 196623598 105476096 15117 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25751 15117 1411 291 0 17285 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 60468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/244 1038870
/proc/meminfo: memFree=122730092/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103004 memory=60468 CPUtime=3391.16 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11780 0 0 0 338539 577 0 0 20 0 1 0 196623598 105476096 15117 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25751 15117 1411 291 0 17285 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 60468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.63 4.27 4.18 5/244 1038891
/proc/meminfo: memFree=122713384/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103356 memory=60768 CPUtime=3450.96 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 11885 0 0 0 344513 583 0 0 20 0 1 0 196623598 105836544 15192 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25839 15192 1411 291 0 17373 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 103356 KiB
Current children cumulated memory: 60768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.32 4.20 5/244 1038902
/proc/meminfo: memFree=122691596/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103976 memory=63528 CPUtime=3510.76 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 12063 0 0 0 350485 591 0 0 20 0 1 0 196623598 106471424 15882 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25994 15882 1411 291 0 17528 0
Current children cumulated CPU time: 3510.76 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 63528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.28 4.19 5/243 1038912
/proc/meminfo: memFree=122676204/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103976 memory=63528 CPUtime=3570.56 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 12081 0 0 0 356458 598 0 0 20 0 1 0 196623598 106471424 15882 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25994 15882 1411 291 0 17528 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 63528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.01 4.23 4.18 2/222 1039011
/proc/meminfo: memFree=128861552/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103976 memory=63528 CPUtime=3600.07 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 12100 0 0 0 359405 602 0 0 20 0 1 0 196623598 106471424 15882 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25994 15882 1411 291 0 17528 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 63528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 1037094 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.06 s, system=6.02831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.01 4.23 4.18 2/222 1039011
/proc/meminfo: memFree=128861552/131655788 swapFree=131071996/131071996
[pid=1037094] ppid=1037091 vsize=103976 memory=63528 CPUtime=3600.07 cores=0,2
/proc/1037094/stat : 1037094 (pb-oll-rs) R 1037091 1037094 1032976 0 -1 4194304 12100 0 0 0 359405 602 0 0 20 0 1 0 196623598 106471424 15882 134679101440 4194304 5384485 140733309855968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11456512 140733309858837 140733309858914 140733309858914 140733309865931 0
/proc/1037094/statm: 25994 15882 1411 291 0 17528 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 63528 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.09
CPU user time (s): 3594.06
CPU system time (s): 6.02831
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 103976
Max. memory (cumulated for all children) (KiB): 63528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.06
system time used= 6.02831
maximum resident set size= 63628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12116
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= 21
involuntary context switches= 24655
# summary of solver processes directly reported to runsolver:
# pid: 1037094
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.06
# total CPU system time (s): 6.02831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1205 second user time and 35.1037 second system time
The end
Begin job on nodeC009 at 2024-07-20 05:04:12
IDJOB=4454240
IDBENCH=146791
IDSOLVER=3082
FILE ID=nodeC009/4454240-1721444641
RUNJOBID= nodeC009-1721437426-1032986
SLURM_JOB_ID= 7545646
Free space on /tmp= 723752 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454240-1721444641/watcher-4454240-1721444641 -o /tmp/evaluation-result-4454240-1721444641/solver-4454240-1721444641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032986 --watchdog 3760 pb-oll-rs HOME/instance-4454240-1721444641.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 881f02ab7f3f3b5ffe74a08302b7945a
RANDOM SEED=2056704864
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3646.106
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3601.920
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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.419
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 3660.929
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3556.876
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.447
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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.490
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128673992 kB
MemAvailable: 129658788 kB
Buffers: 592508 kB
Cached: 1237092 kB
SwapCached: 0 kB
Active: 1154152 kB
Inactive: 1273584 kB
Active(anon): 1468 kB
Inactive(anon): 642876 kB
Active(file): 1152684 kB
Inactive(file): 630708 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13004 kB
Writeback: 0 kB
AnonPages: 598260 kB
Mapped: 111360 kB
Shmem: 45892 kB
KReclaimable: 82868 kB
Slab: 184052 kB
SReclaimable: 82868 kB
SUnreclaim: 101184 kB
KernelStack: 3904 kB
PageTables: 10640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 980628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC009 at 2024-07-20 06:04:24