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