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