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