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