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