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