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