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