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