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