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