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