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