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