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