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