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