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