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