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