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