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