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