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