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