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