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