(1,14) (2,24) (3,16) (4,28) (5,8) (6,18) (7,10) (9,30) (12,23) (13,29) (15,19) (17,27) (21,22) (25,26) 
nodes: 13103  conflicts: 50  modelTime: 947  solveTime: 45067  totalTime: 46025  modelSize: 72262  readTime: 11 size: 14