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