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