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