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