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