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