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