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