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