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