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