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