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