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