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