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