0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.10 c #variables 6689 #constraints 6377
79.54/79.82 c #Conflicts: 1000 | #Constraints: 7376
79.54/79.82 c #Conflicts: 2000 | #Constraints: 8376
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c #Conflicts: 3000 | #Constraints: 8386
79.54/79.82 c #Conflicts: 4000 | #Constraints: 9386
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c #Conflicts: 5000 | #Constraints: 8793
79.54/79.82 c #Conflicts: 6000 | #Constraints: 9793
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c #Conflicts: 7000 | #Constraints: 8792
79.54/79.82 c #Conflicts: 8000 | #Constraints: 9792
79.54/79.82 c #Conflicts: 9000 | #Constraints: 10792
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c #Conflicts: 10000 | #Constraints: 9490
79.54/79.82 c #Conflicts: 11000 | #Constraints: 10490
79.54/79.82 c #Conflicts: 12000 | #Constraints: 11490
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c rational objective 18.4918
633.47/635.33 c #Conflicts: 13000 | #Constraints: 9943
633.47/635.33 c #Conflicts: 14000 | #Constraints: 10943
633.47/635.33 c #Conflicts: 15000 | #Constraints: 11943
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 16000 | #Constraints: 10168
633.47/635.33 c #Conflicts: 17000 | #Constraints: 11168
633.47/635.33 c #Conflicts: 18000 | #Constraints: 12168
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 19000 | #Constraints: 10187
633.47/635.33 c #Conflicts: 20000 | #Constraints: 11187
633.47/635.33 c #Conflicts: 21000 | #Constraints: 12188
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 22000 | #Constraints: 9994
633.47/635.33 c #Conflicts: 23000 | #Constraints: 10994
633.47/635.33 c #Conflicts: 24000 | #Constraints: 11994
633.47/635.33 c #Conflicts: 25000 | #Constraints: 12994
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 26000 | #Constraints: 10593
633.47/635.33 c #Conflicts: 27000 | #Constraints: 11593
633.47/635.33 c #Conflicts: 28000 | #Constraints: 12593
633.47/635.33 c #Conflicts: 29000 | #Constraints: 13593
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 30000 | #Constraints: 10995
633.47/635.33 c #Conflicts: 31000 | #Constraints: 11995
633.47/635.33 c #Conflicts: 32000 | #Constraints: 12995
633.47/635.33 c #Conflicts: 33000 | #Constraints: 13995
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 34000 | #Constraints: 11197
633.47/635.33 c #Conflicts: 35000 | #Constraints: 12197
633.47/635.33 c #Conflicts: 36000 | #Constraints: 13197
633.47/635.33 c #Conflicts: 37000 | #Constraints: 14197
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 38000 | #Constraints: 11197
633.47/635.33 c #Conflicts: 39000 | #Constraints: 12197
633.47/635.33 c #Conflicts: 40000 | #Constraints: 13197
633.47/635.33 c #Conflicts: 41000 | #Constraints: 14198
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 42000 | #Constraints: 11003
633.47/635.33 c #Conflicts: 43000 | #Constraints: 12003
633.47/635.33 c #Conflicts: 44000 | #Constraints: 13003
633.47/635.33 c #Conflicts: 45000 | #Constraints: 14003
633.47/635.33 c #Conflicts: 46000 | #Constraints: 15003
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 47000 | #Constraints: 11601
633.47/635.33 c #Conflicts: 48000 | #Constraints: 12601
633.47/635.33 c #Conflicts: 49000 | #Constraints: 13601
633.47/635.33 c #Conflicts: 50000 | #Constraints: 14601
633.47/635.33 c #Conflicts: 51000 | #Constraints: 15602
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 52000 | #Constraints: 12005
633.47/635.33 c #Conflicts: 53000 | #Constraints: 13005
633.47/635.33 c #Conflicts: 54000 | #Constraints: 14006
633.47/635.33 c #Conflicts: 55000 | #Constraints: 15006
633.47/635.33 c #Conflicts: 56000 | #Constraints: 16008
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 57000 | #Constraints: 12203
633.47/635.33 c #Conflicts: 58000 | #Constraints: 13204
633.47/635.33 c #Conflicts: 59000 | #Constraints: 14204
633.47/635.33 c #Conflicts: 60000 | #Constraints: 15205
633.47/635.33 c #Conflicts: 61000 | #Constraints: 16205
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 62000 | #Constraints: 12207
633.47/635.33 c #Conflicts: 63000 | #Constraints: 13208
633.47/635.33 c #Conflicts: 64000 | #Constraints: 14208
633.47/635.33 c #Conflicts: 65000 | #Constraints: 15208
633.47/635.33 c #Conflicts: 66000 | #Constraints: 16208
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 67000 | #Constraints: 12008
633.47/635.33 c #Conflicts: 68000 | #Constraints: 13009
633.47/635.33 c #Conflicts: 69000 | #Constraints: 14009
633.47/635.33 c #Conflicts: 70000 | #Constraints: 15010
633.47/635.33 c #Conflicts: 71000 | #Constraints: 16010
633.47/635.33 c #Conflicts: 72000 | #Constraints: 17011
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 73000 | #Constraints: 12606
633.47/635.33 c #Conflicts: 74000 | #Constraints: 13606
633.47/635.33 c #Conflicts: 75000 | #Constraints: 14607
633.47/635.33 c #Conflicts: 76000 | #Constraints: 15608
633.47/635.33 c #Conflicts: 77000 | #Constraints: 16608
633.47/635.33 c #Conflicts: 78000 | #Constraints: 17609
633.47/635.33 c INPROCESSING
633.47/635.33 c GARBAGE COLLECT
633.47/635.33 c #Conflicts: 79000 | #Constraints: 13005
633.47/635.33 c #Conflicts: 80000 | #Constraints: 14005
633.47/635.33 c #Conflicts: 81000 | #Constraints: 15005
633.47/635.33 c #Conflicts: 82000 | #Constraints: 16005
1195.79/1199.40 c #Conflicts: 83000 | #Constraints: 17005
1195.79/1199.40 c #Conflicts: 84000 | #Constraints: 18005
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 85000 | #Constraints: 13211
1195.79/1199.40 c #Conflicts: 86000 | #Constraints: 14212
1195.79/1199.40 c #Conflicts: 87000 | #Constraints: 15213
1195.79/1199.40 c #Conflicts: 88000 | #Constraints: 16213
1195.79/1199.40 c #Conflicts: 89000 | #Constraints: 17214
1195.79/1199.40 c #Conflicts: 90000 | #Constraints: 18215
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 91000 | #Constraints: 13219
1195.79/1199.40 c #Conflicts: 92000 | #Constraints: 14219
1195.79/1199.40 c #Conflicts: 93000 | #Constraints: 15220
1195.79/1199.40 c #Conflicts: 94000 | #Constraints: 16220
1195.79/1199.40 c #Conflicts: 95000 | #Constraints: 17220
1195.79/1199.40 c #Conflicts: 96000 | #Constraints: 18220
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 97000 | #Constraints: 13021
1195.79/1199.40 c #Conflicts: 98000 | #Constraints: 14021
1195.79/1199.40 c #Conflicts: 99000 | #Constraints: 15022
1195.79/1199.40 c #Conflicts: 100000 | #Constraints: 16022
1195.79/1199.40 c #Conflicts: 101000 | #Constraints: 17023
1195.79/1199.40 c #Conflicts: 102000 | #Constraints: 18023
1195.79/1199.40 c #Conflicts: 103000 | #Constraints: 19023
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 104000 | #Constraints: 13621
1195.79/1199.40 c #Conflicts: 105000 | #Constraints: 14621
1195.79/1199.40 c #Conflicts: 106000 | #Constraints: 15621
1195.79/1199.40 c #Conflicts: 107000 | #Constraints: 16621
1195.79/1199.40 c #Conflicts: 108000 | #Constraints: 17621
1195.79/1199.40 c #Conflicts: 109000 | #Constraints: 18622
1195.79/1199.40 c #Conflicts: 110000 | #Constraints: 19623
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 111000 | #Constraints: 14020
1195.79/1199.40 c #Conflicts: 112000 | #Constraints: 15020
1195.79/1199.40 c #Conflicts: 113000 | #Constraints: 16020
1195.79/1199.40 c #Conflicts: 114000 | #Constraints: 17021
1195.79/1199.40 c #Conflicts: 115000 | #Constraints: 18021
1195.79/1199.40 c #Conflicts: 116000 | #Constraints: 19021
1195.79/1199.40 c #Conflicts: 117000 | #Constraints: 20022
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 118000 | #Constraints: 14215
1195.79/1199.40 c #Conflicts: 119000 | #Constraints: 15216
1195.79/1199.40 c #Conflicts: 120000 | #Constraints: 16216
1195.79/1199.40 c #Conflicts: 121000 | #Constraints: 17216
1195.79/1199.40 c #Conflicts: 122000 | #Constraints: 18216
1195.79/1199.40 c #Conflicts: 123000 | #Constraints: 19217
1195.79/1199.40 c #Conflicts: 124000 | #Constraints: 20217
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 125000 | #Constraints: 14214
1195.79/1199.40 c #Conflicts: 126000 | #Constraints: 15215
1195.79/1199.40 c #Conflicts: 127000 | #Constraints: 16216
1195.79/1199.40 c #Conflicts: 128000 | #Constraints: 17217
1195.79/1199.40 c #Conflicts: 129000 | #Constraints: 18217
1195.79/1199.40 c #Conflicts: 130000 | #Constraints: 19218
1195.79/1199.40 c #Conflicts: 131000 | #Constraints: 20218
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 132000 | #Constraints: 14013
1195.79/1199.40 c #Conflicts: 133000 | #Constraints: 15014
1195.79/1199.40 c #Conflicts: 134000 | #Constraints: 16014
1195.79/1199.40 c #Conflicts: 135000 | #Constraints: 17014
1195.79/1199.40 c #Conflicts: 136000 | #Constraints: 18014
1195.79/1199.40 c #Conflicts: 137000 | #Constraints: 19014
1195.79/1199.40 c #Conflicts: 138000 | #Constraints: 20015
1195.79/1199.40 c #Conflicts: 139000 | #Constraints: 21015
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 140000 | #Constraints: 14610
1195.79/1199.40 c #Conflicts: 141000 | #Constraints: 15610
1195.79/1199.40 c #Conflicts: 142000 | #Constraints: 16610
1195.79/1199.40 c #Conflicts: 143000 | #Constraints: 17610
1195.79/1199.40 c #Conflicts: 144000 | #Constraints: 18611
1195.79/1199.40 c #Conflicts: 145000 | #Constraints: 19611
1195.79/1199.40 c #Conflicts: 146000 | #Constraints: 20611
1195.79/1199.40 c #Conflicts: 147000 | #Constraints: 21611
1195.79/1199.40 c INPROCESSING
1195.79/1199.40 c GARBAGE COLLECT
1195.79/1199.40 c #Conflicts: 148000 | #Constraints: 15014
1195.79/1199.40 c #Conflicts: 149000 | #Constraints: 16014
1195.79/1199.40 c #Conflicts: 150000 | #Constraints: 17014
1195.79/1199.40 c #Conflicts: 151000 | #Constraints: 18014
1195.79/1199.40 c #Conflicts: 152000 | #Constraints: 19014
1195.79/1199.40 c #Conflicts: 153000 | #Constraints: 20014
1195.79/1199.40 c #Conflicts: 154000 | #Constraints: 21015
1208.15/1211.86 c #Conflicts: 155000 | #Constraints: 22016
1208.15/1211.86 c INPROCESSING
1208.15/1211.86 c GARBAGE COLLECT
1208.15/1211.86 c rational objective 18.6441
1918.47/1924.95 c #Conflicts: 156000 | #Constraints: 15215
1918.47/1924.95 c #Conflicts: 157000 | #Constraints: 16215
1918.47/1924.95 c #Conflicts: 158000 | #Constraints: 17215
1918.47/1924.95 c #Conflicts: 159000 | #Constraints: 18215
1918.47/1924.95 c #Conflicts: 160000 | #Constraints: 19215
1918.47/1924.95 c #Conflicts: 161000 | #Constraints: 20216
1918.47/1924.95 c #Conflicts: 162000 | #Constraints: 21216
1918.47/1924.95 c #Conflicts: 163000 | #Constraints: 22216
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 164000 | #Constraints: 15223
1918.47/1924.95 c #Conflicts: 165000 | #Constraints: 16224
1918.47/1924.95 c #Conflicts: 166000 | #Constraints: 17224
1918.47/1924.95 c #Conflicts: 167000 | #Constraints: 18224
1918.47/1924.95 c #Conflicts: 168000 | #Constraints: 19224
1918.47/1924.95 c #Conflicts: 169000 | #Constraints: 20225
1918.47/1924.95 c #Conflicts: 170000 | #Constraints: 21225
1918.47/1924.95 c #Conflicts: 171000 | #Constraints: 22225
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 172000 | #Constraints: 15019
1918.47/1924.95 c #Conflicts: 173000 | #Constraints: 16019
1918.47/1924.95 c #Conflicts: 174000 | #Constraints: 17019
1918.47/1924.95 c #Conflicts: 175000 | #Constraints: 18020
1918.47/1924.95 c #Conflicts: 176000 | #Constraints: 19020
1918.47/1924.95 c #Conflicts: 177000 | #Constraints: 20020
1918.47/1924.95 c #Conflicts: 178000 | #Constraints: 21020
1918.47/1924.95 c #Conflicts: 179000 | #Constraints: 22020
1918.47/1924.95 c #Conflicts: 180000 | #Constraints: 23020
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 181000 | #Constraints: 15623
1918.47/1924.95 c #Conflicts: 182000 | #Constraints: 16623
1918.47/1924.95 c #Conflicts: 183000 | #Constraints: 17623
1918.47/1924.95 c #Conflicts: 184000 | #Constraints: 18624
1918.47/1924.95 c #Conflicts: 185000 | #Constraints: 19625
1918.47/1924.95 c #Conflicts: 186000 | #Constraints: 20625
1918.47/1924.95 c #Conflicts: 187000 | #Constraints: 21625
1918.47/1924.95 c #Conflicts: 188000 | #Constraints: 22628
1918.47/1924.95 c #Conflicts: 189000 | #Constraints: 23629
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 190000 | #Constraints: 16030
1918.47/1924.95 c #Conflicts: 191000 | #Constraints: 17030
1918.47/1924.95 c #Conflicts: 192000 | #Constraints: 18030
1918.47/1924.95 c #Conflicts: 193000 | #Constraints: 19030
1918.47/1924.95 c #Conflicts: 194000 | #Constraints: 20031
1918.47/1924.95 c #Conflicts: 195000 | #Constraints: 21031
1918.47/1924.95 c #Conflicts: 196000 | #Constraints: 22031
1918.47/1924.95 c #Conflicts: 197000 | #Constraints: 23031
1918.47/1924.95 c #Conflicts: 198000 | #Constraints: 24031
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 199000 | #Constraints: 16224
1918.47/1924.95 c #Conflicts: 200000 | #Constraints: 17224
1918.47/1924.95 c #Conflicts: 201000 | #Constraints: 18224
1918.47/1924.95 c #Conflicts: 202000 | #Constraints: 19224
1918.47/1924.95 c #Conflicts: 203000 | #Constraints: 20224
1918.47/1924.95 c #Conflicts: 204000 | #Constraints: 21224
1918.47/1924.95 c #Conflicts: 205000 | #Constraints: 22224
1918.47/1924.95 c #Conflicts: 206000 | #Constraints: 23224
1918.47/1924.95 c #Conflicts: 207000 | #Constraints: 24225
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 208000 | #Constraints: 16223
1918.47/1924.95 c #Conflicts: 209000 | #Constraints: 17223
1918.47/1924.95 c #Conflicts: 210000 | #Constraints: 18223
1918.47/1924.95 c #Conflicts: 211000 | #Constraints: 19223
1918.47/1924.95 c #Conflicts: 212000 | #Constraints: 20224
1918.47/1924.95 c #Conflicts: 213000 | #Constraints: 21224
1918.47/1924.95 c #Conflicts: 214000 | #Constraints: 22225
1918.47/1924.95 c #Conflicts: 215000 | #Constraints: 23225
1918.47/1924.95 c #Conflicts: 216000 | #Constraints: 24225
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 217000 | #Constraints: 16026
1918.47/1924.95 c #Conflicts: 218000 | #Constraints: 17026
1918.47/1924.95 c #Conflicts: 219000 | #Constraints: 18027
1918.47/1924.95 c #Conflicts: 220000 | #Constraints: 19027
1918.47/1924.95 c #Conflicts: 221000 | #Constraints: 20027
1918.47/1924.95 c #Conflicts: 222000 | #Constraints: 21027
1918.47/1924.95 c #Conflicts: 223000 | #Constraints: 22027
1918.47/1924.95 c #Conflicts: 224000 | #Constraints: 23027
1918.47/1924.95 c #Conflicts: 225000 | #Constraints: 24028
1918.47/1924.95 c #Conflicts: 226000 | #Constraints: 25028
1918.47/1924.95 c INPROCESSING
1918.47/1924.95 c GARBAGE COLLECT
1918.47/1924.95 c #Conflicts: 227000 | #Constraints: 16627
1918.47/1924.95 c #Conflicts: 228000 | #Constraints: 17627
1918.47/1924.95 c #Conflicts: 229000 | #Constraints: 18627
2731.78/2741.47 c #Conflicts: 230000 | #Constraints: 19627
2731.78/2741.47 c #Conflicts: 231000 | #Constraints: 20627
2731.78/2741.47 c #Conflicts: 232000 | #Constraints: 21627
2731.78/2741.47 c #Conflicts: 233000 | #Constraints: 22627
2731.78/2741.47 c #Conflicts: 234000 | #Constraints: 23628
2731.78/2741.47 c #Conflicts: 235000 | #Constraints: 24628
2731.78/2741.47 c #Conflicts: 236000 | #Constraints: 25628
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 237000 | #Constraints: 17023
2731.78/2741.47 c #Conflicts: 238000 | #Constraints: 18023
2731.78/2741.47 c #Conflicts: 239000 | #Constraints: 19023
2731.78/2741.47 c #Conflicts: 240000 | #Constraints: 20024
2731.78/2741.47 c #Conflicts: 241000 | #Constraints: 21024
2731.78/2741.47 c #Conflicts: 242000 | #Constraints: 22024
2731.78/2741.47 c #Conflicts: 243000 | #Constraints: 23024
2731.78/2741.47 c #Conflicts: 244000 | #Constraints: 24024
2731.78/2741.47 c #Conflicts: 245000 | #Constraints: 25024
2731.78/2741.47 c #Conflicts: 246000 | #Constraints: 26024
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 247000 | #Constraints: 17232
2731.78/2741.47 c #Conflicts: 248000 | #Constraints: 18232
2731.78/2741.47 c #Conflicts: 249000 | #Constraints: 19232
2731.78/2741.47 c #Conflicts: 250000 | #Constraints: 20232
2731.78/2741.47 c #Conflicts: 251000 | #Constraints: 21232
2731.78/2741.47 c #Conflicts: 252000 | #Constraints: 22233
2731.78/2741.47 c #Conflicts: 253000 | #Constraints: 23233
2731.78/2741.47 c #Conflicts: 254000 | #Constraints: 24233
2731.78/2741.47 c #Conflicts: 255000 | #Constraints: 25233
2731.78/2741.47 c #Conflicts: 256000 | #Constraints: 26234
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 257000 | #Constraints: 17224
2731.78/2741.47 c #Conflicts: 258000 | #Constraints: 18224
2731.78/2741.47 c #Conflicts: 259000 | #Constraints: 19225
2731.78/2741.47 c #Conflicts: 260000 | #Constraints: 20225
2731.78/2741.47 c #Conflicts: 261000 | #Constraints: 21226
2731.78/2741.47 c #Conflicts: 262000 | #Constraints: 22226
2731.78/2741.47 c #Conflicts: 263000 | #Constraints: 23226
2731.78/2741.47 c #Conflicts: 264000 | #Constraints: 24226
2731.78/2741.47 c #Conflicts: 265000 | #Constraints: 25226
2731.78/2741.47 c #Conflicts: 266000 | #Constraints: 26226
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 267000 | #Constraints: 17028
2731.78/2741.47 c #Conflicts: 268000 | #Constraints: 18028
2731.78/2741.47 c #Conflicts: 269000 | #Constraints: 19029
2731.78/2741.47 c #Conflicts: 270000 | #Constraints: 20029
2731.78/2741.47 c #Conflicts: 271000 | #Constraints: 21030
2731.78/2741.47 c #Conflicts: 272000 | #Constraints: 22030
2731.78/2741.47 c #Conflicts: 273000 | #Constraints: 23031
2731.78/2741.47 c #Conflicts: 274000 | #Constraints: 24032
2731.78/2741.47 c #Conflicts: 275000 | #Constraints: 25032
2731.78/2741.47 c #Conflicts: 276000 | #Constraints: 26033
2731.78/2741.47 c #Conflicts: 277000 | #Constraints: 27033
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 278000 | #Constraints: 17632
2731.78/2741.47 c #Conflicts: 279000 | #Constraints: 18632
2731.78/2741.47 c #Conflicts: 280000 | #Constraints: 19632
2731.78/2741.47 c #Conflicts: 281000 | #Constraints: 20632
2731.78/2741.47 c #Conflicts: 282000 | #Constraints: 21632
2731.78/2741.47 c #Conflicts: 283000 | #Constraints: 22632
2731.78/2741.47 c #Conflicts: 284000 | #Constraints: 23632
2731.78/2741.47 c #Conflicts: 285000 | #Constraints: 24632
2731.78/2741.47 c #Conflicts: 286000 | #Constraints: 25632
2731.78/2741.47 c #Conflicts: 287000 | #Constraints: 26632
2731.78/2741.47 c #Conflicts: 288000 | #Constraints: 27632
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c #Conflicts: 289000 | #Constraints: 18035
2731.78/2741.47 c #Conflicts: 290000 | #Constraints: 19035
2731.78/2741.47 c #Conflicts: 291000 | #Constraints: 20035
2731.78/2741.47 c #Conflicts: 292000 | #Constraints: 21035
2731.78/2741.47 c #Conflicts: 293000 | #Constraints: 22035
2731.78/2741.47 c #Conflicts: 294000 | #Constraints: 23035
2731.78/2741.47 c #Conflicts: 295000 | #Constraints: 24036
2731.78/2741.47 c #Conflicts: 296000 | #Constraints: 25036
2731.78/2741.47 c #Conflicts: 297000 | #Constraints: 26036
2731.78/2741.47 c #Conflicts: 298000 | #Constraints: 27037
2731.78/2741.47 c #Conflicts: 299000 | #Constraints: 28037
2731.78/2741.47 c INPROCESSING
2731.78/2741.47 c GARBAGE COLLECT
2731.78/2741.47 c rational objective 18.6998
3600.00/3613.22 c #Conflicts: 300000 | #Constraints: 18236
3600.00/3613.22 c #Conflicts: 301000 | #Constraints: 19236
3600.00/3613.22 c #Conflicts: 302000 | #Constraints: 20236
3600.00/3613.22 c #Conflicts: 303000 | #Constraints: 21236
3600.00/3613.22 c #Conflicts: 304000 | #Constraints: 22236
3600.00/3613.22 c #Conflicts: 305000 | #Constraints: 23236
3600.00/3613.22 c #Conflicts: 306000 | #Constraints: 24236
3600.00/3613.22 c #Conflicts: 307000 | #Constraints: 25236
3600.00/3613.22 c #Conflicts: 308000 | #Constraints: 26236
3600.00/3613.22 c #Conflicts: 309000 | #Constraints: 27236
3600.00/3613.22 c #Conflicts: 310000 | #Constraints: 28236
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 311000 | #Constraints: 18233
3600.00/3613.22 c #Conflicts: 312000 | #Constraints: 19233
3600.00/3613.22 c #Conflicts: 313000 | #Constraints: 20233
3600.00/3613.22 c #Conflicts: 314000 | #Constraints: 21233
3600.00/3613.22 c #Conflicts: 315000 | #Constraints: 22233
3600.00/3613.22 c #Conflicts: 316000 | #Constraints: 23233
3600.00/3613.22 c #Conflicts: 317000 | #Constraints: 24233
3600.00/3613.22 c #Conflicts: 318000 | #Constraints: 25233
3600.00/3613.22 c #Conflicts: 319000 | #Constraints: 26233
3600.00/3613.22 c #Conflicts: 320000 | #Constraints: 27233
3600.00/3613.22 c #Conflicts: 321000 | #Constraints: 28233
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 322000 | #Constraints: 18030
3600.00/3613.22 c #Conflicts: 323000 | #Constraints: 19030
3600.00/3613.22 c #Conflicts: 324000 | #Constraints: 20030
3600.00/3613.22 c #Conflicts: 325000 | #Constraints: 21030
3600.00/3613.22 c #Conflicts: 326000 | #Constraints: 22030
3600.00/3613.22 c #Conflicts: 327000 | #Constraints: 23030
3600.00/3613.22 c #Conflicts: 328000 | #Constraints: 24030
3600.00/3613.22 c #Conflicts: 329000 | #Constraints: 25030
3600.00/3613.22 c #Conflicts: 330000 | #Constraints: 26030
3600.00/3613.22 c #Conflicts: 331000 | #Constraints: 27030
3600.00/3613.22 c #Conflicts: 332000 | #Constraints: 28030
3600.00/3613.22 c #Conflicts: 333000 | #Constraints: 29030
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 334000 | #Constraints: 18639
3600.00/3613.22 c #Conflicts: 335000 | #Constraints: 19639
3600.00/3613.22 c #Conflicts: 336000 | #Constraints: 20639
3600.00/3613.22 c #Conflicts: 337000 | #Constraints: 21639
3600.00/3613.22 c #Conflicts: 338000 | #Constraints: 22639
3600.00/3613.22 c #Conflicts: 339000 | #Constraints: 23639
3600.00/3613.22 c #Conflicts: 340000 | #Constraints: 24639
3600.00/3613.22 c #Conflicts: 341000 | #Constraints: 25639
3600.00/3613.22 c #Conflicts: 342000 | #Constraints: 26639
3600.00/3613.22 c #Conflicts: 343000 | #Constraints: 27639
3600.00/3613.22 c #Conflicts: 344000 | #Constraints: 28639
3600.00/3613.22 c #Conflicts: 345000 | #Constraints: 29639
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 346000 | #Constraints: 19031
3600.00/3613.22 c #Conflicts: 347000 | #Constraints: 20031
3600.00/3613.22 c #Conflicts: 348000 | #Constraints: 21031
3600.00/3613.22 c #Conflicts: 349000 | #Constraints: 22031
3600.00/3613.22 c #Conflicts: 350000 | #Constraints: 23031
3600.00/3613.22 c #Conflicts: 351000 | #Constraints: 24031
3600.00/3613.22 c #Conflicts: 352000 | #Constraints: 25031
3600.00/3613.22 c #Conflicts: 353000 | #Constraints: 26031
3600.00/3613.22 c #Conflicts: 354000 | #Constraints: 27031
3600.00/3613.22 c #Conflicts: 355000 | #Constraints: 28031
3600.00/3613.22 c #Conflicts: 356000 | #Constraints: 29031
3600.00/3613.22 c #Conflicts: 357000 | #Constraints: 30031
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 358000 | #Constraints: 19230
3600.00/3613.22 c #Conflicts: 359000 | #Constraints: 20230
3600.00/3613.22 c #Conflicts: 360000 | #Constraints: 21230
3600.00/3613.22 c #Conflicts: 361000 | #Constraints: 22230
3600.00/3613.22 c #Conflicts: 362000 | #Constraints: 23230
3600.00/3613.22 c #Conflicts: 363000 | #Constraints: 24230
3600.00/3613.22 c #Conflicts: 364000 | #Constraints: 25230
3600.00/3613.22 c #Conflicts: 365000 | #Constraints: 26230
3600.00/3613.22 c #Conflicts: 366000 | #Constraints: 27230
3600.00/3613.22 c #Conflicts: 367000 | #Constraints: 28230
3600.00/3613.22 c #Conflicts: 368000 | #Constraints: 29230
3600.00/3613.22 c #Conflicts: 369000 | #Constraints: 30230
3600.00/3613.22 c INPROCESSING
3600.00/3613.22 c GARBAGE COLLECT
3600.00/3613.22 c #Conflicts: 370000 | #Constraints: 19223
3600.00/3613.22 c #Conflicts: 371000 | #Constraints: 20223
3600.00/3613.22 c cpu time 3576.12 s
3600.00/3613.22 c deterministic time 471149325500 4.71e+11
3600.00/3613.22 c optimization time 9.55198 s
3600.00/3613.22 c total solve time 3566.5 s
3600.00/3613.22 c core-guided solve time 0 s
3600.00/3613.22 c propagation time 2240.07 s
3600.00/3613.22 c conflict analysis time 1171.47 s
3600.00/3613.22 c propagations 199205646
3600.00/3613.22 c resolve steps 7830011
3600.00/3613.22 c decisions 2918517
3600.00/3613.22 c conflicts 371100
3600.00/3613.22 c restarts 891
3600.00/3613.22 c inprocessing phases 52
3600.00/3613.22 c garbage collections 52 ,( 100.00 )
3600.00/3613.22 c input clauses 6255 ,( 98.09 )
3600.00/3613.22 c input cardinalities 121 ,( 1.90 )
3600.00/3613.22 c input general constraints 1 ,( 0.02 )
3600.00/3613.22 c input average constraint length 7.56
3600.00/3613.22 c input average constraint degree 313.88
3600.00/3613.22 c learned clauses 65786 ,( 17.72 )
3600.00/3613.22 c learned cardinalities 4385 ,( 1.18 )
3600.00/3613.22 c learned general constraints 301011 ,( 81.10 )
3600.00/3613.22 c learned average constraint length 2860.13
3600.00/3613.22 c learned average constraint degree 19722198925.27
3600.00/3613.22 c watched CF 32, 64, 128, Arb: 145726 , 0 , 0 , 0
3600.00/3613.22 c counting CF 32, 64, 128, Arb: 155286 , 0 , 0 , 0
3600.00/3613.22 c watched constraints 145726 ,( 48.41 )
3600.00/3613.22 c counting constraints 155286 ,( 51.59 )
3600.00/3613.22 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 69249159 , 5533600 , 3727460292 ,( 902534090 , 2824926202 )
3600.00/3613.22 c gcd simplifications 25817
3600.00/3613.22 c detected cardinalities 2
3600.00/3613.22 c weakened non-implied lits 380143336
3600.00/3613.22 c weakened non-implying lits 3316034
3600.00/3613.22 c original variables 6689
3600.00/3613.22 c clausal propagations 52003785
3600.00/3613.22 c cardinality propagations 47764738
3600.00/3613.22 c watched propagations 3130590
3600.00/3613.22 c counting propagations 91333885
3600.00/3613.22 c watch lookups 182984554541
3600.00/3613.22 c watch backjump lookups 0
3600.00/3613.22 c watch checks 175443083749
3600.00/3613.22 c propagation checks 108284790509
3600.00/3613.22 c constraint additions 4032202004
3600.00/3613.22 c trail pops 202489245
3600.00/3613.22 c formula constraints 6377
3600.00/3613.22 c learned constraints 371041
3600.00/3613.22 c bound constraints 0
3600.00/3613.22 c core-guided constraints 0
3600.00/3613.22 c encountered formula constraints 7173854
3600.00/3613.22 c encountered learned constraints 932592
3600.00/3613.22 c encountered bound constraints 0
3600.00/3613.22 c encountered core-guided constraints 0
3600.00/3613.22 c LP total time 26.5518 s
3600.00/3613.22 c LP solve time 17.98 s
3600.00/3613.22 c LP constraints added 6383
3600.00/3613.22 c LP constraints removed 0
3600.00/3613.22 c LP pivots internal 37393
3600.00/3613.22 c LP pivots root 43895
3600.00/3613.22 c LP calls 84
3600.00/3613.22 c LP optimalities 3
3600.00/3613.22 c LP no pivot count 0
3600.00/3613.22 c LP infeasibilities 76
3600.00/3613.22 c LP valid Farkas constraints 76
3600.00/3613.22 c LP learned Farkas constraints 59
3600.00/3613.22 c LP basis resets 1
3600.00/3613.22 c LP cycling count 1
3600.00/3613.22 c LP singular count 0
3600.00/3613.22 c LP no primal count 0
3600.00/3613.22 c LP no farkas count 0
3600.00/3613.22 c LP other issue count 0
3600.00/3613.22 c LP Gomory cuts 6
3600.00/3613.22 c LP learned cuts 0
3600.00/3613.22 c LP deleted cuts 0
3600.00/3613.22 c LP encountered Gomory constraints 0
3600.00/3613.22 c LP encountered Farkas constraints 94498
3600.00/3613.22 c LP encountered learned Farkas constraints 108
3600.00/3613.22 c CG auxiliary variables introduced 0
3600.00/3613.22 c CG solutions found 0
3600.00/3613.22 c CG cores constructed 0
3600.00/3613.22 c CG core cardinality constraints returned 0
3600.00/3613.22 c CG unit cores 0
3600.00/3613.22 c CG single cores 0
3600.00/3613.22 c CG blocks removed during cardinality reduction 0
3600.00/3613.22 c CG first core best 0
3600.00/3613.22 c CG decision core best 0
3600.00/3613.22 c CG core reduction tie 0
3600.00/3613.22 c CG core degree average 0.00
3600.00/3613.22 c CG core slack average 0.00
3600.00/3613.22 c CG core upper bound improvements 0
3600.00/3613.22 c STR number of successful calls 0
3600.00/3613.22 c STR number of unsuccessful calls 0
3600.00/3613.22 c STR number of inconclusive calls 0
3600.00/3613.22 c STR number of successful attempts 0
3600.00/3613.22 c STR number of unsuccessful attempts 0
3600.00/3613.22 c STR number of inconclusive attempts 0
3600.00/3613.22 c STR average degree increase per successful call inf
3600.00/3613.22 c STR average degree increase per successful attempt inf
3600.00/3613.22 c STR total number of conflicts for successful attempts 0
3600.00/3613.22 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3613.22 c STR total number of conflicts for inconclusive attempts 0
3600.00/3613.22 c STR average number of conflicts per successful attempt inf
3600.00/3613.22 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3613.22 c STR average number of conflicts per inconclusive attempt inf
3600.00/3613.22 c AVG.sumWPerc 41.35
3600.00/3613.22 c bigint constraints 0
3600.00/3613.22 s UNKNOWN
3600.00/3613.22 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 (62097 MiB free)
memory of node 1: 64507 MiB (60442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515239-1751222308/watcher-4515239-1751222308 -o /tmp/evaluation-result-4515239-1751222308/solver-4515239-1751222308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751214947-26458 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515239-1751222308.opb PROOFDIR/proof-4515239-1751222308
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27796, runsolver pid=27793
[startup+0.100104 s]*
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125472420/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=69196 memory=22780 CPUtime=0.09 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 4401 0 0 0 7 2 0 0 20 0 1 0 37909730 70856704 5695 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 17299 5695 2208 1147 0 4726 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73388 KiB
Current children cumulated memory: 25596 KiB
[startup+0.213801 s]*
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125464104/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=70632 memory=23932 CPUtime=0.2 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 4660 0 0 0 18 2 0 0 20 0 1 0 37909730 72327168 5983 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 17658 5983 2240 1147 0 5085 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74824 KiB
Current children cumulated memory: 26748 KiB
[startup+0.313269 s]*
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125456040/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=71196 memory=24316 CPUtime=0.29 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 4740 0 0 0 27 2 0 0 20 0 1 0 37909730 72904704 6079 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 17799 6079 2240 1147 0 5226 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75388 KiB
Current children cumulated memory: 27132 KiB
[startup+0.70036 s]
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125447976/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=71396 memory=24572 CPUtime=0.67 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 4812 0 0 0 64 3 0 0 20 0 1 0 37909730 73109504 6143 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 17849 6143 2240 1147 0 5276 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75588 KiB
Current children cumulated memory: 27388 KiB
[startup+1.50035 s]
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125431608/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=74116 memory=31132 CPUtime=1.47 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 5352 0 0 0 143 4 0 0 20 0 1 0 37909730 75894784 7783 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 18529 7783 2304 1147 0 5956 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78308 KiB
Current children cumulated memory: 33948 KiB
[startup+3.11345 s]
/proc/loadavg: 4.13 4.17 4.12 5/259 27798
/proc/meminfo: memFree=125342252/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=118080 memory=59280 CPUtime=3.08 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 7818 0 0 0 301 7 0 0 20 0 1 0 37909730 120913920 14820 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 29520 14820 2304 1147 0 16947 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122272 KiB
Current children cumulated memory: 62096 KiB
[startup+6.30036 s]
/proc/loadavg: 4.12 4.16 4.12 5/259 27798
/proc/meminfo: memFree=125156996/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=153316 memory=100692 CPUtime=6.26 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 9474 0 0 0 615 11 0 0 20 0 1 0 37909730 156995584 25173 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 38329 25173 2304 1147 0 25756 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 157508 KiB
Current children cumulated memory: 103508 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.16 4.11 5/259 27798
/proc/meminfo: memFree=124890396/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=212396 memory=127056 CPUtime=12.63 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 11978 0 0 0 1248 15 0 0 20 0 1 0 37909730 217493504 31764 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 53099 31764 2304 1147 0 40526 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 216588 KiB
Current children cumulated memory: 129872 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 27799
/proc/meminfo: memFree=124270760/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=221868 memory=168700 CPUtime=25.39 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 14237 0 0 0 2517 22 0 0 20 0 1 0 37909730 227192832 42175 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 55467 42175 2304 1147 0 42894 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 226060 KiB
Current children cumulated memory: 171516 KiB
[startup+51.1137 s]
/proc/loadavg: 4.12 4.15 4.11 5/260 27800
/proc/meminfo: memFree=123121108/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=319128 memory=211356 CPUtime=50.93 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 18239 0 0 0 5064 29 0 0 20 0 1 0 37909730 326787072 52839 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 79782 52839 2304 1147 0 67209 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 323320 KiB
Current children cumulated memory: 214172 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/261 27805
/proc/meminfo: memFree=120858960/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=362604 memory=301744 CPUtime=101.98 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 28089 0 0 0 10149 49 0 0 20 0 1 0 37909730 371306496 75436 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 90651 75436 2336 1147 0 78078 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 366796 KiB
Current children cumulated memory: 304560 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 27807
/proc/meminfo: memFree=118343236/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=588152 memory=414612 CPUtime=161.81 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 50181 0 0 0 16106 75 0 0 20 0 1 0 37909730 602267648 103653 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 147038 103653 2336 1147 0 134465 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 592344 KiB
Current children cumulated memory: 417428 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/262 27810
/proc/meminfo: memFree=115316612/131382112 swapFree=33010684/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=736256 memory=554140 CPUtime=221.65 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 80971 0 0 0 22055 110 0 0 20 0 1 0 37909730 753926144 138535 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 184064 138535 2336 1147 0 171491 0
################
# More data... #
################
/proc/27798/statm: 497866 421606 2336 1147 0 485293 0
Current children cumulated CPU time: 3031.54 s
Current children cumulated vsize: 1995656 KiB
Current children cumulated memory: 1689240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.35 4.28 6/263 27988
/proc/meminfo: memFree=527508/131382112 swapFree=33010672/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2036268 memory=1713048 CPUtime=3091.21 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 386744 0 0 0 307097 2024 0 0 20 0 1 0 37909730 2085138432 428262 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 509067 428262 2336 1147 0 496494 0
Current children cumulated CPU time: 3091.21 s
Current children cumulated vsize: 2040460 KiB
Current children cumulated memory: 1715864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.30 4.27 5/265 27995
/proc/meminfo: memFree=734176/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2206516 memory=1908348 CPUtime=3150.9 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 427602 0 0 0 313010 2080 0 0 20 0 1 0 37909730 2259472384 477087 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 551629 477087 2336 1147 0 539056 0
Current children cumulated CPU time: 3150.9 s
Current children cumulated vsize: 2210708 KiB
Current children cumulated memory: 1911164 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.26 4.26 5/267 27999
/proc/meminfo: memFree=901868/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2206516 memory=1908348 CPUtime=3210.64 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 445936 0 0 0 318932 2132 0 0 20 0 1 0 37909730 2259472384 477087 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 551629 477087 2336 1147 0 539056 0
Current children cumulated CPU time: 3210.64 s
Current children cumulated vsize: 2210708 KiB
Current children cumulated memory: 1911164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.27 4.26 5/267 28005
/proc/meminfo: memFree=975724/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2206516 memory=1908348 CPUtime=3270.3 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 453109 0 0 0 324867 2163 0 0 20 0 1 0 37909730 2259472384 477087 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 551629 477087 2336 1147 0 539056 0
Current children cumulated CPU time: 3270.3 s
Current children cumulated vsize: 2210708 KiB
Current children cumulated memory: 1911164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.24 4.25 5/268 28008
/proc/meminfo: memFree=980892/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2206516 memory=1908348 CPUtime=3330.1 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 486325 0 0 0 330808 2202 0 0 20 0 1 0 37909730 2259472384 477087 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 551629 477087 2336 1147 0 539056 0
Current children cumulated CPU time: 3330.1 s
Current children cumulated vsize: 2210708 KiB
Current children cumulated memory: 1911164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.24 5/266 28010
/proc/meminfo: memFree=761204/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2206516 memory=1908348 CPUtime=3389.9 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 487531 0 0 0 336744 2246 0 0 20 0 1 0 37909730 2259472384 477087 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 551629 477087 2336 1147 0 539056 0
Current children cumulated CPU time: 3389.9 s
Current children cumulated vsize: 2210708 KiB
Current children cumulated memory: 1911164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.23 5/260 28012
/proc/meminfo: memFree=923200/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2235960 memory=1927292 CPUtime=3449.71 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 525806 0 0 0 342693 2278 0 0 20 0 1 0 37909730 2289623040 481823 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 558990 481823 2336 1147 0 546417 0
Current children cumulated CPU time: 3449.71 s
Current children cumulated vsize: 2240152 KiB
Current children cumulated memory: 1930108 KiB
[startup+3522.3 s]
/proc/loadavg: 3.53 4.04 4.18 3/256 28086
/proc/meminfo: memFree=26314400/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2240824 memory=1930748 CPUtime=3509.49 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 555018 0 0 0 348628 2321 0 0 20 0 1 0 37909730 2294603776 482687 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 560206 482687 2336 1147 0 547633 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 2245016 KiB
Current children cumulated memory: 1933564 KiB
[startup+3582.3 s]
/proc/loadavg: 2.38 3.63 4.03 2/333 28203
/proc/meminfo: memFree=107983112/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2240824 memory=1930748 CPUtime=3569.2 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 559741 0 0 0 354552 2368 0 0 20 0 1 0 37909730 2294603776 482687 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 560206 482687 2336 1147 0 547633 0
Current children cumulated CPU time: 3569.2 s
Current children cumulated vsize: 2245016 KiB
Current children cumulated memory: 1933564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 1.83 3.38 3.93 2/333 28203
/proc/meminfo: memFree=107803772/131382112 swapFree=33010160/33010684
[pid=27796] ppid=27793 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/27796/stat : 27796 (run-dec-log.sh) S 27793 27796 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37909729 4292608 704 18446744073709551615 94539407486976 94539408381509 140735173804736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94539408620560 94539408668304 94539419254784 140735173810465 140735173810660 140735173810660 140735173816262 0
/proc/27796/statm: 1048 704 640 219 0 110 0
[pid=27798] ppid=27796 vsize=2241080 memory=1931004 CPUtime=3600 cores=5,7
/proc/27798/stat : 27798 (roundingsat) R 27796 27796 26445 0 -1 4194304 566663 0 0 0 357612 2388 0 0 20 0 1 0 37909730 2294865920 482751 18446744073709551615 4227072 8923433 140729841960384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22605824 140729841965415 140729841965608 140729841965608 140729841971178 0
/proc/27798/statm: 560270 482751 2336 1147 0 547697 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2245272 KiB
Current children cumulated memory: 1933820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.21 s]
# the end of solver process 27796 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000736 s, system=0.003136 s
[startup+3613.28 s]
# the end of solver process 27798 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.13 s, system=23.9187 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
Child status: 2
Real time (s): 3613.28
CPU time (s): 3600.04
CPU user time (s): 3576.13
CPU system time (s): 23.9187
CPU usage (%): 99.6337
Max. virtual memory (cumulated for all children) (KiB): 2245272
Max. memory (cumulated for all children) (KiB): 1933820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.13
system time used= 23.9187
maximum resident set size= 1931260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566902
page faults= 1
swaps= 0
block input operations= 4352
block output operations= 41333112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1041
involuntary context switches= 10247
# summary of solver processes directly reported to runsolver:
# pid: 27796,27798
# total CPU time (s): 3600.04
# total CPU user time (s): 3576.13
# total CPU system time (s): 23.9187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9911 second user time and 38.4996 second system time
The end
Begin job on nodeC001 at 2025-06-29 20:38:28
IDJOB=4515239
IDBENCH=164254
IDSOLVER=3352
FILE ID=nodeC001/4515239-1751222308
RUNJOBID= nodeC001-1751214947-26458
SLURM_JOB_ID= 9587648
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515239-1751222308/watcher-4515239-1751222308 -o /tmp/evaluation-result-4515239-1751222308/solver-4515239-1751222308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751214947-26458 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515239-1751222308.opb PROOFDIR/proof-4515239-1751222308
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0
RANDOM SEED=1318716522
nodeC001 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 : 3662.197
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.49
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 : 3691.249
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.49
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.299
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.49
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 : 3700.000
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.49
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 : 3662.077
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.49
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 : 1796.215
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.49
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.201
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.49
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.171
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125484516 kB
MemAvailable: 128921936 kB
Buffers: 3280 kB
Cached: 4239728 kB
SwapCached: 0 kB
Active: 1292832 kB
Inactive: 3994592 kB
Active(anon): 1062420 kB
Inactive(anon): 0 kB
Active(file): 230412 kB
Inactive(file): 3994592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2004352 kB
Writeback: 12 kB
AnonPages: 1047424 kB
Mapped: 114980 kB
Shmem: 17960 kB
KReclaimable: 103704 kB
Slab: 248284 kB
SReclaimable: 103704 kB
SUnreclaim: 144580 kB
KernelStack: 4128 kB
PageTables: 5272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1612608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 348160 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC001 at 2025-06-29 21:38:42