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