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