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