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