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