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