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