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