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