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