(1,29) (2,6) (3,24) (4,16) (5,15) (7,13) (9,27) (10,17) (11,18) (12,20) (14,22) (19,26) (21,23) (25,30) 
nodes: 902  conflicts: 86  modelTime: 985  solveTime: 5672  totalTime: 6669  modelSize: 72262  readTime: 12 size: 14