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