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