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