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