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