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