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