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