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