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