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