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