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