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