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