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