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