(1,18) (2,13) (3,22) (4,28) (5,8) (6,17) (7,11) (9,24) (10,29) (12,19) (14,27) (15,16) (20,21) (23,30) (25,26) 
nodes: 447790  conflicts: 45  modelTime: 1026  solveTime: 1296484  totalTime: 1297521  modelSize: 72262  readTime: 11 size: 15