(1,11) (2,12) (3,18) (4,5) (6,13) (7,19) (8,26) (9,27) (10,14) (15,20) (16,17) (21,30) (22,25) (23,29) (24,28) 
nodes: 6147  conflicts: 33  modelTime: 1765  solveTime: 18890  totalTime: 20675  modelSize: 72266  readTime: 20 size: 15