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