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