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