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