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