(1,26) (2,29) (4,25) (5,21) (6,19) (8,18) (9,17) (10,23) (11,16) (12,27) (13,20) (14,30) (15,28) 
nodes: 2262  conflicts: 49  modelTime: 660  solveTime: 2787  totalTime: 3454  modelSize: 41292  readTime: 7 size: 13