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