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