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