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