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