(1,17) (2,23) (3,18) (4,27) (5,19) (6,16) (7,20) (8,28) (9,29) (10,24) (11,22) (13,25) (14,26) (15,30) 
nodes: 2927  conflicts: 22  modelTime: 686  solveTime: 6362  totalTime: 7054  modelSize: 41292  readTime: 6 size: 14