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