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