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