0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] solving
0.00/0.07 c #variables 4160 #constraints 8320
0.00/0.07 c SMALL=long long, LARGE=int128
0.00/0.07 c bounds - >= -4503599627370495 @ 0.043125
0.00/0.07 c stratification level: 1125899906842624
73.47/73.74 c bounds - >= -3377699720527871 @ 0.043125
73.47/73.74 c #Conflicts: 1000 | #Constraints: 9321
73.47/73.74 c #Conflicts: 2000 | #Constraints: 10321
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 3000 | #Constraints: 10366
73.47/73.74 c #Conflicts: 4000 | #Constraints: 11366
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 5000 | #Constraints: 10824
73.47/73.74 c #Conflicts: 6000 | #Constraints: 11824
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 7000 | #Constraints: 10873
73.47/73.74 c #Conflicts: 8000 | #Constraints: 11873
73.47/73.74 c #Conflicts: 9000 | #Constraints: 12873
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 10000 | #Constraints: 11620
73.47/73.74 c #Conflicts: 11000 | #Constraints: 12620
73.47/73.74 c #Conflicts: 12000 | #Constraints: 13620
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 13000 | #Constraints: 12108
73.47/73.74 c #Conflicts: 14000 | #Constraints: 13108
73.47/73.74 c #Conflicts: 15000 | #Constraints: 14108
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 16000 | #Constraints: 12366
73.47/73.74 c #Conflicts: 17000 | #Constraints: 13366
73.47/73.74 c #Conflicts: 18000 | #Constraints: 14366
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 19000 | #Constraints: 12410
73.47/73.74 c #Conflicts: 20000 | #Constraints: 13410
73.47/73.74 c #Conflicts: 21000 | #Constraints: 14410
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 22000 | #Constraints: 12208
73.47/73.74 c #Conflicts: 23000 | #Constraints: 13208
73.47/73.74 c #Conflicts: 24000 | #Constraints: 14208
73.47/73.74 c #Conflicts: 25000 | #Constraints: 15208
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 26000 | #Constraints: 12838
73.47/73.74 c #Conflicts: 27000 | #Constraints: 13838
73.47/73.74 c #Conflicts: 28000 | #Constraints: 14838
73.47/73.74 c #Conflicts: 29000 | #Constraints: 15838
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 30000 | #Constraints: 13270
73.47/73.74 c #Conflicts: 31000 | #Constraints: 14270
73.47/73.74 c #Conflicts: 32000 | #Constraints: 15270
73.47/73.74 c #Conflicts: 33000 | #Constraints: 16270
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 34000 | #Constraints: 13470
73.47/73.74 c #Conflicts: 35000 | #Constraints: 14470
73.47/73.74 c #Conflicts: 36000 | #Constraints: 15470
73.47/73.74 c #Conflicts: 37000 | #Constraints: 16470
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 38000 | #Constraints: 13484
73.47/73.74 c #Conflicts: 39000 | #Constraints: 14484
73.47/73.74 c #Conflicts: 40000 | #Constraints: 15484
73.47/73.74 c #Conflicts: 41000 | #Constraints: 16484
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 42000 | #Constraints: 13307
73.47/73.74 c #Conflicts: 43000 | #Constraints: 14307
73.47/73.74 c #Conflicts: 44000 | #Constraints: 15307
73.47/73.74 c #Conflicts: 45000 | #Constraints: 16307
73.47/73.74 c #Conflicts: 46000 | #Constraints: 17307
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 47000 | #Constraints: 13919
73.47/73.74 c #Conflicts: 48000 | #Constraints: 14919
73.47/73.74 c #Conflicts: 49000 | #Constraints: 15919
73.47/73.74 c #Conflicts: 50000 | #Constraints: 16919
73.47/73.74 c #Conflicts: 51000 | #Constraints: 17919
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 52000 | #Constraints: 14330
73.47/73.74 c #Conflicts: 53000 | #Constraints: 15330
73.47/73.74 c #Conflicts: 54000 | #Constraints: 16330
73.47/73.74 c #Conflicts: 55000 | #Constraints: 17330
73.47/73.74 c #Conflicts: 56000 | #Constraints: 18330
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 57000 | #Constraints: 14555
73.47/73.74 c #Conflicts: 58000 | #Constraints: 15555
73.47/73.74 c #Conflicts: 59000 | #Constraints: 16555
73.47/73.74 c #Conflicts: 60000 | #Constraints: 17555
73.47/73.74 c #Conflicts: 61000 | #Constraints: 18555
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 62000 | #Constraints: 14551
73.47/73.74 c #Conflicts: 63000 | #Constraints: 15551
73.47/73.74 c #Conflicts: 64000 | #Constraints: 16551
73.47/73.74 c #Conflicts: 65000 | #Constraints: 17551
73.47/73.74 c #Conflicts: 66000 | #Constraints: 18551
73.47/73.74 c INPROCESSING
73.47/73.74 c GARBAGE COLLECT
73.47/73.74 c #Conflicts: 67000 | #Constraints: 14362
271.97/272.88 c #Conflicts: 68000 | #Constraints: 15362
271.97/272.88 c #Conflicts: 69000 | #Constraints: 16362
271.97/272.88 c #Conflicts: 70000 | #Constraints: 17362
271.97/272.88 c #Conflicts: 71000 | #Constraints: 18362
271.97/272.88 c #Conflicts: 72000 | #Constraints: 19362
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 73000 | #Constraints: 14998
271.97/272.88 c #Conflicts: 74000 | #Constraints: 15998
271.97/272.88 c #Conflicts: 75000 | #Constraints: 16998
271.97/272.88 c #Conflicts: 76000 | #Constraints: 17998
271.97/272.88 c #Conflicts: 77000 | #Constraints: 18998
271.97/272.88 c #Conflicts: 78000 | #Constraints: 19998
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 79000 | #Constraints: 15413
271.97/272.88 c #Conflicts: 80000 | #Constraints: 16413
271.97/272.88 c #Conflicts: 81000 | #Constraints: 17413
271.97/272.88 c #Conflicts: 82000 | #Constraints: 18413
271.97/272.88 c #Conflicts: 83000 | #Constraints: 19413
271.97/272.88 c #Conflicts: 84000 | #Constraints: 20413
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 85000 | #Constraints: 15623
271.97/272.88 c #Conflicts: 86000 | #Constraints: 16623
271.97/272.88 c #Conflicts: 87000 | #Constraints: 17623
271.97/272.88 c #Conflicts: 88000 | #Constraints: 18623
271.97/272.88 c #Conflicts: 89000 | #Constraints: 19623
271.97/272.88 c #Conflicts: 90000 | #Constraints: 20623
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 91000 | #Constraints: 15640
271.97/272.88 c #Conflicts: 92000 | #Constraints: 16640
271.97/272.88 c #Conflicts: 93000 | #Constraints: 17640
271.97/272.88 c #Conflicts: 94000 | #Constraints: 18640
271.97/272.88 c #Conflicts: 95000 | #Constraints: 19640
271.97/272.88 c #Conflicts: 96000 | #Constraints: 20640
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 97000 | #Constraints: 15453
271.97/272.88 c #Conflicts: 98000 | #Constraints: 16453
271.97/272.88 c #Conflicts: 99000 | #Constraints: 17453
271.97/272.88 c #Conflicts: 100000 | #Constraints: 18453
271.97/272.88 c #Conflicts: 101000 | #Constraints: 19453
271.97/272.88 c #Conflicts: 102000 | #Constraints: 20453
271.97/272.88 c #Conflicts: 103000 | #Constraints: 21453
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 104000 | #Constraints: 16042
271.97/272.88 c #Conflicts: 105000 | #Constraints: 17042
271.97/272.88 c #Conflicts: 106000 | #Constraints: 18042
271.97/272.88 c #Conflicts: 107000 | #Constraints: 19042
271.97/272.88 c #Conflicts: 108000 | #Constraints: 20042
271.97/272.88 c #Conflicts: 109000 | #Constraints: 21042
271.97/272.88 c #Conflicts: 110000 | #Constraints: 22042
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 111000 | #Constraints: 16475
271.97/272.88 c #Conflicts: 112000 | #Constraints: 17475
271.97/272.88 c #Conflicts: 113000 | #Constraints: 18475
271.97/272.88 c #Conflicts: 114000 | #Constraints: 19475
271.97/272.88 c #Conflicts: 115000 | #Constraints: 20475
271.97/272.88 c #Conflicts: 116000 | #Constraints: 21475
271.97/272.88 c #Conflicts: 117000 | #Constraints: 22475
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 118000 | #Constraints: 16662
271.97/272.88 c #Conflicts: 119000 | #Constraints: 17662
271.97/272.88 c #Conflicts: 120000 | #Constraints: 18662
271.97/272.88 c #Conflicts: 121000 | #Constraints: 19662
271.97/272.88 c #Conflicts: 122000 | #Constraints: 20662
271.97/272.88 c #Conflicts: 123000 | #Constraints: 21662
271.97/272.88 c #Conflicts: 124000 | #Constraints: 22662
271.97/272.88 c INPROCESSING
271.97/272.88 c GARBAGE COLLECT
271.97/272.88 c #Conflicts: 125000 | #Constraints: 16676
271.97/272.88 c #Conflicts: 126000 | #Constraints: 17676
271.97/272.88 c #Conflicts: 127000 | #Constraints: 18676
271.97/272.88 c #Conflicts: 128000 | #Constraints: 19676
271.97/272.88 c #Conflicts: 129000 | #Constraints: 20676
271.97/272.88 c #Conflicts: 130000 | #Constraints: 21676
271.97/272.88 c #Conflicts: 131000 | #Constraints: 22676
271.97/272.88 c #Conflicts: 132000 | #Constraints: 23676
271.97/272.88 c #Conflicts: 133000 | #Constraints: 24676
271.97/272.88 c #Conflicts: 134000 | #Constraints: 25676
271.97/272.88 c #Conflicts: 135000 | #Constraints: 26676
271.97/272.88 c #Conflicts: 136000 | #Constraints: 27676
271.97/272.88 c #Conflicts: 137000 | #Constraints: 28676
271.97/272.88 c #Conflicts: 138000 | #Constraints: 29676
271.97/272.88 c #Conflicts: 139000 | #Constraints: 30676
271.97/272.88 c #Conflicts: 140000 | #Constraints: 31676
880.48/883.10 c #Conflicts: 141000 | #Constraints: 32676
880.48/883.10 c #Conflicts: 142000 | #Constraints: 33676
880.48/883.10 c #Conflicts: 143000 | #Constraints: 34676
880.48/883.10 c #Conflicts: 144000 | #Constraints: 35676
880.48/883.10 c #Conflicts: 145000 | #Constraints: 36676
880.48/883.10 c #Conflicts: 146000 | #Constraints: 37676
880.48/883.10 c #Conflicts: 147000 | #Constraints: 38676
880.48/883.10 c #Conflicts: 148000 | #Constraints: 39676
880.48/883.10 c #Conflicts: 149000 | #Constraints: 40676
880.48/883.10 c #Conflicts: 150000 | #Constraints: 41676
880.48/883.10 c #Conflicts: 151000 | #Constraints: 42676
880.48/883.10 c #Conflicts: 152000 | #Constraints: 43676
880.48/883.10 c #Conflicts: 153000 | #Constraints: 44676
880.48/883.10 c #Conflicts: 154000 | #Constraints: 45676
880.48/883.10 c #Conflicts: 155000 | #Constraints: 46676
880.48/883.10 c #Conflicts: 156000 | #Constraints: 47676
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 157000 | #Constraints: 28934
880.48/883.10 c #Conflicts: 158000 | #Constraints: 29934
880.48/883.10 c #Conflicts: 159000 | #Constraints: 30934
880.48/883.10 c #Conflicts: 160000 | #Constraints: 31934
880.48/883.10 c #Conflicts: 161000 | #Constraints: 32934
880.48/883.10 c #Conflicts: 162000 | #Constraints: 33934
880.48/883.10 c #Conflicts: 163000 | #Constraints: 34934
880.48/883.10 c #Conflicts: 164000 | #Constraints: 35934
880.48/883.10 c #Conflicts: 165000 | #Constraints: 36934
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 166000 | #Constraints: 23803
880.48/883.10 c #Conflicts: 167000 | #Constraints: 24803
880.48/883.10 c #Conflicts: 168000 | #Constraints: 25803
880.48/883.10 c #Conflicts: 169000 | #Constraints: 26803
880.48/883.10 c #Conflicts: 170000 | #Constraints: 27803
880.48/883.10 c #Conflicts: 171000 | #Constraints: 28803
880.48/883.10 c #Conflicts: 172000 | #Constraints: 29803
880.48/883.10 c #Conflicts: 173000 | #Constraints: 30803
880.48/883.10 c #Conflicts: 174000 | #Constraints: 31803
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 175000 | #Constraints: 21402
880.48/883.10 c #Conflicts: 176000 | #Constraints: 22402
880.48/883.10 c #Conflicts: 177000 | #Constraints: 23402
880.48/883.10 c #Conflicts: 178000 | #Constraints: 24402
880.48/883.10 c #Conflicts: 179000 | #Constraints: 25402
880.48/883.10 c #Conflicts: 180000 | #Constraints: 26402
880.48/883.10 c #Conflicts: 181000 | #Constraints: 27402
880.48/883.10 c #Conflicts: 182000 | #Constraints: 28402
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 183000 | #Constraints: 19254
880.48/883.10 c #Conflicts: 184000 | #Constraints: 20254
880.48/883.10 c #Conflicts: 185000 | #Constraints: 21254
880.48/883.10 c #Conflicts: 186000 | #Constraints: 22254
880.48/883.10 c #Conflicts: 187000 | #Constraints: 23254
880.48/883.10 c #Conflicts: 188000 | #Constraints: 24254
880.48/883.10 c #Conflicts: 189000 | #Constraints: 25254
880.48/883.10 c #Conflicts: 190000 | #Constraints: 26254
880.48/883.10 c #Conflicts: 191000 | #Constraints: 27254
880.48/883.10 c #Conflicts: 192000 | #Constraints: 28254
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 193000 | #Constraints: 19620
880.48/883.10 c #Conflicts: 194000 | #Constraints: 20620
880.48/883.10 c #Conflicts: 195000 | #Constraints: 21620
880.48/883.10 c #Conflicts: 196000 | #Constraints: 22620
880.48/883.10 c #Conflicts: 197000 | #Constraints: 23620
880.48/883.10 c #Conflicts: 198000 | #Constraints: 24620
880.48/883.10 c #Conflicts: 199000 | #Constraints: 25620
880.48/883.10 c #Conflicts: 200000 | #Constraints: 26620
880.48/883.10 c #Conflicts: 201000 | #Constraints: 27620
880.48/883.10 c INPROCESSING
880.48/883.10 c GARBAGE COLLECT
880.48/883.10 c #Conflicts: 202000 | #Constraints: 19167
880.48/883.10 c #Conflicts: 203000 | #Constraints: 20167
880.48/883.10 c #Conflicts: 204000 | #Constraints: 21167
880.48/883.10 c #Conflicts: 205000 | #Constraints: 22167
880.48/883.10 c #Conflicts: 206000 | #Constraints: 23167
880.48/883.10 c #Conflicts: 207000 | #Constraints: 24167
880.48/883.10 c #Conflicts: 208000 | #Constraints: 25167
880.48/883.10 c #Conflicts: 209000 | #Constraints: 26167
880.48/883.10 c #Conflicts: 210000 | #Constraints: 27167
880.48/883.10 c #Conflicts: 211000 | #Constraints: 28167
880.48/883.10 c #Conflicts: 212000 | #Constraints: 29167
880.48/883.10 c #Conflicts: 213000 | #Constraints: 30167
880.48/883.10 c #Conflicts: 214000 | #Constraints: 31167
880.48/883.10 c #Conflicts: 215000 | #Constraints: 32167
2243.17/2249.52 c #Conflicts: 216000 | #Constraints: 33167
2243.17/2249.52 c #Conflicts: 217000 | #Constraints: 34167
2243.17/2249.52 c #Conflicts: 218000 | #Constraints: 35167
2243.17/2249.52 c #Conflicts: 219000 | #Constraints: 36167
2243.17/2249.52 c #Conflicts: 220000 | #Constraints: 37167
2243.17/2249.52 c #Conflicts: 221000 | #Constraints: 38167
2243.17/2249.52 c #Conflicts: 222000 | #Constraints: 39167
2243.17/2249.52 c #Conflicts: 223000 | #Constraints: 40167
2243.17/2249.52 c #Conflicts: 224000 | #Constraints: 41167
2243.17/2249.52 c #Conflicts: 225000 | #Constraints: 42167
2243.17/2249.52 c #Conflicts: 226000 | #Constraints: 43167
2243.17/2249.52 c #Conflicts: 227000 | #Constraints: 44167
2243.17/2249.52 c #Conflicts: 228000 | #Constraints: 45167
2243.17/2249.52 c #Conflicts: 229000 | #Constraints: 46167
2243.17/2249.52 c #Conflicts: 230000 | #Constraints: 47167
2243.17/2249.52 c #Conflicts: 231000 | #Constraints: 48167
2243.17/2249.52 c #Conflicts: 232000 | #Constraints: 49167
2243.17/2249.52 c #Conflicts: 233000 | #Constraints: 50167
2243.17/2249.52 c #Conflicts: 234000 | #Constraints: 51167
2243.17/2249.52 c #Conflicts: 235000 | #Constraints: 52167
2243.17/2249.52 c #Conflicts: 236000 | #Constraints: 53167
2243.17/2249.52 c #Conflicts: 237000 | #Constraints: 54167
2243.17/2249.52 c #Conflicts: 238000 | #Constraints: 55167
2243.17/2249.52 c #Conflicts: 239000 | #Constraints: 56167
2243.17/2249.52 c #Conflicts: 240000 | #Constraints: 57167
2243.17/2249.52 c #Conflicts: 241000 | #Constraints: 58167
2243.17/2249.52 c INPROCESSING
2243.17/2249.52 c GARBAGE COLLECT
2243.17/2249.52 c #Conflicts: 242000 | #Constraints: 34386
2243.17/2249.52 c #Conflicts: 243000 | #Constraints: 35386
2243.17/2249.52 c #Conflicts: 244000 | #Constraints: 36386
2243.17/2249.52 c #Conflicts: 245000 | #Constraints: 37386
2243.17/2249.52 c #Conflicts: 246000 | #Constraints: 38386
2243.17/2249.52 c #Conflicts: 247000 | #Constraints: 39386
2243.17/2249.52 c #Conflicts: 248000 | #Constraints: 40386
2243.17/2249.52 c #Conflicts: 249000 | #Constraints: 41386
2243.17/2249.52 c #Conflicts: 250000 | #Constraints: 42386
2243.17/2249.52 c #Conflicts: 251000 | #Constraints: 43386
2243.17/2249.52 c #Conflicts: 252000 | #Constraints: 44386
2243.17/2249.52 c INPROCESSING
2243.17/2249.52 c GARBAGE COLLECT
2243.17/2249.52 c #Conflicts: 253000 | #Constraints: 27676
2243.17/2249.52 c #Conflicts: 254000 | #Constraints: 28676
2243.17/2249.52 c #Conflicts: 255000 | #Constraints: 29676
2243.17/2249.52 c #Conflicts: 256000 | #Constraints: 30676
2243.17/2249.52 c #Conflicts: 257000 | #Constraints: 31676
2243.17/2249.52 c #Conflicts: 258000 | #Constraints: 32676
2243.17/2249.52 c #Conflicts: 259000 | #Constraints: 33676
2243.17/2249.52 c #Conflicts: 260000 | #Constraints: 34676
2243.17/2249.52 c #Conflicts: 261000 | #Constraints: 35676
2243.17/2249.52 c #Conflicts: 262000 | #Constraints: 36676
2243.17/2249.52 c INPROCESSING
2243.17/2249.52 c GARBAGE COLLECT
2243.17/2249.52 c #Conflicts: 263000 | #Constraints: 23457
2243.17/2249.52 c #Conflicts: 264000 | #Constraints: 24457
2243.17/2249.52 c #Conflicts: 265000 | #Constraints: 25457
2243.17/2249.52 c #Conflicts: 266000 | #Constraints: 26457
2243.17/2249.52 c #Conflicts: 267000 | #Constraints: 27457
2243.17/2249.52 c #Conflicts: 268000 | #Constraints: 28457
2243.17/2249.52 c #Conflicts: 269000 | #Constraints: 29457
2243.17/2249.52 c #Conflicts: 270000 | #Constraints: 30457
2243.17/2249.52 c #Conflicts: 271000 | #Constraints: 31457
2243.17/2249.52 c #Conflicts: 272000 | #Constraints: 32457
2243.17/2249.52 c #Conflicts: 273000 | #Constraints: 33457
2243.17/2249.52 c INPROCESSING
2243.17/2249.52 c GARBAGE COLLECT
2243.17/2249.52 c #Conflicts: 274000 | #Constraints: 21845
2243.17/2249.52 c #Conflicts: 275000 | #Constraints: 22845
2243.17/2249.52 c #Conflicts: 276000 | #Constraints: 23845
2243.17/2249.52 c #Conflicts: 277000 | #Constraints: 24845
2243.17/2249.52 c #Conflicts: 278000 | #Constraints: 25845
2243.17/2249.52 c #Conflicts: 279000 | #Constraints: 26845
2243.17/2249.52 c #Conflicts: 280000 | #Constraints: 27845
2243.17/2249.52 c #Conflicts: 281000 | #Constraints: 28845
2243.17/2249.52 c #Conflicts: 282000 | #Constraints: 29845
2243.17/2249.52 c #Conflicts: 283000 | #Constraints: 30845
2243.17/2249.52 c #Conflicts: 284000 | #Constraints: 31845
2243.17/2249.52 c #Conflicts: 285000 | #Constraints: 32845
2243.17/2249.52 c INPROCESSING
2243.17/2249.52 c GARBAGE COLLECT
2243.17/2249.52 c #Conflicts: 286000 | #Constraints: 21918
2243.17/2249.52 c #Conflicts: 287000 | #Constraints: 22918
2243.17/2249.52 c #Conflicts: 288000 | #Constraints: 23918
2243.17/2249.52 c #Conflicts: 289000 | #Constraints: 24918
2243.17/2249.52 c #Conflicts: 290000 | #Constraints: 25918
2243.17/2249.52 c #Conflicts: 291000 | #Constraints: 26918
3600.05/3609.90 c #Conflicts: 292000 | #Constraints: 27918
3600.05/3609.90 c #Conflicts: 293000 | #Constraints: 28918
3600.05/3609.90 c #Conflicts: 294000 | #Constraints: 29918
3600.05/3609.90 c #Conflicts: 295000 | #Constraints: 30918
3600.05/3609.90 c #Conflicts: 296000 | #Constraints: 31918
3600.05/3609.90 c #Conflicts: 297000 | #Constraints: 32918
3600.05/3609.90 c #Conflicts: 298000 | #Constraints: 33918
3600.05/3609.90 c #Conflicts: 299000 | #Constraints: 34918
3600.05/3609.90 c #Conflicts: 300000 | #Constraints: 35918
3600.05/3609.90 c #Conflicts: 301000 | #Constraints: 36918
3600.05/3609.90 c #Conflicts: 302000 | #Constraints: 37918
3600.05/3609.90 c #Conflicts: 303000 | #Constraints: 38918
3600.05/3609.90 c #Conflicts: 304000 | #Constraints: 39918
3600.05/3609.90 c #Conflicts: 305000 | #Constraints: 40918
3600.05/3609.90 c #Conflicts: 306000 | #Constraints: 41918
3600.05/3609.90 c #Conflicts: 307000 | #Constraints: 42918
3600.05/3609.90 c #Conflicts: 308000 | #Constraints: 43918
3600.05/3609.90 c #Conflicts: 309000 | #Constraints: 44918
3600.05/3609.90 c #Conflicts: 310000 | #Constraints: 45918
3600.05/3609.90 c #Conflicts: 311000 | #Constraints: 46918
3600.05/3609.90 c #Conflicts: 312000 | #Constraints: 47918
3600.05/3609.90 c #Conflicts: 313000 | #Constraints: 48918
3600.05/3609.90 c #Conflicts: 314000 | #Constraints: 49918
3600.05/3609.90 c #Conflicts: 315000 | #Constraints: 50918
3600.05/3609.90 c #Conflicts: 316000 | #Constraints: 51918
3600.05/3609.90 c #Conflicts: 317000 | #Constraints: 52918
3600.05/3609.90 c #Conflicts: 318000 | #Constraints: 53918
3600.05/3609.90 c #Conflicts: 319000 | #Constraints: 54918
3600.05/3609.90 c #Conflicts: 320000 | #Constraints: 55918
3600.05/3609.90 c #Conflicts: 321000 | #Constraints: 56918
3600.05/3609.90 c #Conflicts: 322000 | #Constraints: 57918
3600.05/3609.90 c #Conflicts: 323000 | #Constraints: 58918
3600.05/3609.90 c #Conflicts: 324000 | #Constraints: 59918
3600.05/3609.90 c #Conflicts: 325000 | #Constraints: 60918
3600.05/3609.90 c #Conflicts: 326000 | #Constraints: 61918
3600.05/3609.90 c #Conflicts: 327000 | #Constraints: 62918
3600.05/3609.90 c #Conflicts: 328000 | #Constraints: 63918
3600.05/3609.90 c #Conflicts: 329000 | #Constraints: 64918
3600.05/3609.90 c #Conflicts: 330000 | #Constraints: 65918
3600.05/3609.90 c #Conflicts: 331000 | #Constraints: 66918
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 332000 | #Constraints: 38732
3600.05/3609.90 c #Conflicts: 333000 | #Constraints: 39732
3600.05/3609.90 c #Conflicts: 334000 | #Constraints: 40732
3600.05/3609.90 c #Conflicts: 335000 | #Constraints: 41732
3600.05/3609.90 c #Conflicts: 336000 | #Constraints: 42732
3600.05/3609.90 c #Conflicts: 337000 | #Constraints: 43732
3600.05/3609.90 c #Conflicts: 338000 | #Constraints: 44732
3600.05/3609.90 c #Conflicts: 339000 | #Constraints: 45732
3600.05/3609.90 c #Conflicts: 340000 | #Constraints: 46732
3600.05/3609.90 c #Conflicts: 341000 | #Constraints: 47732
3600.05/3609.90 c #Conflicts: 342000 | #Constraints: 48732
3600.05/3609.90 c #Conflicts: 343000 | #Constraints: 49732
3600.05/3609.90 c #Conflicts: 344000 | #Constraints: 50732
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 345000 | #Constraints: 30869
3600.05/3609.90 c #Conflicts: 346000 | #Constraints: 31869
3600.05/3609.90 c #Conflicts: 347000 | #Constraints: 32869
3600.05/3609.90 c #Conflicts: 348000 | #Constraints: 33869
3600.05/3609.90 c #Conflicts: 349000 | #Constraints: 34869
3600.05/3609.90 c #Conflicts: 350000 | #Constraints: 35869
3600.05/3609.90 c #Conflicts: 351000 | #Constraints: 36869
3600.05/3609.90 c #Conflicts: 352000 | #Constraints: 37869
3600.05/3609.90 c #Conflicts: 353000 | #Constraints: 38869
3600.05/3609.90 c #Conflicts: 354000 | #Constraints: 39869
3600.05/3609.90 c #Conflicts: 355000 | #Constraints: 40869
3600.05/3609.90 c #Conflicts: 356000 | #Constraints: 41869
3600.05/3609.90 c Program interrupted by user.
3600.05/3609.90 c cpu time 3595.42 s
3600.05/3609.90 c deterministic time 323538557834 3.24e+11
3600.05/3609.90 c optimization time 143.839 s
3600.05/3609.90 c total solve time 3451.54 s
3600.05/3609.90 c core-guided solve time 3451.54 s
3600.05/3609.90 c propagation time 3232.1 s
3600.05/3609.90 c conflict analysis time 345.784 s
3600.05/3609.90 c propagations 223261784
3600.05/3609.90 c resolve steps 16740509
3600.05/3609.90 c decisions 2665663
3600.05/3609.90 c conflicts 356204
3600.05/3609.90 c restarts 850
3600.05/3609.90 c inprocessing phases 40
3600.05/3609.90 c input clauses 5720
3600.05/3609.90 c input cardinalities 0
3600.05/3609.90 c input general constraints 2601
3600.05/3609.90 c input average constraint length 3.10
3600.05/3609.90 c input average constraint degree 135308245025.37
3600.05/3609.90 c learned clauses 58073
3600.05/3609.90 c learned cardinalities 56
3600.05/3609.90 c learned general constraints 298076
3600.05/3609.90 c learned average constraint length 365.95
3600.05/3609.90 c learned average constraint degree 263127260.01
3600.05/3609.90 c watched constraints 293168
3600.05/3609.90 c counting constraints 7509
3600.05/3609.90 c gcd simplifications 16293
3600.05/3609.90 c detected cardinalities 9
3600.05/3609.90 c weakened non-implied lits 6849083
3600.05/3609.90 c weakened non-implying lits 268482
3600.05/3609.90 c original variables 4160
3600.05/3609.90 c clausal propagations 85476183
3600.05/3609.90 c cardinality propagations 1027
3600.05/3609.90 c watched propagations 29328738
3600.05/3609.90 c counting propagations 108324985
3600.05/3609.90 c watch lookups 52982352485
3600.05/3609.90 c watch backjump lookups 49083236083
3600.05/3609.90 c watch checks 180191538779
3600.05/3609.90 c propagation checks 40371966677
3600.05/3609.90 c constraint additions 457254154
3600.05/3609.90 c trail pops 226282208
3600.05/3609.90 c formula constraints 8320
3600.05/3609.90 c learned constraints 356205
3600.05/3609.90 c bound constraints 1
3600.05/3609.90 c core-guided constraints 0
3600.05/3609.90 c encountered formula constraints 11895879
3600.05/3609.90 c encountered learned constraints 5200834
3600.05/3609.90 c encountered bound constraints 0
3600.05/3609.90 c encountered core-guided constraints 0
3600.05/3609.90 c LP total time 0 s
3600.05/3609.90 c LP solve time 0 s
3600.05/3609.90 c LP constraints added 0
3600.05/3609.90 c LP constraints removed 0
3600.05/3609.90 c LP pivots internal 0
3600.05/3609.90 c LP pivots root 0
3600.05/3609.90 c LP calls 0
3600.05/3609.90 c LP optimalities 0
3600.05/3609.90 c LP no pivot count 0
3600.05/3609.90 c LP infeasibilities 0
3600.05/3609.90 c LP valid Farkas constraints 0
3600.05/3609.90 c LP learned Farkas constraints 0
3600.05/3609.90 c LP basis resets 0
3600.05/3609.90 c LP cycling count 0
3600.05/3609.90 c LP singular count 0
3600.05/3609.90 c LP no primal count 0
3600.05/3609.90 c LP no farkas count 0
3600.05/3609.90 c LP other issue count 0
3600.05/3609.90 c LP Gomory cuts 0
3600.05/3609.90 c LP learned cuts 0
3600.05/3609.90 c LP deleted cuts 0
3600.05/3609.90 c LP encountered Gomory constraints 0
3600.05/3609.90 c LP encountered Farkas constraints 0
3600.05/3609.90 c LP encountered learned Farkas constraints 0
3600.05/3609.90 c CG auxiliary variables introduced 0
3600.05/3609.90 c CG solutions found 0
3600.05/3609.90 c CG cores constructed 1
3600.05/3609.90 c CG core cardinality constraints returned 0
3600.05/3609.90 c CG unit cores 0
3600.05/3609.90 c CG single cores 1
3600.05/3609.90 c CG blocks removed during cardinality reduction 0
3600.05/3609.90 c CG first core best 0
3600.05/3609.90 c CG decision core best 0
3600.05/3609.90 c CG core reduction tie 0
3600.05/3609.90 c CG core degree average 1.00
3600.05/3609.90 c CG core slack average 3.00
3600.05/3609.90 c CG exhausted 0
3600.05/3609.90 c CG exhaust time 0 s
3600.05/3609.90 c CG trimmed 0
3600.05/3609.90 c CG trim time 0 s
3600.05/3609.90 c CG minimized 0
3600.05/3609.90 c CG minimize time 0 s
3600.05/3609.90 c CG am1 prop time 0 s
3600.05/3609.90 c CG # am1s reformulated 0
3600.05/3609.90 c CG lower bound derived from am1s 0
3600.05/3609.90 c CG # clausal cores 1
3600.05/3609.90 c CG # cardinality cores 0
3600.05/3609.90 c CG # pb cores 0
3600.05/3609.90 c CG # pb reforms 0
3600.05/3609.90 c CG # cores discarded because of pb reform 0
3600.05/3609.90 d LOWERBOUND -3377699720527871
3600.05/3609.90 d NCORES 1
3600.05/3609.90 d NPBCORES 0
3600.05/3609.90 d NPBREFORM 0
3600.05/3609.90 d NTRIMMED 0
3600.05/3609.90 d NEXHAUSTED 0
3600.05/3609.90 d NAM1S 0
3600.05/3609.90 d AM1LB 0
3600.05/3609.90 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: 63837 MiB (63098 MiB free)
memory of node 1: 64465 MiB (63701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519004-1751549187/watcher-4519004-1751549187 -o /tmp/evaluation-result-4519004-1751549187/solver-4519004-1751549187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760 pb-oll-rs HOME/instance-4519004-1751549187.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=76717, runsolver pid=76714
[startup+0.100066 s]*
/proc/loadavg: 1.57 1.14 1.10 5/251 76718
/proc/meminfo: memFree=129841928/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=21944 memory=8192 CPUtime=0.09 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 939 0 0 0 7 2 0 0 20 0 1 0 70597867 22470656 2048 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 5486 2048 1344 243 0 1735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21944 KiB
Current children cumulated memory: 8192 KiB
[startup+0.212967 s]*
/proc/loadavg: 1.57 1.14 1.10 5/251 76718
/proc/meminfo: memFree=129841928/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=22076 memory=8448 CPUtime=0.2 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 1012 0 0 0 18 2 0 0 20 0 1 0 70597867 22605824 2112 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 5519 2112 1344 243 0 1768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22076 KiB
Current children cumulated memory: 8448 KiB
[startup+0.312381 s]*
/proc/loadavg: 1.57 1.14 1.10 5/251 76718
/proc/meminfo: memFree=129841928/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=22076 memory=8704 CPUtime=0.3 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 1060 0 0 0 27 3 0 0 20 0 1 0 70597867 22605824 2176 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 5519 2176 1344 243 0 1768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22076 KiB
Current children cumulated memory: 8704 KiB
[startup+0.700217 s]
/proc/loadavg: 1.57 1.14 1.10 5/251 76718
/proc/meminfo: memFree=129839912/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=22460 memory=9472 CPUtime=0.68 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 1259 0 0 0 64 4 0 0 20 0 1 0 70597867 22999040 2368 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 5615 2368 1344 243 0 1864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22460 KiB
Current children cumulated memory: 9472 KiB
[startup+1.50022 s]
/proc/loadavg: 1.57 1.14 1.10 5/251 76718
/proc/meminfo: memFree=129839912/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=23372 memory=12680 CPUtime=1.47 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 1561 0 0 0 142 5 0 0 20 0 1 0 70597867 23932928 3170 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 5843 3170 1344 243 0 2092 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 23372 KiB
Current children cumulated memory: 12680 KiB
[startup+3.11246 s]
/proc/loadavg: 1.76 1.19 1.12 5/251 76718
/proc/meminfo: memFree=129840960/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=25188 memory=14600 CPUtime=3.08 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 2056 0 0 0 300 8 0 0 20 0 1 0 70597867 25792512 3650 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 6297 3650 1344 243 0 2546 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25188 KiB
Current children cumulated memory: 14600 KiB
[startup+6.30022 s]
/proc/loadavg: 1.76 1.19 1.12 5/251 76718
/proc/meminfo: memFree=129828880/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=30056 memory=17780 CPUtime=6.26 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 2922 0 0 0 614 12 0 0 20 0 1 0 70597867 30777344 4445 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 7514 4445 1344 243 0 3763 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 30056 KiB
Current children cumulated memory: 17780 KiB
[startup+12.7002 s]
/proc/loadavg: 1.94 1.24 1.14 5/251 76718
/proc/meminfo: memFree=129819068/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=32504 memory=22388 CPUtime=12.65 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 4162 0 0 0 1246 19 0 0 20 0 1 0 70597867 33284096 5597 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 8126 5597 1344 243 0 4375 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32504 KiB
Current children cumulated memory: 22388 KiB
[startup+25.5003 s]
/proc/loadavg: 2.40 1.37 1.18 5/251 76718
/proc/meminfo: memFree=129756440/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=38692 memory=24496 CPUtime=25.41 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 4900 0 0 0 2505 36 0 0 20 0 1 0 70597867 39620608 6124 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 9673 6124 1344 243 0 5922 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 24496 KiB
[startup+51.1128 s]
/proc/loadavg: 2.95 1.58 1.26 5/251 76718
/proc/meminfo: memFree=129685696/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=51748 memory=37964 CPUtime=50.95 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 7431 0 0 0 5038 57 0 0 20 0 1 0 70597867 52989952 9491 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 12937 9491 1344 243 0 9186 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51748 KiB
Current children cumulated memory: 37964 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.97 1.41 5/253 76723
/proc/meminfo: memFree=129607804/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=55732 memory=41864 CPUtime=101.99 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 8649 0 0 0 10110 89 0 0 20 0 1 0 70597867 57069568 10466 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 13933 10466 1344 243 0 10182 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 55732 KiB
Current children cumulated memory: 41864 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.37 1.58 5/253 76725
/proc/meminfo: memFree=129555140/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=76812 memory=58836 CPUtime=161.81 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 11522 0 0 0 16068 113 0 0 20 0 1 0 70597867 78655488 14709 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 19203 14709 1344 243 0 15452 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 76812 KiB
Current children cumulated memory: 58836 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.69 1.74 5/253 76727
/proc/meminfo: memFree=129495944/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=77960 memory=60080 CPUtime=221.63 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 11944 0 0 0 22022 141 0 0 20 0 1 0 70597867 79831040 15020 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 19490 15020 1344 243 0 15739 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 77960 KiB
Current children cumulated memory: 60080 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.95 1.89 5/254 76734
/proc/meminfo: memFree=129419788/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=106608 memory=83068 CPUtime=281.45 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 14480 0 0 0 27987 158 0 0 20 0 1 0 70597867 109166592 20767 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 26652 20767 1344 243 0 22901 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 106608 KiB
Current children cumulated memory: 83068 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.16 2.03 5/252 76736
/proc/meminfo: memFree=129365224/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=151200 memory=112656 CPUtime=341.27 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 17804 0 0 0 33960 167 0 0 20 0 1 0 70597867 154828800 28164 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 37800 28164 1344 243 0 34049 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112656 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.33 2.16 6/252 76783
/proc/meminfo: memFree=129485820/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=162904 memory=132840 CPUtime=401.09 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 20295 0 0 0 39934 175 0 0 20 0 1 0 70597867 166813696 33210 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 40726 33210 1344 243 0 36975 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 162904 KiB
Current children cumulated memory: 132840 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.50 2.30 6/250 76785
/proc/meminfo: memFree=129434736/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=173020 memory=149300 CPUtime=460.92 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 22401 0 0 0 45909 183 0 0 20 0 1 0 70597867 177172480 37325 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 43255 37325 1344 243 0 39504 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 315336 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/249 76908
/proc/meminfo: memFree=129034300/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=391744 memory=316488 CPUtime=2914.26 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 41106 0 0 0 291011 415 0 0 20 0 1 0 70597867 401145856 79122 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 97936 79122 1344 243 0 94185 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 391744 KiB
Current children cumulated memory: 316488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/249 76912
/proc/meminfo: memFree=129013704/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=395296 memory=318664 CPUtime=2974.1 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 41682 0 0 0 296994 416 0 0 20 0 1 0 70597867 404783104 79666 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 98824 79666 1344 243 0 95073 0
Current children cumulated CPU time: 2974.1 s
Current children cumulated vsize: 395296 KiB
Current children cumulated memory: 318664 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/249 76914
/proc/meminfo: memFree=129001204/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=403492 memory=328612 CPUtime=3033.94 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 43270 0 0 0 302975 419 0 0 20 0 1 0 70597867 413175808 82153 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 100873 82153 1344 243 0 97122 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 403492 KiB
Current children cumulated memory: 328612 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 6/248 76916
/proc/meminfo: memFree=128995092/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=406052 memory=334336 CPUtime=3093.79 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 43702 0 0 0 308957 422 0 0 20 0 1 0 70597867 415797248 83584 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 101513 83584 1344 243 0 97762 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 406052 KiB
Current children cumulated memory: 334336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/248 76918
/proc/meminfo: memFree=128990820/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=409892 memory=340932 CPUtime=3153.62 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 44332 0 0 0 314938 424 0 0 20 0 1 0 70597867 419729408 85233 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 102473 85233 1344 243 0 98722 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 409892 KiB
Current children cumulated memory: 340932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/248 76920
/proc/meminfo: memFree=128981072/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=350804 CPUtime=3213.46 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45239 0 0 0 320919 427 0 0 20 0 1 0 70597867 425168896 87701 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 87701 1344 243 0 100050 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 350804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/249 76927
/proc/meminfo: memFree=128981004/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=350936 CPUtime=3273.3 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45446 0 0 0 326897 433 0 0 20 0 1 0 70597867 425168896 87734 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 87734 1344 243 0 100050 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 350936 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/249 76929
/proc/meminfo: memFree=128980916/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=350936 CPUtime=3333.14 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45446 0 0 0 332876 438 0 0 20 0 1 0 70597867 425168896 87734 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 87734 1344 243 0 100050 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 350936 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/249 76931
/proc/meminfo: memFree=128966464/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3392.99 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45458 0 0 0 338857 442 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/249 76933
/proc/meminfo: memFree=128965992/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3452.82 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45458 0 0 0 344837 445 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/249 76935
/proc/meminfo: memFree=128965964/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3512.67 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45608 0 0 0 350814 453 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/250 76940
/proc/meminfo: memFree=128958580/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3572.51 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45608 0 0 0 356792 459 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.18 4.10 4.09 6/250 77030
/proc/meminfo: memFree=129450956/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3600.05 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45608 0 0 0 359542 463 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 76717 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.43 s, system=4.63118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.18 4.10 4.09 6/250 77030
/proc/meminfo: memFree=129450956/131382120 swapFree=33010160/33010684
[pid=76717] ppid=76714 vsize=415204 memory=361304 CPUtime=3600.05 cores=0,2
/proc/76717/stat : 76717 (pb-oll-rs) R 76714 76717 76151 0 -1 4194304 45608 0 0 0 359542 463 0 0 20 0 1 0 70597867 425168896 90326 18446744073709551615 4218880 5211445 140729903760608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 28631040 140729903761820 140729903761897 140729903761897 140729903767499 0
/proc/76717/statm: 103801 90326 1344 243 0 100050 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 415204 KiB
Current children cumulated memory: 361304 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.06
CPU user time (s): 3595.43
CPU system time (s): 4.63118
CPU usage (%): 99.7272
Max. virtual memory (cumulated for all children) (KiB): 416092
Max. memory (cumulated for all children) (KiB): 361816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.43
system time used= 4.63118
maximum resident set size= 361816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45623
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= 168
involuntary context switches= 7989
# summary of solver processes directly reported to runsolver:
# pid: 76717
# total CPU time (s): 3600.06
# total CPU user time (s): 3595.43
# total CPU system time (s): 4.63118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3292 second user time and 35.0353 second system time
The end
Begin job on nodeC008 at 2025-07-03 15:26:28
IDJOB=4519004
IDBENCH=177142
IDSOLVER=3345
FILE ID=nodeC008/4519004-1751549187
RUNJOBID= nodeC008-1751549168-76161
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519004-1751549187/watcher-4519004-1751549187 -o /tmp/evaluation-result-4519004-1751549187/solver-4519004-1751549187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760 pb-oll-rs HOME/instance-4519004-1751549187.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eab24ff23fe5100b8f4d0b18077a7ab6
RANDOM SEED=1525916085
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.528
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.335
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3658.389
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.452
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129843296 kB
MemAvailable: 129852260 kB
Buffers: 2128 kB
Cached: 804324 kB
SwapCached: 16 kB
Active: 682376 kB
Inactive: 285480 kB
Active(anon): 142916 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 249072 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7752 kB
Writeback: 0 kB
AnonPages: 164452 kB
Mapped: 107396 kB
Shmem: 17920 kB
KReclaimable: 120120 kB
Slab: 204188 kB
SReclaimable: 120120 kB
SUnreclaim: 84068 kB
KernelStack: 4128 kB
PageTables: 3168 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 493460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 16:26:38