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