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