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