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