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