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