0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.29/0.32 c [STEP] solving
0.29/0.32 c #variables 43918 #constraints 58807
0.29/0.32 c SMALL=int, LARGE=long long
0.29/0.32 c bounds - >= -126 @ 0.271507
0.29/0.32 c stratification level: 16
312.50/313.33 c #Conflicts: 1000 | #Constraints: 59808
312.50/313.33 c #Conflicts: 2000 | #Constraints: 60808
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 3000 | #Constraints: 53522
312.50/313.33 c #Conflicts: 4000 | #Constraints: 54522
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 5000 | #Constraints: 53944
312.50/313.33 c #Conflicts: 6000 | #Constraints: 54944
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 7000 | #Constraints: 53986
312.50/313.33 c #Conflicts: 8000 | #Constraints: 54986
312.50/313.33 c #Conflicts: 9000 | #Constraints: 55986
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 10000 | #Constraints: 54741
312.50/313.33 c #Conflicts: 11000 | #Constraints: 55741
312.50/313.33 c #Conflicts: 12000 | #Constraints: 56741
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 13000 | #Constraints: 55243
312.50/313.33 c #Conflicts: 14000 | #Constraints: 56243
312.50/313.33 c #Conflicts: 15000 | #Constraints: 57243
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 16000 | #Constraints: 55479
312.50/313.33 c #Conflicts: 17000 | #Constraints: 56479
312.50/313.33 c #Conflicts: 18000 | #Constraints: 57479
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 19000 | #Constraints: 55500
312.50/313.33 c #Conflicts: 20000 | #Constraints: 56500
312.50/313.33 c #Conflicts: 21000 | #Constraints: 57500
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 22000 | #Constraints: 55261
312.50/313.33 c #Conflicts: 23000 | #Constraints: 56261
312.50/313.33 c #Conflicts: 24000 | #Constraints: 57261
312.50/313.33 c #Conflicts: 25000 | #Constraints: 58261
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 26000 | #Constraints: 55856
312.50/313.33 c #Conflicts: 27000 | #Constraints: 56856
312.50/313.33 c #Conflicts: 28000 | #Constraints: 57856
312.50/313.33 c #Conflicts: 29000 | #Constraints: 58856
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 30000 | #Constraints: 56306
312.50/313.33 c #Conflicts: 31000 | #Constraints: 57306
312.50/313.33 c #Conflicts: 32000 | #Constraints: 58306
312.50/313.33 c #Conflicts: 33000 | #Constraints: 59306
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 34000 | #Constraints: 56553
312.50/313.33 c #Conflicts: 35000 | #Constraints: 57553
312.50/313.33 c #Conflicts: 36000 | #Constraints: 58553
312.50/313.33 c #Conflicts: 37000 | #Constraints: 59553
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 38000 | #Constraints: 56589
312.50/313.33 c #Conflicts: 39000 | #Constraints: 57589
312.50/313.33 c #Conflicts: 40000 | #Constraints: 58589
312.50/313.33 c #Conflicts: 41000 | #Constraints: 59589
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 42000 | #Constraints: 56411
312.50/313.33 c #Conflicts: 43000 | #Constraints: 57411
312.50/313.33 c #Conflicts: 44000 | #Constraints: 58411
312.50/313.33 c #Conflicts: 45000 | #Constraints: 59411
312.50/313.33 c #Conflicts: 46000 | #Constraints: 60411
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 47000 | #Constraints: 57031
312.50/313.33 c #Conflicts: 48000 | #Constraints: 58031
312.50/313.33 c #Conflicts: 49000 | #Constraints: 59031
312.50/313.33 c #Conflicts: 50000 | #Constraints: 60031
312.50/313.33 c #Conflicts: 51000 | #Constraints: 61031
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 52000 | #Constraints: 57451
312.50/313.33 c #Conflicts: 53000 | #Constraints: 58451
312.50/313.33 c #Conflicts: 54000 | #Constraints: 59451
312.50/313.33 c #Conflicts: 55000 | #Constraints: 60451
312.50/313.33 c #Conflicts: 56000 | #Constraints: 61451
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 57000 | #Constraints: 57664
312.50/313.33 c #Conflicts: 58000 | #Constraints: 58664
312.50/313.33 c #Conflicts: 59000 | #Constraints: 59664
312.50/313.33 c #Conflicts: 60000 | #Constraints: 60664
312.50/313.33 c #Conflicts: 61000 | #Constraints: 61664
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 62000 | #Constraints: 57639
312.50/313.33 c #Conflicts: 63000 | #Constraints: 58639
312.50/313.33 c #Conflicts: 64000 | #Constraints: 59639
312.50/313.33 c #Conflicts: 65000 | #Constraints: 60639
312.50/313.33 c #Conflicts: 66000 | #Constraints: 61639
312.50/313.33 c INPROCESSING
312.50/313.33 c GARBAGE COLLECT
312.50/313.33 c #Conflicts: 67000 | #Constraints: 57464
312.50/313.33 c #Conflicts: 68000 | #Constraints: 58464
861.44/863.60 c #Conflicts: 69000 | #Constraints: 59464
861.44/863.60 c #Conflicts: 70000 | #Constraints: 60464
861.44/863.60 c #Conflicts: 71000 | #Constraints: 61464
861.44/863.60 c #Conflicts: 72000 | #Constraints: 62464
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 73000 | #Constraints: 58053
861.44/863.60 c #Conflicts: 74000 | #Constraints: 59053
861.44/863.60 c #Conflicts: 75000 | #Constraints: 60053
861.44/863.60 c #Conflicts: 76000 | #Constraints: 61053
861.44/863.60 c #Conflicts: 77000 | #Constraints: 62053
861.44/863.60 c #Conflicts: 78000 | #Constraints: 63053
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 79000 | #Constraints: 58389
861.44/863.60 c #Conflicts: 80000 | #Constraints: 59389
861.44/863.60 c #Conflicts: 81000 | #Constraints: 60389
861.44/863.60 c #Conflicts: 82000 | #Constraints: 61389
861.44/863.60 c #Conflicts: 83000 | #Constraints: 62389
861.44/863.60 c #Conflicts: 84000 | #Constraints: 63389
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 85000 | #Constraints: 58588
861.44/863.60 c #Conflicts: 86000 | #Constraints: 59588
861.44/863.60 c #Conflicts: 87000 | #Constraints: 60588
861.44/863.60 c #Conflicts: 88000 | #Constraints: 61588
861.44/863.60 c #Conflicts: 89000 | #Constraints: 62588
861.44/863.60 c #Conflicts: 90000 | #Constraints: 63588
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 91000 | #Constraints: 58602
861.44/863.60 c #Conflicts: 92000 | #Constraints: 59602
861.44/863.60 c #Conflicts: 93000 | #Constraints: 60602
861.44/863.60 c #Conflicts: 94000 | #Constraints: 61602
861.44/863.60 c #Conflicts: 95000 | #Constraints: 62602
861.44/863.60 c #Conflicts: 96000 | #Constraints: 63602
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 97000 | #Constraints: 58415
861.44/863.60 c #Conflicts: 98000 | #Constraints: 59415
861.44/863.60 c #Conflicts: 99000 | #Constraints: 60415
861.44/863.60 c #Conflicts: 100000 | #Constraints: 61415
861.44/863.60 c #Conflicts: 101000 | #Constraints: 62415
861.44/863.60 c #Conflicts: 102000 | #Constraints: 63415
861.44/863.60 c #Conflicts: 103000 | #Constraints: 64415
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 104000 | #Constraints: 59003
861.44/863.60 c #Conflicts: 105000 | #Constraints: 60003
861.44/863.60 c #Conflicts: 106000 | #Constraints: 61003
861.44/863.60 c #Conflicts: 107000 | #Constraints: 62003
861.44/863.60 c #Conflicts: 108000 | #Constraints: 63003
861.44/863.60 c #Conflicts: 109000 | #Constraints: 64003
861.44/863.60 c #Conflicts: 110000 | #Constraints: 65003
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 111000 | #Constraints: 59409
861.44/863.60 c #Conflicts: 112000 | #Constraints: 60409
861.44/863.60 c #Conflicts: 113000 | #Constraints: 61409
861.44/863.60 c #Conflicts: 114000 | #Constraints: 62409
861.44/863.60 c #Conflicts: 115000 | #Constraints: 63409
861.44/863.60 c #Conflicts: 116000 | #Constraints: 64409
861.44/863.60 c #Conflicts: 117000 | #Constraints: 65409
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 118000 | #Constraints: 59553
861.44/863.60 c #Conflicts: 119000 | #Constraints: 60553
861.44/863.60 c #Conflicts: 120000 | #Constraints: 61553
861.44/863.60 c #Conflicts: 121000 | #Constraints: 62553
861.44/863.60 c #Conflicts: 122000 | #Constraints: 63553
861.44/863.60 c #Conflicts: 123000 | #Constraints: 64553
861.44/863.60 c #Conflicts: 124000 | #Constraints: 65553
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 125000 | #Constraints: 59567
861.44/863.60 c #Conflicts: 126000 | #Constraints: 60567
861.44/863.60 c #Conflicts: 127000 | #Constraints: 61567
861.44/863.60 c #Conflicts: 128000 | #Constraints: 62567
861.44/863.60 c #Conflicts: 129000 | #Constraints: 63567
861.44/863.60 c #Conflicts: 130000 | #Constraints: 64567
861.44/863.60 c #Conflicts: 131000 | #Constraints: 65567
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 132000 | #Constraints: 59385
861.44/863.60 c #Conflicts: 133000 | #Constraints: 60385
861.44/863.60 c #Conflicts: 134000 | #Constraints: 61385
861.44/863.60 c #Conflicts: 135000 | #Constraints: 62385
861.44/863.60 c #Conflicts: 136000 | #Constraints: 63385
861.44/863.60 c #Conflicts: 137000 | #Constraints: 64385
861.44/863.60 c #Conflicts: 138000 | #Constraints: 65385
861.44/863.60 c #Conflicts: 139000 | #Constraints: 66385
861.44/863.60 c INPROCESSING
861.44/863.60 c GARBAGE COLLECT
861.44/863.60 c #Conflicts: 140000 | #Constraints: 60009
1465.37/1469.10 c #Conflicts: 141000 | #Constraints: 61009
1465.37/1469.10 c #Conflicts: 142000 | #Constraints: 62009
1465.37/1469.10 c #Conflicts: 143000 | #Constraints: 63009
1465.37/1469.10 c #Conflicts: 144000 | #Constraints: 64009
1465.37/1469.10 c #Conflicts: 145000 | #Constraints: 65009
1465.37/1469.10 c #Conflicts: 146000 | #Constraints: 66009
1465.37/1469.10 c #Conflicts: 147000 | #Constraints: 67009
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 148000 | #Constraints: 60424
1465.37/1469.10 c #Conflicts: 149000 | #Constraints: 61424
1465.37/1469.10 c #Conflicts: 150000 | #Constraints: 62424
1465.37/1469.10 c #Conflicts: 151000 | #Constraints: 63424
1465.37/1469.10 c #Conflicts: 152000 | #Constraints: 64424
1465.37/1469.10 c #Conflicts: 153000 | #Constraints: 65424
1465.37/1469.10 c #Conflicts: 154000 | #Constraints: 66424
1465.37/1469.10 c #Conflicts: 155000 | #Constraints: 67424
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 156000 | #Constraints: 60607
1465.37/1469.10 c #Conflicts: 157000 | #Constraints: 61607
1465.37/1469.10 c #Conflicts: 158000 | #Constraints: 62607
1465.37/1469.10 c #Conflicts: 159000 | #Constraints: 63607
1465.37/1469.10 c #Conflicts: 160000 | #Constraints: 64607
1465.37/1469.10 c #Conflicts: 161000 | #Constraints: 65607
1465.37/1469.10 c #Conflicts: 162000 | #Constraints: 66607
1465.37/1469.10 c #Conflicts: 163000 | #Constraints: 67607
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 164000 | #Constraints: 60710
1465.37/1469.10 c #Conflicts: 165000 | #Constraints: 61710
1465.37/1469.10 c #Conflicts: 166000 | #Constraints: 62710
1465.37/1469.10 c #Conflicts: 167000 | #Constraints: 63710
1465.37/1469.10 c #Conflicts: 168000 | #Constraints: 64710
1465.37/1469.10 c #Conflicts: 169000 | #Constraints: 65710
1465.37/1469.10 c #Conflicts: 170000 | #Constraints: 66710
1465.37/1469.10 c #Conflicts: 171000 | #Constraints: 67710
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 172000 | #Constraints: 60495
1465.37/1469.10 c #Conflicts: 173000 | #Constraints: 61495
1465.37/1469.10 c #Conflicts: 174000 | #Constraints: 62495
1465.37/1469.10 c #Conflicts: 175000 | #Constraints: 63495
1465.37/1469.10 c #Conflicts: 176000 | #Constraints: 64495
1465.37/1469.10 c #Conflicts: 177000 | #Constraints: 65495
1465.37/1469.10 c #Conflicts: 178000 | #Constraints: 66495
1465.37/1469.10 c #Conflicts: 179000 | #Constraints: 67495
1465.37/1469.10 c #Conflicts: 180000 | #Constraints: 68495
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 181000 | #Constraints: 61126
1465.37/1469.10 c #Conflicts: 182000 | #Constraints: 62126
1465.37/1469.10 c #Conflicts: 183000 | #Constraints: 63126
1465.37/1469.10 c #Conflicts: 184000 | #Constraints: 64126
1465.37/1469.10 c #Conflicts: 185000 | #Constraints: 65126
1465.37/1469.10 c #Conflicts: 186000 | #Constraints: 66126
1465.37/1469.10 c #Conflicts: 187000 | #Constraints: 67126
1465.37/1469.10 c #Conflicts: 188000 | #Constraints: 68126
1465.37/1469.10 c #Conflicts: 189000 | #Constraints: 69126
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 190000 | #Constraints: 61541
1465.37/1469.10 c #Conflicts: 191000 | #Constraints: 62541
1465.37/1469.10 c #Conflicts: 192000 | #Constraints: 63541
1465.37/1469.10 c #Conflicts: 193000 | #Constraints: 64541
1465.37/1469.10 c #Conflicts: 194000 | #Constraints: 65541
1465.37/1469.10 c #Conflicts: 195000 | #Constraints: 66541
1465.37/1469.10 c #Conflicts: 196000 | #Constraints: 67541
1465.37/1469.10 c #Conflicts: 197000 | #Constraints: 68541
1465.37/1469.10 c #Conflicts: 198000 | #Constraints: 69541
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 199000 | #Constraints: 61773
1465.37/1469.10 c #Conflicts: 200000 | #Constraints: 62773
1465.37/1469.10 c #Conflicts: 201000 | #Constraints: 63773
1465.37/1469.10 c #Conflicts: 202000 | #Constraints: 64773
1465.37/1469.10 c #Conflicts: 203000 | #Constraints: 65773
1465.37/1469.10 c #Conflicts: 204000 | #Constraints: 66773
1465.37/1469.10 c #Conflicts: 205000 | #Constraints: 67773
1465.37/1469.10 c #Conflicts: 206000 | #Constraints: 68773
1465.37/1469.10 c #Conflicts: 207000 | #Constraints: 69773
1465.37/1469.10 c INPROCESSING
1465.37/1469.10 c GARBAGE COLLECT
1465.37/1469.10 c #Conflicts: 208000 | #Constraints: 61791
1465.37/1469.10 c #Conflicts: 209000 | #Constraints: 62791
1465.37/1469.10 c #Conflicts: 210000 | #Constraints: 63791
1465.37/1469.10 c #Conflicts: 211000 | #Constraints: 64791
1465.37/1469.10 c #Conflicts: 212000 | #Constraints: 65791
1465.37/1469.10 c #Conflicts: 213000 | #Constraints: 66791
2139.06/2144.49 c #Conflicts: 214000 | #Constraints: 67791
2139.06/2144.49 c #Conflicts: 215000 | #Constraints: 68791
2139.06/2144.49 c #Conflicts: 216000 | #Constraints: 69791
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 217000 | #Constraints: 61608
2139.06/2144.49 c #Conflicts: 218000 | #Constraints: 62608
2139.06/2144.49 c #Conflicts: 219000 | #Constraints: 63608
2139.06/2144.49 c #Conflicts: 220000 | #Constraints: 64608
2139.06/2144.49 c #Conflicts: 221000 | #Constraints: 65608
2139.06/2144.49 c #Conflicts: 222000 | #Constraints: 66608
2139.06/2144.49 c #Conflicts: 223000 | #Constraints: 67608
2139.06/2144.49 c #Conflicts: 224000 | #Constraints: 68608
2139.06/2144.49 c #Conflicts: 225000 | #Constraints: 69608
2139.06/2144.49 c #Conflicts: 226000 | #Constraints: 70608
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 227000 | #Constraints: 62227
2139.06/2144.49 c #Conflicts: 228000 | #Constraints: 63227
2139.06/2144.49 c #Conflicts: 229000 | #Constraints: 64227
2139.06/2144.49 c #Conflicts: 230000 | #Constraints: 65227
2139.06/2144.49 c #Conflicts: 231000 | #Constraints: 66227
2139.06/2144.49 c #Conflicts: 232000 | #Constraints: 67227
2139.06/2144.49 c #Conflicts: 233000 | #Constraints: 68227
2139.06/2144.49 c #Conflicts: 234000 | #Constraints: 69227
2139.06/2144.49 c #Conflicts: 235000 | #Constraints: 70227
2139.06/2144.49 c #Conflicts: 236000 | #Constraints: 71227
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 237000 | #Constraints: 62652
2139.06/2144.49 c #Conflicts: 238000 | #Constraints: 63652
2139.06/2144.49 c #Conflicts: 239000 | #Constraints: 64652
2139.06/2144.49 c #Conflicts: 240000 | #Constraints: 65652
2139.06/2144.49 c #Conflicts: 241000 | #Constraints: 66652
2139.06/2144.49 c #Conflicts: 242000 | #Constraints: 67652
2139.06/2144.49 c #Conflicts: 243000 | #Constraints: 68652
2139.06/2144.49 c #Conflicts: 244000 | #Constraints: 69652
2139.06/2144.49 c #Conflicts: 245000 | #Constraints: 70652
2139.06/2144.49 c #Conflicts: 246000 | #Constraints: 71652
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 247000 | #Constraints: 62848
2139.06/2144.49 c #Conflicts: 248000 | #Constraints: 63848
2139.06/2144.49 c #Conflicts: 249000 | #Constraints: 64848
2139.06/2144.49 c #Conflicts: 250000 | #Constraints: 65848
2139.06/2144.49 c #Conflicts: 251000 | #Constraints: 66848
2139.06/2144.49 c #Conflicts: 252000 | #Constraints: 67848
2139.06/2144.49 c #Conflicts: 253000 | #Constraints: 68848
2139.06/2144.49 c #Conflicts: 254000 | #Constraints: 69848
2139.06/2144.49 c #Conflicts: 255000 | #Constraints: 70848
2139.06/2144.49 c #Conflicts: 256000 | #Constraints: 71848
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 257000 | #Constraints: 62814
2139.06/2144.49 c #Conflicts: 258000 | #Constraints: 63814
2139.06/2144.49 c #Conflicts: 259000 | #Constraints: 64814
2139.06/2144.49 c #Conflicts: 260000 | #Constraints: 65814
2139.06/2144.49 c #Conflicts: 261000 | #Constraints: 66814
2139.06/2144.49 c #Conflicts: 262000 | #Constraints: 67814
2139.06/2144.49 c #Conflicts: 263000 | #Constraints: 68814
2139.06/2144.49 c #Conflicts: 264000 | #Constraints: 69814
2139.06/2144.49 c #Conflicts: 265000 | #Constraints: 70814
2139.06/2144.49 c #Conflicts: 266000 | #Constraints: 71814
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 267000 | #Constraints: 62587
2139.06/2144.49 c #Conflicts: 268000 | #Constraints: 63587
2139.06/2144.49 c #Conflicts: 269000 | #Constraints: 64587
2139.06/2144.49 c #Conflicts: 270000 | #Constraints: 65587
2139.06/2144.49 c #Conflicts: 271000 | #Constraints: 66587
2139.06/2144.49 c #Conflicts: 272000 | #Constraints: 67587
2139.06/2144.49 c #Conflicts: 273000 | #Constraints: 68587
2139.06/2144.49 c #Conflicts: 274000 | #Constraints: 69587
2139.06/2144.49 c #Conflicts: 275000 | #Constraints: 70587
2139.06/2144.49 c #Conflicts: 276000 | #Constraints: 71587
2139.06/2144.49 c #Conflicts: 277000 | #Constraints: 72587
2139.06/2144.49 c INPROCESSING
2139.06/2144.49 c GARBAGE COLLECT
2139.06/2144.49 c #Conflicts: 278000 | #Constraints: 63189
2139.06/2144.49 c #Conflicts: 279000 | #Constraints: 64189
2139.06/2144.49 c #Conflicts: 280000 | #Constraints: 65189
2139.06/2144.49 c #Conflicts: 281000 | #Constraints: 66189
2139.06/2144.49 c #Conflicts: 282000 | #Constraints: 67189
2139.06/2144.49 c #Conflicts: 283000 | #Constraints: 68189
2139.06/2144.49 c #Conflicts: 284000 | #Constraints: 69189
2139.06/2144.49 c #Conflicts: 285000 | #Constraints: 70189
2139.06/2144.49 c #Conflicts: 286000 | #Constraints: 71189
2139.06/2144.49 c #Conflicts: 287000 | #Constraints: 72189
2139.06/2144.49 c #Conflicts: 288000 | #Constraints: 73189
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 289000 | #Constraints: 63610
2748.14/2755.12 c #Conflicts: 290000 | #Constraints: 64610
2748.14/2755.12 c #Conflicts: 291000 | #Constraints: 65610
2748.14/2755.12 c #Conflicts: 292000 | #Constraints: 66610
2748.14/2755.12 c #Conflicts: 293000 | #Constraints: 67610
2748.14/2755.12 c #Conflicts: 294000 | #Constraints: 68610
2748.14/2755.12 c #Conflicts: 295000 | #Constraints: 69610
2748.14/2755.12 c #Conflicts: 296000 | #Constraints: 70610
2748.14/2755.12 c #Conflicts: 297000 | #Constraints: 71610
2748.14/2755.12 c #Conflicts: 298000 | #Constraints: 72610
2748.14/2755.12 c #Conflicts: 299000 | #Constraints: 73610
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 300000 | #Constraints: 63719
2748.14/2755.12 c #Conflicts: 301000 | #Constraints: 64719
2748.14/2755.12 c #Conflicts: 302000 | #Constraints: 65719
2748.14/2755.12 c #Conflicts: 303000 | #Constraints: 66719
2748.14/2755.12 c #Conflicts: 304000 | #Constraints: 67719
2748.14/2755.12 c #Conflicts: 305000 | #Constraints: 68719
2748.14/2755.12 c #Conflicts: 306000 | #Constraints: 69719
2748.14/2755.12 c #Conflicts: 307000 | #Constraints: 70719
2748.14/2755.12 c #Conflicts: 308000 | #Constraints: 71719
2748.14/2755.12 c #Conflicts: 309000 | #Constraints: 72719
2748.14/2755.12 c #Conflicts: 310000 | #Constraints: 73719
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 311000 | #Constraints: 63722
2748.14/2755.12 c #Conflicts: 312000 | #Constraints: 64722
2748.14/2755.12 c #Conflicts: 313000 | #Constraints: 65722
2748.14/2755.12 c #Conflicts: 314000 | #Constraints: 66722
2748.14/2755.12 c #Conflicts: 315000 | #Constraints: 67722
2748.14/2755.12 c #Conflicts: 316000 | #Constraints: 68722
2748.14/2755.12 c #Conflicts: 317000 | #Constraints: 69722
2748.14/2755.12 c #Conflicts: 318000 | #Constraints: 70722
2748.14/2755.12 c #Conflicts: 319000 | #Constraints: 71722
2748.14/2755.12 c #Conflicts: 320000 | #Constraints: 72722
2748.14/2755.12 c #Conflicts: 321000 | #Constraints: 73722
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 322000 | #Constraints: 63577
2748.14/2755.12 c #Conflicts: 323000 | #Constraints: 64577
2748.14/2755.12 c #Conflicts: 324000 | #Constraints: 65577
2748.14/2755.12 c #Conflicts: 325000 | #Constraints: 66577
2748.14/2755.12 c #Conflicts: 326000 | #Constraints: 67577
2748.14/2755.12 c #Conflicts: 327000 | #Constraints: 68577
2748.14/2755.12 c #Conflicts: 328000 | #Constraints: 69577
2748.14/2755.12 c #Conflicts: 329000 | #Constraints: 70577
2748.14/2755.12 c #Conflicts: 330000 | #Constraints: 71577
2748.14/2755.12 c #Conflicts: 331000 | #Constraints: 72577
2748.14/2755.12 c #Conflicts: 332000 | #Constraints: 73577
2748.14/2755.12 c #Conflicts: 333000 | #Constraints: 74577
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 334000 | #Constraints: 64234
2748.14/2755.12 c #Conflicts: 335000 | #Constraints: 65234
2748.14/2755.12 c #Conflicts: 336000 | #Constraints: 66234
2748.14/2755.12 c #Conflicts: 337000 | #Constraints: 67234
2748.14/2755.12 c #Conflicts: 338000 | #Constraints: 68234
2748.14/2755.12 c #Conflicts: 339000 | #Constraints: 69234
2748.14/2755.12 c #Conflicts: 340000 | #Constraints: 70234
2748.14/2755.12 c #Conflicts: 341000 | #Constraints: 71234
2748.14/2755.12 c #Conflicts: 342000 | #Constraints: 72234
2748.14/2755.12 c #Conflicts: 343000 | #Constraints: 73234
2748.14/2755.12 c #Conflicts: 344000 | #Constraints: 74234
2748.14/2755.12 c #Conflicts: 345000 | #Constraints: 75234
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 346000 | #Constraints: 64543
2748.14/2755.12 c #Conflicts: 347000 | #Constraints: 65543
2748.14/2755.12 c #Conflicts: 348000 | #Constraints: 66543
2748.14/2755.12 c #Conflicts: 349000 | #Constraints: 67543
2748.14/2755.12 c #Conflicts: 350000 | #Constraints: 68543
2748.14/2755.12 c #Conflicts: 351000 | #Constraints: 69543
2748.14/2755.12 c #Conflicts: 352000 | #Constraints: 70543
2748.14/2755.12 c #Conflicts: 353000 | #Constraints: 71543
2748.14/2755.12 c #Conflicts: 354000 | #Constraints: 72543
2748.14/2755.12 c #Conflicts: 355000 | #Constraints: 73543
2748.14/2755.12 c #Conflicts: 356000 | #Constraints: 74543
2748.14/2755.12 c #Conflicts: 357000 | #Constraints: 75543
2748.14/2755.12 c INPROCESSING
2748.14/2755.12 c GARBAGE COLLECT
2748.14/2755.12 c #Conflicts: 358000 | #Constraints: 64737
2748.14/2755.12 c #Conflicts: 359000 | #Constraints: 65737
2748.14/2755.12 c #Conflicts: 360000 | #Constraints: 66737
2748.14/2755.12 c #Conflicts: 361000 | #Constraints: 67737
2748.14/2755.12 c #Conflicts: 362000 | #Constraints: 68737
3288.18/3296.82 c #Conflicts: 363000 | #Constraints: 69737
3288.18/3296.82 c #Conflicts: 364000 | #Constraints: 70737
3288.18/3296.82 c #Conflicts: 365000 | #Constraints: 71737
3288.18/3296.82 c #Conflicts: 366000 | #Constraints: 72737
3288.18/3296.82 c #Conflicts: 367000 | #Constraints: 73737
3288.18/3296.82 c #Conflicts: 368000 | #Constraints: 74737
3288.18/3296.82 c #Conflicts: 369000 | #Constraints: 75737
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 370000 | #Constraints: 64814
3288.18/3296.82 c #Conflicts: 371000 | #Constraints: 65814
3288.18/3296.82 c #Conflicts: 372000 | #Constraints: 66814
3288.18/3296.82 c #Conflicts: 373000 | #Constraints: 67814
3288.18/3296.82 c #Conflicts: 374000 | #Constraints: 68814
3288.18/3296.82 c #Conflicts: 375000 | #Constraints: 69814
3288.18/3296.82 c #Conflicts: 376000 | #Constraints: 70814
3288.18/3296.82 c #Conflicts: 377000 | #Constraints: 71814
3288.18/3296.82 c #Conflicts: 378000 | #Constraints: 72814
3288.18/3296.82 c #Conflicts: 379000 | #Constraints: 73814
3288.18/3296.82 c #Conflicts: 380000 | #Constraints: 74814
3288.18/3296.82 c #Conflicts: 381000 | #Constraints: 75814
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 382000 | #Constraints: 64715
3288.18/3296.82 c #Conflicts: 383000 | #Constraints: 65715
3288.18/3296.82 c #Conflicts: 384000 | #Constraints: 66715
3288.18/3296.82 c #Conflicts: 385000 | #Constraints: 67715
3288.18/3296.82 c #Conflicts: 386000 | #Constraints: 68715
3288.18/3296.82 c #Conflicts: 387000 | #Constraints: 69715
3288.18/3296.82 c #Conflicts: 388000 | #Constraints: 70715
3288.18/3296.82 c #Conflicts: 389000 | #Constraints: 71715
3288.18/3296.82 c #Conflicts: 390000 | #Constraints: 72715
3288.18/3296.82 c #Conflicts: 391000 | #Constraints: 73715
3288.18/3296.82 c #Conflicts: 392000 | #Constraints: 74715
3288.18/3296.82 c #Conflicts: 393000 | #Constraints: 75715
3288.18/3296.82 c #Conflicts: 394000 | #Constraints: 76715
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 395000 | #Constraints: 65321
3288.18/3296.82 c #Conflicts: 396000 | #Constraints: 66321
3288.18/3296.82 c #Conflicts: 397000 | #Constraints: 67321
3288.18/3296.82 c #Conflicts: 398000 | #Constraints: 68321
3288.18/3296.82 c #Conflicts: 399000 | #Constraints: 69321
3288.18/3296.82 c #Conflicts: 400000 | #Constraints: 70321
3288.18/3296.82 c #Conflicts: 401000 | #Constraints: 71321
3288.18/3296.82 c #Conflicts: 402000 | #Constraints: 72321
3288.18/3296.82 c #Conflicts: 403000 | #Constraints: 73321
3288.18/3296.82 c #Conflicts: 404000 | #Constraints: 74321
3288.18/3296.82 c #Conflicts: 405000 | #Constraints: 75321
3288.18/3296.82 c #Conflicts: 406000 | #Constraints: 76321
3288.18/3296.82 c #Conflicts: 407000 | #Constraints: 77321
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 408000 | #Constraints: 65739
3288.18/3296.82 c #Conflicts: 409000 | #Constraints: 66739
3288.18/3296.82 c #Conflicts: 410000 | #Constraints: 67739
3288.18/3296.82 c #Conflicts: 411000 | #Constraints: 68739
3288.18/3296.82 c #Conflicts: 412000 | #Constraints: 69739
3288.18/3296.82 c #Conflicts: 413000 | #Constraints: 70739
3288.18/3296.82 c #Conflicts: 414000 | #Constraints: 71739
3288.18/3296.82 c #Conflicts: 415000 | #Constraints: 72739
3288.18/3296.82 c #Conflicts: 416000 | #Constraints: 73739
3288.18/3296.82 c #Conflicts: 417000 | #Constraints: 74739
3288.18/3296.82 c #Conflicts: 418000 | #Constraints: 75739
3288.18/3296.82 c #Conflicts: 419000 | #Constraints: 76739
3288.18/3296.82 c #Conflicts: 420000 | #Constraints: 77739
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 421000 | #Constraints: 65996
3288.18/3296.82 c #Conflicts: 422000 | #Constraints: 66996
3288.18/3296.82 c #Conflicts: 423000 | #Constraints: 67996
3288.18/3296.82 c #Conflicts: 424000 | #Constraints: 68996
3288.18/3296.82 c #Conflicts: 425000 | #Constraints: 69996
3288.18/3296.82 c #Conflicts: 426000 | #Constraints: 70996
3288.18/3296.82 c #Conflicts: 427000 | #Constraints: 71996
3288.18/3296.82 c #Conflicts: 428000 | #Constraints: 72996
3288.18/3296.82 c #Conflicts: 429000 | #Constraints: 73996
3288.18/3296.82 c #Conflicts: 430000 | #Constraints: 74996
3288.18/3296.82 c #Conflicts: 431000 | #Constraints: 75996
3288.18/3296.82 c #Conflicts: 432000 | #Constraints: 76996
3288.18/3296.82 c #Conflicts: 433000 | #Constraints: 77996
3288.18/3296.82 c INPROCESSING
3288.18/3296.82 c GARBAGE COLLECT
3288.18/3296.82 c #Conflicts: 434000 | #Constraints: 66017
3288.18/3296.82 c #Conflicts: 435000 | #Constraints: 67017
3288.18/3296.82 c #Conflicts: 436000 | #Constraints: 68017
3288.18/3296.82 c #Conflicts: 437000 | #Constraints: 69017
3600.06/3609.60 c #Conflicts: 438000 | #Constraints: 70017
3600.06/3609.60 c #Conflicts: 439000 | #Constraints: 71017
3600.06/3609.60 c #Conflicts: 440000 | #Constraints: 72017
3600.06/3609.60 c #Conflicts: 441000 | #Constraints: 73017
3600.06/3609.60 c #Conflicts: 442000 | #Constraints: 74017
3600.06/3609.60 c #Conflicts: 443000 | #Constraints: 75017
3600.06/3609.60 c #Conflicts: 444000 | #Constraints: 76017
3600.06/3609.60 c #Conflicts: 445000 | #Constraints: 77017
3600.06/3609.60 c #Conflicts: 446000 | #Constraints: 78017
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 447000 | #Constraints: 65906
3600.06/3609.60 c #Conflicts: 448000 | #Constraints: 66906
3600.06/3609.60 c #Conflicts: 449000 | #Constraints: 67906
3600.06/3609.60 c #Conflicts: 450000 | #Constraints: 68906
3600.06/3609.60 c #Conflicts: 451000 | #Constraints: 69906
3600.06/3609.60 c #Conflicts: 452000 | #Constraints: 70906
3600.06/3609.60 c #Conflicts: 453000 | #Constraints: 71906
3600.06/3609.60 c #Conflicts: 454000 | #Constraints: 72906
3600.06/3609.60 c #Conflicts: 455000 | #Constraints: 73906
3600.06/3609.60 c #Conflicts: 456000 | #Constraints: 74906
3600.06/3609.60 c #Conflicts: 457000 | #Constraints: 75906
3600.06/3609.60 c #Conflicts: 458000 | #Constraints: 76906
3600.06/3609.60 c #Conflicts: 459000 | #Constraints: 77906
3600.06/3609.60 c #Conflicts: 460000 | #Constraints: 78906
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 461000 | #Constraints: 66526
3600.06/3609.60 c #Conflicts: 462000 | #Constraints: 67526
3600.06/3609.60 c #Conflicts: 463000 | #Constraints: 68526
3600.06/3609.60 c #Conflicts: 464000 | #Constraints: 69526
3600.06/3609.60 c #Conflicts: 465000 | #Constraints: 70526
3600.06/3609.60 c #Conflicts: 466000 | #Constraints: 71526
3600.06/3609.60 c #Conflicts: 467000 | #Constraints: 72526
3600.06/3609.60 c #Conflicts: 468000 | #Constraints: 73526
3600.06/3609.60 c #Conflicts: 469000 | #Constraints: 74526
3600.06/3609.60 c #Conflicts: 470000 | #Constraints: 75526
3600.06/3609.60 c #Conflicts: 471000 | #Constraints: 76526
3600.06/3609.60 c #Conflicts: 472000 | #Constraints: 77526
3600.06/3609.60 c #Conflicts: 473000 | #Constraints: 78526
3600.06/3609.60 c #Conflicts: 474000 | #Constraints: 79526
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 475000 | #Constraints: 66949
3600.06/3609.60 c #Conflicts: 476000 | #Constraints: 67949
3600.06/3609.60 c #Conflicts: 477000 | #Constraints: 68949
3600.06/3609.60 c #Conflicts: 478000 | #Constraints: 69949
3600.06/3609.60 c Program interrupted by user.
3600.06/3609.60 c cpu time 3592.58 s
3600.06/3609.60 c deterministic time 835602533535 8.36e+11
3600.06/3609.60 c optimization time 19.7008 s
3600.06/3609.60 c total solve time 3572.61 s
3600.06/3609.60 c core-guided solve time 3572.61 s
3600.06/3609.60 c propagation time 3173.24 s
3600.06/3609.60 c conflict analysis time 381.338 s
3600.06/3609.60 c propagations 1315134500
3600.06/3609.60 c resolve steps 8139007
3600.06/3609.60 c decisions 4741453
3600.06/3609.60 c conflicts 478496
3600.06/3609.60 c restarts 1022
3600.06/3609.60 c inprocessing phases 60
3600.06/3609.60 c input clauses 23286
3600.06/3609.60 c input cardinalities 1225
3600.06/3609.60 c input general constraints 34298
3600.06/3609.60 c input average constraint length 13.90
3600.06/3609.60 c input average constraint degree 28.80
3600.06/3609.60 c learned clauses 279413
3600.06/3609.60 c learned cardinalities 14
3600.06/3609.60 c learned general constraints 199068
3600.06/3609.60 c learned average constraint length 1272.24
3600.06/3609.60 c learned average constraint degree 17803596.70
3600.06/3609.60 c watched constraints 200579
3600.06/3609.60 c counting constraints 32787
3600.06/3609.60 c gcd simplifications 87818
3600.06/3609.60 c detected cardinalities 0
3600.06/3609.60 c weakened non-implied lits 110034618
3600.06/3609.60 c weakened non-implying lits 124924
3600.06/3609.60 c original variables 43918
3600.06/3609.60 c clausal propagations 231590696
3600.06/3609.60 c cardinality propagations 2653640
3600.06/3609.60 c watched propagations 71125424
3600.06/3609.60 c counting propagations 1009474055
3600.06/3609.60 c watch lookups 32311305287
3600.06/3609.60 c watch backjump lookups 27460649499
3600.06/3609.60 c watch checks 753420459711
3600.06/3609.60 c propagation checks 18275615458
3600.06/3609.60 c constraint additions 1494289423
3600.06/3609.60 c trail pops 1320338203
3600.06/3609.60 c formula constraints 58807
3600.06/3609.60 c learned constraints 478495
3600.06/3609.60 c bound constraints 0
3600.06/3609.60 c core-guided constraints 2
3600.06/3609.60 c encountered formula constraints 6747945
3600.06/3609.60 c encountered learned constraints 1869558
3600.06/3609.60 c encountered bound constraints 0
3600.06/3609.60 c encountered core-guided constraints 0
3600.06/3609.60 c LP total time 0 s
3600.06/3609.60 c LP solve time 0 s
3600.06/3609.60 c LP constraints added 0
3600.06/3609.60 c LP constraints removed 0
3600.06/3609.60 c LP pivots internal 0
3600.06/3609.60 c LP pivots root 0
3600.06/3609.60 c LP calls 0
3600.06/3609.60 c LP optimalities 0
3600.06/3609.60 c LP no pivot count 0
3600.06/3609.60 c LP infeasibilities 0
3600.06/3609.60 c LP valid Farkas constraints 0
3600.06/3609.60 c LP learned Farkas constraints 0
3600.06/3609.60 c LP basis resets 0
3600.06/3609.60 c LP cycling count 0
3600.06/3609.60 c LP singular count 0
3600.06/3609.60 c LP no primal count 0
3600.06/3609.60 c LP no farkas count 0
3600.06/3609.60 c LP other issue count 0
3600.06/3609.60 c LP Gomory cuts 0
3600.06/3609.60 c LP learned cuts 0
3600.06/3609.60 c LP deleted cuts 0
3600.06/3609.60 c LP encountered Gomory constraints 0
3600.06/3609.60 c LP encountered Farkas constraints 0
3600.06/3609.60 c LP encountered learned Farkas constraints 0
3600.06/3609.60 c CG auxiliary variables introduced 2
3600.06/3609.60 c CG solutions found 0
3600.06/3609.60 c CG cores constructed 0
3600.06/3609.60 c CG core cardinality constraints returned 0
3600.06/3609.60 c CG unit cores 0
3600.06/3609.60 c CG single cores 0
3600.06/3609.60 c CG blocks removed during cardinality reduction 0
3600.06/3609.60 c CG first core best 0
3600.06/3609.60 c CG decision core best 0
3600.06/3609.60 c CG core reduction tie 0
3600.06/3609.60 c CG core degree average 0.00
3600.06/3609.60 c CG core slack average 0.00
3600.06/3609.60 c CG exhausted 0
3600.06/3609.60 c CG exhaust time 0 s
3600.06/3609.60 c CG trimmed 0
3600.06/3609.60 c CG trim time 0 s
3600.06/3609.60 c CG minimized 0
3600.06/3609.60 c CG minimize time 0 s
3600.06/3609.60 c CG am1 prop time 0.00313 s
3600.06/3609.60 c CG # am1s reformulated 2
3600.06/3609.60 c CG lower bound derived from am1s 32
3600.06/3609.60 c CG # clausal cores 0
3600.06/3609.60 c CG # cardinality cores 0
3600.06/3609.60 c CG # pb cores 0
3600.06/3609.60 c CG # pb reforms 0
3600.06/3609.60 c CG # cores discarded because of pb reform 0
3600.06/3609.60 d LOWERBOUND 0
3600.06/3609.60 d NCORES 0
3600.06/3609.60 d NPBCORES 0
3600.06/3609.60 d NPBREFORM 0
3600.06/3609.60 d NTRIMMED 0
3600.06/3609.60 d NEXHAUSTED 0
3600.06/3609.60 d NAM1S 2
3600.06/3609.60 d AM1LB 32
3600.06/3609.60 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: 63665 MiB (61429 MiB free)
memory of node 1: 64507 MiB (62889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524340-1751610310/watcher-4524340-1751610310 -o /tmp/evaluation-result-4524340-1751610310/solver-4524340-1751610310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751609132-87172 --watchdog 3760 pb-oll-rs HOME/instance-4524340-1751610310.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87419, runsolver pid=87416
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127286192/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=31520 memory=18672 CPUtime=0.09 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 3245 0 0 0 7 2 0 0 20 0 1 0 76710885 32276480 4668 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 7880 4668 1120 243 0 4129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31520 KiB
Current children cumulated memory: 18672 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127286192/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=37320 memory=24116 CPUtime=0.2 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 4117 0 0 0 16 4 0 0 20 0 1 0 76710885 38215680 6029 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 9330 6029 1120 243 0 5579 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37320 KiB
Current children cumulated memory: 24116 KiB
[startup+0.305667 s]*
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127282664/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=45840 memory=32828 CPUtime=0.29 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 5812 0 0 0 25 4 0 0 20 0 1 0 76710885 46940160 8207 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 11460 8207 1120 243 0 7709 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 32828 KiB
[startup+0.700172 s]
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127276868/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=55464 memory=41944 CPUtime=0.69 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 8130 0 0 0 62 7 0 0 20 0 1 0 76710885 56795136 10486 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 13866 10486 1344 243 0 10115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55464 KiB
Current children cumulated memory: 41944 KiB
[startup+1.50016 s]
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127272836/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=64108 memory=47780 CPUtime=1.48 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 8550 0 0 0 141 7 0 0 20 0 1 0 76710885 65646592 11945 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 16027 11945 1344 243 0 12276 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 47780 KiB
[startup+3.10563 s]
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127272836/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=77244 memory=52548 CPUtime=3.08 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 9225 0 0 0 300 8 0 0 20 0 1 0 76710885 79097856 13137 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 19311 13137 1344 243 0 15560 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77244 KiB
Current children cumulated memory: 52548 KiB
[startup+6.30015 s]
/proc/loadavg: 4.05 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127269056/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=79828 memory=60024 CPUtime=6.27 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 10079 0 0 0 616 11 0 0 20 0 1 0 76710885 81743872 15006 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 19957 15006 1344 243 0 16206 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79828 KiB
Current children cumulated memory: 60024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.05 3.89 5/262 87420
/proc/meminfo: memFree=127248036/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=85000 memory=71388 CPUtime=12.66 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 11692 0 0 0 1252 14 0 0 20 0 1 0 76710885 87040000 17847 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 21250 17847 1344 243 0 17499 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 85000 KiB
Current children cumulated memory: 71388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.04 3.90 5/262 87420
/proc/meminfo: memFree=127239608/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=110032 memory=83456 CPUtime=25.42 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 14286 0 0 0 2523 19 0 0 20 0 1 0 76710885 112672768 20864 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 27508 20864 1344 243 0 23757 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 110032 KiB
Current children cumulated memory: 83456 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.06 3.91 5/262 87420
/proc/meminfo: memFree=127219660/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=115624 memory=97172 CPUtime=50.96 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 16231 0 0 0 5068 28 0 0 20 0 1 0 76710885 118398976 24293 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 28906 24293 1344 243 0 25155 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 115624 KiB
Current children cumulated memory: 97172 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.06 3.92 5/262 87422
/proc/meminfo: memFree=127142592/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=126696 memory=112312 CPUtime=102.03 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 19888 0 0 0 10143 60 0 0 20 0 1 0 76710885 129736704 28078 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 31674 28078 1344 243 0 27923 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 126696 KiB
Current children cumulated memory: 112312 KiB
[startup+162.3 s]
/proc/loadavg: 4.38 4.13 3.95 5/263 87427
/proc/meminfo: memFree=127117656/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=162892 memory=124492 CPUtime=161.89 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 22261 0 0 0 16112 77 0 0 20 0 1 0 76710885 166801408 31123 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 40723 31123 1344 243 0 36972 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 162892 KiB
Current children cumulated memory: 124492 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.21 3.99 5/264 87434
/proc/meminfo: memFree=127129848/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=171720 memory=138240 CPUtime=221.73 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 24800 0 0 0 22076 97 0 0 20 0 1 0 76710885 175841280 34560 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 42930 34560 1344 243 0 39179 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 171720 KiB
Current children cumulated memory: 138240 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.19 4.00 5/264 87436
/proc/meminfo: memFree=127107040/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=175596 memory=153360 CPUtime=281.57 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 26121 0 0 0 28047 110 0 0 20 0 1 0 76710885 179810304 38340 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 43899 38340 1344 243 0 40148 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 175596 KiB
Current children cumulated memory: 153360 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.00 5/264 87439
/proc/meminfo: memFree=127087572/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=179344 memory=159728 CPUtime=341.42 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 27507 0 0 0 34019 123 0 0 20 0 1 0 76710885 183648256 39932 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 44836 39932 1344 243 0 41085 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 179344 KiB
Current children cumulated memory: 159728 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.00 5/264 87441
/proc/meminfo: memFree=127030888/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=182424 memory=168616 CPUtime=401.28 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 28791 0 0 0 39991 137 0 0 20 0 1 0 76710885 186802176 42154 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 45606 42154 1344 243 0 41855 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 182424 KiB
Current children cumulated memory: 168616 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.00 5/263 87443
/proc/meminfo: memFree=126982920/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=235632 memory=178236 CPUtime=461.13 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 30012 0 0 0 45965 148 0 0 20 0 1 0 76710885 241287168 44559 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 58908 44559 1344 243 0 55157 0
################
# More data... #
################
Current children cumulated memory: 296032 KiB
[startup+2862.3 s]
/proc/loadavg: 2.10 2.56 3.33 3/251 87676
/proc/meminfo: memFree=129003932/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296032 CPUtime=2855.01 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 52565 0 0 0 284859 642 0 0 20 0 1 0 76710885 394481664 74008 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74008 1344 243 0 92558 0
Current children cumulated CPU time: 2855.01 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296032 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.47 3.25 3/250 87678
/proc/meminfo: memFree=129004720/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296032 CPUtime=2914.82 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 52887 0 0 0 290830 652 0 0 20 0 1 0 76710885 394481664 74008 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74008 1344 243 0 92558 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296032 KiB
[startup+2982.3 s]
/proc/loadavg: 2.06 2.40 3.18 3/250 87680
/proc/meminfo: memFree=129006288/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296032 CPUtime=2974.64 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 52887 0 0 0 296804 660 0 0 20 0 1 0 76710885 394481664 74008 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74008 1344 243 0 92558 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296032 KiB
[startup+3042.3 s]
/proc/loadavg: 2.07 2.34 3.10 3/250 87682
/proc/meminfo: memFree=128993248/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296032 CPUtime=3034.45 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 53180 0 0 0 302777 668 0 0 20 0 1 0 76710885 394481664 74008 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74008 1344 243 0 92558 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296032 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.31 3.04 3/250 87684
/proc/meminfo: memFree=128974096/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296036 CPUtime=3094.27 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 53473 0 0 0 308752 675 0 0 20 0 1 0 76710885 394481664 74009 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74009 1344 243 0 92558 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296036 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.26 2.98 3/251 87689
/proc/meminfo: memFree=128973532/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385236 memory=296036 CPUtime=3154.09 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 53473 0 0 0 314725 684 0 0 20 0 1 0 76710885 394481664 74009 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96309 74009 1344 243 0 92558 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 385236 KiB
Current children cumulated memory: 296036 KiB
[startup+3222.3 s]
/proc/loadavg: 2.04 2.21 2.92 3/251 87695
/proc/meminfo: memFree=128982348/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=385420 memory=296200 CPUtime=3213.91 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 53806 0 0 0 320697 694 0 0 20 0 1 0 76710885 394670080 74050 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96355 74050 1344 243 0 92604 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 385420 KiB
Current children cumulated memory: 296200 KiB
[startup+3282.3 s]
/proc/loadavg: 2.32 2.28 2.89 3/251 87697
/proc/meminfo: memFree=128979488/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=387004 memory=297264 CPUtime=3273.72 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 54360 0 0 0 326670 702 0 0 20 0 1 0 76710885 396292096 74316 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96751 74316 1344 243 0 93000 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 387004 KiB
Current children cumulated memory: 297264 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.24 2.84 3/251 87699
/proc/meminfo: memFree=128980036/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=387004 memory=297264 CPUtime=3333.54 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 54360 0 0 0 332641 713 0 0 20 0 1 0 76710885 396292096 74316 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96751 74316 1344 243 0 93000 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 387004 KiB
Current children cumulated memory: 297264 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.21 2.79 3/251 87701
/proc/meminfo: memFree=128982132/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=387484 memory=297636 CPUtime=3393.36 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 54740 0 0 0 338614 722 0 0 20 0 1 0 76710885 396783616 74409 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 96871 74409 1344 243 0 93120 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 387484 KiB
Current children cumulated memory: 297636 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.18 2.75 3/251 87703
/proc/meminfo: memFree=128968184/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=392632 memory=307616 CPUtime=3453.18 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 55707 0 0 0 344589 729 0 0 20 0 1 0 76710885 402055168 76904 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 98158 76904 1344 243 0 94407 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 392632 KiB
Current children cumulated memory: 307616 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.18 2.71 3/251 87705
/proc/meminfo: memFree=128957820/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=392912 memory=309956 CPUtime=3513.01 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 56064 0 0 0 350563 738 0 0 20 0 1 0 76710885 402341888 77489 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 98228 77489 1344 243 0 94477 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 392912 KiB
Current children cumulated memory: 309956 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.18 2.67 3/251 87707
/proc/meminfo: memFree=128955532/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=396184 memory=312132 CPUtime=3572.84 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 56778 0 0 0 356540 744 0 0 20 0 1 0 76710885 405692416 78033 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 99046 78033 1344 243 0 95295 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 396184 KiB
Current children cumulated memory: 312132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 2.11 2.16 2.65 3/251 87707
/proc/meminfo: memFree=128949736/131250000 swapFree=33010416/33010684
[pid=87419] ppid=87416 vsize=396532 memory=316728 CPUtime=3600.06 cores=4,6
/proc/87419/stat : 87419 (pb-oll-rs) R 87416 87419 87161 0 -1 4194304 57164 0 0 0 359257 749 0 0 20 0 1 0 76710885 406048768 79182 18446744073709551615 4218880 5211445 140729706276240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 33058816 140729706281372 140729706281449 140729706281449 140729706287051 0
/proc/87419/statm: 99133 79182 1344 243 0 95382 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 396532 KiB
Current children cumulated memory: 316728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 87419 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.59 s, system=7.49775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.08
CPU user time (s): 3592.59
CPU system time (s): 7.49775
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 396532
Max. memory (cumulated for all children) (KiB): 316728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.59
system time used= 7.49775
maximum resident set size= 317868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57180
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= 158
involuntary context switches= 3296
# summary of solver processes directly reported to runsolver:
# pid: 87419
# total CPU time (s): 3600.08
# total CPU user time (s): 3592.59
# total CPU system time (s): 7.49775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20583 second user time and 15.6798 second system time
The end
Begin job on nodeC027 at 2025-07-04 08:25:10
IDJOB=4524340
IDBENCH=180653
IDSOLVER=3345
FILE ID=nodeC027/4524340-1751610310
RUNJOBID= nodeC027-1751609132-87172
SLURM_JOB_ID= 9598902
Free space on /tmp= 431132 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-SameQueensKnights-b-35_c24.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524340-1751610310/watcher-4524340-1751610310 -o /tmp/evaluation-result-4524340-1751610310/solver-4524340-1751610310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751609132-87172 --watchdog 3760 pb-oll-rs HOME/instance-4524340-1751610310.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85006dfa006eef4f5ff7a59d59a5be2d
RANDOM SEED=1660772177
nodeC027 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.635
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.29
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.636
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.543
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.29
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 : 3600.290
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.29
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.662
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.29
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.637
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.29
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 : 3559.422
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.29
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127302308 kB
MemAvailable: 127707792 kB
Buffers: 2488 kB
Cached: 1203880 kB
SwapCached: 12 kB
Active: 2646384 kB
Inactive: 663340 kB
Active(anon): 2118620 kB
Inactive(anon): 2792 kB
Active(file): 527764 kB
Inactive(file): 660548 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6804 kB
Writeback: 0 kB
AnonPages: 2105620 kB
Mapped: 108200 kB
Shmem: 18056 kB
KReclaimable: 112420 kB
Slab: 202604 kB
SReclaimable: 112420 kB
SUnreclaim: 90184 kB
KernelStack: 4204 kB
PageTables: 7548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2846644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1724416 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431176 MiB
End job on nodeC027 at 2025-07-04 09:25:20