(1,25) (2,19) (3,30) (4,29) (7,20) (8,26) (9,21) (10,23) (11,27) (12,28) (13,22) (14,24) (15,18) 
nodes: 3211  conflicts: 29  modelTime: 661  solveTime: 5212  totalTime: 5879  modelSize: 41292  readTime: 6 size: 13