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