(2,23) (3,21) (4,17) (5,27) (6,26) (7,18) (8,16) (9,30) (10,24) (11,25) (12,20) (13,19) (14,22) (15,29) 
nodes: 5556  conflicts: 28  modelTime: 658  solveTime: 9710  totalTime: 10375  modelSize: 41292  readTime: 6 size: 14