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