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