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