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