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