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