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