(1,25) (2,14) (3,16) (4,12) (6,23) (7,15) (8,11) (9,19) (10,26) (13,18) (17,28) (20,29) (21,22) (24,30) 
nodes: 989  conflicts: 43  modelTime: 1001  solveTime: 6230  totalTime: 7243  modelSize: 72263  readTime: 12 size: 14