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