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