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