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