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