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