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