(1,27) (2,29) (3,20) (4,19) (5,22) (6,17) (7,23) (8,26) (9,30) (10,25) (11,16) (13,24) (14,18) (15,28) 
nodes: 1382  conflicts: 11  modelTime: 1199  solveTime: 2522  totalTime: 3731  modelSize: 41292  readTime: 10 size: 14