0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 6689 #constraints 6377
77.68/77.90 c #Conflicts: 1000 | #Constraints: 7376
77.68/77.90 c #Conflicts: 2000 | #Constraints: 8376
77.68/77.90 c INPROCESSING
77.68/77.90 c GARBAGE COLLECT
77.68/77.90 c #Conflicts: 3000 | #Constraints: 8386
77.68/77.90 c #Conflicts: 4000 | #Constraints: 9386
77.68/77.90 c INPROCESSING
77.68/77.90 c GARBAGE COLLECT
77.68/77.90 c #Conflicts: 5000 | #Constraints: 8793
77.68/77.90 c #Conflicts: 6000 | #Constraints: 9793
77.68/77.90 c INPROCESSING
77.68/77.90 c GARBAGE COLLECT
77.68/77.90 c #Conflicts: 7000 | #Constraints: 8792
77.68/77.90 c #Conflicts: 8000 | #Constraints: 9792
77.68/77.90 c #Conflicts: 9000 | #Constraints: 10792
77.68/77.90 c INPROCESSING
77.68/77.90 c GARBAGE COLLECT
77.68/77.90 c #Conflicts: 10000 | #Constraints: 9490
77.68/77.90 c #Conflicts: 11000 | #Constraints: 10490
77.68/77.90 c #Conflicts: 12000 | #Constraints: 11490
77.68/77.90 c INPROCESSING
77.68/77.90 c GARBAGE COLLECT
77.68/77.90 c rational objective 18.4918
603.68/605.52 c #Conflicts: 13000 | #Constraints: 9943
603.68/605.52 c #Conflicts: 14000 | #Constraints: 10943
603.68/605.52 c #Conflicts: 15000 | #Constraints: 11943
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 16000 | #Constraints: 10168
603.68/605.52 c #Conflicts: 17000 | #Constraints: 11168
603.68/605.52 c #Conflicts: 18000 | #Constraints: 12168
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 19000 | #Constraints: 10187
603.68/605.52 c #Conflicts: 20000 | #Constraints: 11187
603.68/605.52 c #Conflicts: 21000 | #Constraints: 12188
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 22000 | #Constraints: 9994
603.68/605.52 c #Conflicts: 23000 | #Constraints: 10994
603.68/605.52 c #Conflicts: 24000 | #Constraints: 11994
603.68/605.52 c #Conflicts: 25000 | #Constraints: 12994
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 26000 | #Constraints: 10593
603.68/605.52 c #Conflicts: 27000 | #Constraints: 11593
603.68/605.52 c #Conflicts: 28000 | #Constraints: 12593
603.68/605.52 c #Conflicts: 29000 | #Constraints: 13593
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 30000 | #Constraints: 10995
603.68/605.52 c #Conflicts: 31000 | #Constraints: 11995
603.68/605.52 c #Conflicts: 32000 | #Constraints: 12995
603.68/605.52 c #Conflicts: 33000 | #Constraints: 13995
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 34000 | #Constraints: 11197
603.68/605.52 c #Conflicts: 35000 | #Constraints: 12197
603.68/605.52 c #Conflicts: 36000 | #Constraints: 13197
603.68/605.52 c #Conflicts: 37000 | #Constraints: 14197
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 38000 | #Constraints: 11197
603.68/605.52 c #Conflicts: 39000 | #Constraints: 12197
603.68/605.52 c #Conflicts: 40000 | #Constraints: 13197
603.68/605.52 c #Conflicts: 41000 | #Constraints: 14198
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 42000 | #Constraints: 11003
603.68/605.52 c #Conflicts: 43000 | #Constraints: 12003
603.68/605.52 c #Conflicts: 44000 | #Constraints: 13003
603.68/605.52 c #Conflicts: 45000 | #Constraints: 14003
603.68/605.52 c #Conflicts: 46000 | #Constraints: 15003
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 47000 | #Constraints: 11601
603.68/605.52 c #Conflicts: 48000 | #Constraints: 12601
603.68/605.52 c #Conflicts: 49000 | #Constraints: 13601
603.68/605.52 c #Conflicts: 50000 | #Constraints: 14601
603.68/605.52 c #Conflicts: 51000 | #Constraints: 15602
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 52000 | #Constraints: 12005
603.68/605.52 c #Conflicts: 53000 | #Constraints: 13005
603.68/605.52 c #Conflicts: 54000 | #Constraints: 14006
603.68/605.52 c #Conflicts: 55000 | #Constraints: 15006
603.68/605.52 c #Conflicts: 56000 | #Constraints: 16008
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 57000 | #Constraints: 12203
603.68/605.52 c #Conflicts: 58000 | #Constraints: 13204
603.68/605.52 c #Conflicts: 59000 | #Constraints: 14204
603.68/605.52 c #Conflicts: 60000 | #Constraints: 15205
603.68/605.52 c #Conflicts: 61000 | #Constraints: 16205
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 62000 | #Constraints: 12207
603.68/605.52 c #Conflicts: 63000 | #Constraints: 13208
603.68/605.52 c #Conflicts: 64000 | #Constraints: 14208
603.68/605.52 c #Conflicts: 65000 | #Constraints: 15208
603.68/605.52 c #Conflicts: 66000 | #Constraints: 16208
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 67000 | #Constraints: 12008
603.68/605.52 c #Conflicts: 68000 | #Constraints: 13009
603.68/605.52 c #Conflicts: 69000 | #Constraints: 14009
603.68/605.52 c #Conflicts: 70000 | #Constraints: 15010
603.68/605.52 c #Conflicts: 71000 | #Constraints: 16010
603.68/605.52 c #Conflicts: 72000 | #Constraints: 17011
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 73000 | #Constraints: 12606
603.68/605.52 c #Conflicts: 74000 | #Constraints: 13606
603.68/605.52 c #Conflicts: 75000 | #Constraints: 14607
603.68/605.52 c #Conflicts: 76000 | #Constraints: 15608
603.68/605.52 c #Conflicts: 77000 | #Constraints: 16608
603.68/605.52 c #Conflicts: 78000 | #Constraints: 17609
603.68/605.52 c INPROCESSING
603.68/605.52 c GARBAGE COLLECT
603.68/605.52 c #Conflicts: 79000 | #Constraints: 13005
603.68/605.52 c #Conflicts: 80000 | #Constraints: 14005
603.68/605.52 c #Conflicts: 81000 | #Constraints: 15005
603.68/605.52 c #Conflicts: 82000 | #Constraints: 16005
1135.22/1138.74 c #Conflicts: 83000 | #Constraints: 17005
1135.22/1138.74 c #Conflicts: 84000 | #Constraints: 18005
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 85000 | #Constraints: 13211
1135.22/1138.74 c #Conflicts: 86000 | #Constraints: 14212
1135.22/1138.74 c #Conflicts: 87000 | #Constraints: 15213
1135.22/1138.74 c #Conflicts: 88000 | #Constraints: 16213
1135.22/1138.74 c #Conflicts: 89000 | #Constraints: 17214
1135.22/1138.74 c #Conflicts: 90000 | #Constraints: 18215
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 91000 | #Constraints: 13219
1135.22/1138.74 c #Conflicts: 92000 | #Constraints: 14219
1135.22/1138.74 c #Conflicts: 93000 | #Constraints: 15220
1135.22/1138.74 c #Conflicts: 94000 | #Constraints: 16220
1135.22/1138.74 c #Conflicts: 95000 | #Constraints: 17220
1135.22/1138.74 c #Conflicts: 96000 | #Constraints: 18220
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 97000 | #Constraints: 13021
1135.22/1138.74 c #Conflicts: 98000 | #Constraints: 14021
1135.22/1138.74 c #Conflicts: 99000 | #Constraints: 15022
1135.22/1138.74 c #Conflicts: 100000 | #Constraints: 16022
1135.22/1138.74 c #Conflicts: 101000 | #Constraints: 17023
1135.22/1138.74 c #Conflicts: 102000 | #Constraints: 18023
1135.22/1138.74 c #Conflicts: 103000 | #Constraints: 19023
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 104000 | #Constraints: 13621
1135.22/1138.74 c #Conflicts: 105000 | #Constraints: 14621
1135.22/1138.74 c #Conflicts: 106000 | #Constraints: 15621
1135.22/1138.74 c #Conflicts: 107000 | #Constraints: 16621
1135.22/1138.74 c #Conflicts: 108000 | #Constraints: 17621
1135.22/1138.74 c #Conflicts: 109000 | #Constraints: 18622
1135.22/1138.74 c #Conflicts: 110000 | #Constraints: 19623
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 111000 | #Constraints: 14020
1135.22/1138.74 c #Conflicts: 112000 | #Constraints: 15020
1135.22/1138.74 c #Conflicts: 113000 | #Constraints: 16020
1135.22/1138.74 c #Conflicts: 114000 | #Constraints: 17021
1135.22/1138.74 c #Conflicts: 115000 | #Constraints: 18021
1135.22/1138.74 c #Conflicts: 116000 | #Constraints: 19021
1135.22/1138.74 c #Conflicts: 117000 | #Constraints: 20022
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 118000 | #Constraints: 14215
1135.22/1138.74 c #Conflicts: 119000 | #Constraints: 15216
1135.22/1138.74 c #Conflicts: 120000 | #Constraints: 16216
1135.22/1138.74 c #Conflicts: 121000 | #Constraints: 17216
1135.22/1138.74 c #Conflicts: 122000 | #Constraints: 18216
1135.22/1138.74 c #Conflicts: 123000 | #Constraints: 19217
1135.22/1138.74 c #Conflicts: 124000 | #Constraints: 20217
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 125000 | #Constraints: 14214
1135.22/1138.74 c #Conflicts: 126000 | #Constraints: 15215
1135.22/1138.74 c #Conflicts: 127000 | #Constraints: 16216
1135.22/1138.74 c #Conflicts: 128000 | #Constraints: 17217
1135.22/1138.74 c #Conflicts: 129000 | #Constraints: 18217
1135.22/1138.74 c #Conflicts: 130000 | #Constraints: 19218
1135.22/1138.74 c #Conflicts: 131000 | #Constraints: 20218
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 132000 | #Constraints: 14013
1135.22/1138.74 c #Conflicts: 133000 | #Constraints: 15014
1135.22/1138.74 c #Conflicts: 134000 | #Constraints: 16014
1135.22/1138.74 c #Conflicts: 135000 | #Constraints: 17014
1135.22/1138.74 c #Conflicts: 136000 | #Constraints: 18014
1135.22/1138.74 c #Conflicts: 137000 | #Constraints: 19014
1135.22/1138.74 c #Conflicts: 138000 | #Constraints: 20015
1135.22/1138.74 c #Conflicts: 139000 | #Constraints: 21015
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 140000 | #Constraints: 14610
1135.22/1138.74 c #Conflicts: 141000 | #Constraints: 15610
1135.22/1138.74 c #Conflicts: 142000 | #Constraints: 16610
1135.22/1138.74 c #Conflicts: 143000 | #Constraints: 17610
1135.22/1138.74 c #Conflicts: 144000 | #Constraints: 18611
1135.22/1138.74 c #Conflicts: 145000 | #Constraints: 19611
1135.22/1138.74 c #Conflicts: 146000 | #Constraints: 20611
1135.22/1138.74 c #Conflicts: 147000 | #Constraints: 21611
1135.22/1138.74 c INPROCESSING
1135.22/1138.74 c GARBAGE COLLECT
1135.22/1138.74 c #Conflicts: 148000 | #Constraints: 15014
1135.22/1138.74 c #Conflicts: 149000 | #Constraints: 16014
1135.22/1138.74 c #Conflicts: 150000 | #Constraints: 17014
1135.22/1138.74 c #Conflicts: 151000 | #Constraints: 18014
1135.22/1138.74 c #Conflicts: 152000 | #Constraints: 19014
1135.22/1138.74 c #Conflicts: 153000 | #Constraints: 20014
1135.22/1138.74 c #Conflicts: 154000 | #Constraints: 21015
1146.78/1150.33 c #Conflicts: 155000 | #Constraints: 22016
1146.78/1150.33 c INPROCESSING
1146.78/1150.33 c GARBAGE COLLECT
1146.78/1150.33 c rational objective 18.6441
1821.06/1826.77 c #Conflicts: 156000 | #Constraints: 15215
1821.06/1826.77 c #Conflicts: 157000 | #Constraints: 16215
1821.06/1826.77 c #Conflicts: 158000 | #Constraints: 17215
1821.06/1826.77 c #Conflicts: 159000 | #Constraints: 18215
1821.06/1826.77 c #Conflicts: 160000 | #Constraints: 19215
1821.06/1826.77 c #Conflicts: 161000 | #Constraints: 20216
1821.06/1826.77 c #Conflicts: 162000 | #Constraints: 21216
1821.06/1826.77 c #Conflicts: 163000 | #Constraints: 22216
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 164000 | #Constraints: 15223
1821.06/1826.77 c #Conflicts: 165000 | #Constraints: 16224
1821.06/1826.77 c #Conflicts: 166000 | #Constraints: 17224
1821.06/1826.77 c #Conflicts: 167000 | #Constraints: 18224
1821.06/1826.77 c #Conflicts: 168000 | #Constraints: 19224
1821.06/1826.77 c #Conflicts: 169000 | #Constraints: 20225
1821.06/1826.77 c #Conflicts: 170000 | #Constraints: 21225
1821.06/1826.77 c #Conflicts: 171000 | #Constraints: 22225
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 172000 | #Constraints: 15019
1821.06/1826.77 c #Conflicts: 173000 | #Constraints: 16019
1821.06/1826.77 c #Conflicts: 174000 | #Constraints: 17019
1821.06/1826.77 c #Conflicts: 175000 | #Constraints: 18020
1821.06/1826.77 c #Conflicts: 176000 | #Constraints: 19020
1821.06/1826.77 c #Conflicts: 177000 | #Constraints: 20020
1821.06/1826.77 c #Conflicts: 178000 | #Constraints: 21020
1821.06/1826.77 c #Conflicts: 179000 | #Constraints: 22020
1821.06/1826.77 c #Conflicts: 180000 | #Constraints: 23020
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 181000 | #Constraints: 15623
1821.06/1826.77 c #Conflicts: 182000 | #Constraints: 16623
1821.06/1826.77 c #Conflicts: 183000 | #Constraints: 17623
1821.06/1826.77 c #Conflicts: 184000 | #Constraints: 18624
1821.06/1826.77 c #Conflicts: 185000 | #Constraints: 19625
1821.06/1826.77 c #Conflicts: 186000 | #Constraints: 20625
1821.06/1826.77 c #Conflicts: 187000 | #Constraints: 21625
1821.06/1826.77 c #Conflicts: 188000 | #Constraints: 22628
1821.06/1826.77 c #Conflicts: 189000 | #Constraints: 23629
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 190000 | #Constraints: 16030
1821.06/1826.77 c #Conflicts: 191000 | #Constraints: 17030
1821.06/1826.77 c #Conflicts: 192000 | #Constraints: 18030
1821.06/1826.77 c #Conflicts: 193000 | #Constraints: 19030
1821.06/1826.77 c #Conflicts: 194000 | #Constraints: 20031
1821.06/1826.77 c #Conflicts: 195000 | #Constraints: 21031
1821.06/1826.77 c #Conflicts: 196000 | #Constraints: 22031
1821.06/1826.77 c #Conflicts: 197000 | #Constraints: 23031
1821.06/1826.77 c #Conflicts: 198000 | #Constraints: 24031
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 199000 | #Constraints: 16224
1821.06/1826.77 c #Conflicts: 200000 | #Constraints: 17224
1821.06/1826.77 c #Conflicts: 201000 | #Constraints: 18224
1821.06/1826.77 c #Conflicts: 202000 | #Constraints: 19224
1821.06/1826.77 c #Conflicts: 203000 | #Constraints: 20224
1821.06/1826.77 c #Conflicts: 204000 | #Constraints: 21224
1821.06/1826.77 c #Conflicts: 205000 | #Constraints: 22224
1821.06/1826.77 c #Conflicts: 206000 | #Constraints: 23224
1821.06/1826.77 c #Conflicts: 207000 | #Constraints: 24225
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 208000 | #Constraints: 16223
1821.06/1826.77 c #Conflicts: 209000 | #Constraints: 17223
1821.06/1826.77 c #Conflicts: 210000 | #Constraints: 18223
1821.06/1826.77 c #Conflicts: 211000 | #Constraints: 19223
1821.06/1826.77 c #Conflicts: 212000 | #Constraints: 20224
1821.06/1826.77 c #Conflicts: 213000 | #Constraints: 21224
1821.06/1826.77 c #Conflicts: 214000 | #Constraints: 22225
1821.06/1826.77 c #Conflicts: 215000 | #Constraints: 23225
1821.06/1826.77 c #Conflicts: 216000 | #Constraints: 24225
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 217000 | #Constraints: 16026
1821.06/1826.77 c #Conflicts: 218000 | #Constraints: 17026
1821.06/1826.77 c #Conflicts: 219000 | #Constraints: 18027
1821.06/1826.77 c #Conflicts: 220000 | #Constraints: 19027
1821.06/1826.77 c #Conflicts: 221000 | #Constraints: 20027
1821.06/1826.77 c #Conflicts: 222000 | #Constraints: 21027
1821.06/1826.77 c #Conflicts: 223000 | #Constraints: 22027
1821.06/1826.77 c #Conflicts: 224000 | #Constraints: 23027
1821.06/1826.77 c #Conflicts: 225000 | #Constraints: 24028
1821.06/1826.77 c #Conflicts: 226000 | #Constraints: 25028
1821.06/1826.77 c INPROCESSING
1821.06/1826.77 c GARBAGE COLLECT
1821.06/1826.77 c #Conflicts: 227000 | #Constraints: 16627
1821.06/1826.77 c #Conflicts: 228000 | #Constraints: 17627
1821.06/1826.77 c #Conflicts: 229000 | #Constraints: 18627
2593.55/2601.61 c #Conflicts: 230000 | #Constraints: 19627
2593.55/2601.61 c #Conflicts: 231000 | #Constraints: 20627
2593.55/2601.61 c #Conflicts: 232000 | #Constraints: 21627
2593.55/2601.61 c #Conflicts: 233000 | #Constraints: 22627
2593.55/2601.61 c #Conflicts: 234000 | #Constraints: 23628
2593.55/2601.61 c #Conflicts: 235000 | #Constraints: 24628
2593.55/2601.61 c #Conflicts: 236000 | #Constraints: 25628
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 237000 | #Constraints: 17023
2593.55/2601.61 c #Conflicts: 238000 | #Constraints: 18023
2593.55/2601.61 c #Conflicts: 239000 | #Constraints: 19023
2593.55/2601.61 c #Conflicts: 240000 | #Constraints: 20024
2593.55/2601.61 c #Conflicts: 241000 | #Constraints: 21024
2593.55/2601.61 c #Conflicts: 242000 | #Constraints: 22024
2593.55/2601.61 c #Conflicts: 243000 | #Constraints: 23024
2593.55/2601.61 c #Conflicts: 244000 | #Constraints: 24024
2593.55/2601.61 c #Conflicts: 245000 | #Constraints: 25024
2593.55/2601.61 c #Conflicts: 246000 | #Constraints: 26024
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 247000 | #Constraints: 17232
2593.55/2601.61 c #Conflicts: 248000 | #Constraints: 18232
2593.55/2601.61 c #Conflicts: 249000 | #Constraints: 19232
2593.55/2601.61 c #Conflicts: 250000 | #Constraints: 20232
2593.55/2601.61 c #Conflicts: 251000 | #Constraints: 21232
2593.55/2601.61 c #Conflicts: 252000 | #Constraints: 22233
2593.55/2601.61 c #Conflicts: 253000 | #Constraints: 23233
2593.55/2601.61 c #Conflicts: 254000 | #Constraints: 24233
2593.55/2601.61 c #Conflicts: 255000 | #Constraints: 25233
2593.55/2601.61 c #Conflicts: 256000 | #Constraints: 26234
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 257000 | #Constraints: 17224
2593.55/2601.61 c #Conflicts: 258000 | #Constraints: 18224
2593.55/2601.61 c #Conflicts: 259000 | #Constraints: 19225
2593.55/2601.61 c #Conflicts: 260000 | #Constraints: 20225
2593.55/2601.61 c #Conflicts: 261000 | #Constraints: 21226
2593.55/2601.61 c #Conflicts: 262000 | #Constraints: 22226
2593.55/2601.61 c #Conflicts: 263000 | #Constraints: 23226
2593.55/2601.61 c #Conflicts: 264000 | #Constraints: 24226
2593.55/2601.61 c #Conflicts: 265000 | #Constraints: 25226
2593.55/2601.61 c #Conflicts: 266000 | #Constraints: 26226
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 267000 | #Constraints: 17028
2593.55/2601.61 c #Conflicts: 268000 | #Constraints: 18028
2593.55/2601.61 c #Conflicts: 269000 | #Constraints: 19029
2593.55/2601.61 c #Conflicts: 270000 | #Constraints: 20029
2593.55/2601.61 c #Conflicts: 271000 | #Constraints: 21030
2593.55/2601.61 c #Conflicts: 272000 | #Constraints: 22030
2593.55/2601.61 c #Conflicts: 273000 | #Constraints: 23031
2593.55/2601.61 c #Conflicts: 274000 | #Constraints: 24032
2593.55/2601.61 c #Conflicts: 275000 | #Constraints: 25032
2593.55/2601.61 c #Conflicts: 276000 | #Constraints: 26033
2593.55/2601.61 c #Conflicts: 277000 | #Constraints: 27033
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 278000 | #Constraints: 17632
2593.55/2601.61 c #Conflicts: 279000 | #Constraints: 18632
2593.55/2601.61 c #Conflicts: 280000 | #Constraints: 19632
2593.55/2601.61 c #Conflicts: 281000 | #Constraints: 20632
2593.55/2601.61 c #Conflicts: 282000 | #Constraints: 21632
2593.55/2601.61 c #Conflicts: 283000 | #Constraints: 22632
2593.55/2601.61 c #Conflicts: 284000 | #Constraints: 23632
2593.55/2601.61 c #Conflicts: 285000 | #Constraints: 24632
2593.55/2601.61 c #Conflicts: 286000 | #Constraints: 25632
2593.55/2601.61 c #Conflicts: 287000 | #Constraints: 26632
2593.55/2601.61 c #Conflicts: 288000 | #Constraints: 27632
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c #Conflicts: 289000 | #Constraints: 18035
2593.55/2601.61 c #Conflicts: 290000 | #Constraints: 19035
2593.55/2601.61 c #Conflicts: 291000 | #Constraints: 20035
2593.55/2601.61 c #Conflicts: 292000 | #Constraints: 21035
2593.55/2601.61 c #Conflicts: 293000 | #Constraints: 22035
2593.55/2601.61 c #Conflicts: 294000 | #Constraints: 23035
2593.55/2601.61 c #Conflicts: 295000 | #Constraints: 24036
2593.55/2601.61 c #Conflicts: 296000 | #Constraints: 25036
2593.55/2601.61 c #Conflicts: 297000 | #Constraints: 26036
2593.55/2601.61 c #Conflicts: 298000 | #Constraints: 27037
2593.55/2601.61 c #Conflicts: 299000 | #Constraints: 28037
2593.55/2601.61 c INPROCESSING
2593.55/2601.61 c GARBAGE COLLECT
2593.55/2601.61 c rational objective 18.6998
3443.25/3453.64 c #Conflicts: 300000 | #Constraints: 18236
3443.25/3453.64 c #Conflicts: 301000 | #Constraints: 19236
3443.25/3453.64 c #Conflicts: 302000 | #Constraints: 20236
3443.25/3453.64 c #Conflicts: 303000 | #Constraints: 21236
3443.25/3453.64 c #Conflicts: 304000 | #Constraints: 22236
3443.25/3453.64 c #Conflicts: 305000 | #Constraints: 23236
3443.25/3453.64 c #Conflicts: 306000 | #Constraints: 24236
3443.25/3453.64 c #Conflicts: 307000 | #Constraints: 25236
3443.25/3453.64 c #Conflicts: 308000 | #Constraints: 26236
3443.25/3453.64 c #Conflicts: 309000 | #Constraints: 27236
3443.25/3453.64 c #Conflicts: 310000 | #Constraints: 28236
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 311000 | #Constraints: 18233
3443.25/3453.64 c #Conflicts: 312000 | #Constraints: 19233
3443.25/3453.64 c #Conflicts: 313000 | #Constraints: 20233
3443.25/3453.64 c #Conflicts: 314000 | #Constraints: 21233
3443.25/3453.64 c #Conflicts: 315000 | #Constraints: 22233
3443.25/3453.64 c #Conflicts: 316000 | #Constraints: 23233
3443.25/3453.64 c #Conflicts: 317000 | #Constraints: 24233
3443.25/3453.64 c #Conflicts: 318000 | #Constraints: 25233
3443.25/3453.64 c #Conflicts: 319000 | #Constraints: 26233
3443.25/3453.64 c #Conflicts: 320000 | #Constraints: 27233
3443.25/3453.64 c #Conflicts: 321000 | #Constraints: 28233
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 322000 | #Constraints: 18030
3443.25/3453.64 c #Conflicts: 323000 | #Constraints: 19030
3443.25/3453.64 c #Conflicts: 324000 | #Constraints: 20030
3443.25/3453.64 c #Conflicts: 325000 | #Constraints: 21030
3443.25/3453.64 c #Conflicts: 326000 | #Constraints: 22030
3443.25/3453.64 c #Conflicts: 327000 | #Constraints: 23030
3443.25/3453.64 c #Conflicts: 328000 | #Constraints: 24030
3443.25/3453.64 c #Conflicts: 329000 | #Constraints: 25030
3443.25/3453.64 c #Conflicts: 330000 | #Constraints: 26030
3443.25/3453.64 c #Conflicts: 331000 | #Constraints: 27030
3443.25/3453.64 c #Conflicts: 332000 | #Constraints: 28030
3443.25/3453.64 c #Conflicts: 333000 | #Constraints: 29030
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 334000 | #Constraints: 18639
3443.25/3453.64 c #Conflicts: 335000 | #Constraints: 19639
3443.25/3453.64 c #Conflicts: 336000 | #Constraints: 20639
3443.25/3453.64 c #Conflicts: 337000 | #Constraints: 21639
3443.25/3453.64 c #Conflicts: 338000 | #Constraints: 22639
3443.25/3453.64 c #Conflicts: 339000 | #Constraints: 23639
3443.25/3453.64 c #Conflicts: 340000 | #Constraints: 24639
3443.25/3453.64 c #Conflicts: 341000 | #Constraints: 25639
3443.25/3453.64 c #Conflicts: 342000 | #Constraints: 26639
3443.25/3453.64 c #Conflicts: 343000 | #Constraints: 27639
3443.25/3453.64 c #Conflicts: 344000 | #Constraints: 28639
3443.25/3453.64 c #Conflicts: 345000 | #Constraints: 29639
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 346000 | #Constraints: 19031
3443.25/3453.64 c #Conflicts: 347000 | #Constraints: 20031
3443.25/3453.64 c #Conflicts: 348000 | #Constraints: 21031
3443.25/3453.64 c #Conflicts: 349000 | #Constraints: 22031
3443.25/3453.64 c #Conflicts: 350000 | #Constraints: 23031
3443.25/3453.64 c #Conflicts: 351000 | #Constraints: 24031
3443.25/3453.64 c #Conflicts: 352000 | #Constraints: 25031
3443.25/3453.64 c #Conflicts: 353000 | #Constraints: 26031
3443.25/3453.64 c #Conflicts: 354000 | #Constraints: 27031
3443.25/3453.64 c #Conflicts: 355000 | #Constraints: 28031
3443.25/3453.64 c #Conflicts: 356000 | #Constraints: 29031
3443.25/3453.64 c #Conflicts: 357000 | #Constraints: 30031
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 358000 | #Constraints: 19230
3443.25/3453.64 c #Conflicts: 359000 | #Constraints: 20230
3443.25/3453.64 c #Conflicts: 360000 | #Constraints: 21230
3443.25/3453.64 c #Conflicts: 361000 | #Constraints: 22230
3443.25/3453.64 c #Conflicts: 362000 | #Constraints: 23230
3443.25/3453.64 c #Conflicts: 363000 | #Constraints: 24230
3443.25/3453.64 c #Conflicts: 364000 | #Constraints: 25230
3443.25/3453.64 c #Conflicts: 365000 | #Constraints: 26230
3443.25/3453.64 c #Conflicts: 366000 | #Constraints: 27230
3443.25/3453.64 c #Conflicts: 367000 | #Constraints: 28230
3443.25/3453.64 c #Conflicts: 368000 | #Constraints: 29230
3443.25/3453.64 c #Conflicts: 369000 | #Constraints: 30230
3443.25/3453.64 c INPROCESSING
3443.25/3453.64 c GARBAGE COLLECT
3443.25/3453.64 c #Conflicts: 370000 | #Constraints: 19223
3443.25/3453.64 c #Conflicts: 371000 | #Constraints: 20223
3443.25/3453.64 c #Conflicts: 372000 | #Constraints: 21223
3443.25/3453.64 c #Conflicts: 373000 | #Constraints: 22223
3443.25/3453.64 c #Conflicts: 374000 | #Constraints: 23223
3600.02/3610.80 c #Conflicts: 375000 | #Constraints: 24223
3600.02/3610.80 c #Conflicts: 376000 | #Constraints: 25223
3600.02/3610.80 c #Conflicts: 377000 | #Constraints: 26223
3600.02/3610.80 c #Conflicts: 378000 | #Constraints: 27223
3600.02/3610.80 c #Conflicts: 379000 | #Constraints: 28224
3600.02/3610.80 c #Conflicts: 380000 | #Constraints: 29224
3600.02/3610.80 c #Conflicts: 381000 | #Constraints: 30224
3600.02/3610.80 c INPROCESSING
3600.02/3610.80 c GARBAGE COLLECT
3600.02/3610.80 c cpu time 3593.99 s
3600.02/3610.80 c deterministic time 527014934199 5.27e+11
3600.02/3610.80 c optimization time 0.337759 s
3600.02/3610.80 c total solve time 3593.62 s
3600.02/3610.80 c core-guided solve time 0 s
3600.02/3610.80 c propagation time 2350.25 s
3600.02/3610.80 c conflict analysis time 1097.38 s
3600.02/3610.80 c propagations 201487655
3600.02/3610.80 c resolve steps 7973350
3600.02/3610.80 c decisions 2997130
3600.02/3610.80 c conflicts 381625
3600.02/3610.80 c restarts 908
3600.02/3610.80 c inprocessing phases 53
3600.02/3610.80 c garbage collections 53 ,( 100.00 )
3600.02/3610.80 c input clauses 6255 ,( 98.09 )
3600.02/3610.80 c input cardinalities 121 ,( 1.90 )
3600.02/3610.80 c input general constraints 1 ,( 0.02 )
3600.02/3610.80 c input average constraint length 7.56
3600.02/3610.80 c input average constraint degree 313.88
3600.02/3610.80 c learned clauses 66641 ,( 17.46 )
3600.02/3610.80 c learned cardinalities 4426 ,( 1.16 )
3600.02/3610.80 c learned general constraints 310640 ,( 81.38 )
3600.02/3610.80 c learned average constraint length 2899.24
3600.02/3610.80 c learned average constraint degree 19532712289.40
3600.02/3610.80 c watched CF 32, 64, 128, Arb: 151095 , 0 , 0 , 0
3600.02/3610.80 c counting CF 32, 64, 128, Arb: 159546 , 0 , 0 , 0
3600.02/3610.80 c watched constraints 151095 ,( 48.64 )
3600.02/3610.80 c counting constraints 159546 ,( 51.36 )
3600.02/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 69877985 , 5596869 , 4190357021 ,( 1169091175 , 3021265846 )
3600.02/3610.80 c gcd simplifications 26128
3600.02/3610.80 c detected cardinalities 2
3600.02/3610.80 c weakened non-implied lits 387007387
3600.02/3610.80 c weakened non-implying lits 3388156
3600.02/3610.80 c original variables 6689
3600.02/3610.80 c clausal propagations 52549976
3600.02/3610.80 c cardinality propagations 48291750
3600.02/3610.80 c watched propagations 3185332
3600.02/3610.80 c counting propagations 92428318
3600.02/3610.80 c watch lookups 186896689308
3600.02/3610.80 c watch backjump lookups 0
3600.02/3610.80 c watch checks 204796927482
3600.02/3610.80 c propagation checks 130718700933
3600.02/3610.80 c constraint additions 4193188614
3600.02/3610.80 c trail pops 204860921
3600.02/3610.80 c formula constraints 6377
3600.02/3610.80 c learned constraints 381564
3600.02/3610.80 c bound constraints 0
3600.02/3610.80 c core-guided constraints 0
3600.02/3610.80 c encountered formula constraints 7293474
3600.02/3610.80 c encountered learned constraints 963968
3600.02/3610.80 c encountered bound constraints 0
3600.02/3610.80 c encountered core-guided constraints 0
3600.02/3610.80 c LP total time 24.7645 s
3600.02/3610.80 c LP solve time 18.14 s
3600.02/3610.80 c LP constraints added 6383
3600.02/3610.80 c LP constraints removed 0
3600.02/3610.80 c LP pivots internal 38260
3600.02/3610.80 c LP pivots root 43895
3600.02/3610.80 c LP calls 86
3600.02/3610.80 c LP optimalities 3
3600.02/3610.80 c LP no pivot count 0
3600.02/3610.80 c LP infeasibilities 78
3600.02/3610.80 c LP valid Farkas constraints 77
3600.02/3610.80 c LP learned Farkas constraints 60
3600.02/3610.80 c LP basis resets 2
3600.02/3610.80 c LP cycling count 1
3600.02/3610.80 c LP singular count 0
3600.02/3610.80 c LP no primal count 0
3600.02/3610.80 c LP no farkas count 1
3600.02/3610.80 c LP other issue count 0
3600.02/3610.80 c LP Gomory cuts 6
3600.02/3610.80 c LP learned cuts 0
3600.02/3610.80 c LP deleted cuts 0
3600.02/3610.80 c LP encountered Gomory constraints 0
3600.02/3610.80 c LP encountered Farkas constraints 97364
3600.02/3610.80 c LP encountered learned Farkas constraints 109
3600.02/3610.80 c CG auxiliary variables introduced 0
3600.02/3610.80 c CG solutions found 0
3600.02/3610.80 c CG cores constructed 0
3600.02/3610.80 c CG core cardinality constraints returned 0
3600.02/3610.80 c CG unit cores 0
3600.02/3610.80 c CG single cores 0
3600.02/3610.80 c CG blocks removed during cardinality reduction 0
3600.02/3610.80 c CG first core best 0
3600.02/3610.80 c CG decision core best 0
3600.02/3610.80 c CG core reduction tie 0
3600.02/3610.80 c CG core degree average 0.00
3600.02/3610.80 c CG core slack average 0.00
3600.02/3610.80 c CG core upper bound improvements 0
3600.02/3610.80 c STR number of successful calls 0
3600.02/3610.80 c STR number of unsuccessful calls 0
3600.02/3610.80 c STR number of inconclusive calls 0
3600.02/3610.80 c STR number of successful attempts 0
3600.02/3610.80 c STR number of unsuccessful attempts 0
3600.02/3610.80 c STR number of inconclusive attempts 0
3600.02/3610.80 c STR average degree increase per successful call inf
3600.02/3610.80 c STR average degree increase per successful attempt inf
3600.02/3610.80 c STR total number of conflicts for successful attempts 0
3600.02/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.80 c STR average number of conflicts per successful attempt inf
3600.02/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.80 c AVG.sumWPerc 41.26
3600.02/3610.80 c bigint constraints 0
3600.02/3610.80 s UNKNOWN
3600.02/3610.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61634 MiB free)
memory of node 1: 64465 MiB (62809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515238-1751229829/watcher-4515238-1751229829 -o /tmp/evaluation-result-4515238-1751229829/solver-4515238-1751229829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751229829-41487 --watchdog 3760 run-dec.sh HOME/instance-4515238-1751229829.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41546, runsolver pid=41541
[startup+0.100058 s]*
/proc/loadavg: 1.27 1.88 2.06 5/272 41548
/proc/meminfo: memFree=127355312/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=70288 memory=23308 CPUtime=0.09 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 4511 0 0 0 8 1 0 0 20 0 1 0 38661648 71974912 5827 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 17572 5827 2208 1147 0 4999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74480 KiB
Current children cumulated memory: 26252 KiB
[startup+0.205324 s]*
/proc/loadavg: 1.27 1.88 2.06 5/272 41548
/proc/meminfo: memFree=127347248/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=70852 memory=23948 CPUtime=0.19 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 4659 0 0 0 18 1 0 0 20 0 1 0 38661648 72552448 5987 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 17713 5987 2208 1147 0 5140 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75044 KiB
Current children cumulated memory: 26892 KiB
[startup+0.304875 s]*
/proc/loadavg: 1.27 1.88 2.06 5/272 41548
/proc/meminfo: memFree=127342904/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=71052 memory=24204 CPUtime=0.29 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 4711 0 0 0 28 1 0 0 20 0 1 0 38661648 72757248 6051 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 17763 6051 2240 1147 0 5190 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75244 KiB
Current children cumulated memory: 27148 KiB
[startup+0.700131 s]
/proc/loadavg: 1.27 1.88 2.06 5/272 41548
/proc/meminfo: memFree=127340432/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=71052 memory=24716 CPUtime=0.68 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 4797 0 0 0 67 1 0 0 20 0 1 0 38661648 72757248 6179 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 17763 6179 2272 1147 0 5190 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75244 KiB
Current children cumulated memory: 27660 KiB
[startup+1.50016 s]
/proc/loadavg: 1.49 1.92 2.07 5/272 41548
/proc/meminfo: memFree=127322420/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=85372 memory=40620 CPUtime=1.47 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 6197 0 0 0 145 2 0 0 20 0 1 0 38661648 87420928 10155 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 21343 10155 2304 1147 0 8770 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89564 KiB
Current children cumulated memory: 43564 KiB
[startup+3.10537 s]
/proc/loadavg: 1.49 1.92 2.07 5/272 41548
/proc/meminfo: memFree=127227128/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=118136 memory=67796 CPUtime=3.07 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 7840 0 0 0 304 3 0 0 20 0 1 0 38661648 120971264 16949 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 29534 16949 2336 1147 0 16961 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122328 KiB
Current children cumulated memory: 70740 KiB
[startup+6.30019 s]
/proc/loadavg: 1.69 1.95 2.08 5/272 41548
/proc/meminfo: memFree=127103324/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=155864 memory=107396 CPUtime=6.27 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 10121 0 0 0 620 7 0 0 20 0 1 0 38661648 159604736 26849 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 38966 26849 2336 1147 0 26393 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 160056 KiB
Current children cumulated memory: 110340 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 1.99 2.09 5/272 41548
/proc/meminfo: memFree=126917852/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=212748 memory=131568 CPUtime=12.65 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 12067 0 0 0 1255 10 0 0 20 0 1 0 38661648 217853952 32892 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 53187 32892 2336 1147 0 40614 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 216940 KiB
Current children cumulated memory: 134512 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.05 2.11 5/272 41548
/proc/meminfo: memFree=126674556/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=221676 memory=168576 CPUtime=25.41 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 14171 0 0 0 2525 16 0 0 20 0 1 0 38661648 226996224 42144 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 55419 42144 2336 1147 0 42846 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 225868 KiB
Current children cumulated memory: 171520 KiB
[startup+51.1057 s]
/proc/loadavg: 2.98 2.26 2.18 5/272 41549
/proc/meminfo: memFree=126329128/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=319652 memory=211944 CPUtime=50.95 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 18349 0 0 0 5073 22 0 0 20 0 1 0 38661648 327323648 52986 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 79913 52986 2336 1147 0 67340 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 323844 KiB
Current children cumulated memory: 214888 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.54 2.28 5/271 41551
/proc/meminfo: memFree=125954112/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=361284 memory=300400 CPUtime=102.02 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 27740 0 0 0 10161 41 0 0 20 0 1 0 38661648 369954816 75100 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 90321 75100 2336 1147 0 77748 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 365476 KiB
Current children cumulated memory: 303344 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.83 2.40 5/271 41553
/proc/meminfo: memFree=125473292/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=609440 memory=442996 CPUtime=161.85 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 54192 0 0 0 16124 61 0 0 20 0 1 0 38661648 624066560 110749 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 152360 110749 2336 1147 0 139787 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 613632 KiB
Current children cumulated memory: 445940 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.08 2.51 5/267 41555
/proc/meminfo: memFree=124665836/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=736916 memory=553972 CPUtime=221.7 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 80947 0 0 0 22090 80 0 0 20 0 1 0 38661648 754601984 138493 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 184229 138493 2336 1147 0 171656 0
################
# More data... #
################
/proc/41548/statm: 549103 456566 2336 1147 0 536530 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 2200604 KiB
Current children cumulated memory: 1829208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/268 41721
/proc/meminfo: memFree=113393360/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2196412 memory=1826264 CPUtime=3092.89 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 339580 0 0 0 308752 537 0 0 20 0 1 0 38661648 2249125888 456566 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 549103 456566 2336 1147 0 536530 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 2200604 KiB
Current children cumulated memory: 1829208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/267 41723
/proc/meminfo: memFree=113334792/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2196412 memory=1826264 CPUtime=3152.73 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 339591 0 0 0 314728 545 0 0 20 0 1 0 38661648 2249125888 456566 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 549103 456566 2336 1147 0 536530 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 2200604 KiB
Current children cumulated memory: 1829208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/267 41725
/proc/meminfo: memFree=113323156/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2196412 memory=1826392 CPUtime=3212.57 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 339966 0 0 0 320706 551 0 0 20 0 1 0 38661648 2249125888 456598 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 549103 456598 2336 1147 0 536530 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 2200604 KiB
Current children cumulated memory: 1829336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/268 41730
/proc/meminfo: memFree=113266400/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2227900 memory=1847768 CPUtime=3272.41 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 345383 0 0 0 326683 558 0 0 20 0 1 0 38661648 2281369600 461942 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 556975 461942 2336 1147 0 544402 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 2232092 KiB
Current children cumulated memory: 1850712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/267 41732
/proc/meminfo: memFree=113196636/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2230716 memory=1849688 CPUtime=3332.25 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 345867 0 0 0 332658 567 0 0 20 0 1 0 38661648 2284253184 462422 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 557679 462422 2336 1147 0 545106 0
Current children cumulated CPU time: 3332.25 s
Current children cumulated vsize: 2234908 KiB
Current children cumulated memory: 1852632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.13 4.04 5/267 41734
/proc/meminfo: memFree=113134652/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2230716 memory=1849816 CPUtime=3392.09 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 345874 0 0 0 338634 575 0 0 20 0 1 0 38661648 2284253184 462454 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 557679 462454 2336 1147 0 545106 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 2234908 KiB
Current children cumulated memory: 1852760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/267 41740
/proc/meminfo: memFree=113116360/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2234728 memory=1853912 CPUtime=3451.93 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 347041 0 0 0 344609 584 0 0 20 0 1 0 38661648 2288361472 463478 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 558682 463478 2336 1147 0 546109 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 2238920 KiB
Current children cumulated memory: 1856856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/267 41742
/proc/meminfo: memFree=113051692/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2236520 memory=1925192 CPUtime=3511.76 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 347476 0 0 0 350587 589 0 0 20 0 1 0 38661648 2290196480 481298 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 559130 481298 2336 1147 0 546557 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 2240712 KiB
Current children cumulated memory: 1928136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 41745
/proc/meminfo: memFree=112908820/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2613164 memory=2041520 CPUtime=3571.59 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 353054 0 0 0 356561 598 0 0 20 0 1 0 38661648 2675879936 510380 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 653291 510380 2336 1147 0 640718 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2617356 KiB
Current children cumulated memory: 2044464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.04 4/262 41755
/proc/meminfo: memFree=120003024/131249992 swapFree=33010684/33010684
[pid=41546] ppid=41541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41546/stat : 41546 (run-dec.sh) S 41541 41546 41475 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 38661647 4292608 736 18446744073709551615 94376155258880 94376156153413 140725311773424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94376156392464 94376156440208 94376181571584 140725311781229 140725311781352 140725311781352 140725311786954 0
/proc/41546/statm: 1048 736 672 219 0 110 0
[pid=41548] ppid=41546 vsize=2627244 memory=2077196 CPUtime=3600.02 cores=1,3
/proc/41548/stat : 41548 (roundingsat) R 41546 41546 41475 0 -1 4194304 355328 0 0 0 359398 604 0 0 20 0 1 0 38661648 2690297856 519299 18446744073709551615 4227072 8923433 140736309562128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16613376 140736309565879 140736309565992 140736309565992 140736309571562 0
/proc/41548/statm: 656811 519299 2336 1147 0 644238 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2631436 KiB
Current children cumulated memory: 2080140 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.8 s]
# the end of solver process 41546 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002106 s
Sleeping 2 seconds
[startup+3610.86 s]
# the end of solver process 41548 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.99 s, system=6.09909 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): 3610.86
CPU time (s): 3600.09
CPU user time (s): 3593.99
CPU system time (s): 6.09909
CPU usage (%): 99.7018
Max. virtual memory (cumulated for all children) (KiB): 2631436
Max. memory (cumulated for all children) (KiB): 2080140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.99
system time used= 6.0991
maximum resident set size= 2077708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355552
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= 221
involuntary context switches= 6608
# summary of solver processes directly reported to runsolver:
# pid: 41546,41548
# total CPU time (s): 3600.09
# total CPU user time (s): 3593.99
# total CPU system time (s): 6.09909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40941 second user time and 16.5208 second system time
The end
Begin job on nodeC025 at 2025-06-29 22:43:49
IDJOB=4515238
IDBENCH=164254
IDSOLVER=3349
FILE ID=nodeC025/4515238-1751229829
RUNJOBID= nodeC025-1751229829-41487
SLURM_JOB_ID= 9587699
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515238-1751229829/watcher-4515238-1751229829 -o /tmp/evaluation-result-4515238-1751229829/solver-4515238-1751229829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751229829-41487 --watchdog 3760 run-dec.sh HOME/instance-4515238-1751229829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0
RANDOM SEED=1024765380
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.230
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.587
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.978
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.802
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.973
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.865
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127462880 kB
MemAvailable: 129833656 kB
Buffers: 3280 kB
Cached: 3171144 kB
SwapCached: 0 kB
Active: 374632 kB
Inactive: 2866924 kB
Active(anon): 85216 kB
Inactive(anon): 0 kB
Active(file): 289416 kB
Inactive(file): 2866924 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32100 kB
Writeback: 0 kB
AnonPages: 70692 kB
Mapped: 102800 kB
Shmem: 18084 kB
KReclaimable: 107352 kB
Slab: 194612 kB
SReclaimable: 107352 kB
SUnreclaim: 87260 kB
KernelStack: 4084 kB
PageTables: 2540 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 334120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC025 at 2025-06-29 23:44:00