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