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