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