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