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