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