0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4503569-1751169696.opb'
0.67/0.76 c read 50.89MB (749.98ms)
0.67/0.76 c [cnf: #variables 48411 #clauses 1121517 #duplicates 0 #arr 4317697]
0.67/0.76 c output proof to 'PROOFDIR/proof-4503569-1751169696'
0.67/0.76 c
0.67/0.76 c make graph and approximate orbits
1.37/1.44 c [group: #orbits ~= 0] (681.77ms)
1.37/1.44 c
1.37/1.44 c detect special group actions
1.37/1.44 c probe for Johnson action (limit=64)
1.37/1.45 c probe for row-column symmetry (limit=64, splits=16.78M)
1.37/1.47 c probe for row symmetry (limit=64, splits=16.78M)
1.37/1.48 c (40.85ms)
1.37/1.48 c
1.37/1.48 c detect symmetries on remainder
1.37/1.49 c [graph: #vertices 1320853 #edges 8937244]
1.47/1.50 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.47/1.57 c [group: #symmetries 1.00*10^0 #generators 0] (92.81ms)
1.47/1.57 c
1.47/1.57 c finalize break order and special generators
1.47/1.58 c
1.47/1.58 c generation finished
1.47/1.58 c [sbp: #constraints 0 #add_vars 0]
1.47/1.58 c
1.47/1.58 c write result to 'HOME/instance-4503569-1751169696.opb.pre'
1.57/1.69 c wrote 50.89MB (109.01ms)
1.57/1.69 c ------------------------------------------------------------------
1.57/1.69 c 749.98ms 44.60% parse
1.57/1.69 c 681.77ms 40.55% approx_orbits
1.57/1.69 c 109.01ms 6.48% output
1.57/1.69 c 92.81ms 5.52% detect_generic
1.57/1.69 c 40.85ms 2.43% detect_special
1.57/1.69 c 5.21ms 0.31% other
1.57/1.69 c 1.85ms 0.11% finalize_order
1.57/1.69 c ───────────────────────────────────────────────
1.57/1.69 c 1681.48ms 100% total
1.57/1.69 c ------------------------------------------------------------------
1.77/1.86 c RoundingSat 2
1.77/1.86 c branch pb25
1.77/1.86 c commit 63f22ad
6.64/6.78 c #variables 48411 #constraints 1123290
1894.37/1899.99 c #Conflicts: 1000 | #Constraints: 1124289
1894.37/1899.99 c #Conflicts: 2000 | #Constraints: 1125289
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 3000 | #Constraints: 1125297
1894.37/1899.99 c #Conflicts: 4000 | #Constraints: 1126297
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 5000 | #Constraints: 1125686
1894.37/1899.99 c #Conflicts: 6000 | #Constraints: 1126686
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 7000 | #Constraints: 1125694
1894.37/1899.99 c #Conflicts: 8000 | #Constraints: 1126694
1894.37/1899.99 c #Conflicts: 9000 | #Constraints: 1127694
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 10000 | #Constraints: 1126382
1894.37/1899.99 c #Conflicts: 11000 | #Constraints: 1127382
1894.37/1899.99 c #Conflicts: 12000 | #Constraints: 1128382
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 13000 | #Constraints: 1126820
1894.37/1899.99 c #Conflicts: 14000 | #Constraints: 1127820
1894.37/1899.99 c #Conflicts: 15000 | #Constraints: 1128820
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 16000 | #Constraints: 1127010
1894.37/1899.99 c #Conflicts: 17000 | #Constraints: 1128010
1894.37/1899.99 c #Conflicts: 18000 | #Constraints: 1129010
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 19000 | #Constraints: 1127032
1894.37/1899.99 c #Conflicts: 20000 | #Constraints: 1128032
1894.37/1899.99 c #Conflicts: 21000 | #Constraints: 1129032
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 22000 | #Constraints: 1126811
1894.37/1899.99 c #Conflicts: 23000 | #Constraints: 1127811
1894.37/1899.99 c #Conflicts: 24000 | #Constraints: 1128811
1894.37/1899.99 c #Conflicts: 25000 | #Constraints: 1129811
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 26000 | #Constraints: 1127438
1894.37/1899.99 c #Conflicts: 27000 | #Constraints: 1128438
1894.37/1899.99 c #Conflicts: 28000 | #Constraints: 1129438
1894.37/1899.99 c #Conflicts: 29000 | #Constraints: 1130438
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 30000 | #Constraints: 1127849
1894.37/1899.99 c #Conflicts: 31000 | #Constraints: 1128849
1894.37/1899.99 c #Conflicts: 32000 | #Constraints: 1129849
1894.37/1899.99 c #Conflicts: 33000 | #Constraints: 1130849
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 34000 | #Constraints: 1128065
1894.37/1899.99 c #Conflicts: 35000 | #Constraints: 1129065
1894.37/1899.99 c #Conflicts: 36000 | #Constraints: 1130065
1894.37/1899.99 c #Conflicts: 37000 | #Constraints: 1131065
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 38000 | #Constraints: 1128261
1894.37/1899.99 c #Conflicts: 39000 | #Constraints: 1129261
1894.37/1899.99 c #Conflicts: 40000 | #Constraints: 1130261
1894.37/1899.99 c #Conflicts: 41000 | #Constraints: 1131261
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c GARBAGE COLLECT
1894.37/1899.99 c #Conflicts: 42000 | #Constraints: 1128172
1894.37/1899.99 c #Conflicts: 43000 | #Constraints: 1129172
1894.37/1899.99 c #Conflicts: 44000 | #Constraints: 1130172
1894.37/1899.99 c #Conflicts: 45000 | #Constraints: 1131172
1894.37/1899.99 c #Conflicts: 46000 | #Constraints: 1132172
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 47000 | #Constraints: 1128863
1894.37/1899.99 c #Conflicts: 48000 | #Constraints: 1129863
1894.37/1899.99 c #Conflicts: 49000 | #Constraints: 1130863
1894.37/1899.99 c #Conflicts: 50000 | #Constraints: 1131863
1894.37/1899.99 c #Conflicts: 51000 | #Constraints: 1132863
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 52000 | #Constraints: 1129098
1894.37/1899.99 c #Conflicts: 53000 | #Constraints: 1130098
1894.37/1899.99 c #Conflicts: 54000 | #Constraints: 1131098
1894.37/1899.99 c #Conflicts: 55000 | #Constraints: 1132098
1894.37/1899.99 c #Conflicts: 56000 | #Constraints: 1133098
1894.37/1899.99 c INPROCESSING
1894.37/1899.99 c #Conflicts: 57000 | #Constraints: 1129269
1894.37/1899.99 c #Conflicts: 58000 | #Constraints: 1130269
1894.37/1899.99 c #Conflicts: 59000 | #Constraints: 1131269
1894.37/1899.99 c #Conflicts: 60000 | #Constraints: 1132269
1894.37/1899.99 c #Conflicts: 61000 | #Constraints: 1133269
1894.37/1899.99 c #Conflicts: 62000 | #Constraints: 1134269
1894.37/1899.99 c #Conflicts: 63000 | #Constraints: 1135269
1894.37/1899.99 c #Conflicts: 64000 | #Constraints: 1136269
1894.37/1899.99 c #Conflicts: 65000 | #Constraints: 1137269
1894.37/1899.99 c #Conflicts: 66000 | #Constraints: 1138269
1894.37/1899.99 c #Conflicts: 67000 | #Constraints: 1139269
1894.37/1899.99 c #Conflicts: 68000 | #Constraints: 1140269
1894.37/1899.99 c #Conflicts: 69000 | #Constraints: 1141269
1894.37/1899.99 c #Conflicts: 70000 | #Constraints: 1142269
1894.37/1899.99 c #Conflicts: 71000 | #Constraints: 1143269
1894.37/1899.99 c #Conflicts: 72000 | #Constraints: 1144269
1894.37/1899.99 c #Conflicts: 73000 | #Constraints: 1145269
1894.37/1899.99 c #Conflicts: 74000 | #Constraints: 1146269
2553.93/2561.47 c #Conflicts: 75000 | #Constraints: 1147269
2553.93/2561.47 c #Conflicts: 76000 | #Constraints: 1148269
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c #Conflicts: 77000 | #Constraints: 1136794
2553.93/2561.47 c #Conflicts: 78000 | #Constraints: 1137794
2553.93/2561.47 c #Conflicts: 79000 | #Constraints: 1138794
2553.93/2561.47 c #Conflicts: 80000 | #Constraints: 1139794
2553.93/2561.47 c #Conflicts: 81000 | #Constraints: 1140794
2553.93/2561.47 c #Conflicts: 82000 | #Constraints: 1141794
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c GARBAGE COLLECT
2553.93/2561.47 c #Conflicts: 83000 | #Constraints: 1133466
2553.93/2561.47 c #Conflicts: 84000 | #Constraints: 1134466
2553.93/2561.47 c #Conflicts: 85000 | #Constraints: 1135466
2553.93/2561.47 c #Conflicts: 86000 | #Constraints: 1136466
2553.93/2561.47 c #Conflicts: 87000 | #Constraints: 1137466
2553.93/2561.47 c #Conflicts: 88000 | #Constraints: 1138466
2553.93/2561.47 c #Conflicts: 89000 | #Constraints: 1139466
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c #Conflicts: 90000 | #Constraints: 1132604
2553.93/2561.47 c #Conflicts: 91000 | #Constraints: 1133604
2553.93/2561.47 c #Conflicts: 92000 | #Constraints: 1134604
2553.93/2561.47 c #Conflicts: 93000 | #Constraints: 1135604
2553.93/2561.47 c #Conflicts: 94000 | #Constraints: 1136604
2553.93/2561.47 c #Conflicts: 95000 | #Constraints: 1137604
2553.93/2561.47 c #Conflicts: 96000 | #Constraints: 1138604
2553.93/2561.47 c #Conflicts: 97000 | #Constraints: 1139604
2553.93/2561.47 c #Conflicts: 98000 | #Constraints: 1140604
2553.93/2561.47 c #Conflicts: 99000 | #Constraints: 1141604
2553.93/2561.47 c #Conflicts: 100000 | #Constraints: 1142604
2553.93/2561.47 c #Conflicts: 101000 | #Constraints: 1143604
2553.93/2561.47 c #Conflicts: 102000 | #Constraints: 1144604
2553.93/2561.47 c #Conflicts: 103000 | #Constraints: 1145604
2553.93/2561.47 c #Conflicts: 104000 | #Constraints: 1146604
2553.93/2561.47 c #Conflicts: 105000 | #Constraints: 1147604
2553.93/2561.47 c #Conflicts: 106000 | #Constraints: 1148604
2553.93/2561.47 c #Conflicts: 107000 | #Constraints: 1149604
2553.93/2561.47 c #Conflicts: 108000 | #Constraints: 1150604
2553.93/2561.47 c #Conflicts: 109000 | #Constraints: 1151604
2553.93/2561.47 c #Conflicts: 110000 | #Constraints: 1152604
2553.93/2561.47 c #Conflicts: 111000 | #Constraints: 1153604
2553.93/2561.47 c #Conflicts: 112000 | #Constraints: 1154604
2553.93/2561.47 c #Conflicts: 113000 | #Constraints: 1155604
2553.93/2561.47 c #Conflicts: 114000 | #Constraints: 1156604
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c #Conflicts: 115000 | #Constraints: 1141202
2553.93/2561.47 c #Conflicts: 116000 | #Constraints: 1142202
2553.93/2561.47 c #Conflicts: 117000 | #Constraints: 1143202
2553.93/2561.47 c #Conflicts: 118000 | #Constraints: 1144202
2553.93/2561.47 c #Conflicts: 119000 | #Constraints: 1145202
2553.93/2561.47 c #Conflicts: 120000 | #Constraints: 1146202
2553.93/2561.47 c #Conflicts: 121000 | #Constraints: 1147202
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c GARBAGE COLLECT
2553.93/2561.47 c #Conflicts: 122000 | #Constraints: 1136293
2553.93/2561.47 c #Conflicts: 123000 | #Constraints: 1137293
2553.93/2561.47 c #Conflicts: 124000 | #Constraints: 1138293
2553.93/2561.47 c #Conflicts: 125000 | #Constraints: 1139293
2553.93/2561.47 c #Conflicts: 126000 | #Constraints: 1140293
2553.93/2561.47 c #Conflicts: 127000 | #Constraints: 1141293
2553.93/2561.47 c #Conflicts: 128000 | #Constraints: 1142293
2553.93/2561.47 c #Conflicts: 129000 | #Constraints: 1143293
2553.93/2561.47 c INPROCESSING
2553.93/2561.47 c #Conflicts: 130000 | #Constraints: 1134445
2553.93/2561.47 c #Conflicts: 131000 | #Constraints: 1135445
2553.93/2561.47 c #Conflicts: 132000 | #Constraints: 1136445
2553.93/2561.47 c #Conflicts: 133000 | #Constraints: 1137445
2553.93/2561.47 c #Conflicts: 134000 | #Constraints: 1138445
2553.93/2561.47 c #Conflicts: 135000 | #Constraints: 1139445
2553.93/2561.47 c #Conflicts: 136000 | #Constraints: 1140445
2553.93/2561.47 c #Conflicts: 137000 | #Constraints: 1141445
2553.93/2561.47 c #Conflicts: 138000 | #Constraints: 1142445
2553.93/2561.47 c #Conflicts: 139000 | #Constraints: 1143445
2553.93/2561.47 c #Conflicts: 140000 | #Constraints: 1144445
2553.93/2561.47 c #Conflicts: 141000 | #Constraints: 1145445
2553.93/2561.47 c #Conflicts: 142000 | #Constraints: 1146445
2553.93/2561.47 c #Conflicts: 143000 | #Constraints: 1147445
2553.93/2561.47 c #Conflicts: 144000 | #Constraints: 1148445
2553.93/2561.47 c #Conflicts: 145000 | #Constraints: 1149445
2553.93/2561.47 c #Conflicts: 146000 | #Constraints: 1150445
2553.93/2561.47 c #Conflicts: 147000 | #Constraints: 1151445
2553.93/2561.47 c #Conflicts: 148000 | #Constraints: 1152445
2553.93/2561.47 c #Conflicts: 149000 | #Constraints: 1153445
2553.93/2561.47 c #Conflicts: 150000 | #Constraints: 1154445
2553.93/2561.47 c #Conflicts: 151000 | #Constraints: 1155445
3002.70/3011.54 c #Conflicts: 152000 | #Constraints: 1156445
3002.70/3011.54 c #Conflicts: 153000 | #Constraints: 1157445
3002.70/3011.54 c #Conflicts: 154000 | #Constraints: 1158445
3002.70/3011.54 c #Conflicts: 155000 | #Constraints: 1159445
3002.70/3011.54 c #Conflicts: 156000 | #Constraints: 1160445
3002.70/3011.54 c #Conflicts: 157000 | #Constraints: 1161445
3002.70/3011.54 c #Conflicts: 158000 | #Constraints: 1162445
3002.70/3011.54 c INPROCESSING
3002.70/3011.54 c GARBAGE COLLECT
3002.70/3011.54 c #Conflicts: 159000 | #Constraints: 1143788
3002.70/3011.54 c #Conflicts: 160000 | #Constraints: 1144788
3002.70/3011.54 c #Conflicts: 161000 | #Constraints: 1145788
3002.70/3011.54 c #Conflicts: 162000 | #Constraints: 1146788
3002.70/3011.54 c #Conflicts: 163000 | #Constraints: 1147788
3002.70/3011.54 c #Conflicts: 164000 | #Constraints: 1148788
3002.70/3011.54 c #Conflicts: 165000 | #Constraints: 1149788
3002.70/3011.54 c #Conflicts: 166000 | #Constraints: 1150788
3002.70/3011.54 c #Conflicts: 167000 | #Constraints: 1151788
3002.70/3011.54 c #Conflicts: 168000 | #Constraints: 1152788
3002.70/3011.54 c INPROCESSING
3002.70/3011.54 c #Conflicts: 169000 | #Constraints: 1139413
3002.70/3011.54 c #Conflicts: 170000 | #Constraints: 1140413
3002.70/3011.54 c #Conflicts: 171000 | #Constraints: 1141413
3002.70/3011.54 c #Conflicts: 172000 | #Constraints: 1142413
3002.70/3011.54 c #Conflicts: 173000 | #Constraints: 1143413
3002.70/3011.54 c #Conflicts: 174000 | #Constraints: 1144413
3002.70/3011.54 c #Conflicts: 175000 | #Constraints: 1145413
3002.70/3011.54 c #Conflicts: 176000 | #Constraints: 1146413
3002.70/3011.54 c #Conflicts: 177000 | #Constraints: 1147413
3002.70/3011.54 c #Conflicts: 178000 | #Constraints: 1148413
3002.70/3011.54 c #Conflicts: 179000 | #Constraints: 1149413
3002.70/3011.54 c #Conflicts: 180000 | #Constraints: 1150413
3002.70/3011.54 c #Conflicts: 181000 | #Constraints: 1151413
3002.70/3011.54 c #Conflicts: 182000 | #Constraints: 1152413
3002.70/3011.54 c #Conflicts: 183000 | #Constraints: 1153413
3002.70/3011.54 c #Conflicts: 184000 | #Constraints: 1154413
3002.70/3011.54 c #Conflicts: 185000 | #Constraints: 1155413
3002.70/3011.54 c #Conflicts: 186000 | #Constraints: 1156413
3002.70/3011.54 c #Conflicts: 187000 | #Constraints: 1157413
3002.70/3011.54 c #Conflicts: 188000 | #Constraints: 1158413
3002.70/3011.54 c #Conflicts: 189000 | #Constraints: 1159413
3002.70/3011.54 c #Conflicts: 190000 | #Constraints: 1160413
3002.70/3011.54 c #Conflicts: 191000 | #Constraints: 1161413
3002.70/3011.54 c #Conflicts: 192000 | #Constraints: 1162413
3002.70/3011.54 c #Conflicts: 193000 | #Constraints: 1163413
3002.70/3011.54 c #Conflicts: 194000 | #Constraints: 1164413
3002.70/3011.54 c #Conflicts: 195000 | #Constraints: 1165413
3002.70/3011.54 c #Conflicts: 196000 | #Constraints: 1166413
3002.70/3011.54 c #Conflicts: 197000 | #Constraints: 1167413
3002.70/3011.54 c #Conflicts: 198000 | #Constraints: 1168413
3002.70/3011.54 c #Conflicts: 199000 | #Constraints: 1169413
3002.70/3011.54 c #Conflicts: 200000 | #Constraints: 1170413
3002.70/3011.54 c INPROCESSING
3002.70/3011.54 c GARBAGE COLLECT
3002.70/3011.54 c #Conflicts: 201000 | #Constraints: 1148468
3002.70/3011.54 c #Conflicts: 202000 | #Constraints: 1149468
3002.70/3011.54 c #Conflicts: 203000 | #Constraints: 1150468
3002.70/3011.54 c #Conflicts: 204000 | #Constraints: 1151468
3002.70/3011.54 c #Conflicts: 205000 | #Constraints: 1152468
3002.70/3011.54 c #Conflicts: 206000 | #Constraints: 1153468
3002.70/3011.54 c #Conflicts: 207000 | #Constraints: 1154468
3002.70/3011.54 c #Conflicts: 208000 | #Constraints: 1155468
3002.70/3011.54 c #Conflicts: 209000 | #Constraints: 1156468
3002.70/3011.54 c #Conflicts: 210000 | #Constraints: 1157468
3002.70/3011.54 c INPROCESSING
3002.70/3011.54 c #Conflicts: 211000 | #Constraints: 1141425
3002.70/3011.54 c #Conflicts: 212000 | #Constraints: 1142425
3002.70/3011.54 c #Conflicts: 213000 | #Constraints: 1143425
3002.70/3011.54 c #Conflicts: 214000 | #Constraints: 1144425
3002.70/3011.54 c #Conflicts: 215000 | #Constraints: 1145425
3002.70/3011.54 c #Conflicts: 216000 | #Constraints: 1146425
3002.70/3011.54 c #Conflicts: 217000 | #Constraints: 1147425
3002.70/3011.54 c #Conflicts: 218000 | #Constraints: 1148425
3002.70/3011.54 c #Conflicts: 219000 | #Constraints: 1149425
3002.70/3011.54 c #Conflicts: 220000 | #Constraints: 1150425
3002.70/3011.54 c #Conflicts: 221000 | #Constraints: 1151425
3002.70/3011.54 c #Conflicts: 222000 | #Constraints: 1152425
3002.70/3011.54 c #Conflicts: 223000 | #Constraints: 1153425
3002.70/3011.54 c #Conflicts: 224000 | #Constraints: 1154425
3002.70/3011.54 c #Conflicts: 225000 | #Constraints: 1155425
3002.70/3011.54 c #Conflicts: 226000 | #Constraints: 1156425
3002.70/3011.54 c #Conflicts: 227000 | #Constraints: 1157425
3002.70/3011.54 c #Conflicts: 228000 | #Constraints: 1158425
3332.20/3341.93 c #Conflicts: 229000 | #Constraints: 1159425
3332.20/3341.93 c #Conflicts: 230000 | #Constraints: 1160425
3332.20/3341.93 c #Conflicts: 231000 | #Constraints: 1161425
3332.20/3341.93 c #Conflicts: 232000 | #Constraints: 1162425
3332.20/3341.93 c #Conflicts: 233000 | #Constraints: 1163425
3332.20/3341.93 c #Conflicts: 234000 | #Constraints: 1164425
3332.20/3341.93 c #Conflicts: 235000 | #Constraints: 1165425
3332.20/3341.93 c #Conflicts: 236000 | #Constraints: 1166425
3332.20/3341.93 c #Conflicts: 237000 | #Constraints: 1167425
3332.20/3341.93 c #Conflicts: 238000 | #Constraints: 1168425
3332.20/3341.93 c #Conflicts: 239000 | #Constraints: 1169425
3332.20/3341.93 c #Conflicts: 240000 | #Constraints: 1170425
3332.20/3341.93 c #Conflicts: 241000 | #Constraints: 1171425
3332.20/3341.93 c #Conflicts: 242000 | #Constraints: 1172425
3332.20/3341.93 c #Conflicts: 243000 | #Constraints: 1173425
3332.20/3341.93 c #Conflicts: 244000 | #Constraints: 1174425
3332.20/3341.93 c #Conflicts: 245000 | #Constraints: 1175425
3332.20/3341.93 c INPROCESSING
3332.20/3341.93 c GARBAGE COLLECT
3332.20/3341.93 c #Conflicts: 246000 | #Constraints: 1150539
3332.20/3341.93 c #Conflicts: 247000 | #Constraints: 1151539
3332.20/3341.93 c #Conflicts: 248000 | #Constraints: 1152539
3332.20/3341.93 c #Conflicts: 249000 | #Constraints: 1153539
3332.20/3341.93 c #Conflicts: 250000 | #Constraints: 1154539
3332.20/3341.93 c #Conflicts: 251000 | #Constraints: 1155539
3332.20/3341.93 c #Conflicts: 252000 | #Constraints: 1156539
3332.20/3341.93 c #Conflicts: 253000 | #Constraints: 1157539
3332.20/3341.93 c #Conflicts: 254000 | #Constraints: 1158539
3332.20/3341.93 c #Conflicts: 255000 | #Constraints: 1159539
3332.20/3341.93 c #Conflicts: 256000 | #Constraints: 1160539
3332.20/3341.93 c #Conflicts: 257000 | #Constraints: 1161539
3332.20/3341.93 c INPROCESSING
3332.20/3341.93 c #Conflicts: 258000 | #Constraints: 1143762
3332.20/3341.93 c #Conflicts: 259000 | #Constraints: 1144762
3332.20/3341.93 c #Conflicts: 260000 | #Constraints: 1145762
3332.20/3341.93 c #Conflicts: 261000 | #Constraints: 1146762
3332.20/3341.93 c #Conflicts: 262000 | #Constraints: 1147762
3332.20/3341.93 c #Conflicts: 263000 | #Constraints: 1148762
3332.20/3341.93 c #Conflicts: 264000 | #Constraints: 1149762
3332.20/3341.93 c #Conflicts: 265000 | #Constraints: 1150762
3332.20/3341.93 c #Conflicts: 266000 | #Constraints: 1151762
3332.20/3341.93 c #Conflicts: 267000 | #Constraints: 1152762
3332.20/3341.93 c #Conflicts: 268000 | #Constraints: 1153762
3332.20/3341.93 c #Conflicts: 269000 | #Constraints: 1154762
3332.20/3341.93 c #Conflicts: 270000 | #Constraints: 1155762
3332.20/3341.93 c #Conflicts: 271000 | #Constraints: 1156762
3332.20/3341.93 c #Conflicts: 272000 | #Constraints: 1157762
3332.20/3341.93 c #Conflicts: 273000 | #Constraints: 1158762
3332.20/3341.93 c #Conflicts: 274000 | #Constraints: 1159762
3332.20/3341.93 c #Conflicts: 275000 | #Constraints: 1160762
3332.20/3341.93 c #Conflicts: 276000 | #Constraints: 1161762
3332.20/3341.93 c #Conflicts: 277000 | #Constraints: 1162762
3332.20/3341.93 c #Conflicts: 278000 | #Constraints: 1163762
3332.20/3341.93 c #Conflicts: 279000 | #Constraints: 1164762
3332.20/3341.93 c #Conflicts: 280000 | #Constraints: 1165762
3332.20/3341.93 c #Conflicts: 281000 | #Constraints: 1166762
3332.20/3341.93 c #Conflicts: 282000 | #Constraints: 1167762
3332.20/3341.93 c #Conflicts: 283000 | #Constraints: 1168762
3332.20/3341.93 c #Conflicts: 284000 | #Constraints: 1169762
3332.20/3341.93 c #Conflicts: 285000 | #Constraints: 1170762
3332.20/3341.93 c #Conflicts: 286000 | #Constraints: 1171762
3332.20/3341.93 c #Conflicts: 287000 | #Constraints: 1172762
3332.20/3341.93 c #Conflicts: 288000 | #Constraints: 1173762
3332.20/3341.93 c #Conflicts: 289000 | #Constraints: 1174762
3332.20/3341.93 c #Conflicts: 290000 | #Constraints: 1175762
3332.20/3341.93 c #Conflicts: 291000 | #Constraints: 1176762
3332.20/3341.93 c #Conflicts: 292000 | #Constraints: 1177762
3332.20/3341.93 c #Conflicts: 293000 | #Constraints: 1178762
3332.20/3341.93 c #Conflicts: 294000 | #Constraints: 1179762
3332.20/3341.93 c #Conflicts: 295000 | #Constraints: 1180762
3332.20/3341.93 c INPROCESSING
3332.20/3341.93 c GARBAGE COLLECT
3332.20/3341.93 c #Conflicts: 296000 | #Constraints: 1152988
3332.20/3341.93 c #Conflicts: 297000 | #Constraints: 1153988
3332.20/3341.93 c #Conflicts: 298000 | #Constraints: 1154988
3332.20/3341.93 c #Conflicts: 299000 | #Constraints: 1155988
3332.20/3341.93 c #Conflicts: 300000 | #Constraints: 1156988
3332.20/3341.93 c #Conflicts: 301000 | #Constraints: 1157988
3332.20/3341.93 c #Conflicts: 302000 | #Constraints: 1158988
3332.20/3341.93 c #Conflicts: 303000 | #Constraints: 1159988
3332.20/3341.93 c #Conflicts: 304000 | #Constraints: 1160988
3332.20/3341.93 c #Conflicts: 305000 | #Constraints: 1161988
3600.08/3610.50 c #Conflicts: 306000 | #Constraints: 1162988
3600.08/3610.50 c #Conflicts: 307000 | #Constraints: 1163988
3600.08/3610.50 c #Conflicts: 308000 | #Constraints: 1164988
3600.08/3610.50 c #Conflicts: 309000 | #Constraints: 1165988
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c #Conflicts: 310000 | #Constraints: 1146222
3600.08/3610.50 c #Conflicts: 311000 | #Constraints: 1147222
3600.08/3610.50 c #Conflicts: 312000 | #Constraints: 1148222
3600.08/3610.50 c #Conflicts: 313000 | #Constraints: 1149222
3600.08/3610.50 c #Conflicts: 314000 | #Constraints: 1150222
3600.08/3610.50 c #Conflicts: 315000 | #Constraints: 1151222
3600.08/3610.50 c #Conflicts: 316000 | #Constraints: 1152222
3600.08/3610.50 c #Conflicts: 317000 | #Constraints: 1153222
3600.08/3610.50 c #Conflicts: 318000 | #Constraints: 1154222
3600.08/3610.50 c #Conflicts: 319000 | #Constraints: 1155222
3600.08/3610.50 c #Conflicts: 320000 | #Constraints: 1156222
3600.08/3610.50 c #Conflicts: 321000 | #Constraints: 1157222
3600.08/3610.50 c #Conflicts: 322000 | #Constraints: 1158222
3600.08/3610.50 c #Conflicts: 323000 | #Constraints: 1159222
3600.08/3610.50 c #Conflicts: 324000 | #Constraints: 1160222
3600.08/3610.50 c #Conflicts: 325000 | #Constraints: 1161222
3600.08/3610.50 c #Conflicts: 326000 | #Constraints: 1162222
3600.08/3610.50 c #Conflicts: 327000 | #Constraints: 1163222
3600.08/3610.50 c #Conflicts: 328000 | #Constraints: 1164222
3600.08/3610.50 c #Conflicts: 329000 | #Constraints: 1165222
3600.08/3610.50 c #Conflicts: 330000 | #Constraints: 1166222
3600.08/3610.50 c #Conflicts: 331000 | #Constraints: 1167222
3600.08/3610.50 c #Conflicts: 332000 | #Constraints: 1168222
3600.08/3610.50 c #Conflicts: 333000 | #Constraints: 1169222
3600.08/3610.50 c #Conflicts: 334000 | #Constraints: 1170222
3600.08/3610.50 c #Conflicts: 335000 | #Constraints: 1171222
3600.08/3610.50 c #Conflicts: 336000 | #Constraints: 1172222
3600.08/3610.50 c #Conflicts: 337000 | #Constraints: 1173222
3600.08/3610.50 c #Conflicts: 338000 | #Constraints: 1174222
3600.08/3610.50 c #Conflicts: 339000 | #Constraints: 1175222
3600.08/3610.50 c #Conflicts: 340000 | #Constraints: 1176222
3600.08/3610.50 c #Conflicts: 341000 | #Constraints: 1177222
3600.08/3610.50 c #Conflicts: 342000 | #Constraints: 1178222
3600.08/3610.50 c #Conflicts: 343000 | #Constraints: 1179222
3600.08/3610.50 c #Conflicts: 344000 | #Constraints: 1180222
3600.08/3610.50 c #Conflicts: 345000 | #Constraints: 1181222
3600.08/3610.50 c #Conflicts: 346000 | #Constraints: 1182222
3600.08/3610.50 c #Conflicts: 347000 | #Constraints: 1183222
3600.08/3610.50 c #Conflicts: 348000 | #Constraints: 1184222
3600.08/3610.50 c #Conflicts: 349000 | #Constraints: 1185222
3600.08/3610.50 c #Conflicts: 350000 | #Constraints: 1186222
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c GARBAGE COLLECT
3600.08/3610.50 c #Conflicts: 351000 | #Constraints: 1156361
3600.08/3610.50 c #Conflicts: 352000 | #Constraints: 1157361
3600.08/3610.50 c #Conflicts: 353000 | #Constraints: 1158361
3600.08/3610.50 c #Conflicts: 354000 | #Constraints: 1159361
3600.08/3610.50 c #Conflicts: 355000 | #Constraints: 1160361
3600.08/3610.50 c #Conflicts: 356000 | #Constraints: 1161361
3600.08/3610.50 c #Conflicts: 357000 | #Constraints: 1162361
3600.08/3610.50 c #Conflicts: 358000 | #Constraints: 1163361
3600.08/3610.50 c #Conflicts: 359000 | #Constraints: 1164361
3600.08/3610.50 c #Conflicts: 360000 | #Constraints: 1165361
3600.08/3610.50 c #Conflicts: 361000 | #Constraints: 1166361
3600.08/3610.50 c #Conflicts: 362000 | #Constraints: 1167361
3600.08/3610.50 c #Conflicts: 363000 | #Constraints: 1168361
3600.08/3610.50 c #Conflicts: 364000 | #Constraints: 1169361
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c cpu time 3590.79 s
3600.08/3610.50 c deterministic time 4091018174 4.09e+09
3600.08/3610.50 c optimization time 48.506 s
3600.08/3610.50 c total solve time 3538.33 s
3600.08/3610.50 c core-guided solve time 0 s
3600.08/3610.50 c propagation time 46.0289 s
3600.08/3610.50 c conflict analysis time 16.4739 s
3600.08/3610.50 c propagations 553785488
3600.08/3610.50 c resolve steps 4386668
3600.08/3610.50 c decisions 8355125
3600.08/3610.50 c conflicts 364800
3600.08/3610.50 c restarts 881
3600.08/3610.50 c inprocessing phases 32
3600.08/3610.50 c garbage collections 8 ,( 25.00 )
3600.08/3610.50 c input clauses 1009495 ,( 89.87 )
3600.08/3610.50 c input cardinalities 3524 ,( 0.31 )
3600.08/3610.50 c input general constraints 110271 ,( 9.82 )
3600.08/3610.50 c input average constraint length 3.86
3600.08/3610.50 c input average constraint degree 1.12
3600.08/3610.50 c learned clauses 364601 ,( 99.95 )
3600.08/3610.50 c learned cardinalities 87 ,( 0.02 )
3600.08/3610.50 c learned general constraints 112 ,( 0.03 )
3600.08/3610.50 c learned average constraint length 106.37
3600.08/3610.50 c learned average constraint degree 1.01
3600.08/3610.50 c watched CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
3600.08/3610.50 c counting CF 32, 64, 128, Arb: 110368 , 0 , 0 , 0
3600.08/3610.50 c watched constraints 15 ,( 0.01 )
3600.08/3610.50 c counting constraints 110368 ,( 99.99 )
3600.08/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 720070440 , 995739 , 22343061 ,( 2161 , 22340900 )
3600.08/3610.50 c gcd simplifications 116
3600.08/3610.50 c detected cardinalities 4
3600.08/3610.50 c weakened non-implied lits 61882
3600.08/3610.50 c weakened non-implying lits 200
3600.08/3610.50 c original variables 48411
3600.08/3610.50 c clausal propagations 547729981
3600.08/3610.50 c cardinality propagations 916615
3600.08/3610.50 c watched propagations 32
3600.08/3610.50 c counting propagations 4772861
3600.08/3610.50 c watch lookups 1005987022
3600.08/3610.50 c watch backjump lookups 0
3600.08/3610.50 c watch checks 1262824653
3600.08/3610.50 c propagation checks 606288050
3600.08/3610.50 c constraint additions 91272436
3600.08/3610.50 c trail pops 562505399
3600.08/3610.50 c formula constraints 1123290
3600.08/3610.50 c learned constraints 364800
3600.08/3610.50 c bound constraints 0
3600.08/3610.50 c core-guided constraints 0
3600.08/3610.50 c encountered formula constraints 3630532
3600.08/3610.50 c encountered learned constraints 1120936
3600.08/3610.50 c encountered bound constraints 0
3600.08/3610.50 c encountered core-guided constraints 0
3600.08/3610.50 c LP total time 0 s
3600.08/3610.50 c LP solve time 0 s
3600.08/3610.50 c LP constraints added 0
3600.08/3610.50 c LP constraints removed 0
3600.08/3610.50 c LP pivots internal 0
3600.08/3610.50 c LP pivots root 0
3600.08/3610.50 c LP calls 0
3600.08/3610.50 c LP optimalities 0
3600.08/3610.50 c LP no pivot count 0
3600.08/3610.50 c LP infeasibilities 0
3600.08/3610.50 c LP valid Farkas constraints 0
3600.08/3610.50 c LP learned Farkas constraints 0
3600.08/3610.50 c LP basis resets 0
3600.08/3610.50 c LP cycling count 0
3600.08/3610.50 c LP singular count 0
3600.08/3610.50 c LP no primal count 0
3600.08/3610.50 c LP no farkas count 0
3600.08/3610.50 c LP other issue count 0
3600.08/3610.50 c LP Gomory cuts 0
3600.08/3610.50 c LP learned cuts 0
3600.08/3610.50 c LP deleted cuts 0
3600.08/3610.50 c LP encountered Gomory constraints 0
3600.08/3610.50 c LP encountered Farkas constraints 0
3600.08/3610.50 c LP encountered learned Farkas constraints 0
3600.08/3610.50 c CG auxiliary variables introduced 0
3600.08/3610.50 c CG solutions found 0
3600.08/3610.50 c CG cores constructed 0
3600.08/3610.50 c CG core cardinality constraints returned 0
3600.08/3610.50 c CG unit cores 0
3600.08/3610.50 c CG single cores 0
3600.08/3610.50 c CG blocks removed during cardinality reduction 0
3600.08/3610.50 c CG first core best 0
3600.08/3610.50 c CG decision core best 0
3600.08/3610.50 c CG core reduction tie 0
3600.08/3610.50 c CG core degree average 0.00
3600.08/3610.50 c CG core slack average 0.00
3600.08/3610.50 c CG core upper bound improvements 0
3600.08/3610.50 c STR number of successful calls 0
3600.08/3610.50 c STR number of unsuccessful calls 0
3600.08/3610.50 c STR number of inconclusive calls 0
3600.08/3610.50 c STR number of successful attempts 0
3600.08/3610.50 c STR number of unsuccessful attempts 0
3600.08/3610.50 c STR number of inconclusive attempts 0
3600.08/3610.50 c STR average degree increase per successful call inf
3600.08/3610.50 c STR average degree increase per successful attempt inf
3600.08/3610.50 c STR total number of conflicts for successful attempts 0
3600.08/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.50 c STR average number of conflicts per successful attempt inf
3600.08/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.50 c AVG.sumWPerc 60.72
3600.08/3610.50 c bigint constraints 0
3600.08/3610.50 s UNKNOWN
3600.08/3610.50 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 (62443 MiB free)
memory of node 1: 64465 MiB (62275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503569-1751169696/watcher-4503569-1751169696 -o /tmp/evaluation-result-4503569-1751169696/solver-4503569-1751169696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503569-1751169696.opb PROOFDIR/proof-4503569-1751169696
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=22411, runsolver pid=22408
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.17 4.03 3.34 5/269 22413
/proc/meminfo: memFree=127454280/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22413] ppid=22411 vsize=301004 memory=272924 CPUtime=0.08 cores=4,6
/proc/22413/stat : 22413 (pbsuma) R 22411 22411 22043 0 -1 4194304 3177 0 0 0 3 5 0 0 20 0 1 0 32648279 308228096 68231 18446744073709551615 4210688 4653049 140725148793024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15519744 140725148801251 140725148801586 140725148801586 140725148807151 0
/proc/22413/statm: 75251 68231 960 108 0 72659 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 305196 KiB
Current children cumulated memory: 275868 KiB
[startup+0.205802 s]*
/proc/loadavg: 4.17 4.03 3.34 5/269 22413
/proc/meminfo: memFree=127438408/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22413] ppid=22411 vsize=321028 memory=296204 CPUtime=0.19 cores=4,6
/proc/22413/stat : 22413 (pbsuma) R 22411 22411 22043 0 -1 4194304 7780 0 0 0 13 6 0 0 20 0 1 0 32648279 328732672 74051 18446744073709551615 4210688 4653049 140725148793024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15519744 140725148801251 140725148801586 140725148801586 140725148807151 0
/proc/22413/statm: 80257 74051 960 108 0 77665 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 325220 KiB
Current children cumulated memory: 299148 KiB
[startup+0.305694 s]*
/proc/loadavg: 4.17 4.03 3.34 5/269 22413
/proc/meminfo: memFree=127418436/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22413] ppid=22411 vsize=335584 memory=317716 CPUtime=0.28 cores=4,6
/proc/22413/stat : 22413 (pbsuma) R 22411 22411 22043 0 -1 4194304 11628 0 0 0 21 7 0 0 20 0 1 0 32648279 343638016 79429 18446744073709551615 4210688 4653049 140725148793024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15519744 140725148801251 140725148801586 140725148801586 140725148807151 0
/proc/22413/statm: 83896 79429 960 108 0 81304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 339776 KiB
Current children cumulated memory: 320660 KiB
[startup+0.700221 s]
/proc/loadavg: 4.17 4.03 3.34 5/269 22413
/proc/meminfo: memFree=127377860/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22413] ppid=22411 vsize=417004 memory=390564 CPUtime=0.67 cores=4,6
/proc/22413/stat : 22413 (pbsuma) R 22411 22411 22043 0 -1 4194304 24438 0 0 0 56 11 0 0 20 0 1 0 32648279 427012096 97641 18446744073709551615 4210688 4653049 140725148793024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15519744 140725148801251 140725148801586 140725148801586 140725148807151 0
/proc/22413/statm: 104251 97641 960 108 0 101659 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 421196 KiB
Current children cumulated memory: 393508 KiB
[startup+1.50022 s]
/proc/loadavg: 4.17 4.03 3.34 5/269 22413
/proc/meminfo: memFree=127164504/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22413] ppid=22411 vsize=690032 memory=595000 CPUtime=1.47 cores=4,6
/proc/22413/stat : 22413 (pbsuma) R 22411 22411 22043 0 -1 4194304 38613 0 0 0 129 18 0 0 20 0 1 0 32648279 706592768 148750 18446744073709551615 4210688 4653049 140725148793024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15519744 140725148801251 140725148801586 140725148801586 140725148807151 0
/proc/22413/statm: 172508 148750 1024 108 0 169916 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 694224 KiB
Current children cumulated memory: 597944 KiB
[startup+3.10556 s]
/proc/loadavg: 4.24 4.05 3.35 5/269 22414
/proc/meminfo: memFree=127355284/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=183740 memory=132776 CPUtime=1.23 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 31964 0 0 0 102 21 0 0 20 0 1 0 32648464 188149760 33194 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 45935 33194 1984 1147 0 33362 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 187932 KiB
Current children cumulated memory: 135720 KiB
[startup+6.3002 s]
/proc/loadavg: 4.24 4.05 3.35 5/269 22414
/proc/meminfo: memFree=127096748/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=487916 memory=413372 CPUtime=4.41 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 92856 0 0 0 357 84 0 0 20 0 1 0 32648464 499625984 103343 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 121979 103343 1984 1147 0 109406 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 492108 KiB
Current children cumulated memory: 416316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.05 3.35 5/269 22414
/proc/meminfo: memFree=126992420/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=593848 memory=495112 CPUtime=10.79 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 110259 0 0 0 983 96 0 0 20 0 1 0 32648464 608100352 123778 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 148462 123778 1984 1147 0 135889 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 598040 KiB
Current children cumulated memory: 498056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.05 3.36 5/271 22417
/proc/meminfo: memFree=127089356/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=593848 memory=495112 CPUtime=23.55 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 110269 0 0 0 2259 96 0 0 20 0 1 0 32648464 608100352 123778 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 148462 123778 1984 1147 0 135889 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 598040 KiB
Current children cumulated memory: 498056 KiB
[startup+51.1058 s]
/proc/loadavg: 4.19 4.06 3.39 5/271 22417
/proc/meminfo: memFree=127110680/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=593848 memory=495112 CPUtime=49.07 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 110269 0 0 0 4811 96 0 0 20 0 1 0 32648464 608100352 123778 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 148462 123778 1984 1147 0 135889 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 598040 KiB
Current children cumulated memory: 498056 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.07 3.43 5/271 22419
/proc/meminfo: memFree=127079668/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=593848 memory=495112 CPUtime=100.1 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 110280 0 0 0 9913 97 0 0 20 0 1 0 32648464 608100352 123778 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 148462 123778 1984 1147 0 135889 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 598040 KiB
Current children cumulated memory: 498056 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.07 3.47 5/271 22424
/proc/meminfo: memFree=126991556/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=624768 memory=522172 CPUtime=159.88 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 116983 0 0 0 15888 100 0 0 20 0 1 0 32648464 639762432 130543 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 156192 130543 2048 1147 0 143619 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 628960 KiB
Current children cumulated memory: 525116 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.08 3.52 5/271 22426
/proc/meminfo: memFree=126953068/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=624768 memory=522172 CPUtime=219.69 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 116994 0 0 0 21868 101 0 0 20 0 1 0 32648464 639762432 130543 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 156192 130543 2048 1147 0 143619 0
################
# More data... #
################
[pid=22414] ppid=22411 vsize=736108 memory=628572 CPUtime=3091.42 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 165515 0 0 0 308603 539 0 0 20 0 1 0 32648464 753774592 157143 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184027 157143 2048 1147 0 171454 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 740300 KiB
Current children cumulated memory: 631516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126420416/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=736108 memory=628572 CPUtime=3151.26 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 165515 0 0 0 314559 567 0 0 20 0 1 0 32648464 753774592 157143 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184027 157143 2048 1147 0 171454 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 740300 KiB
Current children cumulated memory: 631516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 22719
/proc/meminfo: memFree=125958024/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=736108 memory=628572 CPUtime=3211.1 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 165702 0 0 0 320543 567 0 0 20 0 1 0 32648464 753774592 157143 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184027 157143 2048 1147 0 171454 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 740300 KiB
Current children cumulated memory: 631516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 22725
/proc/meminfo: memFree=125549396/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=737824 memory=630748 CPUtime=3270.93 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 166326 0 0 0 326470 623 0 0 20 0 1 0 32648464 755531776 157687 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184456 157687 2048 1147 0 171883 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 742016 KiB
Current children cumulated memory: 633692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 22727
/proc/meminfo: memFree=125099180/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=737824 memory=630748 CPUtime=3330.77 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 166343 0 0 0 332429 648 0 0 20 0 1 0 32648464 755531776 157687 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184456 157687 2048 1147 0 171883 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 742016 KiB
Current children cumulated memory: 633692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 22729
/proc/meminfo: memFree=124781236/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=737824 memory=630748 CPUtime=3390.61 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 166344 0 0 0 338409 652 0 0 20 0 1 0 32648464 755531776 157687 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 184456 157687 2048 1147 0 171883 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 742016 KiB
Current children cumulated memory: 633692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 22731
/proc/meminfo: memFree=124365308/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=740860 memory=636364 CPUtime=3450.45 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 167245 0 0 0 344344 701 0 0 20 0 1 0 32648464 758640640 159091 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 185215 159091 2048 1147 0 172642 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 745052 KiB
Current children cumulated memory: 639308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 22734
/proc/meminfo: memFree=123885964/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=740860 memory=636364 CPUtime=3510.28 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 167245 0 0 0 350326 702 0 0 20 0 1 0 32648464 758640640 159091 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 185215 159091 2048 1147 0 172642 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 745052 KiB
Current children cumulated memory: 639308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 22746
/proc/meminfo: memFree=123426792/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=740860 memory=636364 CPUtime=3570.12 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 167245 0 0 0 356267 745 0 0 20 0 1 0 32648464 758640640 159091 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 185215 159091 2048 1147 0 172642 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 745052 KiB
Current children cumulated memory: 639308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.17 4.12 4.10 5/272 22747
/proc/meminfo: memFree=123142812/131250000 swapFree=33010684/33010684
[pid=22411] ppid=22408 vsize=4192 memory=2944 CPUtime=1.83 cores=4,6
/proc/22411/stat : 22411 (run-dec-break-l) S 22408 22411 22043 0 -1 4194304 239 40415 0 0 0 0 161 22 20 0 1 0 32648278 4292608 736 18446744073709551615 94487475224576 94487476119109 140720982945488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487476358160 94487476405904 94487500402688 140720982948117 140720982948318 140720982948318 140720982953920 0
/proc/22411/statm: 1048 736 672 219 0 110 0
[pid=22414] ppid=22411 vsize=740860 memory=636364 CPUtime=3598.25 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22411 22411 22043 0 -1 4194304 167245 0 0 0 359079 746 0 0 20 0 1 0 32648464 758640640 159091 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 185215 159091 2048 1147 0 172642 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 745052 KiB
Current children cumulated memory: 639308 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.5 s]
# the end of solver process 22411 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.61404 s, system=0.223875 s
Sleeping 2 seconds
[startup+3610.63 s]
# the end of solver process 22414 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.54 s, system=7.69366 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.6 s]*
/proc/loadavg: 4.17 4.12 4.10 5/271 22747
/proc/meminfo: memFree=123248048/131250000 swapFree=33010684/33010684
[pid=22414] ppid=22408 vsize=548804 memory=504456 CPUtime=3598.35 cores=4,6
/proc/22414/stat : 22414 (roundingsat) R 22408 22411 22043 0 -1 4194304 167252 0 0 0 359089 746 0 0 20 0 1 0 32648464 561975296 126114 18446744073709551615 4227072 8923433 140737176564640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22593536 140737176566004 140737176566312 140737176566312 140737176571882 0
/proc/22414/statm: 137201 126114 2176 1147 0 124628 0
Current cumulated CPU time of completed processes: 1.83792 s
Current children cumulated CPU time: 3598.35 s
Current children cumulated vsize: 548804 KiB
Current children cumulated memory: 504456 KiB
Child status: 2
Real time (s): 3610.63
CPU time (s): 3600.23
CPU user time (s): 3592.54
CPU system time (s): 7.69366
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 745052
Max. memory (cumulated for all children) (KiB): 639308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.54
system time used= 7.69366
maximum resident set size= 660964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 357352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 293
involuntary context switches= 1909
# summary of solver processes directly reported to runsolver:
# pid: 22411,22414
# total CPU time (s): 3600.23
# total CPU user time (s): 3592.54
# total CPU system time (s): 7.69366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31888 second user time and 17.5 second system time
The end
Begin job on nodeC026 at 2025-06-29 06:01:36
IDJOB=4503569
IDBENCH=155522
IDSOLVER=3358
FILE ID=nodeC026/4503569-1751169696
RUNJOBID= nodeC026-1751168686-22054
SLURM_JOB_ID= 9587513
Free space on /tmp= 432920 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503569-1751169696/watcher-4503569-1751169696 -o /tmp/evaluation-result-4503569-1751169696/solver-4503569-1751169696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503569-1751169696.opb PROOFDIR/proof-4503569-1751169696
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=911724356
nodeC026 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 : 3599.747
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.59
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 : 3599.792
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.59
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 : 3561.626
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.59
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 : 3595.968
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.59
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 : 3602.569
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.59
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 : 3599.785
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.59
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.577
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.59
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 : 3587.567
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127712328 kB
MemAvailable: 128109148 kB
Buffers: 3280 kB
Cached: 1206840 kB
SwapCached: 0 kB
Active: 1921212 kB
Inactive: 987712 kB
Active(anon): 1716984 kB
Inactive(anon): 0 kB
Active(file): 204228 kB
Inactive(file): 987712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70536 kB
Writeback: 0 kB
AnonPages: 1699364 kB
Mapped: 116436 kB
Shmem: 18080 kB
KReclaimable: 88240 kB
Slab: 173044 kB
SReclaimable: 88240 kB
SUnreclaim: 84804 kB
KernelStack: 4368 kB
PageTables: 6656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2339452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1349632 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432924 MiB
End job on nodeC026 at 2025-06-29 07:01:47