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.01 c [STEP] solving
0.00/0.01 c #variables 432 #constraints 720
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -162 @ 0.00412
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= -56 @ 0.009334
0.00/0.02 c bounds - >= -55 @ 0.010088
0.00/0.02 c bounds - >= -54 @ 0.010411
0.00/0.02 c bounds - >= -53 @ 0.010646
0.00/0.02 c bounds - >= -52 @ 0.010879
0.00/0.02 c bounds - >= -51 @ 0.011695
0.00/0.02 c bounds - >= -50 @ 0.012644
0.00/0.02 c bounds - >= -49 @ 0.013386
0.00/0.02 c bounds - >= -48 @ 0.013598
0.00/0.02 c bounds - >= -47 @ 0.013598
0.00/0.02 c bounds - >= -46 @ 0.013598
0.00/0.02 c finalizing WCE round: reformulating cores
0.21/0.28 c bounds -28 >= -46 @ 0.183114
0.21/0.28 c bounds -28 >= -45 @ 0.185885
0.21/0.28 c bounds -28 >= -44 @ 0.19505
0.21/0.28 c finalizing WCE round: reformulating cores
0.89/0.98 c #Conflicts: 1000 | #Constraints: 1857
0.89/0.98 c #Conflicts: 2000 | #Constraints: 2860
0.89/0.98 c INPROCESSING
0.89/0.98 c GARBAGE COLLECT
0.89/0.98 c bounds -32 >= -44 @ 0.753279
0.89/0.98 c bounds -32 >= -43 @ 0.754566
0.89/0.98 c bounds -32 >= -42 @ 0.782461
0.89/0.98 c finalizing WCE round: reformulating cores
27.41/27.59 c #Conflicts: 3000 | #Constraints: 2879
27.41/27.59 c bounds -34 >= -42 @ 1.13376
27.41/27.59 c bounds -34 >= -41 @ 1.14978
27.41/27.59 c #Conflicts: 4000 | #Constraints: 3901
27.41/27.59 c INPROCESSING
27.41/27.59 c GARBAGE COLLECT
27.41/27.59 c #Conflicts: 5000 | #Constraints: 3300
27.41/27.59 c #Conflicts: 6000 | #Constraints: 4300
27.41/27.59 c INPROCESSING
27.41/27.59 c GARBAGE COLLECT
27.41/27.59 c #Conflicts: 7000 | #Constraints: 3311
27.41/27.59 c #Conflicts: 8000 | #Constraints: 4311
27.41/27.59 c #Conflicts: 9000 | #Constraints: 5311
27.41/27.59 c INPROCESSING
27.41/27.59 c GARBAGE COLLECT
27.41/27.59 c bounds -34 >= -40 @ 3.97333
27.41/27.59 c #Conflicts: 10000 | #Constraints: 4057
27.41/27.59 c #Conflicts: 11000 | #Constraints: 5057
27.41/27.59 c #Conflicts: 12000 | #Constraints: 6057
27.41/27.59 c INPROCESSING
27.41/27.59 c GARBAGE COLLECT
27.41/27.59 c #Conflicts: 13000 | #Constraints: 4484
27.41/27.59 c #Conflicts: 14000 | #Constraints: 5484
27.41/27.59 c #Conflicts: 15000 | #Constraints: 6484
27.41/27.59 c INPROCESSING
27.41/27.59 c GARBAGE COLLECT
27.41/27.59 c #Conflicts: 16000 | #Constraints: 4705
27.41/27.59 c #Conflicts: 17000 | #Constraints: 5705
27.41/27.59 c #Conflicts: 18000 | #Constraints: 6705
27.41/27.59 c #Conflicts: 19000 | #Constraints: 7705
27.41/27.59 c #Conflicts: 20000 | #Constraints: 8705
27.41/27.59 c #Conflicts: 21000 | #Constraints: 9705
27.41/27.59 c #Conflicts: 22000 | #Constraints: 10705
27.41/27.59 c #Conflicts: 23000 | #Constraints: 11705
27.41/27.59 c finalizing WCE round: reformulating cores
267.47/268.23 c #Conflicts: 24000 | #Constraints: 12710
267.47/268.23 c bounds -36 >= -40 @ 30.4108
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 25000 | #Constraints: 7527
267.47/268.23 c bounds -36 >= -39 @ 32.5703
267.47/268.23 c #Conflicts: 26000 | #Constraints: 8527
267.47/268.23 c #Conflicts: 27000 | #Constraints: 9527
267.47/268.23 c bounds -36 >= -38 @ 35.3635
267.47/268.23 c #Conflicts: 28000 | #Constraints: 10570
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 29000 | #Constraints: 6624
267.47/268.23 c #Conflicts: 30000 | #Constraints: 7624
267.47/268.23 c #Conflicts: 31000 | #Constraints: 8624
267.47/268.23 c #Conflicts: 32000 | #Constraints: 9624
267.47/268.23 c #Conflicts: 33000 | #Constraints: 10624
267.47/268.23 c #Conflicts: 34000 | #Constraints: 11624
267.47/268.23 c #Conflicts: 35000 | #Constraints: 12624
267.47/268.23 c #Conflicts: 36000 | #Constraints: 13624
267.47/268.23 c #Conflicts: 37000 | #Constraints: 14624
267.47/268.23 c #Conflicts: 38000 | #Constraints: 15624
267.47/268.23 c #Conflicts: 39000 | #Constraints: 16624
267.47/268.23 c #Conflicts: 40000 | #Constraints: 17624
267.47/268.23 c #Conflicts: 41000 | #Constraints: 18624
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 42000 | #Constraints: 10598
267.47/268.23 c #Conflicts: 43000 | #Constraints: 11598
267.47/268.23 c #Conflicts: 44000 | #Constraints: 12598
267.47/268.23 c #Conflicts: 45000 | #Constraints: 13598
267.47/268.23 c #Conflicts: 46000 | #Constraints: 14598
267.47/268.23 c #Conflicts: 47000 | #Constraints: 15598
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 48000 | #Constraints: 9302
267.47/268.23 c #Conflicts: 49000 | #Constraints: 10302
267.47/268.23 c #Conflicts: 50000 | #Constraints: 11302
267.47/268.23 c #Conflicts: 51000 | #Constraints: 12302
267.47/268.23 c #Conflicts: 52000 | #Constraints: 13302
267.47/268.23 c #Conflicts: 53000 | #Constraints: 14302
267.47/268.23 c #Conflicts: 54000 | #Constraints: 15302
267.47/268.23 c #Conflicts: 55000 | #Constraints: 16302
267.47/268.23 c #Conflicts: 56000 | #Constraints: 17302
267.47/268.23 c #Conflicts: 57000 | #Constraints: 18302
267.47/268.23 c #Conflicts: 58000 | #Constraints: 19302
267.47/268.23 c #Conflicts: 59000 | #Constraints: 20302
267.47/268.23 c #Conflicts: 60000 | #Constraints: 21302
267.47/268.23 c #Conflicts: 61000 | #Constraints: 22302
267.47/268.23 c #Conflicts: 62000 | #Constraints: 23302
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 63000 | #Constraints: 12793
267.47/268.23 c #Conflicts: 64000 | #Constraints: 13793
267.47/268.23 c #Conflicts: 65000 | #Constraints: 14793
267.47/268.23 c #Conflicts: 66000 | #Constraints: 15793
267.47/268.23 c #Conflicts: 67000 | #Constraints: 16793
267.47/268.23 c #Conflicts: 68000 | #Constraints: 17793
267.47/268.23 c #Conflicts: 69000 | #Constraints: 18793
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 70000 | #Constraints: 10598
267.47/268.23 c #Conflicts: 71000 | #Constraints: 11598
267.47/268.23 c #Conflicts: 72000 | #Constraints: 12598
267.47/268.23 c #Conflicts: 73000 | #Constraints: 13598
267.47/268.23 c #Conflicts: 74000 | #Constraints: 14598
267.47/268.23 c #Conflicts: 75000 | #Constraints: 15598
267.47/268.23 c #Conflicts: 76000 | #Constraints: 16598
267.47/268.23 c #Conflicts: 77000 | #Constraints: 17598
267.47/268.23 c #Conflicts: 78000 | #Constraints: 18598
267.47/268.23 c #Conflicts: 79000 | #Constraints: 19598
267.47/268.23 c #Conflicts: 80000 | #Constraints: 20598
267.47/268.23 c #Conflicts: 81000 | #Constraints: 21598
267.47/268.23 c #Conflicts: 82000 | #Constraints: 22598
267.47/268.23 c #Conflicts: 83000 | #Constraints: 23598
267.47/268.23 c #Conflicts: 84000 | #Constraints: 24598
267.47/268.23 c #Conflicts: 85000 | #Constraints: 25598
267.47/268.23 c #Conflicts: 86000 | #Constraints: 26598
267.47/268.23 c #Conflicts: 87000 | #Constraints: 27598
267.47/268.23 c #Conflicts: 88000 | #Constraints: 28598
267.47/268.23 c INPROCESSING
267.47/268.23 c GARBAGE COLLECT
267.47/268.23 c #Conflicts: 89000 | #Constraints: 15591
267.47/268.23 c #Conflicts: 90000 | #Constraints: 16591
267.47/268.23 c #Conflicts: 91000 | #Constraints: 17591
267.47/268.23 c #Conflicts: 92000 | #Constraints: 18591
267.47/268.23 c #Conflicts: 93000 | #Constraints: 19591
267.47/268.23 c #Conflicts: 94000 | #Constraints: 20591
267.47/268.23 c #Conflicts: 95000 | #Constraints: 21591
267.47/268.23 c #Conflicts: 96000 | #Constraints: 22591
730.94/732.98 c INPROCESSING
730.94/732.98 c GARBAGE COLLECT
730.94/732.98 c #Conflicts: 97000 | #Constraints: 12503
730.94/732.98 c #Conflicts: 98000 | #Constraints: 13503
730.94/732.98 c #Conflicts: 99000 | #Constraints: 14503
730.94/732.98 c #Conflicts: 100000 | #Constraints: 15503
730.94/732.98 c #Conflicts: 101000 | #Constraints: 16503
730.94/732.98 c #Conflicts: 102000 | #Constraints: 17503
730.94/732.98 c #Conflicts: 103000 | #Constraints: 18503
730.94/732.98 c #Conflicts: 104000 | #Constraints: 19503
730.94/732.98 c #Conflicts: 105000 | #Constraints: 20503
730.94/732.98 c #Conflicts: 106000 | #Constraints: 21503
730.94/732.98 c #Conflicts: 107000 | #Constraints: 22503
730.94/732.98 c #Conflicts: 108000 | #Constraints: 23503
730.94/732.98 c #Conflicts: 109000 | #Constraints: 24503
730.94/732.98 c #Conflicts: 110000 | #Constraints: 25503
730.94/732.98 c #Conflicts: 111000 | #Constraints: 26503
730.94/732.98 c #Conflicts: 112000 | #Constraints: 27503
730.94/732.98 c #Conflicts: 113000 | #Constraints: 28503
730.94/732.98 c #Conflicts: 114000 | #Constraints: 29503
730.94/732.98 c #Conflicts: 115000 | #Constraints: 30503
730.94/732.98 c #Conflicts: 116000 | #Constraints: 31503
730.94/732.98 c #Conflicts: 117000 | #Constraints: 32503
730.94/732.98 c #Conflicts: 118000 | #Constraints: 33503
730.94/732.98 c INPROCESSING
730.94/732.98 c GARBAGE COLLECT
730.94/732.98 c #Conflicts: 119000 | #Constraints: 17991
730.94/732.98 c #Conflicts: 120000 | #Constraints: 18991
730.94/732.98 c #Conflicts: 121000 | #Constraints: 19991
730.94/732.98 c #Conflicts: 122000 | #Constraints: 20991
730.94/732.98 c #Conflicts: 123000 | #Constraints: 21991
730.94/732.98 c #Conflicts: 124000 | #Constraints: 22991
730.94/732.98 c #Conflicts: 125000 | #Constraints: 23991
730.94/732.98 c #Conflicts: 126000 | #Constraints: 24991
730.94/732.98 c #Conflicts: 127000 | #Constraints: 25991
730.94/732.98 c #Conflicts: 128000 | #Constraints: 26991
730.94/732.98 c INPROCESSING
730.94/732.98 c GARBAGE COLLECT
730.94/732.98 c #Conflicts: 129000 | #Constraints: 15067
730.94/732.98 c #Conflicts: 130000 | #Constraints: 16067
730.94/732.98 c #Conflicts: 131000 | #Constraints: 17067
730.94/732.98 c #Conflicts: 132000 | #Constraints: 18067
730.94/732.98 c #Conflicts: 133000 | #Constraints: 19067
730.94/732.98 c #Conflicts: 134000 | #Constraints: 20067
730.94/732.98 c #Conflicts: 135000 | #Constraints: 21067
730.94/732.98 c #Conflicts: 136000 | #Constraints: 22067
730.94/732.98 c #Conflicts: 137000 | #Constraints: 23067
730.94/732.98 c #Conflicts: 138000 | #Constraints: 24067
730.94/732.98 c #Conflicts: 139000 | #Constraints: 25067
730.94/732.98 c #Conflicts: 140000 | #Constraints: 26067
730.94/732.98 c #Conflicts: 141000 | #Constraints: 27067
730.94/732.98 c #Conflicts: 142000 | #Constraints: 28067
730.94/732.98 c #Conflicts: 143000 | #Constraints: 29067
730.94/732.98 c #Conflicts: 144000 | #Constraints: 30067
730.94/732.98 c #Conflicts: 145000 | #Constraints: 31067
730.94/732.98 c #Conflicts: 146000 | #Constraints: 32067
730.94/732.98 c #Conflicts: 147000 | #Constraints: 33067
730.94/732.98 c #Conflicts: 148000 | #Constraints: 34067
730.94/732.98 c #Conflicts: 149000 | #Constraints: 35067
730.94/732.98 c #Conflicts: 150000 | #Constraints: 36067
730.94/732.98 c bounds -36 >= -37 @ 597.47
730.94/732.98 c #Conflicts: 151000 | #Constraints: 37101
730.94/732.98 c #Conflicts: 152000 | #Constraints: 38101
730.94/732.98 c #Conflicts: 153000 | #Constraints: 39101
730.94/732.98 c INPROCESSING
730.94/732.98 c GARBAGE COLLECT
730.94/732.98 c #Conflicts: 154000 | #Constraints: 21049
730.94/732.98 c #Conflicts: 155000 | #Constraints: 22049
730.94/732.98 c #Conflicts: 156000 | #Constraints: 23049
730.94/732.98 c #Conflicts: 157000 | #Constraints: 24049
730.94/732.98 c #Conflicts: 158000 | #Constraints: 25049
730.94/732.98 c #Conflicts: 159000 | #Constraints: 26049
730.94/732.98 c #Conflicts: 160000 | #Constraints: 27049
730.94/732.98 c #Conflicts: 161000 | #Constraints: 28049
730.94/732.98 c #Conflicts: 162000 | #Constraints: 29049
730.94/732.98 c #Conflicts: 163000 | #Constraints: 30049
730.94/732.98 c INPROCESSING
730.94/732.98 c GARBAGE COLLECT
730.94/732.98 c #Conflicts: 164000 | #Constraints: 17780
730.94/732.98 c #Conflicts: 165000 | #Constraints: 18780
730.94/732.98 c #Conflicts: 166000 | #Constraints: 19780
730.94/732.98 c #Conflicts: 167000 | #Constraints: 20780
730.94/732.98 c #Conflicts: 168000 | #Constraints: 21780
730.94/732.98 c #Conflicts: 169000 | #Constraints: 22780
730.94/732.98 c #Conflicts: 170000 | #Constraints: 23780
730.94/732.98 c #Conflicts: 171000 | #Constraints: 24780
1841.95/1846.85 c #Conflicts: 172000 | #Constraints: 25780
1841.95/1846.85 c #Conflicts: 173000 | #Constraints: 26780
1841.95/1846.85 c #Conflicts: 174000 | #Constraints: 27780
1841.95/1846.85 c #Conflicts: 175000 | #Constraints: 28780
1841.95/1846.85 c #Conflicts: 176000 | #Constraints: 29780
1841.95/1846.85 c #Conflicts: 177000 | #Constraints: 30780
1841.95/1846.85 c #Conflicts: 178000 | #Constraints: 31780
1841.95/1846.85 c #Conflicts: 179000 | #Constraints: 32780
1841.95/1846.85 c #Conflicts: 180000 | #Constraints: 33780
1841.95/1846.85 c #Conflicts: 181000 | #Constraints: 34780
1841.95/1846.85 c #Conflicts: 182000 | #Constraints: 35780
1841.95/1846.85 c #Conflicts: 183000 | #Constraints: 36780
1841.95/1846.85 c #Conflicts: 184000 | #Constraints: 37780
1841.95/1846.85 c #Conflicts: 185000 | #Constraints: 38780
1841.95/1846.85 c #Conflicts: 186000 | #Constraints: 39780
1841.95/1846.85 c #Conflicts: 187000 | #Constraints: 40780
1841.95/1846.85 c #Conflicts: 188000 | #Constraints: 41780
1841.95/1846.85 c #Conflicts: 189000 | #Constraints: 42780
1841.95/1846.85 c #Conflicts: 190000 | #Constraints: 43780
1841.95/1846.85 c #Conflicts: 191000 | #Constraints: 44780
1841.95/1846.85 c INPROCESSING
1841.95/1846.85 c GARBAGE COLLECT
1841.95/1846.85 c #Conflicts: 192000 | #Constraints: 23433
1841.95/1846.85 c #Conflicts: 193000 | #Constraints: 24433
1841.95/1846.85 c #Conflicts: 194000 | #Constraints: 25433
1841.95/1846.85 c #Conflicts: 195000 | #Constraints: 26433
1841.95/1846.85 c #Conflicts: 196000 | #Constraints: 27433
1841.95/1846.85 c #Conflicts: 197000 | #Constraints: 28433
1841.95/1846.85 c #Conflicts: 198000 | #Constraints: 29433
1841.95/1846.85 c #Conflicts: 199000 | #Constraints: 30433
1841.95/1846.85 c #Conflicts: 200000 | #Constraints: 31433
1841.95/1846.85 c #Conflicts: 201000 | #Constraints: 32433
1841.95/1846.85 c #Conflicts: 202000 | #Constraints: 33433
1841.95/1846.85 c #Conflicts: 203000 | #Constraints: 34433
1841.95/1846.85 c #Conflicts: 204000 | #Constraints: 35433
1841.95/1846.85 c INPROCESSING
1841.95/1846.85 c GARBAGE COLLECT
1841.95/1846.85 c #Conflicts: 205000 | #Constraints: 23549
1841.95/1846.85 c #Conflicts: 206000 | #Constraints: 24549
1841.95/1846.85 c #Conflicts: 207000 | #Constraints: 25549
1841.95/1846.85 c #Conflicts: 208000 | #Constraints: 26549
1841.95/1846.85 c #Conflicts: 209000 | #Constraints: 27549
1841.95/1846.85 c #Conflicts: 210000 | #Constraints: 28549
1841.95/1846.85 c #Conflicts: 211000 | #Constraints: 29549
1841.95/1846.85 c #Conflicts: 212000 | #Constraints: 30549
1841.95/1846.85 c #Conflicts: 213000 | #Constraints: 31549
1841.95/1846.85 c #Conflicts: 214000 | #Constraints: 32549
1841.95/1846.85 c #Conflicts: 215000 | #Constraints: 33549
1841.95/1846.85 c #Conflicts: 216000 | #Constraints: 34549
1841.95/1846.85 c #Conflicts: 217000 | #Constraints: 35549
1841.95/1846.85 c #Conflicts: 218000 | #Constraints: 36549
1841.95/1846.85 c #Conflicts: 219000 | #Constraints: 37549
1841.95/1846.85 c #Conflicts: 220000 | #Constraints: 38549
1841.95/1846.85 c #Conflicts: 221000 | #Constraints: 39549
1841.95/1846.85 c #Conflicts: 222000 | #Constraints: 40549
1841.95/1846.85 c #Conflicts: 223000 | #Constraints: 41549
1841.95/1846.85 c #Conflicts: 224000 | #Constraints: 42549
1841.95/1846.85 c #Conflicts: 225000 | #Constraints: 43549
1841.95/1846.85 c #Conflicts: 226000 | #Constraints: 44549
1841.95/1846.85 c #Conflicts: 227000 | #Constraints: 45549
1841.95/1846.85 c #Conflicts: 228000 | #Constraints: 46549
1841.95/1846.85 c #Conflicts: 229000 | #Constraints: 47549
1841.95/1846.85 c #Conflicts: 230000 | #Constraints: 48549
1841.95/1846.85 c #Conflicts: 231000 | #Constraints: 49549
1841.95/1846.85 c #Conflicts: 232000 | #Constraints: 50549
1841.95/1846.85 c #Conflicts: 233000 | #Constraints: 51549
1841.95/1846.85 c #Conflicts: 234000 | #Constraints: 52549
1841.95/1846.85 c #Conflicts: 235000 | #Constraints: 53549
1841.95/1846.85 c INPROCESSING
1841.95/1846.85 c GARBAGE COLLECT
1841.95/1846.85 c #Conflicts: 236000 | #Constraints: 28180
1841.95/1846.85 c #Conflicts: 237000 | #Constraints: 29180
1841.95/1846.85 c #Conflicts: 238000 | #Constraints: 30180
1841.95/1846.85 c #Conflicts: 239000 | #Constraints: 31180
1841.95/1846.85 c #Conflicts: 240000 | #Constraints: 32180
1841.95/1846.85 c #Conflicts: 241000 | #Constraints: 33180
1841.95/1846.85 c #Conflicts: 242000 | #Constraints: 34180
1841.95/1846.85 c #Conflicts: 243000 | #Constraints: 35180
1841.95/1846.85 c #Conflicts: 244000 | #Constraints: 36180
1841.95/1846.85 c #Conflicts: 245000 | #Constraints: 37180
1841.95/1846.85 c #Conflicts: 246000 | #Constraints: 38180
1841.95/1846.85 c #Conflicts: 247000 | #Constraints: 39180
1841.95/1846.85 c #Conflicts: 248000 | #Constraints: 40180
3352.34/3361.22 c #Conflicts: 249000 | #Constraints: 41180
3352.34/3361.22 c #Conflicts: 250000 | #Constraints: 42180
3352.34/3361.22 c #Conflicts: 251000 | #Constraints: 43180
3352.34/3361.22 c #Conflicts: 252000 | #Constraints: 44180
3352.34/3361.22 c #Conflicts: 253000 | #Constraints: 45180
3352.34/3361.22 c #Conflicts: 254000 | #Constraints: 46180
3352.34/3361.22 c #Conflicts: 255000 | #Constraints: 47180
3352.34/3361.22 c #Conflicts: 256000 | #Constraints: 48180
3352.34/3361.22 c #Conflicts: 257000 | #Constraints: 49180
3352.34/3361.22 c #Conflicts: 258000 | #Constraints: 50180
3352.34/3361.22 c #Conflicts: 259000 | #Constraints: 51180
3352.34/3361.22 c #Conflicts: 260000 | #Constraints: 52180
3352.34/3361.22 c #Conflicts: 261000 | #Constraints: 53180
3352.34/3361.22 c #Conflicts: 262000 | #Constraints: 54180
3352.34/3361.22 c #Conflicts: 263000 | #Constraints: 55180
3352.34/3361.22 c #Conflicts: 264000 | #Constraints: 56180
3352.34/3361.22 c #Conflicts: 265000 | #Constraints: 57180
3352.34/3361.22 c #Conflicts: 266000 | #Constraints: 58180
3352.34/3361.22 c #Conflicts: 267000 | #Constraints: 59180
3352.34/3361.22 c #Conflicts: 268000 | #Constraints: 60180
3352.34/3361.22 c INPROCESSING
3352.34/3361.22 c GARBAGE COLLECT
3352.34/3361.22 c #Conflicts: 269000 | #Constraints: 31408
3352.34/3361.22 c #Conflicts: 270000 | #Constraints: 32408
3352.34/3361.22 c #Conflicts: 271000 | #Constraints: 33408
3352.34/3361.22 c #Conflicts: 272000 | #Constraints: 34408
3352.34/3361.22 c #Conflicts: 273000 | #Constraints: 35408
3352.34/3361.22 c #Conflicts: 274000 | #Constraints: 36408
3352.34/3361.22 c #Conflicts: 275000 | #Constraints: 37408
3352.34/3361.22 c #Conflicts: 276000 | #Constraints: 38408
3352.34/3361.22 c #Conflicts: 277000 | #Constraints: 39408
3352.34/3361.22 c #Conflicts: 278000 | #Constraints: 40408
3352.34/3361.22 c #Conflicts: 279000 | #Constraints: 41408
3352.34/3361.22 c #Conflicts: 280000 | #Constraints: 42408
3352.34/3361.22 c #Conflicts: 281000 | #Constraints: 43408
3352.34/3361.22 c #Conflicts: 282000 | #Constraints: 44408
3352.34/3361.22 c #Conflicts: 283000 | #Constraints: 45408
3352.34/3361.22 c #Conflicts: 284000 | #Constraints: 46408
3352.34/3361.22 c #Conflicts: 285000 | #Constraints: 47408
3352.34/3361.22 c #Conflicts: 286000 | #Constraints: 48408
3352.34/3361.22 c #Conflicts: 287000 | #Constraints: 49408
3352.34/3361.22 c #Conflicts: 288000 | #Constraints: 50408
3352.34/3361.22 c #Conflicts: 289000 | #Constraints: 51408
3352.34/3361.22 c #Conflicts: 290000 | #Constraints: 52408
3352.34/3361.22 c #Conflicts: 291000 | #Constraints: 53408
3352.34/3361.22 c #Conflicts: 292000 | #Constraints: 54408
3352.34/3361.22 c #Conflicts: 293000 | #Constraints: 55408
3352.34/3361.22 c #Conflicts: 294000 | #Constraints: 56408
3352.34/3361.22 c #Conflicts: 295000 | #Constraints: 57408
3352.34/3361.22 c #Conflicts: 296000 | #Constraints: 58408
3352.34/3361.22 c #Conflicts: 297000 | #Constraints: 59408
3352.34/3361.22 c #Conflicts: 298000 | #Constraints: 60408
3352.34/3361.22 c #Conflicts: 299000 | #Constraints: 61408
3352.34/3361.22 c #Conflicts: 300000 | #Constraints: 62408
3352.34/3361.22 c #Conflicts: 301000 | #Constraints: 63408
3352.34/3361.22 c #Conflicts: 302000 | #Constraints: 64408
3352.34/3361.22 c #Conflicts: 303000 | #Constraints: 65408
3352.34/3361.22 c INPROCESSING
3352.34/3361.22 c GARBAGE COLLECT
3352.34/3361.22 c #Conflicts: 304000 | #Constraints: 33912
3352.34/3361.22 c #Conflicts: 305000 | #Constraints: 34912
3352.34/3361.22 c #Conflicts: 306000 | #Constraints: 35912
3352.34/3361.22 c #Conflicts: 307000 | #Constraints: 36912
3352.34/3361.22 c #Conflicts: 308000 | #Constraints: 37912
3352.34/3361.22 c #Conflicts: 309000 | #Constraints: 38912
3352.34/3361.22 c #Conflicts: 310000 | #Constraints: 39912
3352.34/3361.22 c #Conflicts: 311000 | #Constraints: 40912
3352.34/3361.22 c #Conflicts: 312000 | #Constraints: 41912
3352.34/3361.22 c #Conflicts: 313000 | #Constraints: 42912
3352.34/3361.22 c #Conflicts: 314000 | #Constraints: 43912
3352.34/3361.22 c #Conflicts: 315000 | #Constraints: 44912
3352.34/3361.22 c #Conflicts: 316000 | #Constraints: 45912
3352.34/3361.22 c #Conflicts: 317000 | #Constraints: 46912
3352.34/3361.22 c #Conflicts: 318000 | #Constraints: 47912
3352.34/3361.22 c #Conflicts: 319000 | #Constraints: 48912
3352.34/3361.22 c #Conflicts: 320000 | #Constraints: 49912
3352.34/3361.22 c #Conflicts: 321000 | #Constraints: 50912
3352.34/3361.22 c #Conflicts: 322000 | #Constraints: 51912
3352.34/3361.22 c #Conflicts: 323000 | #Constraints: 52912
3352.34/3361.22 c #Conflicts: 324000 | #Constraints: 53912
3352.34/3361.22 c #Conflicts: 325000 | #Constraints: 54912
3600.00/3609.50 c #Conflicts: 326000 | #Constraints: 55912
3600.00/3609.50 c #Conflicts: 327000 | #Constraints: 56912
3600.00/3609.50 c #Conflicts: 328000 | #Constraints: 57912
3600.00/3609.50 c #Conflicts: 329000 | #Constraints: 58912
3600.00/3609.50 c #Conflicts: 330000 | #Constraints: 59912
3600.00/3609.50 c #Conflicts: 331000 | #Constraints: 60912
3600.00/3609.50 c #Conflicts: 332000 | #Constraints: 61912
3600.00/3609.50 c #Conflicts: 333000 | #Constraints: 62912
3600.00/3609.50 c #Conflicts: 334000 | #Constraints: 63912
3600.00/3609.50 c #Conflicts: 335000 | #Constraints: 64912
3600.00/3609.50 c Program interrupted by user.
3600.00/3609.50 c cpu time 3592.9 s
3600.00/3609.50 c deterministic time 256481084928 2.56e+11
3600.00/3609.50 c optimization time 647.561 s
3600.00/3609.50 c total solve time 2945.34 s
3600.00/3609.50 c core-guided solve time 2945.34 s
3600.00/3609.50 c propagation time 3212 s
3600.00/3609.50 c conflict analysis time 370.583 s
3600.00/3609.50 c propagations 72771320
3600.00/3609.50 c resolve steps 8625844
3600.00/3609.50 c decisions 3343234
3600.00/3609.50 c conflicts 335175
3600.00/3609.50 c restarts 779
3600.00/3609.50 c inprocessing phases 23
3600.00/3609.50 c input clauses 479
3600.00/3609.50 c input cardinalities 160
3600.00/3609.50 c input general constraints 401
3600.00/3609.50 c input average constraint length 17.16
3600.00/3609.50 c input average constraint degree 8.14
3600.00/3609.50 c learned clauses 109793
3600.00/3609.50 c learned cardinalities 534
3600.00/3609.50 c learned general constraints 224848
3600.00/3609.50 c learned average constraint length 128.85
3600.00/3609.50 c learned average constraint degree 3229709.52
3600.00/3609.50 c watched constraints 190868
3600.00/3609.50 c counting constraints 34381
3600.00/3609.50 c gcd simplifications 8478
3600.00/3609.50 c detected cardinalities 350
3600.00/3609.50 c weakened non-implied lits 6795978
3600.00/3609.50 c weakened non-implying lits 23398
3600.00/3609.50 c original variables 432
3600.00/3609.50 c clausal propagations 13958253
3600.00/3609.50 c cardinality propagations 3367029
3600.00/3609.50 c watched propagations 4458541
3600.00/3609.50 c counting propagations 50848467
3600.00/3609.50 c watch lookups 71020760527
3600.00/3609.50 c watch backjump lookups 67209150958
3600.00/3609.50 c watch checks 107742752738
3600.00/3609.50 c propagation checks 10163234720
3600.00/3609.50 c constraint additions 192621809
3600.00/3609.50 c trail pops 76449621
3600.00/3609.50 c formula constraints 720
3600.00/3609.50 c learned constraints 335175
3600.00/3609.50 c bound constraints 37
3600.00/3609.50 c core-guided constraints 283
3600.00/3609.50 c encountered formula constraints 4486076
3600.00/3609.50 c encountered learned constraints 3918054
3600.00/3609.50 c encountered bound constraints 2062
3600.00/3609.50 c encountered core-guided constraints 554827
3600.00/3609.50 c LP total time 0 s
3600.00/3609.50 c LP solve time 0 s
3600.00/3609.50 c LP constraints added 0
3600.00/3609.50 c LP constraints removed 0
3600.00/3609.50 c LP pivots internal 0
3600.00/3609.50 c LP pivots root 0
3600.00/3609.50 c LP calls 0
3600.00/3609.50 c LP optimalities 0
3600.00/3609.50 c LP no pivot count 0
3600.00/3609.50 c LP infeasibilities 0
3600.00/3609.50 c LP valid Farkas constraints 0
3600.00/3609.50 c LP learned Farkas constraints 0
3600.00/3609.50 c LP basis resets 0
3600.00/3609.50 c LP cycling count 0
3600.00/3609.50 c LP singular count 0
3600.00/3609.50 c LP no primal count 0
3600.00/3609.50 c LP no farkas count 0
3600.00/3609.50 c LP other issue count 0
3600.00/3609.50 c LP Gomory cuts 0
3600.00/3609.50 c LP learned cuts 0
3600.00/3609.50 c LP deleted cuts 0
3600.00/3609.50 c LP encountered Gomory constraints 0
3600.00/3609.50 c LP encountered Farkas constraints 0
3600.00/3609.50 c LP encountered learned Farkas constraints 0
3600.00/3609.50 c CG auxiliary variables introduced 136
3600.00/3609.50 c CG solutions found 4
3600.00/3609.50 c CG cores constructed 19
3600.00/3609.50 c CG core cardinality constraints returned 0
3600.00/3609.50 c CG unit cores 0
3600.00/3609.50 c CG single cores 19
3600.00/3609.50 c CG blocks removed during cardinality reduction 0
3600.00/3609.50 c CG first core best 0
3600.00/3609.50 c CG decision core best 0
3600.00/3609.50 c CG core reduction tie 0
3600.00/3609.50 c CG core degree average 1.00
3600.00/3609.50 c CG core slack average 14.05
3600.00/3609.50 c CG exhausted 1
3600.00/3609.50 c CG exhaust time 6.34521 s
3600.00/3609.50 c CG trimmed 1
3600.00/3609.50 c CG trim time 0.003755 s
3600.00/3609.50 c CG minimized 0
3600.00/3609.50 c CG minimize time 0 s
3600.00/3609.50 c CG am1 prop time 0.003834 s
3600.00/3609.50 c CG # am1s reformulated 54
3600.00/3609.50 c CG lower bound derived from am1s 105
3600.00/3609.50 c CG # clausal cores 19
3600.00/3609.50 c CG # cardinality cores 0
3600.00/3609.50 c CG # pb cores 0
3600.00/3609.50 c CG # pb reforms 0
3600.00/3609.50 c CG # cores discarded because of pb reform 0
3600.00/3609.50 d LOWERBOUND -37
3600.00/3609.50 d NCORES 19
3600.00/3609.50 d NPBCORES 0
3600.00/3609.50 d NPBREFORM 0
3600.00/3609.50 d NTRIMMED 1
3600.00/3609.50 d NEXHAUSTED 1
3600.00/3609.50 d NAM1S 54
3600.00/3609.50 d AM1LB 105
3600.00/3609.50 o -36
3600.00/3609.50 s SATISFIABLE
3600.00/3609.50 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: 64096 MiB (59429 MiB free)
memory of node 1: 64473 MiB (47129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454594-1721478145/watcher-4454594-1721478145 -o /tmp/evaluation-result-4454594-1721478145/solver-4454594-1721478145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062595 --watchdog 3760 pb-oll-rs HOME/instance-4454594-1721478145.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=1067879, runsolver pid=1067876
[startup+0.100248 s]*
/proc/loadavg: 4.19 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109114540/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=39456 memory=6956 CPUtime=0.1 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 501 0 0 0 9 1 0 0 20 0 1 0 199973259 40402944 1739 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 9864 1739 1408 291 0 1398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39456 KiB
Current children cumulated memory: 6956 KiB
[startup+0.213071 s]*
/proc/loadavg: 4.19 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109111792/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=39848 memory=9520 CPUtime=0.21 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 629 0 0 0 19 2 0 0 20 0 1 0 199973259 40804352 2380 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 9962 2380 1408 291 0 1496 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 9520 KiB
[startup+0.312932 s]*
/proc/loadavg: 4.19 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109111316/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=39980 memory=9520 CPUtime=0.3 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 667 0 0 0 28 2 0 0 20 0 1 0 199973259 40939520 2380 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 9995 2380 1408 291 0 1529 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39980 KiB
Current children cumulated memory: 9520 KiB
[startup+0.700248 s]
/proc/loadavg: 4.19 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109109128/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=40772 memory=10548 CPUtime=0.68 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 872 0 0 0 64 4 0 0 20 0 1 0 199973259 41750528 2637 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 10193 2637 1471 291 0 1727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40772 KiB
Current children cumulated memory: 10548 KiB
[startup+1.50032 s]
/proc/loadavg: 4.19 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109105400/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=42916 memory=12660 CPUtime=1.48 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 1383 0 0 0 141 7 0 0 20 0 1 0 199973259 43945984 3165 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 10729 3165 1471 291 0 2263 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42916 KiB
Current children cumulated memory: 12660 KiB
[startup+3.11282 s]
/proc/loadavg: 4.17 4.24 4.17 5/243 1067880
/proc/meminfo: memFree=109079464/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=43864 memory=13868 CPUtime=3.09 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 1646 0 0 0 298 11 0 0 20 0 1 0 199973259 44916736 3467 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 10966 3467 1471 291 0 2500 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 13868 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.24 4.17 5/243 1067881
/proc/meminfo: memFree=108863292/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=45228 memory=16156 CPUtime=6.27 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 2219 0 0 0 609 18 0 0 20 0 1 0 199973259 46313472 4039 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 11307 4039 1471 291 0 2841 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45228 KiB
Current children cumulated memory: 16156 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.23 4.17 5/243 1067881
/proc/meminfo: memFree=108618016/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=50200 memory=19608 CPUtime=12.65 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 3100 0 0 0 1238 27 0 0 20 0 1 0 199973259 51404800 4902 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 12550 4902 1471 291 0 4084 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50200 KiB
Current children cumulated memory: 19608 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.22 4.17 5/243 1067884
/proc/meminfo: memFree=108395708/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=60084 memory=29812 CPUtime=25.42 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 5187 0 0 0 2505 37 0 0 20 0 1 0 199973259 61526016 7453 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 15021 7453 1471 291 0 6555 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 60084 KiB
Current children cumulated memory: 29812 KiB
[startup+51.1129 s]
/proc/loadavg: 4.08 4.20 4.16 5/243 1067887
/proc/meminfo: memFree=108181152/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=62752 memory=32756 CPUtime=50.96 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 5882 0 0 0 5040 56 0 0 20 0 1 0 199973259 64258048 8189 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 15688 8189 1471 291 0 7222 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 62752 KiB
Current children cumulated memory: 32756 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.19 4.16 6/243 1067896
/proc/meminfo: memFree=107945228/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=72680 memory=36288 CPUtime=102.02 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 6783 0 0 0 10118 84 0 0 20 0 1 0 199973259 74424320 9072 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 18170 9072 1471 291 0 9704 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 72680 KiB
Current children cumulated memory: 36288 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/243 1067907
/proc/meminfo: memFree=107911012/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=77292 memory=44384 CPUtime=161.86 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 7833 0 0 0 16075 111 0 0 20 0 1 0 199973259 79147008 11096 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 19323 11096 1471 291 0 10857 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 77292 KiB
Current children cumulated memory: 44384 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/242 1068300
/proc/meminfo: memFree=107839176/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=92540 memory=48960 CPUtime=221.69 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 9003 0 0 0 22035 134 0 0 20 0 1 0 199973259 94760960 12240 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 23135 12240 1471 291 0 14669 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 92540 KiB
Current children cumulated memory: 48960 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/242 1068310
/proc/meminfo: memFree=107290144/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=93656 memory=51556 CPUtime=281.54 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 9665 0 0 0 27998 156 0 0 20 0 1 0 199973259 95903744 12889 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 23414 12889 1471 291 0 14948 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 51556 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.15 6/242 1068320
/proc/meminfo: memFree=106743436/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=93656 memory=51556 CPUtime=341.38 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 9672 0 0 0 33965 173 0 0 20 0 1 0 199973259 95903744 12889 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 23414 12889 1471 291 0 14948 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 51556 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/243 1068500
/proc/meminfo: memFree=106510428/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=96352 memory=59144 CPUtime=401.23 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 10572 0 0 0 39934 189 0 0 20 0 1 0 199973259 98664448 14786 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 24088 14786 1471 291 0 15622 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 96352 KiB
Current children cumulated memory: 59144 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/243 1068510
/proc/meminfo: memFree=106493200/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=96512 memory=59144 CPUtime=461.07 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 10592 0 0 0 45900 207 0 0 20 0 1 0 199973259 98828288 14786 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 24128 14786 1471 291 0 15662 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 136216 KiB
[startup+2922.3 s]
/proc/loadavg: 1.16 1.32 2.36 2/223 1069671
/proc/meminfo: memFree=127349344/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=192580 memory=140476 CPUtime=2914.52 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22242 0 0 0 290818 634 0 0 20 0 1 0 199973259 197201920 35119 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48145 35119 1471 291 0 39679 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 192580 KiB
Current children cumulated memory: 140476 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.28 2.28 2/223 1069681
/proc/meminfo: memFree=127341952/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=147468 CPUtime=2974.37 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22636 0 0 0 296794 643 0 0 20 0 1 0 199973259 199229440 36867 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 36867 1471 291 0 40174 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 147468 KiB
[startup+3042.3 s]
/proc/loadavg: 1.09 1.24 2.20 2/223 1069693
/proc/meminfo: memFree=127340852/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3034.23 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22688 0 0 0 302772 651 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3102.3 s]
/proc/loadavg: 1.07 1.21 2.13 3/223 1069703
/proc/meminfo: memFree=127340616/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3094.09 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22742 0 0 0 308751 658 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.18 2.06 2/223 1069714
/proc/meminfo: memFree=127340240/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3153.93 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22798 0 0 0 314728 665 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.16 2.00 2/220 1069726
/proc/meminfo: memFree=127340240/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3213.79 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22856 0 0 0 320708 671 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.16 1.94 2/220 1069736
/proc/meminfo: memFree=127340000/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3273.64 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22857 0 0 0 326688 676 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3342.3 s]
/proc/loadavg: 1.04 1.13 1.88 2/220 1069746
/proc/meminfo: memFree=127339688/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3333.49 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22916 0 0 0 332666 683 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.13 1.83 2/220 1069757
/proc/meminfo: memFree=127339360/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3393.33 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 22976 0 0 0 338644 689 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.12 1.79 2/220 1069767
/proc/meminfo: memFree=127339100/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3453.18 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 23037 0 0 0 344623 695 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.11 1.74 2/223 1069782
/proc/meminfo: memFree=127338556/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194560 memory=148396 CPUtime=3513.03 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 23100 0 0 0 350601 702 0 0 20 0 1 0 199973259 199229440 37099 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48640 37099 1471 291 0 40174 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 148396 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.11 1.70 2/223 1069792
/proc/meminfo: memFree=127338056/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=194968 memory=148464 CPUtime=3572.87 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 23242 0 0 0 356580 707 0 0 20 0 1 0 199973259 199647232 37116 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48742 37116 1471 291 0 40276 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 194968 KiB
Current children cumulated memory: 148464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 1.13 1.11 1.68 2/223 1069798
/proc/meminfo: memFree=127337796/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=195924 memory=148748 CPUtime=3600 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 23495 0 0 0 359290 710 0 0 20 0 1 0 199973259 200626176 37187 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48981 37187 1471 291 0 40515 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 195924 KiB
Current children cumulated memory: 148748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1067879 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.91 s, system=7.1028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 1.13 1.11 1.68 2/223 1069798
/proc/meminfo: memFree=127337796/131655788 swapFree=131071996/131071996
[pid=1067879] ppid=1067876 vsize=195924 memory=148748 CPUtime=3600 cores=4,6
/proc/1067879/stat : 1067879 (pb-oll-rs) R 1067876 1067879 1062548 0 -1 4194304 23495 0 0 0 359290 710 0 0 20 0 1 0 199973259 200626176 37187 134679101440 4194304 5384485 140721760310272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29376512 140721760314389 140721760314466 140721760314466 140721760321483 0
/proc/1067879/statm: 48981 37187 1471 291 0 40515 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 195924 KiB
Current children cumulated memory: 148748 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.01
CPU user time (s): 3592.91
CPU system time (s): 7.1028
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 195924
Max. memory (cumulated for all children) (KiB): 148748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.91
system time used= 7.1028
maximum resident set size= 148996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23512
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= 44
involuntary context switches= 3047
# summary of solver processes directly reported to runsolver:
# pid: 1067879
# total CPU time (s): 3600.01
# total CPU user time (s): 3592.91
# total CPU system time (s): 7.1028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.716 second user time and 33.8835 second system time
The end
Begin job on nodeC005 at 2024-07-20 14:22:37
IDJOB=4454594
IDBENCH=158488
IDSOLVER=3082
FILE ID=nodeC005/4454594-1721478145
RUNJOBID= nodeC005-1721469315-1062595
SLURM_JOB_ID= 7545729
Free space on /tmp= 723688 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454594-1721478145/watcher-4454594-1721478145 -o /tmp/evaluation-result-4454594-1721478145/solver-4454594-1721478145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062595 --watchdog 3760 pb-oll-rs HOME/instance-4454594-1721478145.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5
RANDOM SEED=189917846
nodeC005.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 : 0xb00001f
cpu MHz : 3653.425
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 invpcid_single pti 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 : 6983.53
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 : 3544.371
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 invpcid_single pti 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 : 6983.35
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.330
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 invpcid_single pti 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 : 6983.53
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.347
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 invpcid_single pti 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 : 6983.35
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 : 1396.713
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 invpcid_single pti 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 : 6983.53
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 : 3662.102
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 invpcid_single pti 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 : 6983.35
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.188
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 invpcid_single pti 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 : 6983.53
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.248
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 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109116672 kB
MemAvailable: 111608648 kB
Buffers: 572288 kB
Cached: 2742024 kB
SwapCached: 0 kB
Active: 1292028 kB
Inactive: 20601412 kB
Active(anon): 3464 kB
Inactive(anon): 18621228 kB
Active(file): 1288564 kB
Inactive(file): 1980184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2212 kB
Writeback: 0 kB
AnonPages: 18577544 kB
Mapped: 112784 kB
Shmem: 45896 kB
KReclaimable: 126852 kB
Slab: 237856 kB
SReclaimable: 126852 kB
SUnreclaim: 111004 kB
KernelStack: 3920 kB
PageTables: 46584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 21830984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6264832 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-20 15:22:46