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.00/0.00 c [STEP] solving
0.00/0.00 c #variables 432 #constraints 720
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -162 @ 0.002134
0.00/0.00 c stratification level: 0
0.00/0.00 c bounds - >= -56 @ 0.003106
0.00/0.00 c bounds - >= -55 @ 0.003106
0.00/0.00 c bounds - >= -54 @ 0.003106
0.00/0.00 c bounds - >= -53 @ 0.003106
0.00/0.00 c bounds - >= -52 @ 0.003106
0.00/0.00 c bounds - >= -51 @ 0.003339
0.00/0.00 c bounds - >= -50 @ 0.003663
0.00/0.00 c bounds - >= -49 @ 0.003907
0.00/0.00 c bounds - >= -48 @ 0.00431
0.00/0.00 c bounds - >= -47 @ 0.004607
0.00/0.00 c bounds - >= -46 @ 0.0051
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.09 c bounds -28 >= -46 @ 0.060251
0.00/0.09 c bounds -28 >= -45 @ 0.061206
0.00/0.09 c bounds -28 >= -44 @ 0.064783
0.00/0.09 c finalizing WCE round: reformulating cores
0.29/0.40 c #Conflicts: 1000 | #Constraints: 1857
0.29/0.40 c #Conflicts: 2000 | #Constraints: 2860
0.29/0.40 c INPROCESSING
0.29/0.40 c GARBAGE COLLECT
0.29/0.40 c bounds -32 >= -44 @ 0.29561
0.29/0.40 c bounds -32 >= -43 @ 0.296233
0.29/0.40 c bounds -32 >= -42 @ 0.308684
0.29/0.40 c finalizing WCE round: reformulating cores
23.52/23.63 c #Conflicts: 3000 | #Constraints: 2879
23.52/23.63 c bounds -34 >= -42 @ 0.502814
23.52/23.63 c bounds -34 >= -41 @ 0.513216
23.52/23.63 c #Conflicts: 4000 | #Constraints: 3901
23.52/23.63 c INPROCESSING
23.52/23.63 c GARBAGE COLLECT
23.52/23.63 c #Conflicts: 5000 | #Constraints: 3300
23.52/23.63 c #Conflicts: 6000 | #Constraints: 4300
23.52/23.63 c INPROCESSING
23.52/23.63 c GARBAGE COLLECT
23.52/23.63 c #Conflicts: 7000 | #Constraints: 3311
23.52/23.63 c #Conflicts: 8000 | #Constraints: 4311
23.52/23.63 c #Conflicts: 9000 | #Constraints: 5311
23.52/23.63 c INPROCESSING
23.52/23.63 c GARBAGE COLLECT
23.52/23.63 c bounds -34 >= -40 @ 3.0012
23.52/23.63 c #Conflicts: 10000 | #Constraints: 4057
23.52/23.63 c #Conflicts: 11000 | #Constraints: 5057
23.52/23.63 c #Conflicts: 12000 | #Constraints: 6057
23.52/23.63 c INPROCESSING
23.52/23.63 c GARBAGE COLLECT
23.52/23.63 c #Conflicts: 13000 | #Constraints: 4484
23.52/23.63 c #Conflicts: 14000 | #Constraints: 5484
23.52/23.63 c #Conflicts: 15000 | #Constraints: 6484
23.52/23.63 c INPROCESSING
23.52/23.63 c GARBAGE COLLECT
23.52/23.63 c #Conflicts: 16000 | #Constraints: 4705
23.52/23.63 c #Conflicts: 17000 | #Constraints: 5705
23.52/23.63 c #Conflicts: 18000 | #Constraints: 6705
23.52/23.63 c #Conflicts: 19000 | #Constraints: 7705
23.52/23.63 c #Conflicts: 20000 | #Constraints: 8705
23.52/23.63 c #Conflicts: 21000 | #Constraints: 9705
23.52/23.63 c #Conflicts: 22000 | #Constraints: 10705
23.52/23.63 c #Conflicts: 23000 | #Constraints: 11705
23.52/23.63 c finalizing WCE round: reformulating cores
216.31/216.93 c #Conflicts: 24000 | #Constraints: 12710
216.31/216.93 c bounds -36 >= -40 @ 26.2516
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 25000 | #Constraints: 7527
216.31/216.93 c bounds -36 >= -39 @ 28.133
216.31/216.93 c #Conflicts: 26000 | #Constraints: 8527
216.31/216.93 c #Conflicts: 27000 | #Constraints: 9527
216.31/216.93 c bounds -36 >= -38 @ 30.5257
216.31/216.93 c #Conflicts: 28000 | #Constraints: 10570
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 29000 | #Constraints: 6624
216.31/216.93 c #Conflicts: 30000 | #Constraints: 7624
216.31/216.93 c #Conflicts: 31000 | #Constraints: 8624
216.31/216.93 c #Conflicts: 32000 | #Constraints: 9624
216.31/216.93 c #Conflicts: 33000 | #Constraints: 10624
216.31/216.93 c #Conflicts: 34000 | #Constraints: 11624
216.31/216.93 c #Conflicts: 35000 | #Constraints: 12624
216.31/216.93 c #Conflicts: 36000 | #Constraints: 13624
216.31/216.93 c #Conflicts: 37000 | #Constraints: 14624
216.31/216.93 c #Conflicts: 38000 | #Constraints: 15624
216.31/216.93 c #Conflicts: 39000 | #Constraints: 16624
216.31/216.93 c #Conflicts: 40000 | #Constraints: 17624
216.31/216.93 c #Conflicts: 41000 | #Constraints: 18624
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 42000 | #Constraints: 10598
216.31/216.93 c #Conflicts: 43000 | #Constraints: 11598
216.31/216.93 c #Conflicts: 44000 | #Constraints: 12598
216.31/216.93 c #Conflicts: 45000 | #Constraints: 13598
216.31/216.93 c #Conflicts: 46000 | #Constraints: 14598
216.31/216.93 c #Conflicts: 47000 | #Constraints: 15598
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 48000 | #Constraints: 9302
216.31/216.93 c #Conflicts: 49000 | #Constraints: 10302
216.31/216.93 c #Conflicts: 50000 | #Constraints: 11302
216.31/216.93 c #Conflicts: 51000 | #Constraints: 12302
216.31/216.93 c #Conflicts: 52000 | #Constraints: 13302
216.31/216.93 c #Conflicts: 53000 | #Constraints: 14302
216.31/216.93 c #Conflicts: 54000 | #Constraints: 15302
216.31/216.93 c #Conflicts: 55000 | #Constraints: 16302
216.31/216.93 c #Conflicts: 56000 | #Constraints: 17302
216.31/216.93 c #Conflicts: 57000 | #Constraints: 18302
216.31/216.93 c #Conflicts: 58000 | #Constraints: 19302
216.31/216.93 c #Conflicts: 59000 | #Constraints: 20302
216.31/216.93 c #Conflicts: 60000 | #Constraints: 21302
216.31/216.93 c #Conflicts: 61000 | #Constraints: 22302
216.31/216.93 c #Conflicts: 62000 | #Constraints: 23302
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 63000 | #Constraints: 12793
216.31/216.93 c #Conflicts: 64000 | #Constraints: 13793
216.31/216.93 c #Conflicts: 65000 | #Constraints: 14793
216.31/216.93 c #Conflicts: 66000 | #Constraints: 15793
216.31/216.93 c #Conflicts: 67000 | #Constraints: 16793
216.31/216.93 c #Conflicts: 68000 | #Constraints: 17793
216.31/216.93 c #Conflicts: 69000 | #Constraints: 18793
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 70000 | #Constraints: 10598
216.31/216.93 c #Conflicts: 71000 | #Constraints: 11598
216.31/216.93 c #Conflicts: 72000 | #Constraints: 12598
216.31/216.93 c #Conflicts: 73000 | #Constraints: 13598
216.31/216.93 c #Conflicts: 74000 | #Constraints: 14598
216.31/216.93 c #Conflicts: 75000 | #Constraints: 15598
216.31/216.93 c #Conflicts: 76000 | #Constraints: 16598
216.31/216.93 c #Conflicts: 77000 | #Constraints: 17598
216.31/216.93 c #Conflicts: 78000 | #Constraints: 18598
216.31/216.93 c #Conflicts: 79000 | #Constraints: 19598
216.31/216.93 c #Conflicts: 80000 | #Constraints: 20598
216.31/216.93 c #Conflicts: 81000 | #Constraints: 21598
216.31/216.93 c #Conflicts: 82000 | #Constraints: 22598
216.31/216.93 c #Conflicts: 83000 | #Constraints: 23598
216.31/216.93 c #Conflicts: 84000 | #Constraints: 24598
216.31/216.93 c #Conflicts: 85000 | #Constraints: 25598
216.31/216.93 c #Conflicts: 86000 | #Constraints: 26598
216.31/216.93 c #Conflicts: 87000 | #Constraints: 27598
216.31/216.93 c #Conflicts: 88000 | #Constraints: 28598
216.31/216.93 c INPROCESSING
216.31/216.93 c GARBAGE COLLECT
216.31/216.93 c #Conflicts: 89000 | #Constraints: 15591
216.31/216.93 c #Conflicts: 90000 | #Constraints: 16591
216.31/216.93 c #Conflicts: 91000 | #Constraints: 17591
216.31/216.93 c #Conflicts: 92000 | #Constraints: 18591
216.31/216.93 c #Conflicts: 93000 | #Constraints: 19591
216.31/216.93 c #Conflicts: 94000 | #Constraints: 20591
216.31/216.93 c #Conflicts: 95000 | #Constraints: 21591
216.31/216.93 c #Conflicts: 96000 | #Constraints: 22591
625.07/626.73 c INPROCESSING
625.07/626.73 c GARBAGE COLLECT
625.07/626.73 c #Conflicts: 97000 | #Constraints: 12503
625.07/626.73 c #Conflicts: 98000 | #Constraints: 13503
625.07/626.73 c #Conflicts: 99000 | #Constraints: 14503
625.07/626.73 c #Conflicts: 100000 | #Constraints: 15503
625.07/626.73 c #Conflicts: 101000 | #Constraints: 16503
625.07/626.73 c #Conflicts: 102000 | #Constraints: 17503
625.07/626.73 c #Conflicts: 103000 | #Constraints: 18503
625.07/626.73 c #Conflicts: 104000 | #Constraints: 19503
625.07/626.73 c #Conflicts: 105000 | #Constraints: 20503
625.07/626.73 c #Conflicts: 106000 | #Constraints: 21503
625.07/626.73 c #Conflicts: 107000 | #Constraints: 22503
625.07/626.73 c #Conflicts: 108000 | #Constraints: 23503
625.07/626.73 c #Conflicts: 109000 | #Constraints: 24503
625.07/626.73 c #Conflicts: 110000 | #Constraints: 25503
625.07/626.73 c #Conflicts: 111000 | #Constraints: 26503
625.07/626.73 c #Conflicts: 112000 | #Constraints: 27503
625.07/626.73 c #Conflicts: 113000 | #Constraints: 28503
625.07/626.73 c #Conflicts: 114000 | #Constraints: 29503
625.07/626.73 c #Conflicts: 115000 | #Constraints: 30503
625.07/626.73 c #Conflicts: 116000 | #Constraints: 31503
625.07/626.73 c #Conflicts: 117000 | #Constraints: 32503
625.07/626.73 c #Conflicts: 118000 | #Constraints: 33503
625.07/626.73 c INPROCESSING
625.07/626.73 c GARBAGE COLLECT
625.07/626.73 c #Conflicts: 119000 | #Constraints: 17991
625.07/626.73 c #Conflicts: 120000 | #Constraints: 18991
625.07/626.73 c #Conflicts: 121000 | #Constraints: 19991
625.07/626.73 c #Conflicts: 122000 | #Constraints: 20991
625.07/626.73 c #Conflicts: 123000 | #Constraints: 21991
625.07/626.73 c #Conflicts: 124000 | #Constraints: 22991
625.07/626.73 c #Conflicts: 125000 | #Constraints: 23991
625.07/626.73 c #Conflicts: 126000 | #Constraints: 24991
625.07/626.73 c #Conflicts: 127000 | #Constraints: 25991
625.07/626.73 c #Conflicts: 128000 | #Constraints: 26991
625.07/626.73 c INPROCESSING
625.07/626.73 c GARBAGE COLLECT
625.07/626.73 c #Conflicts: 129000 | #Constraints: 15067
625.07/626.73 c #Conflicts: 130000 | #Constraints: 16067
625.07/626.73 c #Conflicts: 131000 | #Constraints: 17067
625.07/626.73 c #Conflicts: 132000 | #Constraints: 18067
625.07/626.73 c #Conflicts: 133000 | #Constraints: 19067
625.07/626.73 c #Conflicts: 134000 | #Constraints: 20067
625.07/626.73 c #Conflicts: 135000 | #Constraints: 21067
625.07/626.73 c #Conflicts: 136000 | #Constraints: 22067
625.07/626.73 c #Conflicts: 137000 | #Constraints: 23067
625.07/626.73 c #Conflicts: 138000 | #Constraints: 24067
625.07/626.73 c #Conflicts: 139000 | #Constraints: 25067
625.07/626.73 c #Conflicts: 140000 | #Constraints: 26067
625.07/626.73 c #Conflicts: 141000 | #Constraints: 27067
625.07/626.73 c #Conflicts: 142000 | #Constraints: 28067
625.07/626.73 c #Conflicts: 143000 | #Constraints: 29067
625.07/626.73 c #Conflicts: 144000 | #Constraints: 30067
625.07/626.73 c #Conflicts: 145000 | #Constraints: 31067
625.07/626.73 c #Conflicts: 146000 | #Constraints: 32067
625.07/626.73 c #Conflicts: 147000 | #Constraints: 33067
625.07/626.73 c #Conflicts: 148000 | #Constraints: 34067
625.07/626.73 c #Conflicts: 149000 | #Constraints: 35067
625.07/626.73 c #Conflicts: 150000 | #Constraints: 36067
625.07/626.73 c bounds -36 >= -37 @ 505.923
625.07/626.73 c #Conflicts: 151000 | #Constraints: 37101
625.07/626.73 c #Conflicts: 152000 | #Constraints: 38101
625.07/626.73 c #Conflicts: 153000 | #Constraints: 39101
625.07/626.73 c INPROCESSING
625.07/626.73 c GARBAGE COLLECT
625.07/626.73 c #Conflicts: 154000 | #Constraints: 21049
625.07/626.73 c #Conflicts: 155000 | #Constraints: 22049
625.07/626.73 c #Conflicts: 156000 | #Constraints: 23049
625.07/626.73 c #Conflicts: 157000 | #Constraints: 24049
625.07/626.73 c #Conflicts: 158000 | #Constraints: 25049
625.07/626.73 c #Conflicts: 159000 | #Constraints: 26049
625.07/626.73 c #Conflicts: 160000 | #Constraints: 27049
625.07/626.73 c #Conflicts: 161000 | #Constraints: 28049
625.07/626.73 c #Conflicts: 162000 | #Constraints: 29049
625.07/626.73 c #Conflicts: 163000 | #Constraints: 30049
625.07/626.73 c INPROCESSING
625.07/626.73 c GARBAGE COLLECT
625.07/626.73 c #Conflicts: 164000 | #Constraints: 17780
625.07/626.73 c #Conflicts: 165000 | #Constraints: 18780
625.07/626.73 c #Conflicts: 166000 | #Constraints: 19780
625.07/626.73 c #Conflicts: 167000 | #Constraints: 20780
625.07/626.73 c #Conflicts: 168000 | #Constraints: 21780
625.07/626.73 c #Conflicts: 169000 | #Constraints: 22780
625.07/626.73 c #Conflicts: 170000 | #Constraints: 23780
625.07/626.73 c #Conflicts: 171000 | #Constraints: 24780
1646.15/1650.70 c #Conflicts: 172000 | #Constraints: 25780
1646.15/1650.70 c #Conflicts: 173000 | #Constraints: 26780
1646.15/1650.70 c #Conflicts: 174000 | #Constraints: 27780
1646.15/1650.70 c #Conflicts: 175000 | #Constraints: 28780
1646.15/1650.70 c #Conflicts: 176000 | #Constraints: 29780
1646.15/1650.70 c #Conflicts: 177000 | #Constraints: 30780
1646.15/1650.70 c #Conflicts: 178000 | #Constraints: 31780
1646.15/1650.70 c #Conflicts: 179000 | #Constraints: 32780
1646.15/1650.70 c #Conflicts: 180000 | #Constraints: 33780
1646.15/1650.70 c #Conflicts: 181000 | #Constraints: 34780
1646.15/1650.70 c #Conflicts: 182000 | #Constraints: 35780
1646.15/1650.70 c #Conflicts: 183000 | #Constraints: 36780
1646.15/1650.70 c #Conflicts: 184000 | #Constraints: 37780
1646.15/1650.70 c #Conflicts: 185000 | #Constraints: 38780
1646.15/1650.70 c #Conflicts: 186000 | #Constraints: 39780
1646.15/1650.70 c #Conflicts: 187000 | #Constraints: 40780
1646.15/1650.70 c #Conflicts: 188000 | #Constraints: 41780
1646.15/1650.70 c #Conflicts: 189000 | #Constraints: 42780
1646.15/1650.70 c #Conflicts: 190000 | #Constraints: 43780
1646.15/1650.70 c #Conflicts: 191000 | #Constraints: 44780
1646.15/1650.70 c INPROCESSING
1646.15/1650.70 c GARBAGE COLLECT
1646.15/1650.70 c #Conflicts: 192000 | #Constraints: 23433
1646.15/1650.70 c #Conflicts: 193000 | #Constraints: 24433
1646.15/1650.70 c #Conflicts: 194000 | #Constraints: 25433
1646.15/1650.70 c #Conflicts: 195000 | #Constraints: 26433
1646.15/1650.70 c #Conflicts: 196000 | #Constraints: 27433
1646.15/1650.70 c #Conflicts: 197000 | #Constraints: 28433
1646.15/1650.70 c #Conflicts: 198000 | #Constraints: 29433
1646.15/1650.70 c #Conflicts: 199000 | #Constraints: 30433
1646.15/1650.70 c #Conflicts: 200000 | #Constraints: 31433
1646.15/1650.70 c #Conflicts: 201000 | #Constraints: 32433
1646.15/1650.70 c #Conflicts: 202000 | #Constraints: 33433
1646.15/1650.70 c #Conflicts: 203000 | #Constraints: 34433
1646.15/1650.70 c #Conflicts: 204000 | #Constraints: 35433
1646.15/1650.70 c INPROCESSING
1646.15/1650.70 c GARBAGE COLLECT
1646.15/1650.70 c #Conflicts: 205000 | #Constraints: 23549
1646.15/1650.70 c #Conflicts: 206000 | #Constraints: 24549
1646.15/1650.70 c #Conflicts: 207000 | #Constraints: 25549
1646.15/1650.70 c #Conflicts: 208000 | #Constraints: 26549
1646.15/1650.70 c #Conflicts: 209000 | #Constraints: 27549
1646.15/1650.70 c #Conflicts: 210000 | #Constraints: 28549
1646.15/1650.70 c #Conflicts: 211000 | #Constraints: 29549
1646.15/1650.70 c #Conflicts: 212000 | #Constraints: 30549
1646.15/1650.70 c #Conflicts: 213000 | #Constraints: 31549
1646.15/1650.70 c #Conflicts: 214000 | #Constraints: 32549
1646.15/1650.70 c #Conflicts: 215000 | #Constraints: 33549
1646.15/1650.70 c #Conflicts: 216000 | #Constraints: 34549
1646.15/1650.70 c #Conflicts: 217000 | #Constraints: 35549
1646.15/1650.70 c #Conflicts: 218000 | #Constraints: 36549
1646.15/1650.70 c #Conflicts: 219000 | #Constraints: 37549
1646.15/1650.70 c #Conflicts: 220000 | #Constraints: 38549
1646.15/1650.70 c #Conflicts: 221000 | #Constraints: 39549
1646.15/1650.70 c #Conflicts: 222000 | #Constraints: 40549
1646.15/1650.70 c #Conflicts: 223000 | #Constraints: 41549
1646.15/1650.70 c #Conflicts: 224000 | #Constraints: 42549
1646.15/1650.70 c #Conflicts: 225000 | #Constraints: 43549
1646.15/1650.70 c #Conflicts: 226000 | #Constraints: 44549
1646.15/1650.70 c #Conflicts: 227000 | #Constraints: 45549
1646.15/1650.70 c #Conflicts: 228000 | #Constraints: 46549
1646.15/1650.70 c #Conflicts: 229000 | #Constraints: 47549
1646.15/1650.70 c #Conflicts: 230000 | #Constraints: 48549
1646.15/1650.70 c #Conflicts: 231000 | #Constraints: 49549
1646.15/1650.70 c #Conflicts: 232000 | #Constraints: 50549
1646.15/1650.70 c #Conflicts: 233000 | #Constraints: 51549
1646.15/1650.70 c #Conflicts: 234000 | #Constraints: 52549
1646.15/1650.70 c #Conflicts: 235000 | #Constraints: 53549
1646.15/1650.70 c INPROCESSING
1646.15/1650.70 c GARBAGE COLLECT
1646.15/1650.70 c #Conflicts: 236000 | #Constraints: 28180
1646.15/1650.70 c #Conflicts: 237000 | #Constraints: 29180
1646.15/1650.70 c #Conflicts: 238000 | #Constraints: 30180
1646.15/1650.70 c #Conflicts: 239000 | #Constraints: 31180
1646.15/1650.70 c #Conflicts: 240000 | #Constraints: 32180
1646.15/1650.70 c #Conflicts: 241000 | #Constraints: 33180
1646.15/1650.70 c #Conflicts: 242000 | #Constraints: 34180
1646.15/1650.70 c #Conflicts: 243000 | #Constraints: 35180
1646.15/1650.70 c #Conflicts: 244000 | #Constraints: 36180
1646.15/1650.70 c #Conflicts: 245000 | #Constraints: 37180
1646.15/1650.70 c #Conflicts: 246000 | #Constraints: 38180
1646.15/1650.70 c #Conflicts: 247000 | #Constraints: 39180
1646.15/1650.70 c #Conflicts: 248000 | #Constraints: 40180
3411.02/3420.98 c #Conflicts: 249000 | #Constraints: 41180
3411.02/3420.98 c #Conflicts: 250000 | #Constraints: 42180
3411.02/3420.98 c #Conflicts: 251000 | #Constraints: 43180
3411.02/3420.98 c #Conflicts: 252000 | #Constraints: 44180
3411.02/3420.98 c #Conflicts: 253000 | #Constraints: 45180
3411.02/3420.98 c #Conflicts: 254000 | #Constraints: 46180
3411.02/3420.98 c #Conflicts: 255000 | #Constraints: 47180
3411.02/3420.98 c #Conflicts: 256000 | #Constraints: 48180
3411.02/3420.98 c #Conflicts: 257000 | #Constraints: 49180
3411.02/3420.98 c #Conflicts: 258000 | #Constraints: 50180
3411.02/3420.98 c #Conflicts: 259000 | #Constraints: 51180
3411.02/3420.98 c #Conflicts: 260000 | #Constraints: 52180
3411.02/3420.98 c #Conflicts: 261000 | #Constraints: 53180
3411.02/3420.98 c #Conflicts: 262000 | #Constraints: 54180
3411.02/3420.98 c #Conflicts: 263000 | #Constraints: 55180
3411.02/3420.98 c #Conflicts: 264000 | #Constraints: 56180
3411.02/3420.98 c #Conflicts: 265000 | #Constraints: 57180
3411.02/3420.98 c #Conflicts: 266000 | #Constraints: 58180
3411.02/3420.98 c #Conflicts: 267000 | #Constraints: 59180
3411.02/3420.98 c #Conflicts: 268000 | #Constraints: 60180
3411.02/3420.98 c INPROCESSING
3411.02/3420.98 c GARBAGE COLLECT
3411.02/3420.98 c #Conflicts: 269000 | #Constraints: 31408
3411.02/3420.98 c #Conflicts: 270000 | #Constraints: 32408
3411.02/3420.98 c #Conflicts: 271000 | #Constraints: 33408
3411.02/3420.98 c #Conflicts: 272000 | #Constraints: 34408
3411.02/3420.98 c #Conflicts: 273000 | #Constraints: 35408
3411.02/3420.98 c #Conflicts: 274000 | #Constraints: 36408
3411.02/3420.98 c #Conflicts: 275000 | #Constraints: 37408
3411.02/3420.98 c #Conflicts: 276000 | #Constraints: 38408
3411.02/3420.98 c #Conflicts: 277000 | #Constraints: 39408
3411.02/3420.98 c #Conflicts: 278000 | #Constraints: 40408
3411.02/3420.98 c #Conflicts: 279000 | #Constraints: 41408
3411.02/3420.98 c #Conflicts: 280000 | #Constraints: 42408
3411.02/3420.98 c #Conflicts: 281000 | #Constraints: 43408
3411.02/3420.98 c #Conflicts: 282000 | #Constraints: 44408
3411.02/3420.98 c #Conflicts: 283000 | #Constraints: 45408
3411.02/3420.98 c #Conflicts: 284000 | #Constraints: 46408
3411.02/3420.98 c #Conflicts: 285000 | #Constraints: 47408
3411.02/3420.98 c #Conflicts: 286000 | #Constraints: 48408
3411.02/3420.98 c #Conflicts: 287000 | #Constraints: 49408
3411.02/3420.98 c #Conflicts: 288000 | #Constraints: 50408
3411.02/3420.98 c #Conflicts: 289000 | #Constraints: 51408
3411.02/3420.98 c #Conflicts: 290000 | #Constraints: 52408
3411.02/3420.98 c #Conflicts: 291000 | #Constraints: 53408
3411.02/3420.98 c #Conflicts: 292000 | #Constraints: 54408
3411.02/3420.98 c #Conflicts: 293000 | #Constraints: 55408
3411.02/3420.98 c #Conflicts: 294000 | #Constraints: 56408
3411.02/3420.98 c #Conflicts: 295000 | #Constraints: 57408
3411.02/3420.98 c #Conflicts: 296000 | #Constraints: 58408
3411.02/3420.98 c #Conflicts: 297000 | #Constraints: 59408
3411.02/3420.98 c #Conflicts: 298000 | #Constraints: 60408
3411.02/3420.98 c #Conflicts: 299000 | #Constraints: 61408
3411.02/3420.98 c #Conflicts: 300000 | #Constraints: 62408
3411.02/3420.98 c #Conflicts: 301000 | #Constraints: 63408
3411.02/3420.98 c #Conflicts: 302000 | #Constraints: 64408
3411.02/3420.98 c #Conflicts: 303000 | #Constraints: 65408
3411.02/3420.98 c INPROCESSING
3411.02/3420.98 c GARBAGE COLLECT
3411.02/3420.98 c #Conflicts: 304000 | #Constraints: 33912
3411.02/3420.98 c #Conflicts: 305000 | #Constraints: 34912
3411.02/3420.98 c #Conflicts: 306000 | #Constraints: 35912
3411.02/3420.98 c #Conflicts: 307000 | #Constraints: 36912
3411.02/3420.98 c #Conflicts: 308000 | #Constraints: 37912
3411.02/3420.98 c #Conflicts: 309000 | #Constraints: 38912
3411.02/3420.98 c #Conflicts: 310000 | #Constraints: 39912
3411.02/3420.98 c #Conflicts: 311000 | #Constraints: 40912
3411.02/3420.98 c #Conflicts: 312000 | #Constraints: 41912
3411.02/3420.98 c #Conflicts: 313000 | #Constraints: 42912
3411.02/3420.98 c #Conflicts: 314000 | #Constraints: 43912
3411.02/3420.98 c #Conflicts: 315000 | #Constraints: 44912
3411.02/3420.98 c #Conflicts: 316000 | #Constraints: 45912
3411.02/3420.98 c #Conflicts: 317000 | #Constraints: 46912
3411.02/3420.98 c #Conflicts: 318000 | #Constraints: 47912
3411.02/3420.98 c #Conflicts: 319000 | #Constraints: 48912
3411.02/3420.98 c #Conflicts: 320000 | #Constraints: 49912
3411.02/3420.98 c #Conflicts: 321000 | #Constraints: 50912
3411.02/3420.98 c #Conflicts: 322000 | #Constraints: 51912
3411.02/3420.98 c #Conflicts: 323000 | #Constraints: 52912
3411.02/3420.98 c #Conflicts: 324000 | #Constraints: 53912
3411.02/3420.98 c #Conflicts: 325000 | #Constraints: 54912
3600.06/3610.51 c #Conflicts: 326000 | #Constraints: 55912
3600.06/3610.51 c #Conflicts: 327000 | #Constraints: 56912
3600.06/3610.51 c #Conflicts: 328000 | #Constraints: 57912
3600.06/3610.51 c #Conflicts: 329000 | #Constraints: 58912
3600.06/3610.51 c #Conflicts: 330000 | #Constraints: 59912
3600.06/3610.51 c #Conflicts: 331000 | #Constraints: 60912
3600.06/3610.51 c #Conflicts: 332000 | #Constraints: 61912
3600.06/3610.51 c Program interrupted by user.
3600.06/3610.51 c cpu time 3594.79 s
3600.06/3610.51 c deterministic time 251095825120 2.51e+11
3600.06/3610.51 c optimization time 655.639 s
3600.06/3610.51 c total solve time 2939.14 s
3600.06/3610.51 c core-guided solve time 2939.14 s
3600.06/3610.51 c propagation time 3201.71 s
3600.06/3610.51 c conflict analysis time 383.834 s
3600.06/3610.51 c propagations 72150765
3600.06/3610.51 c resolve steps 8545690
3600.06/3610.51 c decisions 3313126
3600.06/3610.51 c conflicts 332471
3600.06/3610.51 c restarts 765
3600.06/3610.51 c inprocessing phases 23
3600.06/3610.51 c input clauses 479
3600.06/3610.51 c input cardinalities 160
3600.06/3610.51 c input general constraints 401
3600.06/3610.51 c input average constraint length 17.16
3600.06/3610.51 c input average constraint degree 8.14
3600.06/3610.51 c learned clauses 108932
3600.06/3610.51 c learned cardinalities 523
3600.06/3610.51 c learned general constraints 223015
3600.06/3610.51 c learned average constraint length 128.62
3600.06/3610.51 c learned average constraint degree 3234745.29
3600.06/3610.51 c watched constraints 189258
3600.06/3610.51 c counting constraints 34158
3600.06/3610.51 c gcd simplifications 8409
3600.06/3610.51 c detected cardinalities 344
3600.06/3610.51 c weakened non-implied lits 6735868
3600.06/3610.51 c weakened non-implying lits 23229
3600.06/3610.51 c original variables 432
3600.06/3610.51 c clausal propagations 13832019
3600.06/3610.51 c cardinality propagations 3340014
3600.06/3610.51 c watched propagations 4421738
3600.06/3610.51 c counting propagations 50419139
3600.06/3610.51 c watch lookups 69567851102
3600.06/3610.51 c watch backjump lookups 65841967125
3600.06/3610.51 c watch checks 105356367575
3600.06/3610.51 c propagation checks 9987762484
3600.06/3610.51 c constraint additions 190617076
3600.06/3610.51 c trail pops 75795866
3600.06/3610.51 c formula constraints 720
3600.06/3610.51 c learned constraints 332470
3600.06/3610.51 c bound constraints 37
3600.06/3610.51 c core-guided constraints 283
3600.06/3610.51 c encountered formula constraints 4446199
3600.06/3610.51 c encountered learned constraints 3879101
3600.06/3610.51 c encountered bound constraints 2053
3600.06/3610.51 c encountered core-guided constraints 550808
3600.06/3610.51 c LP total time 0 s
3600.06/3610.51 c LP solve time 0 s
3600.06/3610.51 c LP constraints added 0
3600.06/3610.51 c LP constraints removed 0
3600.06/3610.51 c LP pivots internal 0
3600.06/3610.51 c LP pivots root 0
3600.06/3610.51 c LP calls 0
3600.06/3610.51 c LP optimalities 0
3600.06/3610.51 c LP no pivot count 0
3600.06/3610.51 c LP infeasibilities 0
3600.06/3610.51 c LP valid Farkas constraints 0
3600.06/3610.51 c LP learned Farkas constraints 0
3600.06/3610.51 c LP basis resets 0
3600.06/3610.51 c LP cycling count 0
3600.06/3610.51 c LP singular count 0
3600.06/3610.51 c LP no primal count 0
3600.06/3610.51 c LP no farkas count 0
3600.06/3610.51 c LP other issue count 0
3600.06/3610.51 c LP Gomory cuts 0
3600.06/3610.51 c LP learned cuts 0
3600.06/3610.51 c LP deleted cuts 0
3600.06/3610.51 c LP encountered Gomory constraints 0
3600.06/3610.51 c LP encountered Farkas constraints 0
3600.06/3610.51 c LP encountered learned Farkas constraints 0
3600.06/3610.51 c CG auxiliary variables introduced 136
3600.06/3610.51 c CG solutions found 4
3600.06/3610.51 c CG cores constructed 19
3600.06/3610.51 c CG core cardinality constraints returned 0
3600.06/3610.51 c CG unit cores 0
3600.06/3610.51 c CG single cores 19
3600.06/3610.51 c CG blocks removed during cardinality reduction 0
3600.06/3610.51 c CG first core best 0
3600.06/3610.51 c CG decision core best 0
3600.06/3610.51 c CG core reduction tie 0
3600.06/3610.51 c CG core degree average 1.00
3600.06/3610.51 c CG core slack average 14.05
3600.06/3610.51 c CG exhausted 1
3600.06/3610.51 c CG exhaust time 5.27654 s
3600.06/3610.51 c CG trimmed 1
3600.06/3610.51 c CG trim time 0.003337 s
3600.06/3610.51 c CG minimized 0
3600.06/3610.51 c CG minimize time 0 s
3600.06/3610.51 c CG am1 prop time 0.001625 s
3600.06/3610.51 c CG # am1s reformulated 54
3600.06/3610.51 c CG lower bound derived from am1s 105
3600.06/3610.51 c CG # clausal cores 19
3600.06/3610.51 c CG # cardinality cores 0
3600.06/3610.51 c CG # pb cores 0
3600.06/3610.51 c CG # pb reforms 0
3600.06/3610.51 c CG # cores discarded because of pb reform 0
3600.06/3610.51 d LOWERBOUND -37
3600.06/3610.51 d NCORES 19
3600.06/3610.51 d NPBCORES 0
3600.06/3610.51 d NPBREFORM 0
3600.06/3610.51 d NTRIMMED 1
3600.06/3610.51 d NEXHAUSTED 1
3600.06/3610.51 d NAM1S 54
3600.06/3610.51 d AM1LB 105
3600.06/3610.51 o -36
3600.06/3610.51 s SATISFIABLE
3600.06/3610.51 v x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 x430 -x431 -x432
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: 63968 MiB (61916 MiB free)
memory of node 1: 64473 MiB (61300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436152-1721166549/watcher-4436152-1721166549 -o /tmp/evaluation-result-4436152-1721166549/solver-4436152-1721166549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721162948-874844 --watchdog 3760 pb-oll-rs HOME/instance-4436152-1721166549.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=877117, runsolver pid=877114
[startup+0.100331 s]*
/proc/loadavg: 4.05 4.09 4.06 4/253 877118
/proc/meminfo: memFree=126245008/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=39980 memory=9196 CPUtime=0.09 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 580 0 0 0 9 0 0 0 20 0 1 0 168818720 40939520 2299 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 9995 2299 1408 291 0 1529 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39980 KiB
Current children cumulated memory: 9196 KiB
[startup+0.205362 s]*
/proc/loadavg: 4.05 4.09 4.06 5/253 877132
/proc/meminfo: memFree=126239516/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=40112 memory=9460 CPUtime=0.19 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 636 0 0 0 18 1 0 0 20 0 1 0 168818720 41074688 2365 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 10028 2365 1408 291 0 1562 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40112 KiB
Current children cumulated memory: 9460 KiB
[startup+0.305027 s]*
/proc/loadavg: 4.05 4.09 4.06 4/252 877132
/proc/meminfo: memFree=126225516/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=40904 memory=10448 CPUtime=0.29 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 825 0 0 0 28 1 0 0 20 0 1 0 168818720 41885696 2612 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 10226 2612 1461 291 0 1760 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40904 KiB
Current children cumulated memory: 10448 KiB
[startup+0.700178 s]
/proc/loadavg: 3.96 4.07 4.05 5/250 877152
/proc/meminfo: memFree=126220088/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=42916 memory=12444 CPUtime=0.68 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 1306 0 0 0 65 3 0 0 20 0 1 0 168818720 43945984 3111 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 10729 3111 1461 291 0 2263 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42916 KiB
Current children cumulated memory: 12444 KiB
[startup+1.50015 s]
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126199688/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=43324 memory=15016 CPUtime=1.49 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 1436 0 0 0 143 6 0 0 20 0 1 0 168818720 44363776 3754 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 10831 3754 1461 291 0 2365 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 15016 KiB
[startup+3.1048 s]
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126170252/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=44712 memory=15964 CPUtime=3.08 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 1706 0 0 0 301 7 0 0 20 0 1 0 168818720 45785088 3991 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 11178 3991 1461 291 0 2712 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44712 KiB
Current children cumulated memory: 15964 KiB
[startup+6.30015 s]
/proc/loadavg: 3.97 4.07 4.05 5/255 877165
/proc/meminfo: memFree=126119520/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=45368 memory=16608 CPUtime=6.26 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 1848 0 0 0 613 13 0 0 20 0 1 0 168818720 46456832 4152 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 11342 4152 1461 291 0 2876 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 16608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.06 5/255 877165
/proc/meminfo: memFree=126045276/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=50972 memory=20888 CPUtime=12.65 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 2956 0 0 0 1243 22 0 0 20 0 1 0 168818720 52195328 5222 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 12743 5222 1461 291 0 4277 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50972 KiB
Current children cumulated memory: 20888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.06 5/255 877168
/proc/meminfo: memFree=125904144/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=61628 memory=31088 CPUtime=25.41 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 5000 0 0 0 2511 30 0 0 20 0 1 0 168818720 63107072 7772 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 15407 7772 1461 291 0 6941 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61628 KiB
Current children cumulated memory: 31088 KiB
[startup+51.1054 s]
/proc/loadavg: 4.02 4.07 4.05 5/257 877175
/proc/meminfo: memFree=125869976/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=64164 memory=33768 CPUtime=50.94 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 5645 0 0 0 5047 47 0 0 20 0 1 0 168818720 65703936 8442 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 16041 8442 1461 291 0 7575 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 64164 KiB
Current children cumulated memory: 33768 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/257 877185
/proc/meminfo: memFree=125795052/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=76116 memory=44084 CPUtime=101.98 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 6836 0 0 0 10127 71 0 0 20 0 1 0 168818720 77942784 11021 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 19029 11021 1461 291 0 10563 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 76116 KiB
Current children cumulated memory: 44084 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/257 877195
/proc/meminfo: memFree=125751060/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=78064 memory=45468 CPUtime=161.84 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 7252 0 0 0 16090 94 0 0 20 0 1 0 168818720 79937536 11367 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 19516 11367 1461 291 0 11050 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 78064 KiB
Current children cumulated memory: 45468 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.05 5/256 877206
/proc/meminfo: memFree=125706696/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=93656 memory=52112 CPUtime=221.7 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 8948 0 0 0 22060 110 0 0 20 0 1 0 168818720 95903744 13028 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 23414 13028 1461 291 0 14948 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 52112 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/256 877217
/proc/meminfo: memFree=125635472/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=93656 memory=52112 CPUtime=281.55 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 8962 0 0 0 28027 128 0 0 20 0 1 0 168818720 95903744 13028 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 23414 13028 1461 291 0 14948 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 52112 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/256 877228
/proc/meminfo: memFree=125566508/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=96352 memory=59156 CPUtime=341.4 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 9737 0 0 0 33998 142 0 0 20 0 1 0 168818720 98664448 14789 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 24088 14789 1461 291 0 15622 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 96352 KiB
Current children cumulated memory: 59156 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/256 877622
/proc/meminfo: memFree=125482820/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=96512 memory=59156 CPUtime=401.25 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 9766 0 0 0 39969 156 0 0 20 0 1 0 168818720 98828288 14789 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 24128 14789 1461 291 0 15662 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 96512 KiB
Current children cumulated memory: 59156 KiB
[startup+462.3 s]
/proc/loadavg: 4.43 4.16 4.09 5/256 877633
/proc/meminfo: memFree=125088876/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=96512 memory=59156 CPUtime=461.09 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 9780 0 0 0 45940 169 0 0 20 0 1 0 168818720 98828288 14789 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 24128 14789 1461 291 0 15662 0
################
# More data... #
################
Current children cumulated memory: 136716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 879403
/proc/meminfo: memFree=122955228/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=193248 memory=140368 CPUtime=2913.68 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21155 0 0 0 290895 473 0 0 20 0 1 0 168818720 197885952 35092 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48312 35092 1461 291 0 39846 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 193248 KiB
Current children cumulated memory: 140368 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 879414
/proc/meminfo: memFree=122951480/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143352 CPUtime=2973.53 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21484 0 0 0 296875 478 0 0 20 0 1 0 168818720 199229440 35838 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35838 1461 291 0 40174 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 879424
/proc/meminfo: memFree=122950764/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3033.39 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21531 0 0 0 302854 485 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 879440
/proc/meminfo: memFree=122949072/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3093.24 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21580 0 0 0 308834 490 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 879450
/proc/meminfo: memFree=122948300/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3153.09 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21630 0 0 0 314814 495 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/257 879460
/proc/meminfo: memFree=122945180/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3212.94 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21683 0 0 0 320794 500 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/257 879471
/proc/meminfo: memFree=122944296/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3272.78 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21737 0 0 0 326774 504 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 879482
/proc/meminfo: memFree=122858984/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3332.64 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21792 0 0 0 332755 509 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/254 879492
/proc/meminfo: memFree=122858276/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3392.47 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21848 0 0 0 338733 514 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/254 879503
/proc/meminfo: memFree=122854868/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3452.29 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21905 0 0 0 344710 519 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 879514
/proc/meminfo: memFree=122851664/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3512.12 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 21963 0 0 0 350689 523 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 879524
/proc/meminfo: memFree=122850824/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143464 CPUtime=3571.94 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 22026 0 0 0 356666 528 0 0 20 0 1 0 168818720 199229440 35866 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35866 1461 291 0 40174 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 879576
/proc/meminfo: memFree=122857908/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143472 CPUtime=3600.06 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 22086 0 0 0 359476 530 0 0 20 0 1 0 168818720 199229440 35868 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35868 1461 291 0 40174 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.52 s]
# the end of solver process 877117 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.79 s, system=5.3062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 879576
/proc/meminfo: memFree=122857908/131524600 swapFree=131071996/131071996
[pid=877117] ppid=877114 vsize=194560 memory=143472 CPUtime=3600.06 cores=5,7
/proc/877117/stat : 877117 (pb-oll-rs) R 877114 877117 874831 0 -1 4194304 22086 0 0 0 359476 530 0 0 20 0 1 0 168818720 199229440 35868 134679101440 4194304 5384005 140720507685440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24907776 140720507687959 140720507688036 140720507688036 140720507695051 0
/proc/877117/statm: 48640 35868 1461 291 0 40174 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 143472 KiB
Child status: 0
Real time (s): 3610.52
CPU time (s): 3600.09
CPU user time (s): 3594.79
CPU system time (s): 5.3062
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 194560
Max. memory (cumulated for all children) (KiB): 143472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.79
system time used= 5.3062
maximum resident set size= 143744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22104
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= 65
involuntary context switches= 2380
# summary of solver processes directly reported to runsolver:
# pid: 877117
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.79
# total CPU system time (s): 5.3062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5503 second user time and 16.4663 second system time
The end
Begin job on nodeC021 at 2024-07-16 23:49:21
IDJOB=4436152
IDBENCH=158488
IDSOLVER=3067
FILE ID=nodeC021/4436152-1721166549
RUNJOBID= nodeC021-1721162948-874844
SLURM_JOB_ID= 7505782
Free space on /tmp= 890068 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436152-1721166549/watcher-4436152-1721166549 -o /tmp/evaluation-result-4436152-1721166549/solver-4436152-1721166549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721162948-874844 --watchdog 3760 pb-oll-rs HOME/instance-4436152-1721166549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5
RANDOM SEED=1118692754
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3670.573
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3678.407
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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.763
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.543
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3670.559
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3646.861
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.717
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3658.834
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126177364 kB
MemAvailable: 129550764 kB
Buffers: 437516 kB
Cached: 3735856 kB
SwapCached: 0 kB
Active: 796488 kB
Inactive: 3872088 kB
Active(anon): 1536 kB
Inactive(anon): 531364 kB
Active(file): 794952 kB
Inactive(file): 3340724 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15556 kB
Writeback: 0 kB
AnonPages: 494172 kB
Mapped: 108032 kB
Shmem: 37720 kB
KReclaimable: 155096 kB
Slab: 270220 kB
SReclaimable: 155096 kB
SUnreclaim: 115124 kB
KernelStack: 4112 kB
PageTables: 10368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 884892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 319488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC021 at 2024-07-17 00:49:32