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