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