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