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