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