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