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