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