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