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