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