(1,27) (2,20) (3,24) (4,26) (5,30) (6,17) (7,11) (8,28) (9,21) (10,12) (13,23) (14,18) (15,22) (16,25) (19,29) 
nodes: 424802  conflicts: 15  modelTime: 1134  solveTime: 1923500  totalTime: 1924652  modelSize: 72264  readTime: 18 size: 15