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