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