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