(1,27) (3,26) (4,29) (5,23) (6,30) (7,21) (8,20) (9,25) (10,18) (11,16) (12,19) (14,24) (15,28) 
nodes: 1254  conflicts: 49  modelTime: 661  solveTime: 2429  totalTime: 3096  modelSize: 41293  readTime: 6 size: 13