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