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