0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
4.27/4.39 c #variables 42127 #constraints 975848
486.82/488.32 c #Conflicts: 1000 | #Constraints: 976847
486.82/488.32 c #Conflicts: 2000 | #Constraints: 977847
486.82/488.32 c INPROCESSING
486.82/488.32 c #Conflicts: 3000 | #Constraints: 977855
486.82/488.32 c #Conflicts: 4000 | #Constraints: 978855
486.82/488.32 c INPROCESSING
486.82/488.32 c #Conflicts: 5000 | #Constraints: 978249
486.82/488.32 c #Conflicts: 6000 | #Constraints: 979249
486.82/488.32 c INPROCESSING
486.82/488.32 c #Conflicts: 7000 | #Constraints: 978347
486.82/488.32 c #Conflicts: 8000 | #Constraints: 979347
486.82/488.32 c #Conflicts: 9000 | #Constraints: 980347
486.82/488.32 c INPROCESSING
486.82/488.32 c #Conflicts: 10000 | #Constraints: 979024
486.82/488.32 c #Conflicts: 11000 | #Constraints: 980024
486.82/488.32 c #Conflicts: 12000 | #Constraints: 981024
486.82/488.32 c INPROCESSING
486.82/488.32 c rational objective 1593
1750.27/1755.06 c #Conflicts: 13000 | #Constraints: 979512
1750.27/1755.06 c #Conflicts: 14000 | #Constraints: 980512
1750.27/1755.06 c #Conflicts: 15000 | #Constraints: 981512
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 16000 | #Constraints: 979731
1750.27/1755.06 c #Conflicts: 17000 | #Constraints: 980731
1750.27/1755.06 c #Conflicts: 18000 | #Constraints: 981731
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 19000 | #Constraints: 979774
1750.27/1755.06 c #Conflicts: 20000 | #Constraints: 980774
1750.27/1755.06 c #Conflicts: 21000 | #Constraints: 981774
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 22000 | #Constraints: 979635
1750.27/1755.06 c #Conflicts: 23000 | #Constraints: 980635
1750.27/1755.06 c #Conflicts: 24000 | #Constraints: 981635
1750.27/1755.06 c #Conflicts: 25000 | #Constraints: 982635
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 26000 | #Constraints: 980365
1750.27/1755.06 c #Conflicts: 27000 | #Constraints: 981365
1750.27/1755.06 c #Conflicts: 28000 | #Constraints: 982365
1750.27/1755.06 c #Conflicts: 29000 | #Constraints: 983365
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 30000 | #Constraints: 980930
1750.27/1755.06 c #Conflicts: 31000 | #Constraints: 981930
1750.27/1755.06 c #Conflicts: 32000 | #Constraints: 982930
1750.27/1755.06 c #Conflicts: 33000 | #Constraints: 983930
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 34000 | #Constraints: 981053
1750.27/1755.06 c #Conflicts: 35000 | #Constraints: 982053
1750.27/1755.06 c #Conflicts: 36000 | #Constraints: 983053
1750.27/1755.06 c #Conflicts: 37000 | #Constraints: 984053
1750.27/1755.06 c #Conflicts: 38000 | #Constraints: 985053
1750.27/1755.06 c #Conflicts: 39000 | #Constraints: 986053
1750.27/1755.06 c #Conflicts: 40000 | #Constraints: 987053
1750.27/1755.06 c #Conflicts: 41000 | #Constraints: 988053
1750.27/1755.06 c #Conflicts: 42000 | #Constraints: 989053
1750.27/1755.06 c #Conflicts: 43000 | #Constraints: 990053
1750.27/1755.06 c #Conflicts: 44000 | #Constraints: 991053
1750.27/1755.06 c #Conflicts: 45000 | #Constraints: 992053
1750.27/1755.06 c #Conflicts: 46000 | #Constraints: 993053
1750.27/1755.06 c #Conflicts: 47000 | #Constraints: 994053
1750.27/1755.06 c #Conflicts: 48000 | #Constraints: 995053
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c GARBAGE COLLECT
1750.27/1755.06 c #Conflicts: 49000 | #Constraints: 986687
1750.27/1755.06 c #Conflicts: 50000 | #Constraints: 987687
1750.27/1755.06 c #Conflicts: 51000 | #Constraints: 988687
1750.27/1755.06 c #Conflicts: 52000 | #Constraints: 989687
1750.27/1755.06 c #Conflicts: 53000 | #Constraints: 990687
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 54000 | #Constraints: 984302
1750.27/1755.06 c #Conflicts: 55000 | #Constraints: 985302
1750.27/1755.06 c #Conflicts: 56000 | #Constraints: 986302
1750.27/1755.06 c #Conflicts: 57000 | #Constraints: 987302
1750.27/1755.06 c #Conflicts: 58000 | #Constraints: 988302
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 59000 | #Constraints: 982791
1750.27/1755.06 c #Conflicts: 60000 | #Constraints: 983791
1750.27/1755.06 c #Conflicts: 61000 | #Constraints: 984791
1750.27/1755.06 c #Conflicts: 62000 | #Constraints: 985791
1750.27/1755.06 c #Conflicts: 63000 | #Constraints: 986791
1750.27/1755.06 c #Conflicts: 64000 | #Constraints: 987791
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 65000 | #Constraints: 982763
1750.27/1755.06 c #Conflicts: 66000 | #Constraints: 983763
1750.27/1755.06 c #Conflicts: 67000 | #Constraints: 984763
1750.27/1755.06 c #Conflicts: 68000 | #Constraints: 985763
1750.27/1755.06 c #Conflicts: 69000 | #Constraints: 986763
1750.27/1755.06 c #Conflicts: 70000 | #Constraints: 987763
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 71000 | #Constraints: 982880
1750.27/1755.06 c #Conflicts: 72000 | #Constraints: 983880
1750.27/1755.06 c #Conflicts: 73000 | #Constraints: 984880
1750.27/1755.06 c #Conflicts: 74000 | #Constraints: 985880
1750.27/1755.06 c #Conflicts: 75000 | #Constraints: 986880
1750.27/1755.06 c #Conflicts: 76000 | #Constraints: 987880
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c #Conflicts: 77000 | #Constraints: 982906
1750.27/1755.06 c #Conflicts: 78000 | #Constraints: 983906
1750.27/1755.06 c #Conflicts: 79000 | #Constraints: 984906
1750.27/1755.06 c #Conflicts: 80000 | #Constraints: 985906
1750.27/1755.06 c #Conflicts: 81000 | #Constraints: 986906
1750.27/1755.06 c #Conflicts: 82000 | #Constraints: 987906
1750.27/1755.06 c INPROCESSING
1750.27/1755.06 c GARBAGE COLLECT
1750.27/1755.06 c #Conflicts: 83000 | #Constraints: 982557
1750.27/1755.06 c #Conflicts: 84000 | #Constraints: 983557
1750.27/1755.06 c #Conflicts: 85000 | #Constraints: 984557
1750.27/1755.06 c #Conflicts: 86000 | #Constraints: 985557
1750.27/1755.06 c #Conflicts: 87000 | #Constraints: 986557
2290.32/2296.44 c #Conflicts: 88000 | #Constraints: 987557
2290.32/2296.44 c #Conflicts: 89000 | #Constraints: 988557
2290.32/2296.44 c #Conflicts: 90000 | #Constraints: 989557
2290.32/2296.44 c #Conflicts: 91000 | #Constraints: 990557
2290.32/2296.44 c #Conflicts: 92000 | #Constraints: 991557
2290.32/2296.44 c #Conflicts: 93000 | #Constraints: 992557
2290.32/2296.44 c #Conflicts: 94000 | #Constraints: 993557
2290.32/2296.44 c #Conflicts: 95000 | #Constraints: 994557
2290.32/2296.44 c #Conflicts: 96000 | #Constraints: 995557
2290.32/2296.44 c #Conflicts: 97000 | #Constraints: 996557
2290.32/2296.44 c #Conflicts: 98000 | #Constraints: 997557
2290.32/2296.44 c #Conflicts: 99000 | #Constraints: 998557
2290.32/2296.44 c #Conflicts: 100000 | #Constraints: 999557
2290.32/2296.44 c #Conflicts: 101000 | #Constraints: 1000557
2290.32/2296.44 c #Conflicts: 102000 | #Constraints: 1001557
2290.32/2296.44 c #Conflicts: 103000 | #Constraints: 1002557
2290.32/2296.44 c #Conflicts: 104000 | #Constraints: 1003557
2290.32/2296.44 c #Conflicts: 105000 | #Constraints: 1004557
2290.32/2296.44 c #Conflicts: 106000 | #Constraints: 1005557
2290.32/2296.44 c INPROCESSING
2290.32/2296.44 c #Conflicts: 107000 | #Constraints: 991825
2290.32/2296.44 c #Conflicts: 108000 | #Constraints: 992825
2290.32/2296.44 c #Conflicts: 109000 | #Constraints: 993825
2290.32/2296.44 c #Conflicts: 110000 | #Constraints: 994825
2290.32/2296.44 c #Conflicts: 111000 | #Constraints: 995825
2290.32/2296.44 c #Conflicts: 112000 | #Constraints: 996825
2290.32/2296.44 c #Conflicts: 113000 | #Constraints: 997825
2290.32/2296.44 c #Conflicts: 114000 | #Constraints: 998825
2290.32/2296.44 c INPROCESSING
2290.32/2296.44 c GARBAGE COLLECT
2290.32/2296.44 c #Conflicts: 115000 | #Constraints: 988635
2290.32/2296.44 c #Conflicts: 116000 | #Constraints: 989635
2290.32/2296.44 c #Conflicts: 117000 | #Constraints: 990635
2290.32/2296.44 c #Conflicts: 118000 | #Constraints: 991635
2290.32/2296.44 c #Conflicts: 119000 | #Constraints: 992635
2290.32/2296.44 c #Conflicts: 120000 | #Constraints: 993635
2290.32/2296.44 c #Conflicts: 121000 | #Constraints: 994635
2290.32/2296.44 c INPROCESSING
2290.32/2296.44 c #Conflicts: 122000 | #Constraints: 986303
2290.32/2296.44 c #Conflicts: 123000 | #Constraints: 987303
2290.32/2296.44 c #Conflicts: 124000 | #Constraints: 988303
2290.32/2296.44 c #Conflicts: 125000 | #Constraints: 989303
2290.32/2296.44 c #Conflicts: 126000 | #Constraints: 990303
2290.32/2296.44 c #Conflicts: 127000 | #Constraints: 991303
2290.32/2296.44 c #Conflicts: 128000 | #Constraints: 992303
2290.32/2296.44 c #Conflicts: 129000 | #Constraints: 993303
2290.32/2296.44 c #Conflicts: 130000 | #Constraints: 994303
2290.32/2296.44 c #Conflicts: 131000 | #Constraints: 995303
2290.32/2296.44 c #Conflicts: 132000 | #Constraints: 996303
2290.32/2296.44 c #Conflicts: 133000 | #Constraints: 997303
2290.32/2296.44 c #Conflicts: 134000 | #Constraints: 998303
2290.32/2296.44 c #Conflicts: 135000 | #Constraints: 999303
2290.32/2296.44 c #Conflicts: 136000 | #Constraints: 1000303
2290.32/2296.44 c #Conflicts: 137000 | #Constraints: 1001303
2290.32/2296.44 c #Conflicts: 138000 | #Constraints: 1002303
2290.32/2296.44 c #Conflicts: 139000 | #Constraints: 1003303
2290.32/2296.44 c #Conflicts: 140000 | #Constraints: 1004303
2290.32/2296.44 c #Conflicts: 141000 | #Constraints: 1005303
2290.32/2296.44 c #Conflicts: 142000 | #Constraints: 1006303
2290.32/2296.44 c #Conflicts: 143000 | #Constraints: 1007303
2290.32/2296.44 c #Conflicts: 144000 | #Constraints: 1008303
2290.32/2296.44 c #Conflicts: 145000 | #Constraints: 1009303
2290.32/2296.44 c #Conflicts: 146000 | #Constraints: 1010303
2290.32/2296.44 c #Conflicts: 147000 | #Constraints: 1011303
2290.32/2296.44 c #Conflicts: 148000 | #Constraints: 1012303
2290.32/2296.44 c #Conflicts: 149000 | #Constraints: 1013303
2290.32/2296.44 c INPROCESSING
2290.32/2296.44 c GARBAGE COLLECT
2290.32/2296.44 c #Conflicts: 150000 | #Constraints: 995605
2290.32/2296.44 c #Conflicts: 151000 | #Constraints: 996605
2290.32/2296.44 c #Conflicts: 152000 | #Constraints: 997605
2290.32/2296.44 c #Conflicts: 153000 | #Constraints: 998605
2290.32/2296.44 c #Conflicts: 154000 | #Constraints: 999605
2290.32/2296.44 c #Conflicts: 155000 | #Constraints: 1000605
2290.32/2296.44 c #Conflicts: 156000 | #Constraints: 1001605
2290.32/2296.44 c #Conflicts: 157000 | #Constraints: 1002605
2290.32/2296.44 c #Conflicts: 158000 | #Constraints: 1003605
2290.32/2296.44 c INPROCESSING
2290.32/2296.44 c #Conflicts: 159000 | #Constraints: 990640
2290.32/2296.44 c #Conflicts: 160000 | #Constraints: 991640
2290.32/2296.44 c #Conflicts: 161000 | #Constraints: 992640
2290.32/2296.44 c #Conflicts: 162000 | #Constraints: 993640
2290.32/2296.44 c #Conflicts: 163000 | #Constraints: 994640
2589.58/2596.42 c #Conflicts: 164000 | #Constraints: 995640
2589.58/2596.42 c #Conflicts: 165000 | #Constraints: 996640
2589.58/2596.42 c #Conflicts: 166000 | #Constraints: 997640
2589.58/2596.42 c #Conflicts: 167000 | #Constraints: 998640
2589.58/2596.42 c #Conflicts: 168000 | #Constraints: 999640
2589.58/2596.42 c #Conflicts: 169000 | #Constraints: 1000640
2589.58/2596.42 c #Conflicts: 170000 | #Constraints: 1001640
2589.58/2596.42 c #Conflicts: 171000 | #Constraints: 1002640
2589.58/2596.42 c #Conflicts: 172000 | #Constraints: 1003640
2589.58/2596.42 c #Conflicts: 173000 | #Constraints: 1004640
2589.58/2596.42 c #Conflicts: 174000 | #Constraints: 1005640
2589.58/2596.42 c #Conflicts: 175000 | #Constraints: 1006640
2589.58/2596.42 c #Conflicts: 176000 | #Constraints: 1007640
2589.58/2596.42 c #Conflicts: 177000 | #Constraints: 1008640
2589.58/2596.42 c #Conflicts: 178000 | #Constraints: 1009640
2589.58/2596.42 c #Conflicts: 179000 | #Constraints: 1010640
2589.58/2596.42 c #Conflicts: 180000 | #Constraints: 1011640
2589.58/2596.42 c #Conflicts: 181000 | #Constraints: 1012640
2589.58/2596.42 c #Conflicts: 182000 | #Constraints: 1013640
2589.58/2596.42 c #Conflicts: 183000 | #Constraints: 1014640
2589.58/2596.42 c #Conflicts: 184000 | #Constraints: 1015640
2589.58/2596.42 c #Conflicts: 185000 | #Constraints: 1016640
2589.58/2596.42 c #Conflicts: 186000 | #Constraints: 1017640
2589.58/2596.42 c #Conflicts: 187000 | #Constraints: 1018640
2589.58/2596.42 c #Conflicts: 188000 | #Constraints: 1019640
2589.58/2596.42 c #Conflicts: 189000 | #Constraints: 1020640
2589.58/2596.42 c INPROCESSING
2589.58/2596.42 c GARBAGE COLLECT
2589.58/2596.42 c #Conflicts: 190000 | #Constraints: 999584
2589.58/2596.42 c #Conflicts: 191000 | #Constraints: 1000584
2589.58/2596.42 c #Conflicts: 192000 | #Constraints: 1001584
2589.58/2596.42 c #Conflicts: 193000 | #Constraints: 1002584
2589.58/2596.42 c #Conflicts: 194000 | #Constraints: 1003584
2589.58/2596.42 c #Conflicts: 195000 | #Constraints: 1004584
2589.58/2596.42 c #Conflicts: 196000 | #Constraints: 1005584
2589.58/2596.42 c #Conflicts: 197000 | #Constraints: 1006584
2589.58/2596.42 c #Conflicts: 198000 | #Constraints: 1007584
2589.58/2596.42 c #Conflicts: 199000 | #Constraints: 1008584
2589.58/2596.42 c #Conflicts: 200000 | #Constraints: 1009584
2589.58/2596.42 c INPROCESSING
2589.58/2596.42 c #Conflicts: 201000 | #Constraints: 994085
2589.58/2596.42 c #Conflicts: 202000 | #Constraints: 995085
2589.58/2596.42 c #Conflicts: 203000 | #Constraints: 996085
2589.58/2596.42 c #Conflicts: 204000 | #Constraints: 997085
2589.58/2596.42 c #Conflicts: 205000 | #Constraints: 998085
2589.58/2596.42 c #Conflicts: 206000 | #Constraints: 999085
2589.58/2596.42 c #Conflicts: 207000 | #Constraints: 1000085
2589.58/2596.42 c #Conflicts: 208000 | #Constraints: 1001085
2589.58/2596.42 c #Conflicts: 209000 | #Constraints: 1002085
2589.58/2596.42 c #Conflicts: 210000 | #Constraints: 1003085
2589.58/2596.42 c #Conflicts: 211000 | #Constraints: 1004085
2589.58/2596.42 c #Conflicts: 212000 | #Constraints: 1005085
2589.58/2596.42 c #Conflicts: 213000 | #Constraints: 1006085
2589.58/2596.42 c #Conflicts: 214000 | #Constraints: 1007085
2589.58/2596.42 c #Conflicts: 215000 | #Constraints: 1008085
2589.58/2596.42 c #Conflicts: 216000 | #Constraints: 1009085
2589.58/2596.42 c #Conflicts: 217000 | #Constraints: 1010085
2589.58/2596.42 c #Conflicts: 218000 | #Constraints: 1011085
2589.58/2596.42 c #Conflicts: 219000 | #Constraints: 1012085
2589.58/2596.42 c #Conflicts: 220000 | #Constraints: 1013085
2589.58/2596.42 c #Conflicts: 221000 | #Constraints: 1014085
2589.58/2596.42 c #Conflicts: 222000 | #Constraints: 1015085
2589.58/2596.42 c #Conflicts: 223000 | #Constraints: 1016085
2589.58/2596.42 c #Conflicts: 224000 | #Constraints: 1017085
2589.58/2596.42 c #Conflicts: 225000 | #Constraints: 1018085
2589.58/2596.42 c #Conflicts: 226000 | #Constraints: 1019085
2589.58/2596.42 c #Conflicts: 227000 | #Constraints: 1020085
2589.58/2596.42 c #Conflicts: 228000 | #Constraints: 1021085
2589.58/2596.42 c #Conflicts: 229000 | #Constraints: 1022085
2589.58/2596.42 c #Conflicts: 230000 | #Constraints: 1023085
2589.58/2596.42 c #Conflicts: 231000 | #Constraints: 1024085
2589.58/2596.42 c #Conflicts: 232000 | #Constraints: 1025085
2589.58/2596.42 c #Conflicts: 233000 | #Constraints: 1026085
2589.58/2596.42 c #Conflicts: 234000 | #Constraints: 1027085
2589.58/2596.42 c INPROCESSING
2589.58/2596.42 c GARBAGE COLLECT
2589.58/2596.42 c #Conflicts: 235000 | #Constraints: 1002799
2589.58/2596.42 c #Conflicts: 236000 | #Constraints: 1003799
2589.58/2596.42 c #Conflicts: 237000 | #Constraints: 1004799
2589.58/2596.42 c #Conflicts: 238000 | #Constraints: 1005799
2589.58/2596.42 c #Conflicts: 239000 | #Constraints: 1006799
2589.58/2596.42 c #Conflicts: 240000 | #Constraints: 1007799
2589.58/2596.42 c #Conflicts: 241000 | #Constraints: 1008799
2861.43/2868.98 c #Conflicts: 242000 | #Constraints: 1009799
2861.43/2868.98 c #Conflicts: 243000 | #Constraints: 1010799
2861.43/2868.98 c #Conflicts: 244000 | #Constraints: 1011799
2861.43/2868.98 c #Conflicts: 245000 | #Constraints: 1012799
2861.43/2868.98 c INPROCESSING
2861.43/2868.98 c #Conflicts: 246000 | #Constraints: 995392
2861.43/2868.98 c #Conflicts: 247000 | #Constraints: 996392
2861.43/2868.98 c #Conflicts: 248000 | #Constraints: 997392
2861.43/2868.98 c #Conflicts: 249000 | #Constraints: 998392
2861.43/2868.98 c #Conflicts: 250000 | #Constraints: 999392
2861.43/2868.98 c #Conflicts: 251000 | #Constraints: 1000392
2861.43/2868.98 c #Conflicts: 252000 | #Constraints: 1001392
2861.43/2868.98 c #Conflicts: 253000 | #Constraints: 1002392
2861.43/2868.98 c #Conflicts: 254000 | #Constraints: 1003392
2861.43/2868.98 c #Conflicts: 255000 | #Constraints: 1004392
2861.43/2868.98 c #Conflicts: 256000 | #Constraints: 1005392
2861.43/2868.98 c #Conflicts: 257000 | #Constraints: 1006392
2861.43/2868.98 c #Conflicts: 258000 | #Constraints: 1007392
2861.43/2868.98 c #Conflicts: 259000 | #Constraints: 1008392
2861.43/2868.98 c #Conflicts: 260000 | #Constraints: 1009392
2861.43/2868.98 c #Conflicts: 261000 | #Constraints: 1010392
2861.43/2868.98 c #Conflicts: 262000 | #Constraints: 1011392
2861.43/2868.98 c #Conflicts: 263000 | #Constraints: 1012392
2861.43/2868.98 c #Conflicts: 264000 | #Constraints: 1013392
2861.43/2868.98 c #Conflicts: 265000 | #Constraints: 1014392
2861.43/2868.98 c #Conflicts: 266000 | #Constraints: 1015392
2861.43/2868.98 c #Conflicts: 267000 | #Constraints: 1016392
2861.43/2868.98 c #Conflicts: 268000 | #Constraints: 1017392
2861.43/2868.98 c #Conflicts: 269000 | #Constraints: 1018392
2861.43/2868.98 c #Conflicts: 270000 | #Constraints: 1019392
2861.43/2868.98 c #Conflicts: 271000 | #Constraints: 1020392
2861.43/2868.98 c #Conflicts: 272000 | #Constraints: 1021392
2861.43/2868.98 c #Conflicts: 273000 | #Constraints: 1022392
2861.43/2868.98 c #Conflicts: 274000 | #Constraints: 1023392
2861.43/2868.98 c #Conflicts: 275000 | #Constraints: 1024392
2861.43/2868.98 c #Conflicts: 276000 | #Constraints: 1025392
2861.43/2868.98 c #Conflicts: 277000 | #Constraints: 1026392
2861.43/2868.98 c #Conflicts: 278000 | #Constraints: 1027392
2861.43/2868.98 c #Conflicts: 279000 | #Constraints: 1028392
2861.43/2868.98 c #Conflicts: 280000 | #Constraints: 1029392
2861.43/2868.98 c #Conflicts: 281000 | #Constraints: 1030392
2861.43/2868.98 c #Conflicts: 282000 | #Constraints: 1031392
2861.43/2868.98 c INPROCESSING
2861.43/2868.98 c GARBAGE COLLECT
2861.43/2868.98 c #Conflicts: 283000 | #Constraints: 1005074
2861.43/2868.98 c #Conflicts: 284000 | #Constraints: 1006074
2861.43/2868.98 c #Conflicts: 285000 | #Constraints: 1007074
2861.43/2868.98 c #Conflicts: 286000 | #Constraints: 1008074
2861.43/2868.98 c #Conflicts: 287000 | #Constraints: 1009074
2861.43/2868.98 c #Conflicts: 288000 | #Constraints: 1010074
2861.43/2868.98 c #Conflicts: 289000 | #Constraints: 1011074
2861.43/2868.98 c #Conflicts: 290000 | #Constraints: 1012074
2861.43/2868.98 c #Conflicts: 291000 | #Constraints: 1013074
2861.43/2868.98 c #Conflicts: 292000 | #Constraints: 1014074
2861.43/2868.98 c #Conflicts: 293000 | #Constraints: 1015074
2861.43/2868.98 c #Conflicts: 294000 | #Constraints: 1016074
2861.43/2868.98 c #Conflicts: 295000 | #Constraints: 1017074
2861.43/2868.98 c INPROCESSING
2861.43/2868.98 c #Conflicts: 296000 | #Constraints: 997481
2861.43/2868.98 c #Conflicts: 297000 | #Constraints: 998481
2861.43/2868.98 c #Conflicts: 298000 | #Constraints: 999481
2861.43/2868.98 c #Conflicts: 299000 | #Constraints: 1000481
2861.43/2868.98 c #Conflicts: 300000 | #Constraints: 1001481
2861.43/2868.98 c #Conflicts: 301000 | #Constraints: 1002481
2861.43/2868.98 c #Conflicts: 302000 | #Constraints: 1003481
2861.43/2868.98 c #Conflicts: 303000 | #Constraints: 1004481
2861.43/2868.98 c #Conflicts: 304000 | #Constraints: 1005481
2861.43/2868.98 c #Conflicts: 305000 | #Constraints: 1006481
2861.43/2868.98 c #Conflicts: 306000 | #Constraints: 1007481
2861.43/2868.98 c #Conflicts: 307000 | #Constraints: 1008481
2861.43/2868.98 c #Conflicts: 308000 | #Constraints: 1009481
2861.43/2868.98 c #Conflicts: 309000 | #Constraints: 1010481
2861.43/2868.98 c #Conflicts: 310000 | #Constraints: 1011481
2861.43/2868.98 c #Conflicts: 311000 | #Constraints: 1012481
2861.43/2868.98 c #Conflicts: 312000 | #Constraints: 1013481
2861.43/2868.98 c #Conflicts: 313000 | #Constraints: 1014481
2861.43/2868.98 c #Conflicts: 314000 | #Constraints: 1015481
2861.43/2868.98 c #Conflicts: 315000 | #Constraints: 1016481
2861.43/2868.98 c #Conflicts: 316000 | #Constraints: 1017481
2861.43/2868.98 c #Conflicts: 317000 | #Constraints: 1018481
2861.43/2868.98 c #Conflicts: 318000 | #Constraints: 1019481
3177.77/3186.04 c #Conflicts: 319000 | #Constraints: 1020481
3177.77/3186.04 c #Conflicts: 320000 | #Constraints: 1021481
3177.77/3186.04 c #Conflicts: 321000 | #Constraints: 1022481
3177.77/3186.04 c #Conflicts: 322000 | #Constraints: 1023481
3177.77/3186.04 c #Conflicts: 323000 | #Constraints: 1024481
3177.77/3186.04 c #Conflicts: 324000 | #Constraints: 1025481
3177.77/3186.04 c #Conflicts: 325000 | #Constraints: 1026481
3177.77/3186.04 c #Conflicts: 326000 | #Constraints: 1027481
3177.77/3186.04 c #Conflicts: 327000 | #Constraints: 1028481
3177.77/3186.04 c #Conflicts: 328000 | #Constraints: 1029481
3177.77/3186.04 c #Conflicts: 329000 | #Constraints: 1030481
3177.77/3186.04 c #Conflicts: 330000 | #Constraints: 1031481
3177.77/3186.04 c #Conflicts: 331000 | #Constraints: 1032481
3177.77/3186.04 c #Conflicts: 332000 | #Constraints: 1033481
3177.77/3186.04 c #Conflicts: 333000 | #Constraints: 1034481
3177.77/3186.04 c #Conflicts: 334000 | #Constraints: 1035481
3177.77/3186.04 c #Conflicts: 335000 | #Constraints: 1036481
3177.77/3186.04 c #Conflicts: 336000 | #Constraints: 1037481
3177.77/3186.04 c INPROCESSING
3177.77/3186.04 c GARBAGE COLLECT
3177.77/3186.04 c #Conflicts: 337000 | #Constraints: 1008263
3177.77/3186.04 c #Conflicts: 338000 | #Constraints: 1009263
3177.77/3186.04 c #Conflicts: 339000 | #Constraints: 1010263
3177.77/3186.04 c #Conflicts: 340000 | #Constraints: 1011263
3177.77/3186.04 c #Conflicts: 341000 | #Constraints: 1012263
3177.77/3186.04 c #Conflicts: 342000 | #Constraints: 1013263
3177.77/3186.04 c #Conflicts: 343000 | #Constraints: 1014263
3177.77/3186.04 c #Conflicts: 344000 | #Constraints: 1015263
3177.77/3186.04 c #Conflicts: 345000 | #Constraints: 1016263
3177.77/3186.04 c #Conflicts: 346000 | #Constraints: 1017263
3177.77/3186.04 c #Conflicts: 347000 | #Constraints: 1018263
3177.77/3186.04 c #Conflicts: 348000 | #Constraints: 1019263
3177.77/3186.04 c #Conflicts: 349000 | #Constraints: 1020263
3177.77/3186.04 c #Conflicts: 350000 | #Constraints: 1021263
3177.77/3186.04 c INPROCESSING
3177.77/3186.04 c #Conflicts: 351000 | #Constraints: 1000360
3177.77/3186.04 c #Conflicts: 352000 | #Constraints: 1001360
3177.77/3186.04 c #Conflicts: 353000 | #Constraints: 1002360
3177.77/3186.04 c #Conflicts: 354000 | #Constraints: 1003360
3177.77/3186.04 c #Conflicts: 355000 | #Constraints: 1004360
3177.77/3186.04 c #Conflicts: 356000 | #Constraints: 1005360
3177.77/3186.04 c #Conflicts: 357000 | #Constraints: 1006360
3177.77/3186.04 c #Conflicts: 358000 | #Constraints: 1007360
3177.77/3186.04 c #Conflicts: 359000 | #Constraints: 1008360
3177.77/3186.04 c #Conflicts: 360000 | #Constraints: 1009360
3177.77/3186.04 c #Conflicts: 361000 | #Constraints: 1010360
3177.77/3186.04 c #Conflicts: 362000 | #Constraints: 1011360
3177.77/3186.04 c #Conflicts: 363000 | #Constraints: 1012360
3177.77/3186.04 c #Conflicts: 364000 | #Constraints: 1013360
3177.77/3186.04 c #Conflicts: 365000 | #Constraints: 1014360
3177.77/3186.04 c #Conflicts: 366000 | #Constraints: 1015360
3177.77/3186.04 c #Conflicts: 367000 | #Constraints: 1016360
3177.77/3186.04 c #Conflicts: 368000 | #Constraints: 1017360
3177.77/3186.04 c #Conflicts: 369000 | #Constraints: 1018360
3177.77/3186.04 c #Conflicts: 370000 | #Constraints: 1019360
3177.77/3186.04 c #Conflicts: 371000 | #Constraints: 1020360
3177.77/3186.04 c #Conflicts: 372000 | #Constraints: 1021360
3177.77/3186.04 c #Conflicts: 373000 | #Constraints: 1022360
3177.77/3186.04 c #Conflicts: 374000 | #Constraints: 1023360
3177.77/3186.04 c #Conflicts: 375000 | #Constraints: 1024360
3177.77/3186.04 c #Conflicts: 376000 | #Constraints: 1025360
3177.77/3186.04 c #Conflicts: 377000 | #Constraints: 1026360
3177.77/3186.04 c #Conflicts: 378000 | #Constraints: 1027360
3177.77/3186.04 c #Conflicts: 379000 | #Constraints: 1028360
3177.77/3186.04 c #Conflicts: 380000 | #Constraints: 1029360
3177.77/3186.04 c #Conflicts: 381000 | #Constraints: 1030360
3177.77/3186.04 c #Conflicts: 382000 | #Constraints: 1031360
3177.77/3186.04 c #Conflicts: 383000 | #Constraints: 1032360
3177.77/3186.04 c #Conflicts: 384000 | #Constraints: 1033360
3177.77/3186.04 c #Conflicts: 385000 | #Constraints: 1034360
3177.77/3186.04 c #Conflicts: 386000 | #Constraints: 1035360
3177.77/3186.04 c #Conflicts: 387000 | #Constraints: 1036360
3177.77/3186.04 c #Conflicts: 388000 | #Constraints: 1037360
3177.77/3186.04 c #Conflicts: 389000 | #Constraints: 1038360
3177.77/3186.04 c #Conflicts: 390000 | #Constraints: 1039360
3177.77/3186.04 c #Conflicts: 391000 | #Constraints: 1040360
3177.77/3186.04 c #Conflicts: 392000 | #Constraints: 1041360
3177.77/3186.04 c #Conflicts: 393000 | #Constraints: 1042360
3177.77/3186.04 c INPROCESSING
3177.77/3186.04 c GARBAGE COLLECT
3177.77/3186.04 c #Conflicts: 394000 | #Constraints: 1010357
3177.77/3186.04 c #Conflicts: 395000 | #Constraints: 1011357
3600.04/3609.42 c #Conflicts: 396000 | #Constraints: 1012357
3600.04/3609.42 c #Conflicts: 397000 | #Constraints: 1013357
3600.04/3609.42 c #Conflicts: 398000 | #Constraints: 1014357
3600.04/3609.42 c #Conflicts: 399000 | #Constraints: 1015357
3600.04/3609.42 c #Conflicts: 400000 | #Constraints: 1016357
3600.04/3609.42 c #Conflicts: 401000 | #Constraints: 1017357
3600.04/3609.42 c #Conflicts: 402000 | #Constraints: 1018357
3600.04/3609.42 c #Conflicts: 403000 | #Constraints: 1019357
3600.04/3609.42 c #Conflicts: 404000 | #Constraints: 1020357
3600.04/3609.42 c #Conflicts: 405000 | #Constraints: 1021357
3600.04/3609.42 c #Conflicts: 406000 | #Constraints: 1022357
3600.04/3609.42 c #Conflicts: 407000 | #Constraints: 1023357
3600.04/3609.42 c #Conflicts: 408000 | #Constraints: 1024357
3600.04/3609.42 c #Conflicts: 409000 | #Constraints: 1025357
3600.04/3609.42 c INPROCESSING
3600.04/3609.42 c #Conflicts: 410000 | #Constraints: 1002424
3600.04/3609.42 c #Conflicts: 411000 | #Constraints: 1003424
3600.04/3609.42 c #Conflicts: 412000 | #Constraints: 1004424
3600.04/3609.42 c #Conflicts: 413000 | #Constraints: 1005424
3600.04/3609.42 c #Conflicts: 414000 | #Constraints: 1006424
3600.04/3609.42 c #Conflicts: 415000 | #Constraints: 1007424
3600.04/3609.42 c #Conflicts: 416000 | #Constraints: 1008424
3600.04/3609.42 c #Conflicts: 417000 | #Constraints: 1009424
3600.04/3609.42 c #Conflicts: 418000 | #Constraints: 1010424
3600.04/3609.42 c #Conflicts: 419000 | #Constraints: 1011424
3600.04/3609.42 c #Conflicts: 420000 | #Constraints: 1012424
3600.04/3609.42 c #Conflicts: 421000 | #Constraints: 1013424
3600.04/3609.42 c #Conflicts: 422000 | #Constraints: 1014424
3600.04/3609.42 c #Conflicts: 423000 | #Constraints: 1015424
3600.04/3609.42 c #Conflicts: 424000 | #Constraints: 1016424
3600.04/3609.42 c #Conflicts: 425000 | #Constraints: 1017424
3600.04/3609.42 c #Conflicts: 426000 | #Constraints: 1018424
3600.04/3609.42 c #Conflicts: 427000 | #Constraints: 1019424
3600.04/3609.42 c #Conflicts: 428000 | #Constraints: 1020424
3600.04/3609.42 c #Conflicts: 429000 | #Constraints: 1021424
3600.04/3609.42 c #Conflicts: 430000 | #Constraints: 1022424
3600.04/3609.42 c #Conflicts: 431000 | #Constraints: 1023424
3600.04/3609.42 c #Conflicts: 432000 | #Constraints: 1024424
3600.04/3609.42 c #Conflicts: 433000 | #Constraints: 1025424
3600.04/3609.42 c #Conflicts: 434000 | #Constraints: 1026424
3600.04/3609.42 c #Conflicts: 435000 | #Constraints: 1027424
3600.04/3609.42 c #Conflicts: 436000 | #Constraints: 1028424
3600.04/3609.42 c #Conflicts: 437000 | #Constraints: 1029424
3600.04/3609.42 c #Conflicts: 438000 | #Constraints: 1030424
3600.04/3609.42 c #Conflicts: 439000 | #Constraints: 1031424
3600.04/3609.42 c #Conflicts: 440000 | #Constraints: 1032424
3600.04/3609.42 c #Conflicts: 441000 | #Constraints: 1033424
3600.04/3609.42 c #Conflicts: 442000 | #Constraints: 1034424
3600.04/3609.42 c #Conflicts: 443000 | #Constraints: 1035424
3600.04/3609.42 c #Conflicts: 444000 | #Constraints: 1036424
3600.04/3609.42 c #Conflicts: 445000 | #Constraints: 1037424
3600.04/3609.42 c #Conflicts: 446000 | #Constraints: 1038424
3600.04/3609.42 c #Conflicts: 447000 | #Constraints: 1039424
3600.04/3609.42 c #Conflicts: 448000 | #Constraints: 1040424
3600.04/3609.42 c #Conflicts: 449000 | #Constraints: 1041424
3600.04/3609.42 c #Conflicts: 450000 | #Constraints: 1042424
3600.04/3609.42 c #Conflicts: 451000 | #Constraints: 1043424
3600.04/3609.42 c #Conflicts: 452000 | #Constraints: 1044424
3600.04/3609.42 c #Conflicts: 453000 | #Constraints: 1045424
3600.04/3609.42 c #Conflicts: 454000 | #Constraints: 1046424
3600.04/3609.42 c #Conflicts: 455000 | #Constraints: 1047424
3600.04/3609.42 c INPROCESSING
3600.04/3609.42 c GARBAGE COLLECT
3600.04/3609.42 c Disabling crashed LP
3600.16/3609.56 c cpu time 3593 s
3600.16/3609.56 c deterministic time 4647102168 4.65e+09
3600.16/3609.56 c optimization time 0.138434 s
3600.16/3609.56 c total solve time 3589.53 s
3600.16/3609.56 c core-guided solve time 0 s
3600.16/3609.56 c propagation time 116.333 s
3600.16/3609.56 c conflict analysis time 19.2622 s
3600.16/3609.56 c propagations 619569429
3600.16/3609.56 c resolve steps 5586527
3600.16/3609.56 c decisions 5764262
3600.16/3609.56 c conflicts 455600
3600.16/3609.56 c restarts 1021
3600.16/3609.56 c inprocessing phases 34
3600.16/3609.56 c garbage collections 10 ,( 29.41 )
3600.16/3609.56 c input clauses 877004 ,( 89.87 )
3600.16/3609.56 c input cardinalities 3063 ,( 0.31 )
3600.16/3609.56 c input general constraints 95781 ,( 9.82 )
3600.16/3609.56 c input average constraint length 3.86
3600.16/3609.56 c input average constraint degree 1.12
3600.16/3609.56 c learned clauses 455394 ,( 99.95 )
3600.16/3609.56 c learned cardinalities 116 ,( 0.03 )
3600.16/3609.56 c learned general constraints 91 ,( 0.02 )
3600.16/3609.56 c learned average constraint length 115.66
3600.16/3609.56 c learned average constraint degree 32995.16
3600.16/3609.56 c watched CF 32, 64, 128, Arb: 18 , 0 , 0 , 0
3600.16/3609.56 c counting CF 32, 64, 128, Arb: 95854 , 0 , 0 , 0
3600.16/3609.56 c watched constraints 18 ,( 0.02 )
3600.16/3609.56 c counting constraints 95854 ,( 99.98 )
3600.16/3609.56 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 843603111 , 829462 , 17757286 ,( 2976 , 17754310 )
3600.16/3609.56 c gcd simplifications 189
3600.16/3609.56 c detected cardinalities 9
3600.16/3609.56 c weakened non-implied lits 103187
3600.16/3609.56 c weakened non-implying lits 328
3600.16/3609.56 c original variables 42127
3600.16/3609.56 c clausal propagations 614949492
3600.16/3609.56 c cardinality propagations 768931
3600.16/3609.56 c watched propagations 167
3600.16/3609.56 c counting propagations 3393809
3600.16/3609.56 c watch lookups 1077822036
3600.16/3609.56 c watch backjump lookups 0
3600.16/3609.56 c watch checks 1530669221
3600.16/3609.56 c propagation checks 661942250
3600.16/3609.56 c constraint additions 125445895
3600.16/3609.56 c trail pops 625789276
3600.16/3609.56 c formula constraints 975848
3600.16/3609.56 c learned constraints 455600
3600.16/3609.56 c bound constraints 0
3600.16/3609.56 c core-guided constraints 0
3600.16/3609.56 c encountered formula constraints 4507811
3600.16/3609.56 c encountered learned constraints 1534316
3600.16/3609.56 c encountered bound constraints 0
3600.16/3609.56 c encountered core-guided constraints 0
3600.16/3609.56 c LP total time 165.145 s
3600.16/3609.56 c LP solve time 159.82 s
3600.16/3609.56 c LP constraints added 975852
3600.16/3609.56 c LP constraints removed 0
3600.16/3609.56 c LP pivots internal 55308
3600.16/3609.56 c LP pivots root 44490
3600.16/3609.56 c LP calls 9
3600.16/3609.56 c LP optimalities 3
3600.16/3609.56 c LP no pivot count 0
3600.16/3609.56 c LP infeasibilities 0
3600.16/3609.56 c LP valid Farkas constraints 0
3600.16/3609.56 c LP learned Farkas constraints 0
3600.16/3609.56 c LP basis resets 0
3600.16/3609.56 c LP cycling count 0
3600.16/3609.56 c LP singular count 0
3600.16/3609.56 c LP no primal count 0
3600.16/3609.56 c LP no farkas count 0
3600.16/3609.56 c LP other issue count 0
3600.16/3609.56 c LP Gomory cuts 1
3600.16/3609.56 c LP learned cuts 3
3600.16/3609.56 c LP deleted cuts 0
3600.16/3609.56 c LP encountered Gomory constraints 0
3600.16/3609.56 c LP encountered Farkas constraints 0
3600.16/3609.56 c LP encountered learned Farkas constraints 0
3600.16/3609.56 c CG auxiliary variables introduced 0
3600.16/3609.56 c CG solutions found 0
3600.16/3609.56 c CG cores constructed 0
3600.16/3609.56 c CG core cardinality constraints returned 0
3600.16/3609.56 c CG unit cores 0
3600.16/3609.56 c CG single cores 0
3600.16/3609.56 c CG blocks removed during cardinality reduction 0
3600.16/3609.56 c CG first core best 0
3600.16/3609.56 c CG decision core best 0
3600.16/3609.56 c CG core reduction tie 0
3600.16/3609.56 c CG core degree average 0.00
3600.16/3609.56 c CG core slack average 0.00
3600.16/3609.56 c CG core upper bound improvements 0
3600.16/3609.56 c STR number of successful calls 0
3600.16/3609.56 c STR number of unsuccessful calls 0
3600.16/3609.56 c STR number of inconclusive calls 0
3600.16/3609.56 c STR number of successful attempts 0
3600.16/3609.56 c STR number of unsuccessful attempts 0
3600.16/3609.56 c STR number of inconclusive attempts 0
3600.16/3609.56 c STR average degree increase per successful call inf
3600.16/3609.56 c STR average degree increase per successful attempt inf
3600.16/3609.56 c STR total number of conflicts for successful attempts 0
3600.16/3609.56 c STR total number of conflicts for unsuccessful attempts 0
3600.16/3609.56 c STR total number of conflicts for inconclusive attempts 0
3600.16/3609.56 c STR average number of conflicts per successful attempt inf
3600.16/3609.56 c STR average number of conflicts per unsuccessful attempt inf
3600.16/3609.56 c STR average number of conflicts per inconclusive attempt inf
3600.16/3609.56 c AVG.sumWPerc 60.72
3600.16/3609.56 c bigint constraints 0
3600.16/3609.56 s UNKNOWN
3600.16/3609.56 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62322 MiB free)
memory of node 1: 64507 MiB (63602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503602-1751171331/watcher-4503602-1751171331 -o /tmp/evaluation-result-4503602-1751171331/solver-4503602-1751171331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4503602-1751171331.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
LinuxStarting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=20287, runsolver pid=20284
[startup+0.100104 s]*
/proc/loadavg: 4.09 3.69 3.49 5/255 20289
/proc/meminfo: memFree=128928004/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=75644 memory=29924 CPUtime=0.09 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 5416 0 0 0 6 3 0 0 20 0 1 0 32812546 77459456 7481 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 18911 7481 1920 1147 0 6338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79836 KiB
Current children cumulated memory: 32868 KiB
[startup+0.213598 s]*
/proc/loadavg: 4.09 3.69 3.49 5/255 20289
/proc/meminfo: memFree=128916160/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=88268 memory=42976 CPUtime=0.2 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 8731 0 0 0 14 6 0 0 20 0 1 0 32812546 90386432 10744 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 22067 10744 1920 1147 0 9494 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92460 KiB
Current children cumulated memory: 45920 KiB
[startup+0.313364 s]*
/proc/loadavg: 4.16 3.71 3.50 5/255 20289
/proc/meminfo: memFree=128908348/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=99716 memory=53344 CPUtime=0.3 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 11351 0 0 0 22 8 0 0 20 0 1 0 32812546 102109184 13336 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 24929 13336 1920 1147 0 12356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 56288 KiB
[startup+0.700357 s]
/proc/loadavg: 4.16 3.71 3.50 6/255 20289
/proc/meminfo: memFree=128884912/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=140588 memory=95656 CPUtime=0.68 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 21858 0 0 0 50 18 0 0 20 0 1 0 32812546 143962112 23914 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 35147 23914 1920 1147 0 22574 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144780 KiB
Current children cumulated memory: 98600 KiB
[startup+1.5004 s]
/proc/loadavg: 4.16 3.71 3.50 6/255 20289
/proc/meminfo: memFree=128828840/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=239644 memory=189432 CPUtime=1.47 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 43520 0 0 0 108 39 0 0 20 0 1 0 32812546 245395456 47358 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 59911 47358 1920 1147 0 47338 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 243836 KiB
Current children cumulated memory: 192376 KiB
[startup+3.1134 s]
/proc/loadavg: 4.16 3.71 3.50 6/255 20289
/proc/meminfo: memFree=128554808/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=521140 memory=432620 CPUtime=3.08 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 85871 0 0 0 226 82 0 0 20 0 1 0 32812546 533647360 108155 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 130285 108155 2208 1147 0 117712 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 525332 KiB
Current children cumulated memory: 435564 KiB
[startup+6.30041 s]
/proc/loadavg: 4.15 3.72 3.50 6/255 20289
/proc/meminfo: memFree=127493540/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1414880 memory=1300564 CPUtime=6.26 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 132205 0 0 0 505 121 0 0 20 0 1 0 32812546 1448837120 325141 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 353720 325141 2240 1147 0 341147 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1419072 KiB
Current children cumulated memory: 1303508 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 3.72 3.51 6/255 20289
/proc/meminfo: memFree=127541520/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1414880 memory=1300564 CPUtime=12.65 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 132208 0 0 0 1143 122 0 0 20 0 1 0 32812546 1448837120 325141 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 353720 325141 2240 1147 0 341147 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1419072 KiB
Current children cumulated memory: 1303508 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 3.73 3.51 6/255 20338
/proc/meminfo: memFree=127983364/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1414880 memory=1300564 CPUtime=25.41 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 132215 0 0 0 2419 122 0 0 20 0 1 0 32812546 1448837120 325141 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 353720 325141 2240 1147 0 341147 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1419072 KiB
Current children cumulated memory: 1303508 KiB
[startup+51.1134 s]
/proc/loadavg: 4.14 3.77 3.53 6/255 20338
/proc/meminfo: memFree=127787056/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1414880 memory=1300564 CPUtime=50.94 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 132215 0 0 0 4972 122 0 0 20 0 1 0 32812546 1448837120 325141 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 353720 325141 2240 1147 0 341147 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1419072 KiB
Current children cumulated memory: 1303508 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.83 3.57 6/255 20342
/proc/meminfo: memFree=127792692/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1414880 memory=1300564 CPUtime=101.96 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 132225 0 0 0 10074 122 0 0 20 0 1 0 32812546 1448837120 325141 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 353720 325141 2240 1147 0 341147 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1419072 KiB
Current children cumulated memory: 1303508 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.88 3.60 6/255 20344
/proc/meminfo: memFree=127752732/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1443352 memory=1325304 CPUtime=161.78 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 137452 0 0 0 16051 127 0 0 20 0 1 0 32812546 1477992448 331326 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 360838 331326 2304 1147 0 348265 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1447544 KiB
Current children cumulated memory: 1328248 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.93 3.64 6/255 20346
/proc/meminfo: memFree=127720396/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1443676 memory=1330536 CPUtime=221.61 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 137767 0 0 0 22032 129 0 0 20 0 1 0 32812546 1478324224 332634 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 360919 332634 2304 1147 0 348346 0
################
# More data... #
################
[pid=20289] ppid=20287 vsize=1748900 memory=1564044 CPUtime=3094.26 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152599 0 0 0 308776 650 0 0 20 0 1 0 32812546 1790873600 391011 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 391011 2336 1147 0 424652 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1566988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.56 4.22 4.11 5/256 20599
/proc/meminfo: memFree=127353040/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1564044 CPUtime=3154.11 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152599 0 0 0 314761 650 0 0 20 0 1 0 32812546 1790873600 391011 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 391011 2336 1147 0 424652 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1566988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.28 4.14 5/255 20601
/proc/meminfo: memFree=127293012/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1564044 CPUtime=3213.96 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152774 0 0 0 320735 661 0 0 20 0 1 0 32812546 1790873600 391011 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 391011 2336 1147 0 424652 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1566988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.44 4.29 4.15 5/256 20604
/proc/meminfo: memFree=127217780/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1564044 CPUtime=3273.82 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152811 0 0 0 326705 677 0 0 20 0 1 0 32812546 1790873600 391011 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 391011 2336 1147 0 424652 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1566988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.85 4.44 4.21 5/257 20653
/proc/meminfo: memFree=127558296/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3333.64 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152988 0 0 0 332663 701 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.37 4.20 5/256 20655
/proc/meminfo: memFree=127402760/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3393.49 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152988 0 0 0 338643 706 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.33 4.20 5/256 20657
/proc/meminfo: memFree=127367772/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3453.32 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 152989 0 0 0 344623 709 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.29 4.18 5/256 20659
/proc/meminfo: memFree=127287836/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3513.16 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 153151 0 0 0 350603 713 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.26 4.18 5/256 20663
/proc/meminfo: memFree=127256424/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3573 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 153151 0 0 0 356583 717 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.10 4.24 4.18 5/255 20663
/proc/meminfo: memFree=127238784/131382120 swapFree=33010684/33010684
[pid=20287] ppid=20284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20287/stat : 20287 (run-dec-ls.sh) S 20284 20287 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32812545 4292608 736 18446744073709551615 94689340329984 94689341224517 140728934661808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94689341463568 94689341511312 94689341956096 140728934668647 140728934668773 140728934668773 140728934674375 0
/proc/20287/statm: 1048 736 672 219 0 110 0
[pid=20289] ppid=20287 vsize=1748900 memory=1571364 CPUtime=3600.04 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20287 20287 20058 0 -1 4194304 153151 0 0 0 359284 720 0 0 20 0 1 0 32812546 1790873600 392841 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 437225 392841 2336 1147 0 424652 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1753092 KiB
Current children cumulated memory: 1574308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 20287 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001134 s, system=0.001105 s
[startup+3609.64 s]
# the end of solver process 20289 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.07 s, system=7.21788 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+3609.61 s]
/proc/loadavg: 4.10 4.24 4.18 6/254 20663
/proc/meminfo: memFree=127943296/131382120 swapFree=33010684/33010684
[pid=20289] ppid=20284 vsize=938672 memory=825908 CPUtime=3600.26 cores=1,3
/proc/20289/stat : 20289 (roundingsat) R 20284 20287 20058 0 -1 4194304 153356 0 0 0 359305 721 0 0 20 0 1 0 32812546 961200128 206477 18446744073709551615 4227072 8923433 140721310794912 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28647424 140721310800288 140721310800424 140721310800424 140721310805994 0
/proc/20289/statm: 234668 206477 2464 1147 0 222095 0
Current cumulated CPU time of completed processes: 0.002239 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 938672 KiB
Current children cumulated memory: 825908 KiB
Child status: 2
Real time (s): 3609.64
CPU time (s): 3600.29
CPU user time (s): 3593.07
CPU system time (s): 7.21788
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 1753092
Max. memory (cumulated for all children) (KiB): 1574308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.07
system time used= 7.21788
maximum resident set size= 1571748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153580
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= 232
involuntary context switches= 1098
# summary of solver processes directly reported to runsolver:
# pid: 20287,20289
# total CPU time (s): 3600.29
# total CPU user time (s): 3593.07
# total CPU system time (s): 7.21788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0819 second user time and 37.3977 second system time
The end
Begin job on nodeC006 at 2025-06-29 06:28:52
IDJOB=4503602
IDBENCH=155524
IDSOLVER=3353
FILE ID=nodeC006/4503602-1751171331
RUNJOBID= nodeC006-1751170846-20070
SLURM_JOB_ID= 9587530
Free space on /tmp= 432936 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-147.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503602-1751171331/watcher-4503602-1751171331 -o /tmp/evaluation-result-4503602-1751171331/solver-4503602-1751171331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4503602-1751171331.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68b1290c926351b4227086ab823cce81
RANDOM SEED=1001505995
nodeC006 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 : 3491.666
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.32
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 : 3492.752
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.32
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.457
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.32
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.140
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.32
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 : 3556.252
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.32
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 : 3659.070
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.32
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.861
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.32
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.456
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128947660 kB
MemAvailable: 128692624 kB
Buffers: 3280 kB
Cached: 556460 kB
SwapCached: 0 kB
Active: 1559088 kB
Inactive: 308696 kB
Active(anon): 1326004 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 308696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50408 kB
Writeback: 0 kB
AnonPages: 1307916 kB
Mapped: 114624 kB
Shmem: 17960 kB
KReclaimable: 85240 kB
Slab: 164020 kB
SReclaimable: 85240 kB
SUnreclaim: 78780 kB
KernelStack: 4096 kB
PageTables: 5800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1824852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 573440 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC006 at 2025-06-29 07:29:02