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