(1,18) (2,22) (3,19) (4,29) (6,21) (7,28) (8,27) (10,25) (12,24) (13,17) (14,30) (15,26) 
nodes: 1589  conflicts: 61  modelTime: 659  solveTime: 2064  totalTime: 2730  modelSize: 41292  readTime: 7 size: 12