0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c skipping papilo and scip due to too large bitwidth of coefficients
0.00/0.05 c [STEP] solving
0.00/0.05 c #variables 7920 #constraints 15840
0.00/0.05 c SMALL=int128, LARGE=int128
0.00/0.05 d SCIPUB 9444732965739290427391
0.00/0.05 c bounds - >= -4722366482869645213695 @ 0.030818
0.00/0.05 c stratification level: 1180591620717411303424
84.12/84.44 c bounds - >= -3541774862152233910271 @ 0.031151
84.12/84.44 c #Conflicts: 1000 | #Constraints: 16841
84.12/84.44 c #Conflicts: 2000 | #Constraints: 17841
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 3000 | #Constraints: 17896
84.12/84.44 c #Conflicts: 4000 | #Constraints: 18896
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 5000 | #Constraints: 18366
84.12/84.44 c #Conflicts: 6000 | #Constraints: 19366
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 7000 | #Constraints: 18444
84.12/84.44 c #Conflicts: 8000 | #Constraints: 19444
84.12/84.44 c #Conflicts: 9000 | #Constraints: 20444
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 10000 | #Constraints: 19161
84.12/84.44 c #Conflicts: 11000 | #Constraints: 20161
84.12/84.44 c #Conflicts: 12000 | #Constraints: 21161
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 13000 | #Constraints: 19645
84.12/84.44 c #Conflicts: 14000 | #Constraints: 20645
84.12/84.44 c #Conflicts: 15000 | #Constraints: 21645
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 16000 | #Constraints: 19932
84.12/84.44 c #Conflicts: 17000 | #Constraints: 20932
84.12/84.44 c #Conflicts: 18000 | #Constraints: 21932
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 19000 | #Constraints: 19998
84.12/84.44 c #Conflicts: 20000 | #Constraints: 20998
84.12/84.44 c #Conflicts: 21000 | #Constraints: 21998
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 22000 | #Constraints: 19832
84.12/84.44 c #Conflicts: 23000 | #Constraints: 20832
84.12/84.44 c #Conflicts: 24000 | #Constraints: 21832
84.12/84.44 c #Conflicts: 25000 | #Constraints: 22832
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 26000 | #Constraints: 20463
84.12/84.44 c #Conflicts: 27000 | #Constraints: 21463
84.12/84.44 c #Conflicts: 28000 | #Constraints: 22463
84.12/84.44 c #Conflicts: 29000 | #Constraints: 23463
84.12/84.44 c #Conflicts: 30000 | #Constraints: 24463
84.12/84.44 c #Conflicts: 31000 | #Constraints: 25463
84.12/84.44 c #Conflicts: 32000 | #Constraints: 26463
84.12/84.44 c #Conflicts: 33000 | #Constraints: 27463
84.12/84.44 c #Conflicts: 34000 | #Constraints: 28463
84.12/84.44 c #Conflicts: 35000 | #Constraints: 29463
84.12/84.44 c #Conflicts: 36000 | #Constraints: 30463
84.12/84.44 c #Conflicts: 37000 | #Constraints: 31463
84.12/84.44 c #Conflicts: 38000 | #Constraints: 32463
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 39000 | #Constraints: 25449
84.12/84.44 c #Conflicts: 40000 | #Constraints: 26449
84.12/84.44 c #Conflicts: 41000 | #Constraints: 27449
84.12/84.44 c #Conflicts: 42000 | #Constraints: 28449
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 43000 | #Constraints: 22960
84.12/84.44 c #Conflicts: 44000 | #Constraints: 23960
84.12/84.44 c #Conflicts: 45000 | #Constraints: 24960
84.12/84.44 c #Conflicts: 46000 | #Constraints: 25960
84.12/84.44 c #Conflicts: 47000 | #Constraints: 26960
84.12/84.44 c #Conflicts: 48000 | #Constraints: 27960
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 49000 | #Constraints: 23193
84.12/84.44 c #Conflicts: 50000 | #Constraints: 24193
84.12/84.44 c #Conflicts: 51000 | #Constraints: 25193
84.12/84.44 c #Conflicts: 52000 | #Constraints: 26193
84.12/84.44 c #Conflicts: 53000 | #Constraints: 27193
84.12/84.44 c INPROCESSING
84.12/84.44 c GARBAGE COLLECT
84.12/84.44 c #Conflicts: 54000 | #Constraints: 22663
84.12/84.44 c #Conflicts: 55000 | #Constraints: 23663
84.12/84.44 c #Conflicts: 56000 | #Constraints: 24663
84.12/84.44 c #Conflicts: 57000 | #Constraints: 25663
84.12/84.44 c #Conflicts: 58000 | #Constraints: 26663
84.12/84.44 c #Conflicts: 59000 | #Constraints: 27663
84.12/84.44 c #Conflicts: 60000 | #Constraints: 28663
84.12/84.44 c #Conflicts: 61000 | #Constraints: 29663
84.12/84.44 c #Conflicts: 62000 | #Constraints: 30663
84.12/84.44 c #Conflicts: 63000 | #Constraints: 31663
84.12/84.44 c #Conflicts: 64000 | #Constraints: 32663
84.12/84.44 c #Conflicts: 65000 | #Constraints: 33663
84.12/84.44 c #Conflicts: 66000 | #Constraints: 34663
84.12/84.44 c #Conflicts: 67000 | #Constraints: 35663
84.12/84.44 c #Conflicts: 68000 | #Constraints: 36663
84.12/84.44 c #Conflicts: 69000 | #Constraints: 37663
84.12/84.44 c #Conflicts: 70000 | #Constraints: 38663
873.83/876.08 c #Conflicts: 71000 | #Constraints: 39663
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 72000 | #Constraints: 28906
873.83/876.08 c #Conflicts: 73000 | #Constraints: 29906
873.83/876.08 c #Conflicts: 74000 | #Constraints: 30906
873.83/876.08 c #Conflicts: 75000 | #Constraints: 31906
873.83/876.08 c #Conflicts: 76000 | #Constraints: 32906
873.83/876.08 c #Conflicts: 77000 | #Constraints: 33906
873.83/876.08 c #Conflicts: 78000 | #Constraints: 34906
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 79000 | #Constraints: 26705
873.83/876.08 c #Conflicts: 80000 | #Constraints: 27705
873.83/876.08 c #Conflicts: 81000 | #Constraints: 28705
873.83/876.08 c #Conflicts: 82000 | #Constraints: 29705
873.83/876.08 c #Conflicts: 83000 | #Constraints: 30705
873.83/876.08 c #Conflicts: 84000 | #Constraints: 31705
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 85000 | #Constraints: 24738
873.83/876.08 c #Conflicts: 86000 | #Constraints: 25738
873.83/876.08 c #Conflicts: 87000 | #Constraints: 26738
873.83/876.08 c #Conflicts: 88000 | #Constraints: 27738
873.83/876.08 c #Conflicts: 89000 | #Constraints: 28738
873.83/876.08 c #Conflicts: 90000 | #Constraints: 29738
873.83/876.08 c #Conflicts: 91000 | #Constraints: 30738
873.83/876.08 c #Conflicts: 92000 | #Constraints: 31738
873.83/876.08 c #Conflicts: 93000 | #Constraints: 32738
873.83/876.08 c #Conflicts: 94000 | #Constraints: 33738
873.83/876.08 c #Conflicts: 95000 | #Constraints: 34738
873.83/876.08 c #Conflicts: 96000 | #Constraints: 35738
873.83/876.08 c #Conflicts: 97000 | #Constraints: 36738
873.83/876.08 c #Conflicts: 98000 | #Constraints: 37738
873.83/876.08 c #Conflicts: 99000 | #Constraints: 38738
873.83/876.08 c #Conflicts: 100000 | #Constraints: 39738
873.83/876.08 c #Conflicts: 101000 | #Constraints: 40738
873.83/876.08 c #Conflicts: 102000 | #Constraints: 41738
873.83/876.08 c #Conflicts: 103000 | #Constraints: 42738
873.83/876.08 c #Conflicts: 104000 | #Constraints: 43738
873.83/876.08 c #Conflicts: 105000 | #Constraints: 44738
873.83/876.08 c #Conflicts: 106000 | #Constraints: 45738
873.83/876.08 c #Conflicts: 107000 | #Constraints: 46738
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 108000 | #Constraints: 32656
873.83/876.08 c #Conflicts: 109000 | #Constraints: 33656
873.83/876.08 c #Conflicts: 110000 | #Constraints: 34656
873.83/876.08 c #Conflicts: 111000 | #Constraints: 35656
873.83/876.08 c #Conflicts: 112000 | #Constraints: 36656
873.83/876.08 c #Conflicts: 113000 | #Constraints: 37656
873.83/876.08 c #Conflicts: 114000 | #Constraints: 38656
873.83/876.08 c #Conflicts: 115000 | #Constraints: 39656
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 116000 | #Constraints: 29069
873.83/876.08 c #Conflicts: 117000 | #Constraints: 30069
873.83/876.08 c #Conflicts: 118000 | #Constraints: 31069
873.83/876.08 c #Conflicts: 119000 | #Constraints: 32069
873.83/876.08 c #Conflicts: 120000 | #Constraints: 33069
873.83/876.08 c #Conflicts: 121000 | #Constraints: 34069
873.83/876.08 c #Conflicts: 122000 | #Constraints: 35069
873.83/876.08 c #Conflicts: 123000 | #Constraints: 36069
873.83/876.08 c INPROCESSING
873.83/876.08 c GARBAGE COLLECT
873.83/876.08 c #Conflicts: 124000 | #Constraints: 27123
873.83/876.08 c #Conflicts: 125000 | #Constraints: 28123
873.83/876.08 c #Conflicts: 126000 | #Constraints: 29123
873.83/876.08 c #Conflicts: 127000 | #Constraints: 30123
873.83/876.08 c #Conflicts: 128000 | #Constraints: 31123
873.83/876.08 c #Conflicts: 129000 | #Constraints: 32123
873.83/876.08 c #Conflicts: 130000 | #Constraints: 33123
873.83/876.08 c #Conflicts: 131000 | #Constraints: 34123
873.83/876.08 c #Conflicts: 132000 | #Constraints: 35123
873.83/876.08 c #Conflicts: 133000 | #Constraints: 36123
873.83/876.08 c #Conflicts: 134000 | #Constraints: 37123
873.83/876.08 c #Conflicts: 135000 | #Constraints: 38123
873.83/876.08 c #Conflicts: 136000 | #Constraints: 39123
873.83/876.08 c #Conflicts: 137000 | #Constraints: 40123
873.83/876.08 c #Conflicts: 138000 | #Constraints: 41123
873.83/876.08 c #Conflicts: 139000 | #Constraints: 42123
873.83/876.08 c #Conflicts: 140000 | #Constraints: 43123
873.83/876.08 c #Conflicts: 141000 | #Constraints: 44123
873.83/876.08 c #Conflicts: 142000 | #Constraints: 45123
873.83/876.08 c #Conflicts: 143000 | #Constraints: 46123
873.83/876.08 c #Conflicts: 144000 | #Constraints: 47123
873.83/876.08 c #Conflicts: 145000 | #Constraints: 48123
1428.29/1431.96 c #Conflicts: 146000 | #Constraints: 49123
1428.29/1431.96 c #Conflicts: 147000 | #Constraints: 50123
1428.29/1431.96 c #Conflicts: 148000 | #Constraints: 51123
1428.29/1431.96 c #Conflicts: 149000 | #Constraints: 52123
1428.29/1431.96 c #Conflicts: 150000 | #Constraints: 53123
1428.29/1431.96 c INPROCESSING
1428.29/1431.96 c GARBAGE COLLECT
1428.29/1431.96 c #Conflicts: 151000 | #Constraints: 35943
1428.29/1431.96 c #Conflicts: 152000 | #Constraints: 36943
1428.29/1431.96 c #Conflicts: 153000 | #Constraints: 37943
1428.29/1431.96 c #Conflicts: 154000 | #Constraints: 38943
1428.29/1431.96 c #Conflicts: 155000 | #Constraints: 39943
1428.29/1431.96 c #Conflicts: 156000 | #Constraints: 40943
1428.29/1431.96 c #Conflicts: 157000 | #Constraints: 41943
1428.29/1431.96 c #Conflicts: 158000 | #Constraints: 42943
1428.29/1431.96 c #Conflicts: 159000 | #Constraints: 43943
1428.29/1431.96 c INPROCESSING
1428.29/1431.96 c GARBAGE COLLECT
1428.29/1431.96 c #Conflicts: 160000 | #Constraints: 31080
1428.29/1431.96 c #Conflicts: 161000 | #Constraints: 32080
1428.29/1431.96 c #Conflicts: 162000 | #Constraints: 33080
1428.29/1431.96 c #Conflicts: 163000 | #Constraints: 34080
1428.29/1431.96 c #Conflicts: 164000 | #Constraints: 35080
1428.29/1431.96 c #Conflicts: 165000 | #Constraints: 36080
1428.29/1431.96 c #Conflicts: 166000 | #Constraints: 37080
1428.29/1431.96 c #Conflicts: 167000 | #Constraints: 38080
1428.29/1431.96 c #Conflicts: 168000 | #Constraints: 39080
1428.29/1431.96 c #Conflicts: 169000 | #Constraints: 40080
1428.29/1431.96 c INPROCESSING
1428.29/1431.96 c GARBAGE COLLECT
1428.29/1431.96 c #Conflicts: 170000 | #Constraints: 29230
1428.29/1431.96 c #Conflicts: 171000 | #Constraints: 30230
1428.29/1431.96 c #Conflicts: 172000 | #Constraints: 31230
1428.29/1431.96 c #Conflicts: 173000 | #Constraints: 32230
1428.29/1431.96 c #Conflicts: 174000 | #Constraints: 33230
1428.29/1431.96 c #Conflicts: 175000 | #Constraints: 34230
1428.29/1431.96 c #Conflicts: 176000 | #Constraints: 35230
1428.29/1431.96 c #Conflicts: 177000 | #Constraints: 36230
1428.29/1431.96 c #Conflicts: 178000 | #Constraints: 37230
1428.29/1431.96 c #Conflicts: 179000 | #Constraints: 38230
1428.29/1431.96 c #Conflicts: 180000 | #Constraints: 39230
1428.29/1431.96 c #Conflicts: 181000 | #Constraints: 40230
1428.29/1431.96 c #Conflicts: 182000 | #Constraints: 41230
1428.29/1431.96 c #Conflicts: 183000 | #Constraints: 42230
1428.29/1431.96 c #Conflicts: 184000 | #Constraints: 43230
1428.29/1431.96 c #Conflicts: 185000 | #Constraints: 44230
1428.29/1431.96 c #Conflicts: 186000 | #Constraints: 45230
1428.29/1431.96 c #Conflicts: 187000 | #Constraints: 46230
1428.29/1431.96 c #Conflicts: 188000 | #Constraints: 47230
1428.29/1431.96 c #Conflicts: 189000 | #Constraints: 48230
1428.29/1431.96 c #Conflicts: 190000 | #Constraints: 49230
1428.29/1431.96 c #Conflicts: 191000 | #Constraints: 50230
1428.29/1431.96 c #Conflicts: 192000 | #Constraints: 51230
1428.29/1431.96 c #Conflicts: 193000 | #Constraints: 52230
1428.29/1431.96 c #Conflicts: 194000 | #Constraints: 53230
1428.29/1431.96 c #Conflicts: 195000 | #Constraints: 54230
1428.29/1431.96 c #Conflicts: 196000 | #Constraints: 55230
1428.29/1431.96 c #Conflicts: 197000 | #Constraints: 56230
1428.29/1431.96 c #Conflicts: 198000 | #Constraints: 57230
1428.29/1431.96 c #Conflicts: 199000 | #Constraints: 58230
1428.29/1431.96 c #Conflicts: 200000 | #Constraints: 59230
1428.29/1431.96 c INPROCESSING
1428.29/1431.96 c GARBAGE COLLECT
1428.29/1431.96 c #Conflicts: 201000 | #Constraints: 39050
1428.29/1431.96 c #Conflicts: 202000 | #Constraints: 40050
1428.29/1431.96 c #Conflicts: 203000 | #Constraints: 41050
1428.29/1431.96 c #Conflicts: 204000 | #Constraints: 42050
1428.29/1431.96 c #Conflicts: 205000 | #Constraints: 43050
1428.29/1431.96 c #Conflicts: 206000 | #Constraints: 44050
1428.29/1431.96 c #Conflicts: 207000 | #Constraints: 45050
1428.29/1431.96 c #Conflicts: 208000 | #Constraints: 46050
1428.29/1431.96 c #Conflicts: 209000 | #Constraints: 47050
1428.29/1431.96 c #Conflicts: 210000 | #Constraints: 48050
1428.29/1431.96 c #Conflicts: 211000 | #Constraints: 49050
1428.29/1431.96 c INPROCESSING
1428.29/1431.96 c GARBAGE COLLECT
1428.29/1431.96 c #Conflicts: 212000 | #Constraints: 33904
1428.29/1431.96 c #Conflicts: 213000 | #Constraints: 34904
1428.29/1431.96 c #Conflicts: 214000 | #Constraints: 35904
1428.29/1431.96 c #Conflicts: 215000 | #Constraints: 36904
1428.29/1431.96 c #Conflicts: 216000 | #Constraints: 37904
1428.29/1431.96 c #Conflicts: 217000 | #Constraints: 38904
1428.29/1431.96 c #Conflicts: 218000 | #Constraints: 39904
1428.29/1431.96 c #Conflicts: 219000 | #Constraints: 40904
1428.29/1431.96 c #Conflicts: 220000 | #Constraints: 41904
1428.29/1431.96 c #Conflicts: 221000 | #Constraints: 42904
2426.37/2432.21 c #Conflicts: 222000 | #Constraints: 43904
2426.37/2432.21 c INPROCESSING
2426.37/2432.21 c GARBAGE COLLECT
2426.37/2432.21 c #Conflicts: 223000 | #Constraints: 31251
2426.37/2432.21 c #Conflicts: 224000 | #Constraints: 32251
2426.37/2432.21 c #Conflicts: 225000 | #Constraints: 33251
2426.37/2432.21 c #Conflicts: 226000 | #Constraints: 34251
2426.37/2432.21 c #Conflicts: 227000 | #Constraints: 35251
2426.37/2432.21 c #Conflicts: 228000 | #Constraints: 36251
2426.37/2432.21 c #Conflicts: 229000 | #Constraints: 37251
2426.37/2432.21 c #Conflicts: 230000 | #Constraints: 38251
2426.37/2432.21 c #Conflicts: 231000 | #Constraints: 39251
2426.37/2432.21 c #Conflicts: 232000 | #Constraints: 40251
2426.37/2432.21 c #Conflicts: 233000 | #Constraints: 41251
2426.37/2432.21 c #Conflicts: 234000 | #Constraints: 42251
2426.37/2432.21 c #Conflicts: 235000 | #Constraints: 43251
2426.37/2432.21 c #Conflicts: 236000 | #Constraints: 44251
2426.37/2432.21 c #Conflicts: 237000 | #Constraints: 45251
2426.37/2432.21 c #Conflicts: 238000 | #Constraints: 46251
2426.37/2432.21 c #Conflicts: 239000 | #Constraints: 47251
2426.37/2432.21 c #Conflicts: 240000 | #Constraints: 48251
2426.37/2432.21 c #Conflicts: 241000 | #Constraints: 49251
2426.37/2432.21 c #Conflicts: 242000 | #Constraints: 50251
2426.37/2432.21 c #Conflicts: 243000 | #Constraints: 51251
2426.37/2432.21 c #Conflicts: 244000 | #Constraints: 52251
2426.37/2432.21 c #Conflicts: 245000 | #Constraints: 53251
2426.37/2432.21 c #Conflicts: 246000 | #Constraints: 54251
2426.37/2432.21 c #Conflicts: 247000 | #Constraints: 55251
2426.37/2432.21 c #Conflicts: 248000 | #Constraints: 56251
2426.37/2432.21 c #Conflicts: 249000 | #Constraints: 57251
2426.37/2432.21 c #Conflicts: 250000 | #Constraints: 58251
2426.37/2432.21 c #Conflicts: 251000 | #Constraints: 59251
2426.37/2432.21 c #Conflicts: 252000 | #Constraints: 60251
2426.37/2432.21 c #Conflicts: 253000 | #Constraints: 61251
2426.37/2432.21 c #Conflicts: 254000 | #Constraints: 62251
2426.37/2432.21 c #Conflicts: 255000 | #Constraints: 63251
2426.37/2432.21 c #Conflicts: 256000 | #Constraints: 64251
2426.37/2432.21 c #Conflicts: 257000 | #Constraints: 65251
2426.37/2432.21 c INPROCESSING
2426.37/2432.21 c GARBAGE COLLECT
2426.37/2432.21 c #Conflicts: 258000 | #Constraints: 41890
2426.37/2432.21 c #Conflicts: 259000 | #Constraints: 42890
2426.37/2432.21 c #Conflicts: 260000 | #Constraints: 43890
2426.37/2432.21 c #Conflicts: 261000 | #Constraints: 44890
2426.37/2432.21 c #Conflicts: 262000 | #Constraints: 45890
2426.37/2432.21 c #Conflicts: 263000 | #Constraints: 46890
2426.37/2432.21 c #Conflicts: 264000 | #Constraints: 47890
2426.37/2432.21 c #Conflicts: 265000 | #Constraints: 48890
2426.37/2432.21 c #Conflicts: 266000 | #Constraints: 49890
2426.37/2432.21 c #Conflicts: 267000 | #Constraints: 50890
2426.37/2432.21 c #Conflicts: 268000 | #Constraints: 51890
2426.37/2432.21 c #Conflicts: 269000 | #Constraints: 52890
2426.37/2432.21 c #Conflicts: 270000 | #Constraints: 53890
2426.37/2432.21 c INPROCESSING
2426.37/2432.21 c GARBAGE COLLECT
2426.37/2432.21 c #Conflicts: 271000 | #Constraints: 36468
2426.37/2432.21 c #Conflicts: 272000 | #Constraints: 37468
2426.37/2432.21 c #Conflicts: 273000 | #Constraints: 38468
2426.37/2432.21 c #Conflicts: 274000 | #Constraints: 39468
2426.37/2432.21 c #Conflicts: 275000 | #Constraints: 40468
2426.37/2432.21 c #Conflicts: 276000 | #Constraints: 41468
2426.37/2432.21 c #Conflicts: 277000 | #Constraints: 42468
2426.37/2432.21 c #Conflicts: 278000 | #Constraints: 43468
2426.37/2432.21 c #Conflicts: 279000 | #Constraints: 44468
2426.37/2432.21 c #Conflicts: 280000 | #Constraints: 45468
2426.37/2432.21 c #Conflicts: 281000 | #Constraints: 46468
2426.37/2432.21 c #Conflicts: 282000 | #Constraints: 47468
2426.37/2432.21 c INPROCESSING
2426.37/2432.21 c GARBAGE COLLECT
2426.37/2432.21 c #Conflicts: 283000 | #Constraints: 32853
2426.37/2432.21 c #Conflicts: 284000 | #Constraints: 33853
2426.37/2432.21 c #Conflicts: 285000 | #Constraints: 34853
2426.37/2432.21 c #Conflicts: 286000 | #Constraints: 35853
2426.37/2432.21 c #Conflicts: 287000 | #Constraints: 36853
2426.37/2432.21 c #Conflicts: 288000 | #Constraints: 37853
2426.37/2432.21 c #Conflicts: 289000 | #Constraints: 38853
2426.37/2432.21 c #Conflicts: 290000 | #Constraints: 39853
2426.37/2432.21 c #Conflicts: 291000 | #Constraints: 40853
2426.37/2432.21 c #Conflicts: 292000 | #Constraints: 41853
2426.37/2432.21 c #Conflicts: 293000 | #Constraints: 42853
2426.37/2432.21 c #Conflicts: 294000 | #Constraints: 43853
2426.37/2432.21 c #Conflicts: 295000 | #Constraints: 44853
2426.37/2432.21 c #Conflicts: 296000 | #Constraints: 45853
2426.37/2432.21 c #Conflicts: 297000 | #Constraints: 46853
3600.08/3608.61 c #Conflicts: 298000 | #Constraints: 47853
3600.08/3608.61 c #Conflicts: 299000 | #Constraints: 48853
3600.08/3608.61 c #Conflicts: 300000 | #Constraints: 49853
3600.08/3608.61 c #Conflicts: 301000 | #Constraints: 50853
3600.08/3608.61 c #Conflicts: 302000 | #Constraints: 51853
3600.08/3608.61 c #Conflicts: 303000 | #Constraints: 52853
3600.08/3608.61 c #Conflicts: 304000 | #Constraints: 53853
3600.08/3608.61 c #Conflicts: 305000 | #Constraints: 54853
3600.08/3608.61 c #Conflicts: 306000 | #Constraints: 55853
3600.08/3608.61 c #Conflicts: 307000 | #Constraints: 56853
3600.08/3608.61 c #Conflicts: 308000 | #Constraints: 57853
3600.08/3608.61 c #Conflicts: 309000 | #Constraints: 58853
3600.08/3608.61 c #Conflicts: 310000 | #Constraints: 59853
3600.08/3608.61 c #Conflicts: 311000 | #Constraints: 60853
3600.08/3608.61 c #Conflicts: 312000 | #Constraints: 61853
3600.08/3608.61 c #Conflicts: 313000 | #Constraints: 62853
3600.08/3608.61 c #Conflicts: 314000 | #Constraints: 63853
3600.08/3608.61 c #Conflicts: 315000 | #Constraints: 64853
3600.08/3608.61 c #Conflicts: 316000 | #Constraints: 65853
3600.08/3608.61 c #Conflicts: 317000 | #Constraints: 66853
3600.08/3608.61 c #Conflicts: 318000 | #Constraints: 67853
3600.08/3608.61 c #Conflicts: 319000 | #Constraints: 68853
3600.08/3608.61 c #Conflicts: 320000 | #Constraints: 69853
3600.08/3608.61 c #Conflicts: 321000 | #Constraints: 70853
3600.08/3608.61 c INPROCESSING
3600.08/3608.61 c GARBAGE COLLECT
3600.08/3608.61 c #Conflicts: 322000 | #Constraints: 44477
3600.08/3608.61 c #Conflicts: 323000 | #Constraints: 45477
3600.08/3608.61 c #Conflicts: 324000 | #Constraints: 46477
3600.08/3608.61 c #Conflicts: 325000 | #Constraints: 47477
3600.08/3608.61 c #Conflicts: 326000 | #Constraints: 48477
3600.08/3608.61 c #Conflicts: 327000 | #Constraints: 49477
3600.08/3608.61 c #Conflicts: 328000 | #Constraints: 50477
3600.08/3608.61 c #Conflicts: 329000 | #Constraints: 51477
3600.08/3608.61 c #Conflicts: 330000 | #Constraints: 52477
3600.08/3608.61 c #Conflicts: 331000 | #Constraints: 53477
3600.08/3608.61 c #Conflicts: 332000 | #Constraints: 54477
3600.08/3608.61 c #Conflicts: 333000 | #Constraints: 55477
3600.08/3608.61 c #Conflicts: 334000 | #Constraints: 56477
3600.08/3608.61 c #Conflicts: 335000 | #Constraints: 57477
3600.08/3608.61 c #Conflicts: 336000 | #Constraints: 58477
3600.08/3608.61 c INPROCESSING
3600.08/3608.61 c GARBAGE COLLECT
3600.08/3608.61 c #Conflicts: 337000 | #Constraints: 38767
3600.08/3608.61 c #Conflicts: 338000 | #Constraints: 39767
3600.08/3608.61 c #Conflicts: 339000 | #Constraints: 40767
3600.08/3608.61 c #Conflicts: 340000 | #Constraints: 41767
3600.08/3608.61 c #Conflicts: 341000 | #Constraints: 42767
3600.08/3608.61 c #Conflicts: 342000 | #Constraints: 43767
3600.08/3608.61 c #Conflicts: 343000 | #Constraints: 44767
3600.08/3608.61 c #Conflicts: 344000 | #Constraints: 45767
3600.08/3608.61 c #Conflicts: 345000 | #Constraints: 46767
3600.08/3608.61 c #Conflicts: 346000 | #Constraints: 47767
3600.08/3608.61 c #Conflicts: 347000 | #Constraints: 48767
3600.08/3608.61 c #Conflicts: 348000 | #Constraints: 49767
3600.08/3608.61 c #Conflicts: 349000 | #Constraints: 50767
3600.08/3608.61 c #Conflicts: 350000 | #Constraints: 51767
3600.08/3608.61 c INPROCESSING
3600.08/3608.61 c GARBAGE COLLECT
3600.08/3608.61 c #Conflicts: 351000 | #Constraints: 35251
3600.08/3608.61 c #Conflicts: 352000 | #Constraints: 36251
3600.08/3608.61 c #Conflicts: 353000 | #Constraints: 37251
3600.08/3608.61 c #Conflicts: 354000 | #Constraints: 38251
3600.08/3608.61 c #Conflicts: 355000 | #Constraints: 39251
3600.08/3608.61 c #Conflicts: 356000 | #Constraints: 40251
3600.08/3608.61 c #Conflicts: 357000 | #Constraints: 41251
3600.08/3608.61 c #Conflicts: 358000 | #Constraints: 42251
3600.08/3608.61 c #Conflicts: 359000 | #Constraints: 43251
3600.08/3608.61 c #Conflicts: 360000 | #Constraints: 44251
3600.08/3608.61 c #Conflicts: 361000 | #Constraints: 45251
3600.08/3608.61 c Program interrupted by user.
3600.08/3608.61 c cpu time 3595.2 s
3600.08/3608.61 c deterministic time 351549359113 3.52e+11
3600.08/3608.61 c optimization time 122.922 s
3600.08/3608.61 c total solve time 3472.25 s
3600.08/3608.61 c core-guided solve time 3472.25 s
3600.08/3608.61 c propagation time 3295.58 s
3600.08/3608.61 c conflict analysis time 277.686 s
3600.08/3608.61 c propagations 301259164
3600.08/3608.61 c resolve steps 14294969
3600.08/3608.61 c decisions 3575104
3600.08/3608.61 c conflicts 361006
3600.08/3608.61 c restarts 866
3600.08/3608.61 c inprocessing phases 31
3600.08/3608.61 c input clauses 10800
3600.08/3608.61 c input cardinalities 0
3600.08/3608.61 c input general constraints 5041
3600.08/3608.61 c input average constraint length 3.12
3600.08/3608.61 c input average constraint degree 74527594262825024.00
3600.08/3608.61 c learned clauses 64474
3600.08/3608.61 c learned cardinalities 99
3600.08/3608.61 c learned general constraints 296433
3600.08/3608.61 c learned average constraint length 309.20
3600.08/3608.61 c learned average constraint degree 207502216.18
3600.08/3608.61 c watched constraints 288262
3600.08/3608.61 c counting constraints 13212
3600.08/3608.61 c gcd simplifications 18738
3600.08/3608.61 c detected cardinalities 9
3600.08/3608.61 c weakened non-implied lits 5721528
3600.08/3608.61 c weakened non-implying lits 235456
3600.08/3608.61 c original variables 7920
3600.08/3608.61 c clausal propagations 130464345
3600.08/3608.61 c cardinality propagations 1911
3600.08/3608.61 c watched propagations 33787443
3600.08/3608.61 c counting propagations 136868264
3600.08/3608.61 c watch lookups 70311398021
3600.08/3608.61 c watch backjump lookups 66871497534
3600.08/3608.61 c watch checks 143864407494
3600.08/3608.61 c propagation checks 69514257751
3600.08/3608.61 c constraint additions 377773207
3600.08/3608.61 c trail pops 305190837
3600.08/3608.61 c formula constraints 15840
3600.08/3608.61 c learned constraints 361006
3600.08/3608.61 c bound constraints 1
3600.08/3608.61 c core-guided constraints 0
3600.08/3608.61 c encountered formula constraints 10391949
3600.08/3608.61 c encountered learned constraints 4264026
3600.08/3608.61 c encountered bound constraints 0
3600.08/3608.61 c encountered core-guided constraints 0
3600.08/3608.61 c LP total time 0 s
3600.08/3608.61 c LP solve time 0 s
3600.08/3608.61 c LP constraints added 0
3600.08/3608.61 c LP constraints removed 0
3600.08/3608.61 c LP pivots internal 0
3600.08/3608.61 c LP pivots root 0
3600.08/3608.61 c LP calls 0
3600.08/3608.61 c LP optimalities 0
3600.08/3608.61 c LP no pivot count 0
3600.08/3608.61 c LP infeasibilities 0
3600.08/3608.61 c LP valid Farkas constraints 0
3600.08/3608.61 c LP learned Farkas constraints 0
3600.08/3608.61 c LP basis resets 0
3600.08/3608.61 c LP cycling count 0
3600.08/3608.61 c LP singular count 0
3600.08/3608.61 c LP no primal count 0
3600.08/3608.61 c LP no farkas count 0
3600.08/3608.61 c LP other issue count 0
3600.08/3608.61 c LP Gomory cuts 0
3600.08/3608.61 c LP learned cuts 0
3600.08/3608.61 c LP deleted cuts 0
3600.08/3608.61 c LP encountered Gomory constraints 0
3600.08/3608.61 c LP encountered Farkas constraints 0
3600.08/3608.61 c LP encountered learned Farkas constraints 0
3600.08/3608.61 c CG auxiliary variables introduced 0
3600.08/3608.61 c CG solutions found 0
3600.08/3608.61 c CG cores constructed 1
3600.08/3608.61 c CG core cardinality constraints returned 0
3600.08/3608.61 c CG unit cores 0
3600.08/3608.61 c CG single cores 1
3600.08/3608.61 c CG blocks removed during cardinality reduction 0
3600.08/3608.61 c CG first core best 0
3600.08/3608.61 c CG decision core best 0
3600.08/3608.61 c CG core reduction tie 0
3600.08/3608.61 c CG core degree average 1.00
3600.08/3608.61 c CG core slack average 3.00
3600.08/3608.61 c CG exhausted 0
3600.08/3608.61 c CG exhaust time 0 s
3600.08/3608.61 c CG trimmed 0
3600.08/3608.61 c CG trim time 0 s
3600.08/3608.61 c CG minimized 0
3600.08/3608.61 c CG minimize time 0 s
3600.08/3608.61 c CG am1 prop time 4.3e-05 s
3600.08/3608.61 c CG # am1s reformulated 0
3600.08/3608.61 c CG lower bound derived from am1s 0
3600.08/3608.61 c CG # clausal cores 1
3600.08/3608.61 c CG # cardinality cores 0
3600.08/3608.61 c CG # pb cores 0
3600.08/3608.61 c CG # pb reforms 0
3600.08/3608.61 c CG # cores discarded because of pb reform 0
3600.08/3608.61 d LOWERBOUND -9223372036854775808
3600.08/3608.61 d NCORES 1
3600.08/3608.61 d NPBCORES 0
3600.08/3608.61 d NPBREFORM 0
3600.08/3608.61 d NTRIMMED 0
3600.08/3608.61 d NEXHAUSTED 0
3600.08/3608.61 d NAM1S 0
3600.08/3608.61 d AM1LB 0
3600.08/3608.61 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61510 MiB free)
memory of node 1: 64465 MiB (62518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518953-1751535612/watcher-4518953-1751535612 -o /tmp/evaluation-result-4518953-1751535612/solver-4518953-1751535612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70538 --watchdog 3760 mixed-bag HOME/instance-4518953-1751535612.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=73103, runsolver pid=73100
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 73104
/proc/meminfo: memFree=126997696/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=85576 memory=16592 CPUtime=0.08 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 1593 0 0 0 7 1 0 0 20 0 1 0 69238685 87629824 4148 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 21394 4148 2304 2842 0 3627 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85576 KiB
Current children cumulated memory: 16592 KiB
[startup+0.205619 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 73104
/proc/meminfo: memFree=126997696/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=85832 memory=16848 CPUtime=0.18 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 1664 0 0 0 17 1 0 0 20 0 1 0 69238685 87891968 4212 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 21458 4212 2304 2842 0 3691 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85832 KiB
Current children cumulated memory: 16848 KiB
[startup+0.305033 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 73104
/proc/meminfo: memFree=126997696/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=86092 memory=17104 CPUtime=0.27 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 1719 0 0 0 26 1 0 0 20 0 1 0 69238685 88158208 4276 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 21523 4276 2304 2842 0 3756 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86092 KiB
Current children cumulated memory: 17104 KiB
[startup+0.70011 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 73104
/proc/meminfo: memFree=126997696/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=86816 memory=19856 CPUtime=0.67 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 1942 0 0 0 64 3 0 0 20 0 1 0 69238685 88899584 4964 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 21704 4964 2304 2842 0 3937 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86816 KiB
Current children cumulated memory: 19856 KiB
[startup+1.50014 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 73104
/proc/meminfo: memFree=126997444/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=88060 memory=21008 CPUtime=1.46 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 2238 0 0 0 143 3 0 0 20 0 1 0 69238685 90173440 5252 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 22015 5252 2304 2842 0 4248 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 88060 KiB
Current children cumulated memory: 21008 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 73104
/proc/meminfo: memFree=126989584/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=89768 memory=22672 CPUtime=3.07 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 2669 0 0 0 300 7 0 0 20 0 1 0 69238685 91922432 5668 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 22442 5668 2304 2842 0 4675 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89768 KiB
Current children cumulated memory: 22672 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 73104
/proc/meminfo: memFree=126989332/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=90396 memory=23312 CPUtime=6.25 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 2837 0 0 0 614 11 0 0 20 0 1 0 69238685 92565504 5828 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 22599 5828 2304 2842 0 4832 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 23312 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 73105
/proc/meminfo: memFree=126981724/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=94944 memory=26512 CPUtime=12.64 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 3623 0 0 0 1244 20 0 0 20 0 1 0 69238685 97222656 6628 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 23736 6628 2304 2842 0 5969 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 94944 KiB
Current children cumulated memory: 26512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 73105
/proc/meminfo: memFree=126949532/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=127008 memory=48112 CPUtime=25.4 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 7482 0 0 0 2511 29 0 0 20 0 1 0 69238685 130056192 12028 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 31752 12028 2304 2842 0 13985 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 127008 KiB
Current children cumulated memory: 48112 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 73106
/proc/meminfo: memFree=126911172/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=129980 memory=54784 CPUtime=50.95 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 9139 0 0 0 5046 49 0 0 20 0 1 0 69238685 133099520 13696 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 32495 13696 2304 2842 0 14728 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 129980 KiB
Current children cumulated memory: 54784 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 73290
/proc/meminfo: memFree=127185136/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=140456 memory=71300 CPUtime=101.98 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 11858 0 0 0 10120 78 0 0 20 0 1 0 69238685 143826944 17825 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 35114 17825 2304 2842 0 17347 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 71300 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 73295
/proc/meminfo: memFree=127065136/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=179452 memory=99372 CPUtime=161.83 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 17102 0 0 0 16086 97 0 0 20 0 1 0 69238685 183758848 24843 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 44863 24843 2304 2842 0 27096 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 179452 KiB
Current children cumulated memory: 99372 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 73297
/proc/meminfo: memFree=127023500/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=217472 memory=120264 CPUtime=221.67 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 18745 0 0 0 22063 104 0 0 20 0 1 0 69238685 222691328 30066 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 54368 30066 2304 2842 0 36601 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 217472 KiB
Current children cumulated memory: 120264 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 73299
/proc/meminfo: memFree=126951628/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=234136 memory=161164 CPUtime=281.51 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 22443 0 0 0 28041 110 0 0 20 0 1 0 69238685 239755264 40291 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 58534 40291 2304 2842 0 40767 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 234136 KiB
Current children cumulated memory: 161164 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.19 4.12 5/264 73301
/proc/meminfo: memFree=126914568/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=302044 memory=201136 CPUtime=341.37 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 26826 0 0 0 34022 115 0 0 20 0 1 0 69238685 309293056 50284 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 75511 50284 2304 2842 0 57744 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 302044 KiB
Current children cumulated memory: 201136 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/265 73305
/proc/meminfo: memFree=126862476/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=331400 memory=229004 CPUtime=401.25 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 32812 0 0 0 40005 120 0 0 20 0 1 0 69238685 339353600 57251 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 82850 57251 2304 2842 0 65083 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 331400 KiB
Current children cumulated memory: 229004 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 73307
/proc/meminfo: memFree=126846424/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=338892 memory=239144 CPUtime=461.11 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 34311 0 0 0 45989 122 0 0 20 0 1 0 69238685 347025408 59786 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 84723 59786 2304 2842 0 66956 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
Current children cumulated memory: 309508 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 73436
/proc/meminfo: memFree=126380232/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=388988 memory=310916 CPUtime=2855.53 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 45545 0 0 0 285145 408 0 0 20 0 1 0 69238685 398323712 77729 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 97247 77729 2304 2842 0 79480 0
Current children cumulated CPU time: 2855.53 s
Current children cumulated vsize: 388988 KiB
Current children cumulated memory: 310916 KiB
[startup+2922.3 s]
/proc/loadavg: 3.94 4.07 4.08 4/259 73474
/proc/meminfo: memFree=126743460/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=393532 memory=313476 CPUtime=2915.39 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 46207 0 0 0 291128 411 0 0 20 0 1 0 69238685 402976768 78369 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 98383 78369 2304 2842 0 80616 0
Current children cumulated CPU time: 2915.39 s
Current children cumulated vsize: 393532 KiB
Current children cumulated memory: 313476 KiB
[startup+2982.3 s]
/proc/loadavg: 3.44 3.90 4.02 4/259 73476
/proc/meminfo: memFree=126741188/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=396860 memory=315524 CPUtime=2975.26 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 46717 0 0 0 297110 416 0 0 20 0 1 0 69238685 406384640 78881 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 99215 78881 2304 2842 0 81448 0
Current children cumulated CPU time: 2975.26 s
Current children cumulated vsize: 396860 KiB
Current children cumulated memory: 315524 KiB
[startup+3042.3 s]
/proc/loadavg: 3.21 3.75 3.96 4/259 73480
/proc/meminfo: memFree=126716368/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=402940 memory=325784 CPUtime=3035.1 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 47748 0 0 0 303090 420 0 0 20 0 1 0 69238685 412610560 81446 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 100735 81446 2304 2842 0 82968 0
Current children cumulated CPU time: 3035.1 s
Current children cumulated vsize: 402940 KiB
Current children cumulated memory: 325784 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.63 3.90 4/258 73484
/proc/meminfo: memFree=126703344/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327420 CPUtime=3094.96 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48368 0 0 0 309068 428 0 0 20 0 1 0 69238685 414789632 81855 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81855 2304 2842 0 83500 0
Current children cumulated CPU time: 3094.96 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327420 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.54 3.85 4/258 73486
/proc/meminfo: memFree=126680188/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327420 CPUtime=3154.83 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48368 0 0 0 315047 436 0 0 20 0 1 0 69238685 414789632 81855 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81855 2304 2842 0 83500 0
Current children cumulated CPU time: 3154.83 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327420 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.45 3.80 4/258 73488
/proc/meminfo: memFree=126638712/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327420 CPUtime=3214.69 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48368 0 0 0 321027 442 0 0 20 0 1 0 69238685 414789632 81855 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81855 2304 2842 0 83500 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327420 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.38 3.76 3/252 73521
/proc/meminfo: memFree=127542256/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327420 CPUtime=3274.54 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48397 0 0 0 327006 448 0 0 20 0 1 0 69238685 414789632 81855 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81855 2304 2842 0 83500 0
Current children cumulated CPU time: 3274.54 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327420 KiB
[startup+3342.3 s]
/proc/loadavg: 2.45 3.14 3.65 3/252 73524
/proc/meminfo: memFree=127550576/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327420 CPUtime=3334.41 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48397 0 0 0 332985 456 0 0 20 0 1 0 69238685 414789632 81855 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81855 2304 2842 0 83500 0
Current children cumulated CPU time: 3334.41 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327420 KiB
[startup+3402.3 s]
/proc/loadavg: 2.28 2.96 3.55 3/252 73526
/proc/meminfo: memFree=127550960/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=327932 CPUtime=3394.26 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48397 0 0 0 338963 463 0 0 20 0 1 0 69238685 414789632 81983 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 81983 2304 2842 0 83500 0
Current children cumulated CPU time: 3394.26 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 327932 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.80 3.46 3/252 73528
/proc/meminfo: memFree=127536936/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=336764 CPUtime=3454.12 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48398 0 0 0 344942 470 0 0 20 0 1 0 69238685 414789632 84191 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 84191 2304 2842 0 83500 0
Current children cumulated CPU time: 3454.12 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 336764 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.67 3.37 3/252 73534
/proc/meminfo: memFree=127538156/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=336764 CPUtime=3513.98 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48398 0 0 0 350920 478 0 0 20 0 1 0 69238685 414789632 84191 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 84191 2304 2842 0 83500 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 336764 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.56 3.29 3/251 73536
/proc/meminfo: memFree=127537052/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=336764 CPUtime=3573.83 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48398 0 0 0 356898 485 0 0 20 0 1 0 69238685 414789632 84191 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 84191 2304 2842 0 83500 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 336764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 2.04 2.50 3.24 3/251 73536
/proc/meminfo: memFree=127533020/131250000 swapFree=33007332/33010684
[pid=73103] ppid=73100 vsize=405068 memory=336764 CPUtime=3600.08 cores=4,6
/proc/73103/stat : 73103 (mixed-bag) R 73100 73103 70527 0 -1 4194304 48398 0 0 0 359519 489 0 0 20 0 1 0 69238685 414789632 84191 18446744073709551615 4235264 15874749 140728763853456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 47251456 140728763857308 140728763857385 140728763857385 140728763862987 0
/proc/73103/statm: 101267 84191 2304 2842 0 83500 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 405068 KiB
Current children cumulated memory: 336764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.62 s]
# the end of solver process 73103 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.2 s, system=4.89486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.62
CPU time (s): 3600.1
CPU user time (s): 3595.2
CPU system time (s): 4.89486
CPU usage (%): 99.764
Max. virtual memory (cumulated for all children) (KiB): 405736
Max. memory (cumulated for all children) (KiB): 336764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.2
system time used= 4.89486
maximum resident set size= 337276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48426
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= 190
involuntary context switches= 2662
# summary of solver processes directly reported to runsolver:
# pid: 73103
# total CPU time (s): 3600.1
# total CPU user time (s): 3595.2
# total CPU system time (s): 4.89486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87623 second user time and 16.1794 second system time
The end
Begin job on nodeC019 at 2025-07-03 11:40:12
IDJOB=4518953
IDBENCH=177138
IDSOLVER=3340
FILE ID=nodeC019/4518953-1751535612
RUNJOBID= nodeC019-1751527683-70538
SLURM_JOB_ID= 9598661
Free space on /tmp= 431596 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518953-1751535612/watcher-4518953-1751535612 -o /tmp/evaluation-result-4518953-1751535612/solver-4518953-1751535612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70538 --watchdog 3760 mixed-bag HOME/instance-4518953-1751535612.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6bac13c4e4f8552186782101ff3a61f
RANDOM SEED=1474728178
nodeC019 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.714
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.37
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.685
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.37
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 : 3573.909
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.37
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 : 3663.709
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.37
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 : 3599.669
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.37
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.685
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.37
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 : 3588.626
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.37
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 : 3700.000
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127005508 kB
MemAvailable: 128632968 kB
Buffers: 904 kB
Cached: 2430208 kB
SwapCached: 440 kB
Active: 1374612 kB
Inactive: 2284588 kB
Active(anon): 1215552 kB
Inactive(anon): 27736 kB
Active(file): 159060 kB
Inactive(file): 2256852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15956 kB
Writeback: 0 kB
AnonPages: 1228032 kB
Mapped: 140108 kB
Shmem: 15192 kB
KReclaimable: 101576 kB
Slab: 190320 kB
SReclaimable: 101576 kB
SUnreclaim: 88744 kB
KernelStack: 4320 kB
PageTables: 5736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1632812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 991232 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431616 MiB
End job on nodeC019 at 2025-07-03 12:40:21