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