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