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