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