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