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