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