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