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