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