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