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