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