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