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