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