(1,18) (2,6) (3,10) (5,26) (7,8) (11,22) (12,14) (13,24) (15,21) (16,29) (17,27) (20,23) (25,28) 
nodes: 1311  conflicts: 49  modelTime: 929  solveTime: 3435  totalTime: 4377  modelSize: 72262  readTime: 12 size: 13