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