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