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