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