(1,22) (2,19) (3,25) (4,5) (6,24) (7,28) (8,11) (10,20) (13,14) (15,21) (16,26) (17,29) (18,23) (27,30) 
nodes: 772849  conflicts: 38  modelTime: 1620  solveTime: 2698304  totalTime: 2699943  modelSize: 72262  readTime: 19 size: 14