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