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