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