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