(1,14) (2,7) (3,10) (4,28) (5,20) (6,25) (8,29) (9,27) (11,15) (12,19) (13,30) (16,23) (17,22) (18,26) (21,24) 
nodes: 282084  conflicts: 17  modelTime: 968  solveTime: 1282670  totalTime: 1283793  modelSize: 72264  readTime: 155 size: 15