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