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