(1,22) (2,6) (3,10) (4,27) (5,28) (7,17) (8,11) (9,30) (12,15) (13,21) (14,20) (16,29) (18,23) (19,26) (24,25) 
nodes: 45193  conflicts: 52  modelTime: 951  solveTime: 143694  totalTime: 144657  modelSize: 72270  readTime: 11 size: 15