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