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