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