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