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