(1,3) (2,11) (5,29) (6,21) (7,10) (8,14) (9,19) (12,18) (13,22) (15,16) (17,28) (20,27) (24,25) (26,30) 
nodes: 2814  conflicts: 49  modelTime: 1719  solveTime: 9178  totalTime: 10919  modelSize: 72264  readTime: 21 size: 14