(1,18) (2,27) (3,16) (4,21) (5,26) (7,25) (9,23) (10,24) (11,22) (12,20) (13,29) (14,28) (15,30) 
nodes: 3309  conflicts: 35  modelTime: 658  solveTime: 5579  totalTime: 6243  modelSize: 41292  readTime: 6 size: 13