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