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