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