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