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