0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.19/0.23 c [STEP] preprocessing with Papilo
24.32/24.40 c [STEP] solving with SCIP
324.05/324.96 c [STEP] preprocessing done, loading into solver
324.15/325.03 c [STEP] solving
324.15/325.03 c #variables 1449 #constraints 2016
324.15/325.03 c SMALL=int, LARGE=long long
324.15/325.03 d SCIPUB 156
324.15/325.03 c bounds - >= 0 @ 323.811
324.15/325.03 c stratification level: 2
324.15/325.03 c bounds 122 >= 0 @ 323.814
324.15/325.03 c stratification level: 1
324.75/325.68 c bounds 122 >= 1 @ 324.112
324.75/325.68 c finalizing WCE round: reformulating cores
392.77/393.87 c #Conflicts: 1000 | #Constraints: 3021
392.77/393.87 c bounds 121 >= 1 @ 325.028
392.77/393.87 c bounds 121 >= 2 @ 325.288
392.77/393.87 c #Conflicts: 2000 | #Constraints: 4024
392.77/393.87 c INPROCESSING
392.77/393.87 c #Conflicts: 3000 | #Constraints: 3904
392.77/393.87 c #Conflicts: 4000 | #Constraints: 4904
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 5000 | #Constraints: 4327
392.77/393.87 c #Conflicts: 6000 | #Constraints: 5327
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 7000 | #Constraints: 4337
392.77/393.87 c #Conflicts: 8000 | #Constraints: 5337
392.77/393.87 c #Conflicts: 9000 | #Constraints: 6337
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 10000 | #Constraints: 5049
392.77/393.87 c #Conflicts: 11000 | #Constraints: 6049
392.77/393.87 c #Conflicts: 12000 | #Constraints: 7049
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 13000 | #Constraints: 5500
392.77/393.87 c #Conflicts: 14000 | #Constraints: 6500
392.77/393.87 c #Conflicts: 15000 | #Constraints: 7500
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 16000 | #Constraints: 5736
392.77/393.87 c #Conflicts: 17000 | #Constraints: 6736
392.77/393.87 c #Conflicts: 18000 | #Constraints: 7736
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 19000 | #Constraints: 5769
392.77/393.87 c #Conflicts: 20000 | #Constraints: 6769
392.77/393.87 c #Conflicts: 21000 | #Constraints: 7769
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 22000 | #Constraints: 5567
392.77/393.87 c #Conflicts: 23000 | #Constraints: 6567
392.77/393.87 c #Conflicts: 24000 | #Constraints: 7567
392.77/393.87 c #Conflicts: 25000 | #Constraints: 8567
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 26000 | #Constraints: 6168
392.77/393.87 c #Conflicts: 27000 | #Constraints: 7168
392.77/393.87 c #Conflicts: 28000 | #Constraints: 8168
392.77/393.87 c #Conflicts: 29000 | #Constraints: 9168
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 30000 | #Constraints: 6588
392.77/393.87 c #Conflicts: 31000 | #Constraints: 7588
392.77/393.87 c #Conflicts: 32000 | #Constraints: 8588
392.77/393.87 c #Conflicts: 33000 | #Constraints: 9588
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 34000 | #Constraints: 6785
392.77/393.87 c #Conflicts: 35000 | #Constraints: 7785
392.77/393.87 c #Conflicts: 36000 | #Constraints: 8785
392.77/393.87 c #Conflicts: 37000 | #Constraints: 9785
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 38000 | #Constraints: 6784
392.77/393.87 c #Conflicts: 39000 | #Constraints: 7784
392.77/393.87 c #Conflicts: 40000 | #Constraints: 8784
392.77/393.87 c #Conflicts: 41000 | #Constraints: 9784
392.77/393.87 c INPROCESSING
392.77/393.87 c #Conflicts: 42000 | #Constraints: 6588
392.77/393.87 c #Conflicts: 43000 | #Constraints: 7588
392.77/393.87 c #Conflicts: 44000 | #Constraints: 8588
392.77/393.87 c #Conflicts: 45000 | #Constraints: 9588
392.77/393.87 c #Conflicts: 46000 | #Constraints: 10588
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 47000 | #Constraints: 7175
392.77/393.87 c #Conflicts: 48000 | #Constraints: 8175
392.77/393.87 c #Conflicts: 49000 | #Constraints: 9175
392.77/393.87 c #Conflicts: 50000 | #Constraints: 10175
392.77/393.87 c #Conflicts: 51000 | #Constraints: 11175
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 52000 | #Constraints: 7582
392.77/393.87 c #Conflicts: 53000 | #Constraints: 8582
392.77/393.87 c #Conflicts: 54000 | #Constraints: 9582
392.77/393.87 c #Conflicts: 55000 | #Constraints: 10582
392.77/393.87 c #Conflicts: 56000 | #Constraints: 11582
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 57000 | #Constraints: 7781
392.77/393.87 c #Conflicts: 58000 | #Constraints: 8781
392.77/393.87 c #Conflicts: 59000 | #Constraints: 9781
392.77/393.87 c #Conflicts: 60000 | #Constraints: 10781
392.77/393.87 c #Conflicts: 61000 | #Constraints: 11781
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 62000 | #Constraints: 7790
392.77/393.87 c #Conflicts: 63000 | #Constraints: 8790
392.77/393.87 c #Conflicts: 64000 | #Constraints: 9790
392.77/393.87 c #Conflicts: 65000 | #Constraints: 10790
392.77/393.87 c #Conflicts: 66000 | #Constraints: 11790
392.77/393.87 c INPROCESSING
392.77/393.87 c GARBAGE COLLECT
392.77/393.87 c #Conflicts: 67000 | #Constraints: 7600
475.33/476.66 c #Conflicts: 68000 | #Constraints: 8600
475.33/476.66 c #Conflicts: 69000 | #Constraints: 9600
475.33/476.66 c #Conflicts: 70000 | #Constraints: 10600
475.33/476.66 c #Conflicts: 71000 | #Constraints: 11600
475.33/476.66 c #Conflicts: 72000 | #Constraints: 12600
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 73000 | #Constraints: 8198
475.33/476.66 c #Conflicts: 74000 | #Constraints: 9198
475.33/476.66 c #Conflicts: 75000 | #Constraints: 10198
475.33/476.66 c #Conflicts: 76000 | #Constraints: 11198
475.33/476.66 c #Conflicts: 77000 | #Constraints: 12198
475.33/476.66 c #Conflicts: 78000 | #Constraints: 13198
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 79000 | #Constraints: 8612
475.33/476.66 c #Conflicts: 80000 | #Constraints: 9612
475.33/476.66 c #Conflicts: 81000 | #Constraints: 10612
475.33/476.66 c #Conflicts: 82000 | #Constraints: 11612
475.33/476.66 c #Conflicts: 83000 | #Constraints: 12612
475.33/476.66 c #Conflicts: 84000 | #Constraints: 13612
475.33/476.66 c #Conflicts: 85000 | #Constraints: 14612
475.33/476.66 c #Conflicts: 86000 | #Constraints: 15612
475.33/476.66 c #Conflicts: 87000 | #Constraints: 16612
475.33/476.66 c #Conflicts: 88000 | #Constraints: 17612
475.33/476.66 c #Conflicts: 89000 | #Constraints: 18612
475.33/476.66 c #Conflicts: 90000 | #Constraints: 19612
475.33/476.66 c #Conflicts: 91000 | #Constraints: 20612
475.33/476.66 c #Conflicts: 92000 | #Constraints: 21612
475.33/476.66 c #Conflicts: 93000 | #Constraints: 22612
475.33/476.66 c #Conflicts: 94000 | #Constraints: 23612
475.33/476.66 c #Conflicts: 95000 | #Constraints: 24612
475.33/476.66 c #Conflicts: 96000 | #Constraints: 25612
475.33/476.66 c #Conflicts: 97000 | #Constraints: 26612
475.33/476.66 c #Conflicts: 98000 | #Constraints: 27612
475.33/476.66 c #Conflicts: 99000 | #Constraints: 28612
475.33/476.66 c #Conflicts: 100000 | #Constraints: 29612
475.33/476.66 c #Conflicts: 101000 | #Constraints: 30612
475.33/476.66 c #Conflicts: 102000 | #Constraints: 31612
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 103000 | #Constraints: 17377
475.33/476.66 c #Conflicts: 104000 | #Constraints: 18377
475.33/476.66 c #Conflicts: 105000 | #Constraints: 19377
475.33/476.66 c #Conflicts: 106000 | #Constraints: 20377
475.33/476.66 c #Conflicts: 107000 | #Constraints: 21377
475.33/476.66 c #Conflicts: 108000 | #Constraints: 22377
475.33/476.66 c #Conflicts: 109000 | #Constraints: 23377
475.33/476.66 c #Conflicts: 110000 | #Constraints: 24377
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 111000 | #Constraints: 14214
475.33/476.66 c #Conflicts: 112000 | #Constraints: 15214
475.33/476.66 c #Conflicts: 113000 | #Constraints: 16214
475.33/476.66 c #Conflicts: 114000 | #Constraints: 17214
475.33/476.66 c #Conflicts: 115000 | #Constraints: 18214
475.33/476.66 c #Conflicts: 116000 | #Constraints: 19214
475.33/476.66 c #Conflicts: 117000 | #Constraints: 20214
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 118000 | #Constraints: 11977
475.33/476.66 c #Conflicts: 119000 | #Constraints: 12977
475.33/476.66 c #Conflicts: 120000 | #Constraints: 13977
475.33/476.66 c #Conflicts: 121000 | #Constraints: 14977
475.33/476.66 c #Conflicts: 122000 | #Constraints: 15977
475.33/476.66 c #Conflicts: 123000 | #Constraints: 16977
475.33/476.66 c #Conflicts: 124000 | #Constraints: 17977
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 125000 | #Constraints: 10613
475.33/476.66 c #Conflicts: 126000 | #Constraints: 11613
475.33/476.66 c #Conflicts: 127000 | #Constraints: 12613
475.33/476.66 c #Conflicts: 128000 | #Constraints: 13613
475.33/476.66 c #Conflicts: 129000 | #Constraints: 14613
475.33/476.66 c #Conflicts: 130000 | #Constraints: 15613
475.33/476.66 c #Conflicts: 131000 | #Constraints: 16613
475.33/476.66 c #Conflicts: 132000 | #Constraints: 17613
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 133000 | #Constraints: 10579
475.33/476.66 c #Conflicts: 134000 | #Constraints: 11579
475.33/476.66 c #Conflicts: 135000 | #Constraints: 12579
475.33/476.66 c #Conflicts: 136000 | #Constraints: 13579
475.33/476.66 c #Conflicts: 137000 | #Constraints: 14579
475.33/476.66 c #Conflicts: 138000 | #Constraints: 15579
475.33/476.66 c #Conflicts: 139000 | #Constraints: 16579
475.33/476.66 c #Conflicts: 140000 | #Constraints: 17579
475.33/476.66 c INPROCESSING
475.33/476.66 c GARBAGE COLLECT
475.33/476.66 c #Conflicts: 141000 | #Constraints: 10608
588.43/590.09 c #Conflicts: 142000 | #Constraints: 11608
588.43/590.09 c #Conflicts: 143000 | #Constraints: 12608
588.43/590.09 c #Conflicts: 144000 | #Constraints: 13608
588.43/590.09 c #Conflicts: 145000 | #Constraints: 14608
588.43/590.09 c #Conflicts: 146000 | #Constraints: 15608
588.43/590.09 c #Conflicts: 147000 | #Constraints: 16608
588.43/590.09 c #Conflicts: 148000 | #Constraints: 17608
588.43/590.09 c #Conflicts: 149000 | #Constraints: 18608
588.43/590.09 c #Conflicts: 150000 | #Constraints: 19608
588.43/590.09 c #Conflicts: 151000 | #Constraints: 20608
588.43/590.09 c #Conflicts: 152000 | #Constraints: 21608
588.43/590.09 c #Conflicts: 153000 | #Constraints: 22608
588.43/590.09 c #Conflicts: 154000 | #Constraints: 23608
588.43/590.09 c #Conflicts: 155000 | #Constraints: 24608
588.43/590.09 c #Conflicts: 156000 | #Constraints: 25608
588.43/590.09 c #Conflicts: 157000 | #Constraints: 26608
588.43/590.09 c #Conflicts: 158000 | #Constraints: 27608
588.43/590.09 c #Conflicts: 159000 | #Constraints: 28608
588.43/590.09 c #Conflicts: 160000 | #Constraints: 29608
588.43/590.09 c #Conflicts: 161000 | #Constraints: 30608
588.43/590.09 c #Conflicts: 162000 | #Constraints: 31608
588.43/590.09 c #Conflicts: 163000 | #Constraints: 32608
588.43/590.09 c #Conflicts: 164000 | #Constraints: 33608
588.43/590.09 c #Conflicts: 165000 | #Constraints: 34608
588.43/590.09 c #Conflicts: 166000 | #Constraints: 35608
588.43/590.09 c #Conflicts: 167000 | #Constraints: 36608
588.43/590.09 c #Conflicts: 168000 | #Constraints: 37608
588.43/590.09 c #Conflicts: 169000 | #Constraints: 38608
588.43/590.09 c #Conflicts: 170000 | #Constraints: 39608
588.43/590.09 c #Conflicts: 171000 | #Constraints: 40608
588.43/590.09 c #Conflicts: 172000 | #Constraints: 41608
588.43/590.09 c INPROCESSING
588.43/590.09 c GARBAGE COLLECT
588.43/590.09 c #Conflicts: 173000 | #Constraints: 22423
588.43/590.09 c #Conflicts: 174000 | #Constraints: 23423
588.43/590.09 c #Conflicts: 175000 | #Constraints: 24423
588.43/590.09 c #Conflicts: 176000 | #Constraints: 25423
588.43/590.09 c #Conflicts: 177000 | #Constraints: 26423
588.43/590.09 c #Conflicts: 178000 | #Constraints: 27423
588.43/590.09 c #Conflicts: 179000 | #Constraints: 28423
588.43/590.09 c #Conflicts: 180000 | #Constraints: 29423
588.43/590.09 c #Conflicts: 181000 | #Constraints: 30423
588.43/590.09 c #Conflicts: 182000 | #Constraints: 31423
588.43/590.09 c INPROCESSING
588.43/590.09 c GARBAGE COLLECT
588.43/590.09 c #Conflicts: 183000 | #Constraints: 17749
588.43/590.09 c #Conflicts: 184000 | #Constraints: 18749
588.43/590.09 c #Conflicts: 185000 | #Constraints: 19749
588.43/590.09 c #Conflicts: 186000 | #Constraints: 20749
588.43/590.09 c #Conflicts: 187000 | #Constraints: 21749
588.43/590.09 c #Conflicts: 188000 | #Constraints: 22749
588.43/590.09 c #Conflicts: 189000 | #Constraints: 23749
588.43/590.09 c #Conflicts: 190000 | #Constraints: 24749
588.43/590.09 c #Conflicts: 191000 | #Constraints: 25749
588.43/590.09 c INPROCESSING
588.43/590.09 c GARBAGE COLLECT
588.43/590.09 c #Conflicts: 192000 | #Constraints: 14704
588.43/590.09 c #Conflicts: 193000 | #Constraints: 15704
588.43/590.09 c #Conflicts: 194000 | #Constraints: 16704
588.43/590.09 c #Conflicts: 195000 | #Constraints: 17704
588.43/590.09 c #Conflicts: 196000 | #Constraints: 18704
588.43/590.09 c #Conflicts: 197000 | #Constraints: 19704
588.43/590.09 c #Conflicts: 198000 | #Constraints: 20704
588.43/590.09 c #Conflicts: 199000 | #Constraints: 21704
588.43/590.09 c #Conflicts: 200000 | #Constraints: 22704
588.43/590.09 c #Conflicts: 201000 | #Constraints: 23704
588.43/590.09 c INPROCESSING
588.43/590.09 c GARBAGE COLLECT
588.43/590.09 c #Conflicts: 202000 | #Constraints: 13892
588.43/590.09 c #Conflicts: 203000 | #Constraints: 14892
588.43/590.09 c #Conflicts: 204000 | #Constraints: 15892
588.43/590.09 c #Conflicts: 205000 | #Constraints: 16892
588.43/590.09 c #Conflicts: 206000 | #Constraints: 17892
588.43/590.09 c #Conflicts: 207000 | #Constraints: 18892
588.43/590.09 c #Conflicts: 208000 | #Constraints: 19892
588.43/590.09 c #Conflicts: 209000 | #Constraints: 20892
588.43/590.09 c #Conflicts: 210000 | #Constraints: 21892
588.43/590.09 c INPROCESSING
588.43/590.09 c GARBAGE COLLECT
588.43/590.09 c #Conflicts: 211000 | #Constraints: 12577
588.43/590.09 c #Conflicts: 212000 | #Constraints: 13577
588.43/590.09 c #Conflicts: 213000 | #Constraints: 14577
588.43/590.09 c #Conflicts: 214000 | #Constraints: 15577
588.43/590.09 c #Conflicts: 215000 | #Constraints: 16577
588.43/590.09 c #Conflicts: 216000 | #Constraints: 17577
588.43/590.09 c #Conflicts: 217000 | #Constraints: 18577
734.89/736.97 c #Conflicts: 218000 | #Constraints: 19577
734.89/736.97 c #Conflicts: 219000 | #Constraints: 20577
734.89/736.97 c #Conflicts: 220000 | #Constraints: 21577
734.89/736.97 c #Conflicts: 221000 | #Constraints: 22577
734.89/736.97 c #Conflicts: 222000 | #Constraints: 23577
734.89/736.97 c #Conflicts: 223000 | #Constraints: 24577
734.89/736.97 c #Conflicts: 224000 | #Constraints: 25577
734.89/736.97 c #Conflicts: 225000 | #Constraints: 26577
734.89/736.97 c #Conflicts: 226000 | #Constraints: 27577
734.89/736.97 c #Conflicts: 227000 | #Constraints: 28577
734.89/736.97 c #Conflicts: 228000 | #Constraints: 29577
734.89/736.97 c #Conflicts: 229000 | #Constraints: 30577
734.89/736.97 c #Conflicts: 230000 | #Constraints: 31577
734.89/736.97 c #Conflicts: 231000 | #Constraints: 32577
734.89/736.97 c #Conflicts: 232000 | #Constraints: 33577
734.89/736.97 c #Conflicts: 233000 | #Constraints: 34577
734.89/736.97 c #Conflicts: 234000 | #Constraints: 35577
734.89/736.97 c #Conflicts: 235000 | #Constraints: 36577
734.89/736.97 c #Conflicts: 236000 | #Constraints: 37577
734.89/736.97 c #Conflicts: 237000 | #Constraints: 38577
734.89/736.97 c #Conflicts: 238000 | #Constraints: 39577
734.89/736.97 c #Conflicts: 239000 | #Constraints: 40577
734.89/736.97 c #Conflicts: 240000 | #Constraints: 41577
734.89/736.97 c #Conflicts: 241000 | #Constraints: 42577
734.89/736.97 c #Conflicts: 242000 | #Constraints: 43577
734.89/736.97 c #Conflicts: 243000 | #Constraints: 44577
734.89/736.97 c #Conflicts: 244000 | #Constraints: 45577
734.89/736.97 c #Conflicts: 245000 | #Constraints: 46577
734.89/736.97 c #Conflicts: 246000 | #Constraints: 47577
734.89/736.97 c #Conflicts: 247000 | #Constraints: 48577
734.89/736.97 c #Conflicts: 248000 | #Constraints: 49577
734.89/736.97 c #Conflicts: 249000 | #Constraints: 50577
734.89/736.97 c INPROCESSING
734.89/736.97 c GARBAGE COLLECT
734.89/736.97 c #Conflicts: 250000 | #Constraints: 27015
734.89/736.97 c #Conflicts: 251000 | #Constraints: 28015
734.89/736.97 c #Conflicts: 252000 | #Constraints: 29015
734.89/736.97 c #Conflicts: 253000 | #Constraints: 30015
734.89/736.97 c #Conflicts: 254000 | #Constraints: 31015
734.89/736.97 c #Conflicts: 255000 | #Constraints: 32015
734.89/736.97 c #Conflicts: 256000 | #Constraints: 33015
734.89/736.97 c #Conflicts: 257000 | #Constraints: 34015
734.89/736.97 c #Conflicts: 258000 | #Constraints: 35015
734.89/736.97 c #Conflicts: 259000 | #Constraints: 36015
734.89/736.97 c #Conflicts: 260000 | #Constraints: 37015
734.89/736.97 c INPROCESSING
734.89/736.97 c GARBAGE COLLECT
734.89/736.97 c #Conflicts: 261000 | #Constraints: 20215
734.89/736.97 c #Conflicts: 262000 | #Constraints: 21215
734.89/736.97 c #Conflicts: 263000 | #Constraints: 22215
734.89/736.97 c #Conflicts: 264000 | #Constraints: 23215
734.89/736.97 c #Conflicts: 265000 | #Constraints: 24215
734.89/736.97 c #Conflicts: 266000 | #Constraints: 25215
734.89/736.97 c #Conflicts: 267000 | #Constraints: 26215
734.89/736.97 c #Conflicts: 268000 | #Constraints: 27215
734.89/736.97 c #Conflicts: 269000 | #Constraints: 28215
734.89/736.97 c #Conflicts: 270000 | #Constraints: 29215
734.89/736.97 c #Conflicts: 271000 | #Constraints: 30215
734.89/736.97 c #Conflicts: 272000 | #Constraints: 31215
734.89/736.97 c INPROCESSING
734.89/736.97 c GARBAGE COLLECT
734.89/736.97 c #Conflicts: 273000 | #Constraints: 17628
734.89/736.97 c #Conflicts: 274000 | #Constraints: 18628
734.89/736.97 c #Conflicts: 275000 | #Constraints: 19628
734.89/736.97 c #Conflicts: 276000 | #Constraints: 20628
734.89/736.97 c #Conflicts: 277000 | #Constraints: 21628
734.89/736.97 c #Conflicts: 278000 | #Constraints: 22628
734.89/736.97 c #Conflicts: 279000 | #Constraints: 23628
734.89/736.97 c #Conflicts: 280000 | #Constraints: 24628
734.89/736.97 c #Conflicts: 281000 | #Constraints: 25628
734.89/736.97 c #Conflicts: 282000 | #Constraints: 26628
734.89/736.97 c #Conflicts: 283000 | #Constraints: 27628
734.89/736.97 c INPROCESSING
734.89/736.97 c GARBAGE COLLECT
734.89/736.97 c #Conflicts: 284000 | #Constraints: 15582
734.89/736.97 c #Conflicts: 285000 | #Constraints: 16582
734.89/736.97 c #Conflicts: 286000 | #Constraints: 17582
734.89/736.97 c #Conflicts: 287000 | #Constraints: 18582
734.89/736.97 c #Conflicts: 288000 | #Constraints: 19582
734.89/736.97 c #Conflicts: 289000 | #Constraints: 20582
734.89/736.97 c #Conflicts: 290000 | #Constraints: 21582
734.89/736.97 c #Conflicts: 291000 | #Constraints: 22582
734.89/736.97 c #Conflicts: 292000 | #Constraints: 23582
734.89/736.97 c #Conflicts: 293000 | #Constraints: 24582
1005.65/1008.45 c #Conflicts: 294000 | #Constraints: 25582
1005.65/1008.45 c #Conflicts: 295000 | #Constraints: 26582
1005.65/1008.45 c #Conflicts: 296000 | #Constraints: 27582
1005.65/1008.45 c #Conflicts: 297000 | #Constraints: 28582
1005.65/1008.45 c #Conflicts: 298000 | #Constraints: 29582
1005.65/1008.45 c #Conflicts: 299000 | #Constraints: 30582
1005.65/1008.45 c #Conflicts: 300000 | #Constraints: 31582
1005.65/1008.45 c #Conflicts: 301000 | #Constraints: 32582
1005.65/1008.45 c #Conflicts: 302000 | #Constraints: 33582
1005.65/1008.45 c #Conflicts: 303000 | #Constraints: 34582
1005.65/1008.45 c #Conflicts: 304000 | #Constraints: 35582
1005.65/1008.45 c #Conflicts: 305000 | #Constraints: 36582
1005.65/1008.45 c #Conflicts: 306000 | #Constraints: 37582
1005.65/1008.45 c #Conflicts: 307000 | #Constraints: 38582
1005.65/1008.45 c #Conflicts: 308000 | #Constraints: 39582
1005.65/1008.45 c #Conflicts: 309000 | #Constraints: 40582
1005.65/1008.45 c #Conflicts: 310000 | #Constraints: 41582
1005.65/1008.45 c #Conflicts: 311000 | #Constraints: 42582
1005.65/1008.45 c #Conflicts: 312000 | #Constraints: 43582
1005.65/1008.45 c #Conflicts: 313000 | #Constraints: 44582
1005.65/1008.45 c #Conflicts: 314000 | #Constraints: 45582
1005.65/1008.45 c #Conflicts: 315000 | #Constraints: 46582
1005.65/1008.45 c #Conflicts: 316000 | #Constraints: 47582
1005.65/1008.45 c #Conflicts: 317000 | #Constraints: 48582
1005.65/1008.45 c #Conflicts: 318000 | #Constraints: 49582
1005.65/1008.45 c #Conflicts: 319000 | #Constraints: 50582
1005.65/1008.45 c #Conflicts: 320000 | #Constraints: 51582
1005.65/1008.45 c #Conflicts: 321000 | #Constraints: 52582
1005.65/1008.45 c #Conflicts: 322000 | #Constraints: 53582
1005.65/1008.45 c #Conflicts: 323000 | #Constraints: 54582
1005.65/1008.45 c #Conflicts: 324000 | #Constraints: 55582
1005.65/1008.45 c #Conflicts: 325000 | #Constraints: 56582
1005.65/1008.45 c #Conflicts: 326000 | #Constraints: 57582
1005.65/1008.45 c #Conflicts: 327000 | #Constraints: 58582
1005.65/1008.45 c INPROCESSING
1005.65/1008.45 c GARBAGE COLLECT
1005.65/1008.45 c #Conflicts: 328000 | #Constraints: 31025
1005.65/1008.45 c #Conflicts: 329000 | #Constraints: 32025
1005.65/1008.45 c #Conflicts: 330000 | #Constraints: 33025
1005.65/1008.45 c #Conflicts: 331000 | #Constraints: 34025
1005.65/1008.45 c #Conflicts: 332000 | #Constraints: 35025
1005.65/1008.45 c #Conflicts: 333000 | #Constraints: 36025
1005.65/1008.45 c #Conflicts: 334000 | #Constraints: 37025
1005.65/1008.45 c #Conflicts: 335000 | #Constraints: 38025
1005.65/1008.45 c #Conflicts: 336000 | #Constraints: 39025
1005.65/1008.45 c bounds 121 >= 3 @ 882.438
1005.65/1008.45 c #Conflicts: 337000 | #Constraints: 40028
1005.65/1008.45 c #Conflicts: 338000 | #Constraints: 41028
1005.65/1008.45 c #Conflicts: 339000 | #Constraints: 42028
1005.65/1008.45 c #Conflicts: 340000 | #Constraints: 43028
1005.65/1008.45 c INPROCESSING
1005.65/1008.45 c GARBAGE COLLECT
1005.65/1008.45 c #Conflicts: 341000 | #Constraints: 16824
1005.65/1008.45 c #Conflicts: 342000 | #Constraints: 17824
1005.65/1008.45 c #Conflicts: 343000 | #Constraints: 18824
1005.65/1008.45 c #Conflicts: 344000 | #Constraints: 19824
1005.65/1008.45 c #Conflicts: 345000 | #Constraints: 20824
1005.65/1008.45 c #Conflicts: 346000 | #Constraints: 21824
1005.65/1008.45 c #Conflicts: 347000 | #Constraints: 22824
1005.65/1008.45 c #Conflicts: 348000 | #Constraints: 23824
1005.65/1008.45 c #Conflicts: 349000 | #Constraints: 24824
1005.65/1008.45 c #Conflicts: 350000 | #Constraints: 25824
1005.65/1008.45 c #Conflicts: 351000 | #Constraints: 26824
1005.65/1008.45 c #Conflicts: 352000 | #Constraints: 27824
1005.65/1008.45 c #Conflicts: 353000 | #Constraints: 28824
1005.65/1008.45 c #Conflicts: 354000 | #Constraints: 29824
1005.65/1008.45 c #Conflicts: 355000 | #Constraints: 30824
1005.65/1008.45 c #Conflicts: 356000 | #Constraints: 31824
1005.65/1008.45 c #Conflicts: 357000 | #Constraints: 32824
1005.65/1008.45 c #Conflicts: 358000 | #Constraints: 33824
1005.65/1008.45 c #Conflicts: 359000 | #Constraints: 34824
1005.65/1008.45 c #Conflicts: 360000 | #Constraints: 35824
1005.65/1008.45 c #Conflicts: 361000 | #Constraints: 36824
1005.65/1008.45 c #Conflicts: 362000 | #Constraints: 37824
1005.65/1008.45 c #Conflicts: 363000 | #Constraints: 38824
1005.65/1008.45 c #Conflicts: 364000 | #Constraints: 39824
1005.65/1008.45 c #Conflicts: 365000 | #Constraints: 40824
1005.65/1008.45 c #Conflicts: 366000 | #Constraints: 41824
1005.65/1008.45 c #Conflicts: 367000 | #Constraints: 42824
1005.65/1008.45 c #Conflicts: 368000 | #Constraints: 43824
1005.65/1008.45 c #Conflicts: 369000 | #Constraints: 44824
1005.65/1008.45 c #Conflicts: 370000 | #Constraints: 45824
1410.92/1414.83 c #Conflicts: 371000 | #Constraints: 46824
1410.92/1414.83 c #Conflicts: 372000 | #Constraints: 47824
1410.92/1414.83 c #Conflicts: 373000 | #Constraints: 48824
1410.92/1414.83 c #Conflicts: 374000 | #Constraints: 49824
1410.92/1414.83 c #Conflicts: 375000 | #Constraints: 50824
1410.92/1414.83 c #Conflicts: 376000 | #Constraints: 51824
1410.92/1414.83 c #Conflicts: 377000 | #Constraints: 52824
1410.92/1414.83 c #Conflicts: 378000 | #Constraints: 53824
1410.92/1414.83 c #Conflicts: 379000 | #Constraints: 54824
1410.92/1414.83 c #Conflicts: 380000 | #Constraints: 55824
1410.92/1414.83 c #Conflicts: 381000 | #Constraints: 56824
1410.92/1414.83 c #Conflicts: 382000 | #Constraints: 57824
1410.92/1414.83 c #Conflicts: 383000 | #Constraints: 58824
1410.92/1414.83 c #Conflicts: 384000 | #Constraints: 59824
1410.92/1414.83 c #Conflicts: 385000 | #Constraints: 60824
1410.92/1414.83 c #Conflicts: 386000 | #Constraints: 61824
1410.92/1414.83 c #Conflicts: 387000 | #Constraints: 62824
1410.92/1414.83 c INPROCESSING
1410.92/1414.83 c GARBAGE COLLECT
1410.92/1414.83 c #Conflicts: 388000 | #Constraints: 33132
1410.92/1414.83 c #Conflicts: 389000 | #Constraints: 34132
1410.92/1414.83 c #Conflicts: 390000 | #Constraints: 35132
1410.92/1414.83 c #Conflicts: 391000 | #Constraints: 36132
1410.92/1414.83 c #Conflicts: 392000 | #Constraints: 37132
1410.92/1414.83 c #Conflicts: 393000 | #Constraints: 38132
1410.92/1414.83 c #Conflicts: 394000 | #Constraints: 39132
1410.92/1414.83 c #Conflicts: 395000 | #Constraints: 40132
1410.92/1414.83 c #Conflicts: 396000 | #Constraints: 41132
1410.92/1414.83 c #Conflicts: 397000 | #Constraints: 42132
1410.92/1414.83 c #Conflicts: 398000 | #Constraints: 43132
1410.92/1414.83 c #Conflicts: 399000 | #Constraints: 44132
1410.92/1414.83 c #Conflicts: 400000 | #Constraints: 45132
1410.92/1414.83 c #Conflicts: 401000 | #Constraints: 46132
1410.92/1414.83 c INPROCESSING
1410.92/1414.83 c GARBAGE COLLECT
1410.92/1414.83 c #Conflicts: 402000 | #Constraints: 24772
1410.92/1414.83 c #Conflicts: 403000 | #Constraints: 25772
1410.92/1414.83 c #Conflicts: 404000 | #Constraints: 26772
1410.92/1414.83 c #Conflicts: 405000 | #Constraints: 27772
1410.92/1414.83 c #Conflicts: 406000 | #Constraints: 28772
1410.92/1414.83 c #Conflicts: 407000 | #Constraints: 29772
1410.92/1414.83 c #Conflicts: 408000 | #Constraints: 30772
1410.92/1414.83 c #Conflicts: 409000 | #Constraints: 31772
1410.92/1414.83 c #Conflicts: 410000 | #Constraints: 32772
1410.92/1414.83 c #Conflicts: 411000 | #Constraints: 33772
1410.92/1414.83 c #Conflicts: 412000 | #Constraints: 34772
1410.92/1414.83 c #Conflicts: 413000 | #Constraints: 35772
1410.92/1414.83 c #Conflicts: 414000 | #Constraints: 36772
1410.92/1414.83 c #Conflicts: 415000 | #Constraints: 37772
1410.92/1414.83 c #Conflicts: 416000 | #Constraints: 38772
1410.92/1414.83 c #Conflicts: 417000 | #Constraints: 39772
1410.92/1414.83 c #Conflicts: 418000 | #Constraints: 40772
1410.92/1414.83 c #Conflicts: 419000 | #Constraints: 41772
1410.92/1414.83 c #Conflicts: 420000 | #Constraints: 42772
1410.92/1414.83 c #Conflicts: 421000 | #Constraints: 43772
1410.92/1414.83 c #Conflicts: 422000 | #Constraints: 44772
1410.92/1414.83 c #Conflicts: 423000 | #Constraints: 45772
1410.92/1414.83 c #Conflicts: 424000 | #Constraints: 46772
1410.92/1414.83 c #Conflicts: 425000 | #Constraints: 47772
1410.92/1414.83 c #Conflicts: 426000 | #Constraints: 48772
1410.92/1414.83 c #Conflicts: 427000 | #Constraints: 49772
1410.92/1414.83 c #Conflicts: 428000 | #Constraints: 50772
1410.92/1414.83 c #Conflicts: 429000 | #Constraints: 51772
1410.92/1414.83 c #Conflicts: 430000 | #Constraints: 52772
1410.92/1414.83 c #Conflicts: 431000 | #Constraints: 53772
1410.92/1414.83 c #Conflicts: 432000 | #Constraints: 54772
1410.92/1414.83 c #Conflicts: 433000 | #Constraints: 55772
1410.92/1414.83 c #Conflicts: 434000 | #Constraints: 56772
1410.92/1414.83 c #Conflicts: 435000 | #Constraints: 57772
1410.92/1414.83 c #Conflicts: 436000 | #Constraints: 58772
1410.92/1414.83 c Input conflict
1410.92/1414.83 c bounds 3 >= 3 @ 1407.91
1410.92/1414.83 d SOLVEDBY oll
1410.92/1414.83 c cpu time 1407.91 s
1410.92/1414.83 c deterministic time 237832619776 2.38e+11
1410.92/1414.83 c optimization time 0.702673 s
1410.92/1414.83 c total solve time 1083.4 s
1410.92/1414.83 c core-guided solve time 1083.4 s
1410.92/1414.83 c propagation time 778.295 s
1410.92/1414.83 c conflict analysis time 295.495 s
1410.92/1414.83 c propagations 29216506
1410.92/1414.83 c resolve steps 9977430
1410.92/1414.83 c decisions 1796729
1410.92/1414.83 c conflicts 436029
1410.92/1414.83 c restarts 1021
1410.92/1414.83 c inprocessing phases 39
1410.92/1414.83 c input clauses 938
1410.92/1414.83 c input cardinalities 8
1410.92/1414.83 c input general constraints 1084
1410.92/1414.83 c input average constraint length 197.50
1410.92/1414.83 c input average constraint degree 98.67
1410.92/1414.83 c learned clauses 328304
1410.92/1414.83 c learned cardinalities 9
1410.92/1414.83 c learned general constraints 107716
1410.92/1414.83 c learned average constraint length 428.54
1410.92/1414.83 c learned average constraint degree 33664.28
1410.92/1414.83 c watched constraints 105585
1410.92/1414.83 c counting constraints 3215
1410.92/1414.83 c gcd simplifications 71449
1410.92/1414.83 c detected cardinalities 0
1410.92/1414.83 c weakened non-implied lits 9327353
1410.92/1414.83 c weakened non-implying lits 211321
1410.92/1414.83 c original variables 1450
1410.92/1414.83 c clausal propagations 2287038
1410.92/1414.83 c cardinality propagations 44486
1410.92/1414.83 c watched propagations 9445613
1410.92/1414.83 c counting propagations 16942971
1410.92/1414.83 c watch lookups 5676195223
1410.92/1414.83 c watch backjump lookups 4320586532
1410.92/1414.83 c watch checks 222488952996
1410.92/1414.83 c propagation checks 2747331412
1410.92/1414.83 c constraint additions 2537092148
1410.92/1414.83 c trail pops 31448229
1410.92/1414.83 c formula constraints 2016
1410.92/1414.83 c learned constraints 436029
1410.92/1414.83 c bound constraints 8
1410.92/1414.83 c core-guided constraints 6
1410.92/1414.83 c encountered formula constraints 6291759
1410.92/1414.83 c encountered learned constraints 4121683
1410.92/1414.83 c encountered bound constraints 3
1410.92/1414.83 c encountered core-guided constraints 15
1410.92/1414.83 c LP total time 0 s
1410.92/1414.83 c LP solve time 0 s
1410.92/1414.83 c LP constraints added 0
1410.92/1414.83 c LP constraints removed 0
1410.92/1414.83 c LP pivots internal 0
1410.92/1414.83 c LP pivots root 0
1410.92/1414.83 c LP calls 0
1410.92/1414.83 c LP optimalities 0
1410.92/1414.83 c LP no pivot count 0
1410.92/1414.83 c LP infeasibilities 0
1410.92/1414.83 c LP valid Farkas constraints 0
1410.92/1414.83 c LP learned Farkas constraints 0
1410.92/1414.83 c LP basis resets 0
1410.92/1414.83 c LP cycling count 0
1410.92/1414.83 c LP singular count 0
1410.92/1414.83 c LP no primal count 0
1410.92/1414.83 c LP no farkas count 0
1410.92/1414.83 c LP other issue count 0
1410.92/1414.83 c LP Gomory cuts 0
1410.92/1414.83 c LP learned cuts 0
1410.92/1414.83 c LP deleted cuts 0
1410.92/1414.83 c LP encountered Gomory constraints 0
1410.92/1414.83 c LP encountered Farkas constraints 0
1410.92/1414.83 c LP encountered learned Farkas constraints 0
1410.92/1414.83 c CG auxiliary variables introduced 3
1410.92/1414.83 c CG solutions found 3
1410.92/1414.83 c CG cores constructed 3
1410.92/1414.83 c CG core cardinality constraints returned 0
1410.92/1414.83 c CG unit cores 2
1410.92/1414.83 c CG single cores 1
1410.92/1414.83 c CG blocks removed during cardinality reduction 0
1410.92/1414.83 c CG first core best 0
1410.92/1414.83 c CG decision core best 0
1410.92/1414.83 c CG core reduction tie 0
1410.92/1414.83 c CG core degree average 1.00
1410.92/1414.83 c CG core slack average 155.00
1410.92/1414.83 c CG exhausted 0
1410.92/1414.83 c CG exhaust time 0.583465 s
1410.92/1414.83 c CG trimmed 0
1410.92/1414.83 c CG trim time 0.002921 s
1410.92/1414.83 c CG minimized 0
1410.92/1414.83 c CG minimize time 0 s
1410.92/1414.83 c CG am1 prop time 0.113082 s
1410.92/1414.83 c CG # am1s reformulated 0
1410.92/1414.83 c CG lower bound derived from am1s 0
1410.92/1414.83 c CG # clausal cores 1
1410.92/1414.83 c CG # cardinality cores 0
1410.92/1414.83 c CG # pb cores 0
1410.92/1414.83 c CG # pb reforms 0
1410.92/1414.83 c CG # cores discarded because of pb reform 0
1410.92/1414.83 d LOWERBOUND 3
1410.92/1414.83 d NCORES 3
1410.92/1414.83 d NPBCORES 0
1410.92/1414.83 d NPBREFORM 0
1410.92/1414.83 d NTRIMMED 0
1410.92/1414.83 d NEXHAUSTED 0
1410.92/1414.83 d NAM1S 0
1410.92/1414.83 d AM1LB 0
1410.92/1414.83 c [Papilo Statistics]
1410.92/1414.83 c prepro time 24.1726s
1410.92/1414.83 c # tsx applied 1
1410.92/1414.83 c # tsx conflicts 0
1410.92/1414.83 c # bound changes 2
1410.92/1414.83 c # side changes 0
1410.92/1414.83 c # coef changes 0
1410.92/1414.83 c # rounds 2
1410.92/1414.83 c # deted vars 2
1410.92/1414.83 c # deted constrs 15
1410.92/1414.83 c # consecutive rounds of only bound changes 0
1410.92/1414.83 c [STEP] postprocessing with Papilo
1410.92/1414.84 o 4
1410.92/1414.84 s OPTIMUM FOUND
1410.92/1414.84 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 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 x490 x491 x492 x493 x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 -x677 -x678 x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 x692 -x693 -x694 -x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 x799 x800 -x801 x802 x803 -x804 x805 -x806 x807 x808 -x809 x810 x811 x812 -x813 -x814 x815 -x816 x817 x818 -x819 -x820 -x821 x822 -x823 x824 x825 x826 x827 -x828 -x829 x830 -x831 -x832 x833 -x834 -x835 x836 -x837 x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 x872 x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 -x882 x883 -x884 x885 x886 x887 -x888 x889 -x890 -x891 x892 x893 x894 x895 x896 x897 -x898 x899 -x900 x901 x902 -x903 x904 x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 x919 -x920 x921 -x922 x923 -x924 x925 x926 -x927 -x928 x929 x930 x931 x932 -x933 x934 x935 x936 -x937 x938 x939 x940 x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 x950 x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 x971 x972 x973 x974 -x975 -x976 x977 x978 x979 x980 x981 -x982 -x983 x984 x985 x986 x987 x988 x989 x990 x991 -x992 x993 -x994 x995 -x996 x997 x998 x999 x1000 -x1001 x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 x1050 x1051 -x1052 x1053 x1054 x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 x1066 x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 x1077 x1078 x1079 x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 x1118 -x1119 x1120 x1121 x1122 -x1123 -x1124 x1125 x1126 x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 x1151 x1152 -x1153 x1154 -x1155 x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 x1200 -x1201 x1202 x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 x1221 -x1222 x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 x1273 x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 x1282 x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59185 MiB free)
memory of node 1: 64507 MiB (63298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529371-1752264734/watcher-4529371-1752264734 -o /tmp/evaluation-result-4529371-1752264734/solver-4529371-1752264734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760 mixed-bag HOME/instance-4529371-1752264734.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=125897, runsolver pid=125894
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125419136/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=88028 memory=17928 CPUtime=0.08 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 2555 0 0 0 8 0 0 0 20 0 1 0 142152986 90140672 4482 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 22007 4482 2144 2834 0 4759 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88028 KiB
Current children cumulated memory: 17928 KiB
[startup+0.205126 s]*
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125419136/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=111968 memory=38668 CPUtime=0.19 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 4686 0 0 0 18 1 0 0 20 0 1 0 142152986 114655232 9667 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 27992 9667 2144 2834 0 10744 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111968 KiB
Current children cumulated memory: 38668 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125391052/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=0.29 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8054 0 0 0 27 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+0.70018 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125391052/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=0.68 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8054 0 0 0 66 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125399556/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=1.48 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8054 0 0 0 146 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125400772/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=3.08 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8061 0 0 0 306 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 125898
/proc/meminfo: memFree=125378624/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=6.27 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8068 0 0 0 625 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 125899
/proc/meminfo: memFree=125422204/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=149140 memory=68956 CPUtime=12.65 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 8075 0 0 0 1263 2 0 0 20 0 1 0 142152986 152719360 17239 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 37285 17239 2304 2834 0 19490 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149140 KiB
Current children cumulated memory: 68956 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 125899
/proc/meminfo: memFree=125329128/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=249980 memory=175084 CPUtime=25.42 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 26409 0 0 0 2537 5 0 0 20 0 1 0 142152986 255979520 43771 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 62495 43771 4032 2834 0 44700 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 249980 KiB
Current children cumulated memory: 175084 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 125900
/proc/meminfo: memFree=125317080/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=271044 memory=196036 CPUtime=50.96 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 37884 0 0 0 5089 7 0 0 20 0 1 0 142152986 277549056 49009 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 67761 49009 4064 2834 0 49966 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 271044 KiB
Current children cumulated memory: 196036 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 125902
/proc/meminfo: memFree=124759656/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=858476 memory=755876 CPUtime=102.03 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 155757 0 0 0 10172 31 0 0 20 0 1 0 142152986 879079424 188969 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 214619 188969 4448 2834 0 196824 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 858476 KiB
Current children cumulated memory: 755876 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 125904
/proc/meminfo: memFree=124684660/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=871536 memory=770052 CPUtime=161.86 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 164776 0 0 0 16154 32 0 0 20 0 1 0 142152986 892452864 192513 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 217884 192513 4448 2834 0 200089 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 871536 KiB
Current children cumulated memory: 770052 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 125951
/proc/meminfo: memFree=125324044/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=874652 memory=773252 CPUtime=221.72 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 165555 0 0 0 22139 33 0 0 20 0 1 0 142152986 895643648 193313 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 218663 193313 4448 2834 0 200868 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 874652 KiB
Current children cumulated memory: 773252 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 125953
/proc/meminfo: memFree=125252432/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=886996 memory=787972 CPUtime=281.55 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 167393 0 0 0 28121 34 0 0 20 0 1 0 142152986 908283904 196993 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 221749 196993 4448 2834 0 203954 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 886996 KiB
Current children cumulated memory: 787972 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 125955
/proc/meminfo: memFree=125299024/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=750952 memory=679832 CPUtime=341.41 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 180214 0 0 0 34086 55 0 0 20 0 1 0 142152986 768974848 169958 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 187738 169958 4608 2834 0 169943 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 750952 KiB
Current children cumulated memory: 679832 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 125960
/proc/meminfo: memFree=125195304/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=762628 memory=696216 CPUtime=401.24 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 180739 0 0 0 40037 87 0 0 20 0 1 0 142152986 780931072 174054 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 190657 174054 4608 2834 0 172862 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 762628 KiB
Current children cumulated memory: 696216 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 125965
/proc/meminfo: memFree=125082760/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=812416 memory=719296 CPUtime=461.07 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 181844 0 0 0 45994 113 0 0 20 0 1 0 142152986 831913984 179824 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 203104 179824 4608 2834 0 185309 0
################
# More data... #
################
/proc/loadavg: 4.18 4.15 4.11 5/263 125987
/proc/meminfo: memFree=124676312/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=819828 CPUtime=999.57 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183475 0 0 0 99704 253 0 0 20 0 1 0 142152986 966545408 204957 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 204957 4608 2834 0 218178 0
Current children cumulated CPU time: 999.57 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 819828 KiB
[startup+1062.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 125994
/proc/meminfo: memFree=124647524/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=834164 CPUtime=1059.4 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183495 0 0 0 105679 261 0 0 20 0 1 0 142152986 966545408 208541 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 208541 4608 2834 0 218178 0
Current children cumulated CPU time: 1059.4 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 834164 KiB
[startup+1122.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 125996
/proc/meminfo: memFree=124629128/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1119.24 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183506 0 0 0 111655 269 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1182.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 125999
/proc/meminfo: memFree=124636184/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1179.09 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183506 0 0 0 117632 277 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1179.09 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 126001
/proc/meminfo: memFree=124638500/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1238.93 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183506 0 0 0 123610 283 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1238.93 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 126003
/proc/meminfo: memFree=124635016/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1298.77 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183506 0 0 0 129584 293 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1298.77 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1362.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126005
/proc/meminfo: memFree=124632672/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1358.59 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183548 0 0 0 135559 300 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1358.59 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1414.84 s]
# the end of solver process 125897 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1407.92 s, system=3.05862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 126005
/proc/meminfo: memFree=124633180/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1378.62 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183644 0 0 0 137560 302 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1378.62 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1395.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 126006
/proc/meminfo: memFree=124633188/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=856692 CPUtime=1391.38 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183666 0 0 0 138835 303 0 0 20 0 1 0 142152986 966545408 214173 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 214173 4608 2834 0 218178 0
Current children cumulated CPU time: 1391.38 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 856692 KiB
[startup+1408 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1404.15 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183669 0 0 0 140110 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1404.15 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
[startup+1411.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1407.34 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183670 0 0 0 140429 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1407.34 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
[startup+1412.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1408.93 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183670 0 0 0 140588 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1408.93 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
[startup+1413.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1409.73 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183670 0 0 0 140668 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1409.73 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
[startup+1414.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1410.52 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183670 0 0 0 140747 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1410.52 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
[startup+1414.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 126007
/proc/meminfo: memFree=124628872/131249996 swapFree=33005016/33010684
[pid=125897] ppid=125894 vsize=943892 memory=862836 CPUtime=1410.92 cores=0,2
/proc/125897/stat : 125897 (mixed-bag) R 125894 125897 122570 0 -1 4194304 183670 0 0 0 140787 305 0 0 20 0 1 0 142152986 966545408 215709 18446744073709551615 4235264 15840557 140725436527488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 36909056 140725436533146 140725436533223 140725436533223 140725436538827 0
/proc/125897/statm: 235973 215709 4608 2834 0 218178 0
Current children cumulated CPU time: 1410.92 s
Current children cumulated vsize: 943892 KiB
Current children cumulated memory: 862836 KiB
Child status: 0
Real time (s): 1414.84
CPU time (s): 1410.98
CPU user time (s): 1407.92
CPU system time (s): 3.05862
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 943892
Max. memory (cumulated for all children) (KiB): 862836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1407.92
system time used= 3.05862
maximum resident set size= 862964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183708
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= 155
involuntary context switches= 3085
# summary of solver processes directly reported to runsolver:
# pid: 125897
# total CPU time (s): 1410.98
# total CPU user time (s): 1407.92
# total CPU system time (s): 3.05862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.77435 second user time and 6.00266 second system time
The end
Begin job on nodeC030 at 2025-07-11 22:12:14
IDJOB=4529371
IDBENCH=180369
IDSOLVER=3386
FILE ID=nodeC030/4529371-1752264734
RUNJOBID= nodeC030-1752256328-122580
SLURM_JOB_ID= 9682597
Free space on /tmp= 432464 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529371-1752264734/watcher-4529371-1752264734 -o /tmp/evaluation-result-4529371-1752264734/solver-4529371-1752264734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760 mixed-bag HOME/instance-4529371-1752264734.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376
RANDOM SEED=1515584268
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.767
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3599.941
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.329
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.555
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3620.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125422944 kB
MemAvailable: 128493704 kB
Buffers: 16 kB
Cached: 3855168 kB
SwapCached: 216 kB
Active: 1327044 kB
Inactive: 3747696 kB
Active(anon): 1172024 kB
Inactive(anon): 61088 kB
Active(file): 155020 kB
Inactive(file): 3686608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18544 kB
Writeback: 0 kB
AnonPages: 1219648 kB
Mapped: 127156 kB
Shmem: 13548 kB
KReclaimable: 136344 kB
Slab: 229060 kB
SReclaimable: 136344 kB
SUnreclaim: 92716 kB
KernelStack: 4256 kB
PageTables: 5536 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1639412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 526336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432452 MiB
End job on nodeC030 at 2025-07-11 22:35:49