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