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