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