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