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