(1,27) (2,26) (3,21) (4,16) (5,28) (6,20) (7,22) (8,29) (9,19) (10,18) (11,24) (12,17) (14,23) (15,30) 
nodes: 4305  conflicts: 35  modelTime: 662  solveTime: 6453  totalTime: 7122  modelSize: 41293  readTime: 6 size: 14