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