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