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