(1,6) (2,28) (3,8) (4,25) (5,27) (7,11) (9,15) (10,14) (12,22) (13,20) (18,19) (21,23) (24,29) (26,30) 
nodes: 30994  conflicts: 45  modelTime: 933  solveTime: 98589  totalTime: 99534  modelSize: 72265  readTime: 11 size: 14