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