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