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