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