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