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