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