(1,27) (2,21) (3,6) (4,22) (5,25) (7,10) (8,16) (9,13) (11,18) (12,17) (14,26) (15,24) (19,29) (20,30) (23,28) 
nodes: 37948  conflicts: 9  modelTime: 1452  solveTime: 202893  totalTime: 204378  modelSize: 72266  readTime: 32 size: 15