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