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