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