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