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