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