(1,27) (2,30) (3,5) (4,22) (6,25) (7,29) (8,24) (9,17) (10,12) (11,15) (13,20) (14,19) (16,23) (18,28) (21,26) 
nodes: 187482  conflicts: 37  modelTime: 1724  solveTime: 1104337  totalTime: 1106080  modelSize: 72265  readTime: 19 size: 15